Rchr
J-GLOBAL ID：200901064532733568   Update date: Jul. 11, 2022

Ito Takayasu

イトウ タカヤス | Ito Takayasu
Affiliation and department：
Former Institution / Organization Ishinomaki Senshu University School of Science and Engineering Department of Information Technology and Electronics

About Former Institution / Organization Ishinomaki Senshu University School of Science and Engineering Department of Information Technology and Electronics


Job title： Professor
Homepage URL  (1)： http://www.ito.ecei.tohoku.ac.jp/~ito/
Research field  (2)： Intelligent informatics ,  Information theory
Research keywords  (4)： 人工知能 ,  ソフトウエア基礎科学 ,  Artificial Intelligence ,  Foundations of Computer Software
Research theme for competitive and other funds  (6)：
  • 情報意味論
  • 並列記号計算の言語とシステム
  • プログラム理論
  • Semantics of Information
  • Parallel Symbolic Languages and Systems
Show all
MISC (119)：
  • An Efficient Evaluation Startegy for Concurrency Constructs in Parallel Scheme Systems. Advanced LISP Technology, Taylor & Francis. 2003. 99-118
  • A Multi-Threaded Implementation of PaiLisp Interpreter and Compiler. Advanced LISP Technology, Taylor & Francis. 2003. 1-26
  • スティール評価法のための仮想並列マシンの設計と実現. 情報処理学会論文誌. 2003. 44. 4. 1056-1069
  • An Efficient Evaluation Startegy for Concurrency Constructs in Parallel Scheme Systems. Advanced LISP Technology, Taylor & Francis. 2003. 99-118
  • A Multi-Threaded Implementation of PaiLisp Interpreter and Compiler. Advanced LISP Technology, Taylor & Francis. 2003. 1-26
ｍore...
Books (12)：
  • 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
ｍore...
Works (6)：
  • 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
ｍore...
Professional career (2)：
  • Doctor of Engineering (Kyoto University)
  • Master of Science (Stanford University(US))
Committee career (10)：
  • 2003 - IFIP TCI(情報処理国際連合第1技術委員会) Chairman
  • 1989 - 1999 International Journal of Foundations of Computer Science誌 Managing Editor
  • 1997 - Higher-Order and Symbolic Computation誌 Associate Editor
  • 1990 - 1993 IFIP SGFCS(情報処理国際連合理論計算科学部会)(IFIP Specialist Group on Foundations of Couputer Science) 部会副委員長,Advisory Member
  • 1983 - 1993 EATCS(欧州理論計算科学会)(European Association for Theoretical Computer Science) 学会誌編集委員
Show all
Awards (4)：
  • 2001 - 電子情報通信学会フェロー
  • 2000 - 情報処理学会フェロー
  • 1997 - 情報処理学会標準化貢献賞
  • 1965 - 電子通信学会稲田賞
Association Membership(s) (11)：
Higher-Order and Symbolic Computation誌 ,  International Journal of Foundations of Computer Science誌 ,  Information and Computation誌 ,  IFIP TCI(情報処理国際連合第1技術委員会) ,  EATCS(欧州理論計算科学会)(European Association for Theoretical Computer Science) ,  IFIP SGFCS(情報処理国際連合理論計算科学部会)(IFIP Specialist Group on Foundations of Couputer Science) ,  米国計算機学会ACM(Association for Computing Machinery) ,  人工知能学会 ,  ソフトウェア科学会 ,  電子情報通信学会 ,  情報処理学会
※ 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