研究者
J-GLOBAL ID：200901064532733568   更新日: 2022年07月11日

伊藤 貴康

イトウ タカヤス | Ito Takayasu
所属機関・部署：
旧所属 石巻専修大学 理工学部 情報電子工学科

旧所属 石巻専修大学 理工学部 情報電子工学科 について


職名： 教授
ホームページURL (1件)： http://www.ito.ecei.tohoku.ac.jp/~ito/
研究分野 (2件)： 知能情報学 ,  情報学基礎論
研究キーワード (4件)： 人工知能 ,  ソフトウエア基礎科学 ,  Artificial Intelligence ,  Foundations of Computer Software
競争的資金等の研究課題 (6件)：
  • 情報意味論
  • 並列記号計算の言語とシステム
  • プログラム理論
  • Semantics of Information
  • Parallel Symbolic Languages and Systems
全件表示
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
もっと見る
書籍 (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
もっと見る
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
もっと見る
学位 (2件)：
  • 工学博士 (京都大学)
  • 修士(理学) (スタンフォード大学(米国))
委員歴 (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) 学会誌編集委員
全件表示
受賞 (4件)：
  • 2001 - 電子情報通信学会フェロー
  • 2000 - 情報処理学会フェロー
  • 1997 - 情報処理学会標準化貢献賞
  • 1965 - 電子通信学会稲田賞
所属学会 (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) ,  人工知能学会 ,  ソフトウェア科学会 ,  電子情報通信学会 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM