研究者
J-GLOBAL ID：200901098040098419   更新日: 2022年08月18日

佐藤 雅彦

サトウ マサヒコ | Sato Masahiko
所属機関・部署：
京都大学 大学院情報学研究科 知能情報学専攻 情報学研究科 知能情報学専攻

京都大学 大学院情報学研究科 知能情報学専攻 情報学研究科 知能情報学専攻 について


職名： 教授,教授
研究分野 (1件)： 情報学基礎論
研究キーワード (2件)： 構成的プログラミング ,  Constructive Programming
競争的資金等の研究課題 (4件)：
  • 2001 - 2004 変数の動的束縛機構を持つ新しいソフトウェアの理論的研究
  • 2001 - 2004 Theoretical study on new software with dynamic binding of variables
  • 構成的プログラミングに関する研究
  • Constructive Programming
MISC (104件)：
もっと見る
書籍 (2件)：
  • Logic, Language and Computation, Festschrift in Honor of Satoru Takasu
    Lecture Notes in Computer Science 1994
  • プログラムの基礎理論
    岩波ソフトウェア科学講座13,岩波書店 1991
学歴 (4件)：
  • - 1973 東京大学 理学系研究科 数学
  • - 1973 東京大学
  • - 1971 東京大学 理学部 数学
  • - 1971 東京大学
学位 (1件)：
  • 理学博士
委員歴 (1件)：
  • 2003 - 2005 人工知能学会 評議員
所属学会 (8件)：
情報処理学会 ,  日本数学会 ,  日本ソフトウェア科学会 ,  人工知能学会 ,  JSAI ,  JSSST ,  Mathematical Society of Japan ,  IPSJ
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM