{{flash.message}}
researchmap
  • 日本語 | English
  • 新規登録
  • ログイン
アバター

加藤 紀夫

カトウ ノリオ  (Norio Kato)
更新日: 2008/01/18
  • ホーム
  • 研究キーワード
  • 経歴
  • 学歴
  • MISC
  • 所属学協会
  • 共同研究・競争的資金等の研究課題

基本情報

所属
旧所属 早稲田大学 理工学術院 助手
学位
修士(情報科学)(早稲田大学)

J-GLOBAL ID
200901031238841829
researchmap会員ID
5000033208

外部リンク
http://www.ueda.info.waseda.ac.jp/~n-kato/

研究キーワード

  6
  • Concurrent Logic Programs Semantics Concurrent Symbolic Computation Implementation of Concurrent Languages Computer Science 
  • 計算機科学 
  • 並行言語処理系 
  • 並行記号処理 
  • 意味論 
  • 並行論理プログラム 

経歴

  4
  • 2002年 - 2004年
    早稲田大学理工学部 助手 
  • 2002年 - 2004年
    Research Associate, 
  • 早稲田大学 
  • School of Science and Engineering, 

学歴

  2
  • - 1999年
    早稲田大学, 理工学部, 情報学科 
  • - 1999年
    早稲田大学 

MISC

  1
  • 並行論理型言語における同期ポイントの移動の安全性について 
    情報処理学会論文誌: プログラミング 41; SIG 2 (PRO 6) 2000年  

所属学協会

  6
  • ACM 
  • 日本ソフトウェア科学会 
  • 情報処理学会 
  • ACM 
  • JSSST 
  • IPSJ 

共同研究・競争的資金等の研究課題

  2
  • 並行論理プログラム最適化コンパイラ構成法 
  • Construction of Optimizing Compilation Framework for Concurrent Logic Programs 

メニュー

マイポータル
2017 researchmap
Japan Science and Technology Agency