富樫 敦

J-GLOBALへ         更新日: 06/03/06 00:00
 
アバター
研究者氏名
富樫 敦
 
トガシ アツシ
URL
http://sussex.cs.inf.shizuoka.ac.jp/~togashi/
所属
宮城大学(MYU)
部署
事業構想学部 デザイン情報学科 情報システムコース
職名
教授
学位
工学博士(東北大学)

研究分野

 
 

受賞

 
1985年
情報処理学会第1回学術奨励賞
 
1993年
電気通信普及財団第2回テレコム・コロンブス賞
 

Misc

 
項書き換えシステムに関する有限停止性問題
電子通信学会論文誌   J67-D(7)    1984年
項書き換え系に関する決定問題とその時間計算量
電子通信学会論文誌   J66-D(10)    1983年
等式プログラムから論理型プログラムへの変換アルゴリズム
電子通信学会論文誌   J67-D(6)    1984年
確定節に対する推論体系
電子通信学会論文誌   J68-D(5)    1985年
項書き換え系の関数型言語への変換による実現
コンピュータソフトウェア   4(4)    1987年

書籍等出版物

 
新しいプログラミングパラダイム
共立出版   1989年   
続・新しいプログラミングパラダイム
共立出版   1990年   
並行/分散計算の理論とアルゴリズム
「新版情報処理ハンドブック」オーム社   1996年   
チュートリアル「並行プロセスの計算モデル」
日本ソフトウェア科学会   1992年   

Works

 
ソフトウェアコンポーネント
2000年
移動エージェントのAV機器への応用
2000年 - 2002年
事務の情報化
2000年 - 2001年

競争的資金等の研究課題

 
並行プロセスの帰納推論
要求仕様から形式仕様の合成
並行プロセスの型理論
エージェンド技術の応用
XML技術の応用