研究者
J-GLOBAL ID:200901017721905835
更新日: 2022年07月10日
富樫 敦
トガシ アツシ | Togashi Atsushi
所属機関・部署:
職名:
教授
ホームページURL (1件):
http://sussex.cs.inf.shizuoka.ac.jp/~togashi/
研究分野 (2件):
図書館情報学、人文社会情報学
, 情報学基礎論
研究キーワード (6件):
コンポーネントウェア
, コンピューターソフトウェア
, 並行計算
, Componentwake
, Computer Software
, Concurrent Computation
競争的資金等の研究課題 (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
全件表示
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
もっと見る
書籍 (8件):
-
並行/分散計算の理論とアルゴリズム
「新版情報処理ハンドブック」オーム社 1996
-
Foundations on Concurrent/Distributted Computation and Algarithms
1996
-
チュートリアル「並行プロセスの計算モデル」
日本ソフトウェア科学会 1992
-
Tutorial : Computation Models for Concurrent Processes.
1992
-
続・新しいプログラミングパラダイム
共立出版 1990
もっと見る
Works (6件):
-
移動エージェントのAV機器への応用
2000 - 2002
-
Application of Mobile Agents to AV Machines
2000 - 2002
-
事務の情報化
2000 - 2001
-
Intelligent Office Works
2000 - 2001
-
ソフトウェアコンポーネント
2000 -
もっと見る
学位 (1件):
受賞 (2件):
- 1993 - 電気通信普及財団第2回テレコム・コロンブス賞
- 1985 - 情報処理学会第1回学術奨励賞
所属学会 (4件):
ACM
, 日本ソフトウェア科学会
, 情報処理学会
, 電子情報通信学会
前のページに戻る