研究者
J-GLOBAL ID:200901031238841829
更新日: 2008年01月17日
加藤 紀夫
カトウ ノリオ | Kato Norio
所属機関・部署:
旧所属 早稲田大学 理工学術院
旧所属 早稲田大学 理工学術院 について
「旧所属 早稲田大学 理工学術院」ですべてを検索
職名:
助手
ホームページURL (1件):
http://www.ueda.info.waseda.ac.jp/~n-kato/
研究キーワード (6件):
Concurrent Logic Programs Semantics Concurrent Symbolic Computation Implementation of Concurrent Languages Computer Science
, 計算機科学
, 並行言語処理系
, 並行記号処理
, 意味論
, 並行論理プログラム
競争的資金等の研究課題 (2件):
並行論理プログラム最適化コンパイラ構成法
Construction of Optimizing Compilation Framework for Concurrent Logic Programs
MISC (1件):
並行論理型言語における同期ポイントの移動の安全性について. 情報処理学会論文誌: プログラミング. 2000. 41; SIG 2 (PRO 6)
学歴 (2件):
- 1999 早稲田大学 理工学部 情報学科
- 1999 早稲田大学
学位 (1件):
修士(情報科学) (早稲田大学)
経歴 (4件):
2002 - 2004 早稲田大学理工学部 助手
2002 - 2004 Research Associate,
早稲田大学
School of Science and Engineering,
所属学会 (6件):
ACM
, 日本ソフトウェア科学会
, 情報処理学会
, ACM
, JSSST
, IPSJ
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM