研究者
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件):
学歴 (2件):
  • - 1999 早稲田大学 理工学部 情報学科
  • - 1999 早稲田大学
学位 (1件):
  • 修士(情報科学) (早稲田大学)
経歴 (4件):
  • 2002 - 2004 早稲田大学理工学部 助手
  • 2002 - 2004 Research Associate,
  • 早稲田大学
  • School of Science and Engineering,
所属学会 (6件):
ACM ,  日本ソフトウェア科学会 ,  情報処理学会 ,  ACM ,  JSSST ,  IPSJ
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る