Rchr
J-GLOBAL ID:200901017721905835
Update date: Jul. 10, 2022
Togashi Atsushi
トガシ アツシ | Togashi Atsushi
Affiliation and department:
Homepage URL (1):
http://sussex.cs.inf.shizuoka.ac.jp/~togashi/
Research field (2):
Library/information science, humanistic/social informatics
, Information theory
Research keywords (6):
コンポーネントウェア
, コンピューターソフトウェア
, 並行計算
, Componentwake
, Computer Software
, Concurrent Computation
Research theme for competitive and other funds (12):
- 並行プロセス
- XML技術の応用
- エージェンド技術の応用
- 並行プロセスの型理論
- 要求仕様から形式仕様の合成
- 並行プロセスの帰納推論
- Concurrent Process Calculi
- Application of XML Technology
- Application of Agent Technology
- Type Theory for Concurrent Processes
- Synthesis of Formal Specifications from Requikements
- Inductive Inference of Concurrent Processes
Show all
MISC (139):
-
Component Based Development Environment, H-K Kim, Roger Lee, Atsushi Togashi, Tadanori Mizuno. Proce. of SNPD 2002. 2002. 183-191
-
Heterogeneous Component Based Development Workbench, Roger Lee. Buhushan Balani, Atsushi Togashi, Tadanori Mizuno. Proce. of SNPD 2002. 2002. 273-278
-
A development system for resource-oriented applications, Shingo Nakagawa, Fumiaki Kanezashi, Satoshi Yazawa, Atsushi Togashi. Proc. of JICAST2002. 2002
-
An implementation of personal remote contoller, Fumitoshi Mizutani, Takuo Osaki, Katsuhiro An-nen, Tomohiro Haraikawa, Atsushi Togashi. Proc. of JICAST2002. 2002
-
A development System for Resource-Oriented Applications, Shingo Nakagawa, Fumiaki Kanezashi, Satoshi Yazawa, Atsushi Togashi. Proc. of 2nd ACIS Annual International Conference on Computer and Information Science (ICIS 02). 2002. 529-534
more...
Books (8):
-
並行/分散計算の理論とアルゴリズム
「新版情報処理ハンドブック」オーム社 1996
-
Foundations on Concurrent/Distributted Computation and Algarithms
1996
-
チュートリアル「並行プロセスの計算モデル」
日本ソフトウェア科学会 1992
-
Tutorial : Computation Models for Concurrent Processes.
1992
-
続・新しいプログラミングパラダイム
共立出版 1990
more...
Works (6):
-
移動エージェントのAV機器への応用
2000 - 2002
-
Application of Mobile Agents to AV Machines
2000 - 2002
-
事務の情報化
2000 - 2001
-
Intelligent Office Works
2000 - 2001
-
ソフトウェアコンポーネント
2000 -
more...
Professional career (1):
- Doctor of Engineering (Tohoku University)
Awards (2):
- 1993 - 電気通信普及財団第2回テレコム・コロンブス賞
- 1985 - 情報処理学会第1回学術奨励賞
Association Membership(s) (4):
ACM
, 日本ソフトウェア科学会
, 情報処理学会
, 電子情報通信学会
Return to Previous Page