Rchr
J-GLOBAL ID：200901079756149460   Update date: May. 13, 2020

Ikeda Yasuo

イケダ ヤスオ | Ikeda Yasuo
Affiliation and department：
Former Institution / Organization Saitama Junior College Department of Information Media

About Former Institution / Organization Saitama Junior College Department of Information Media


Job title： Others
Homepage URL  (1)： http://www.ailab.is.tsukuba.ac.jp/~yikeda
Research field  (2)： Mechanics and mechatronics ,  Robotics and intelligent systems
Research keywords  (4)： 定理自動証明 ,  プログラム理論 ,  Automatic Theorem Proving ,  Program Theory
Research theme for competitive and other funds  (3)：
  • @カルキュラス
  • 高階論理型プログラム言語NUに関する研究
  • Study on Higher Typed Logical Programing Language NU
MISC (11)：
ｍore...
Education (4)：
  • - 1992 University of Tsukuba
  • - 1992 University of Tsukuba Graduate School, Division of Engineering
  • - 1987 University of Tsukuba
  • - 1987 University of Tsukuba
Professional career (2)：
  • - (University of Tsukuba)
  • - (University of Tsukuba)
Association Membership(s) (2)：
情報処理学会 ,  日本ソフトウェア科学会
※ 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