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)：
Committee career (1)：
Association Membership(s) (8)：
情報処理学会
, 日本数学会
, 日本ソフトウェア科学会
, 人工知能学会
, JSAI
, JSSST
, Mathematical Society of Japan
, IPSJ
