Rchr
J-GLOBAL ID:200901098040098419   Update date: Aug. 18, 2022

Sato Masahiko

サトウ マサヒコ | Sato Masahiko
Affiliation and department:
Job title: Professor,Professor
Research field  (1): Information theory
Research keywords  (2): 構成的プログラミング ,  Constructive Programming
Research theme for competitive and other funds  (4):
  • 2001 - 2004 変数の動的束縛機構を持つ新しいソフトウェアの理論的研究
  • 2001 - 2004 Theoretical study on new software with dynamic binding of variables
  • 構成的プログラミングに関する研究
  • Constructive Programming
MISC (104):
Books (2):
  • Logic, Language and Computation, Festschrift in Honor of Satoru Takasu
    Lecture Notes in Computer Science 1994
  • プログラムの基礎理論
    岩波ソフトウェア科学講座13,岩波書店 1991
Education (4):
  • - 1973 The University of Tokyo
  • - 1973 The University of Tokyo Graduate School, Division of Science
  • - 1971 The University of Tokyo Faculty of Science
  • - 1971 The University of Tokyo Faculty of Science
Professional career (1):
  • Doctor of Science
Committee career (1):
  • 2003 - 2005 人工知能学会 評議員
Association Membership(s) (8):
情報処理学会 ,  日本数学会 ,  日本ソフトウェア科学会 ,  人工知能学会 ,  JSAI ,  JSSST ,  Mathematical Society of Japan ,  IPSJ
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page