Rchr
J-GLOBAL ID:200901031238841829
Update date: Jan. 17, 2008
Kato Norio
カトウ ノリオ | Kato Norio
Affiliation and department:
Former Institution /Organization Faculty of Science and Engineering
About Former Institution /Organization Faculty of Science and Engineering
Search "Former Institution /Organization Faculty of Science and Engineering"
Job title:
Research Associate
Homepage URL (1):
http://www.ueda.info.waseda.ac.jp/~n-kato/
Research keywords (6):
Concurrent Logic Programs Semantics Concurrent Symbolic Computation Implementation of Concurrent Languages Computer Science
, 計算機科学
, 並行言語処理系
, 並行記号処理
, 意味論
, 並行論理プログラム
Research theme for competitive and other funds (2):
並行論理プログラム最適化コンパイラ構成法
Construction of Optimizing Compilation Framework for Concurrent Logic Programs
MISC (1):
並行論理型言語における同期ポイントの移動の安全性について. 情報処理学会論文誌: プログラミング. 2000. 41; SIG 2 (PRO 6)
Education (2):
- 1999 Waseda University School of Science and Engineering
- 1999 Waseda University Faculty of Science and Engineering Computer Science
Professional career (1):
Master (Computer Science) (Waseda University)
Work history (4):
2002 - 2004 Waseda University School of Science and Engineering
2002 - 2004 Research Associate,
Waseda University
School of Science and Engineering,
Association Membership(s) (6):
ACM
, 日本ソフトウェア科学会
, 情報処理学会
, ACM
, JSSST
, IPSJ
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM