伊藤 貴康

An Efficient Evaluation Startegy for Concurrency Constructs in Parallel Scheme Systems 

Advanced LISP Technology, Taylor & Francis 99 - 118 2003年

A Multi-Threaded Implementation of PaiLisp Interpreter and Compiler 

Advanced LISP Technology, Taylor & Francis 1 - 26 2003年

スティール評価法のための仮想並列マシンの設計と実現 

情報処理学会論文誌 44(4) 1056 - 1069 2003年

An Efficient Evaluation Startegy for Concurrency Constructs in Parallel Scheme Systems 

Advanced LISP Technology, Taylor & Francis 99 - 118 2003年

A Multi-Threaded Implementation of PaiLisp Interpreter and Compiler 

Advanced LISP Technology, Taylor & Francis 1 - 26 2003年

Parallel and Distributed Computing for Symbolic and lrregular Applications (編署) 

World Scientific  2000年 

Theoretical Aspects of Computer Softwave(編著)(Lecture Notes in Computer Science 1281) 

Springer-Verlag  1997年 

Parallel Symbolic Languages and Systems(編著) 

Springen-Verlog(Lecture Notes in Computer Science 1068)  1996年 

Theory and Practice of Parallel Programming (編著) 

Springer-Verlag (Lecture Notes in Computer Science 907),  1995年 

Parallel Symbolic Computing : Languages, Systems and Applications (編著) 

Springer-Verlag (Lecture Notes in Computer Science 748),  1993年 

Lisp言語のISO標準の日本案の設計とLispの国際標準ISLispの設計 

1989年 - 1997年

Design of Japanese proposal of ISO Standard for Lisp Language, and Contributions to ISLisp design 

1989年 - 1997年

計算機科学の基礎に関する国際学術誌(IJFOCS)の発刊とコンピュータ・ソフトウェアの理論に関する国際会議の主催 

1991年

Publishing International Journal of Foundations of Computer Science IJFOCS as Managing Editor(1989-1999), and holding International Conference on Theoretical Aspects of Computer Software 1991,1994, 1997, 2001 

1991年

計算機を用いた色彩図形誌識システムの研究開発(通産省大型プロジェクト「パターン情報処理システム」のサブテーマ研究リーダ) 

1972年 - 1976年

情報意味論 

並列記号計算の言語とシステム 

プログラム理論 

Semantics of Information 

Parallel Symbolic Languages and Systems