Masahiko Sato - My portal

Profile Information

Affiliation: Professor,Professor, Graduate School of Informatics, Department of Intelligence Science and Technology, Graduate School of Informatics Department of Intelligence Science and Technology, Kyoto University

Degree: Doctor of Science

J-GLOBAL ID: 200901098040098419
researchmap Member ID: 1000203277

Research Interests

Research Areas

Informatics / Information theory /

Education

- 1973

The University of Tokyo
- 1973

Graduate School, Division of Science, The University of Tokyo
- 1971

Faculty of Science, The University of Tokyo
- 1971

Faculty of Science, The University of Tokyo

Committee Memberships

2003 - 2005

評議員, 人工知能学会

Misc.

104

Calculi of metavariables

LNCS, 2803,484-497, 2003
Calculi of meta-variables(jointly worked)

Lecture notes in Computer Science, 2803,484-497, 2003
Strong normalizability of the non-deterministic catch/throw calculi

Yukiyoshi Kameyama, Masahiko Sato

Theoretical Computer Science, 272(1-2) 223-245, Feb 6, 2002
A simply typed context calculus with first-class environments（共著）

Journal of Functional and Logic Programming, 2002
Theory of judgments and derivations

Lecture Notes in Artificial Intelligence, 2281,78-122, 2002
Strong normalizability of the non-deterministic chatch/throw calculi(共著）

Theoretical Computer Science, 272,223-245, 2002
A second-order context calculus(jointly worked)

Taha Azza A., SATO Masahiko, KAMEYAMA Yukiyoshi, Azza A. Taha, Masahiko Sato, Yukiyoshi Kameyama, Department of Mathematics and Computer Science Am Shams University Egypt, Department of Mathematics and Computer Science Am Shams University Egypt, Graduate School of Informatics Kyoto University, Institute of Information Sciences and Electronics University of Tsukuba

Computer Software, Vol.19,No.3,2-19(3) 158-175, 2002
A Simply Typed Context Calculus with First-Class Environments(jointly worked）

Journal of Functional and Logic Programming, Vol.2002,No.4, 2002
Theory of judgments and derivations(jointly worked）

Lecture Notes in Artificial Intelligence, 2281,78-122, 2002
Strong normalizability of the non-deterministic catch/throw calculi(jointly worked)

Theoretical Computer Science, 272,223-245, 2002
Explicit Environments(共著）

Fundamenta Informatics, 45,79-115, 2001
A type-free context calculus(共著）

JPSJ Journal, Vol.42,38-47, 2001
CAL:A computer assisted learning system for computation and logic(jointly worked）

Computer Aided Systems Theory-EUROCAST 2001, Lecture Notes in Cmnpter Science, 2718,509-524, 2001
Explicit Environments(jointly worked)

Fundamenta Informaticae, 45 79-115, 2001
A type-free Context Calculus(jointly worked）

JPSJ Jurnal, 42(1), 2001
発見科学の構想と展開

人工知能学会誌, 15(4) 595-607, 2000
Explicit Environments(jointly worked）

Lecture Notes in Computer Science, (1581) 340-354, 1999
A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(共著）

Proc. of the 4th Australasian Theory Symposium, 183-197, 1998
A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(jointly worked）

Computing Theory '98, Proc. the 4th Australasian Theory Symposium(X-Lined. ), Australian Computer Science Communications, Springer, 20(3) 183-197, 1998
Intuitionistic and classical natural deduction systems with the catch and the throw rules

Masahiko Sato

Theoretical Computer Science, 175(1) 75-92, Mar 30, 1997

Books and Other Publications

Logic, Language and Computation, Festschrift in Honor of Satoru Takasu

Lecture Notes in Computer Science, 1994
プログラムの基礎理論

岩波ソフトウェア科学講座13,岩波書店, 1991

Professional Memberships

Research Projects

変数の動的束縛機構を持つ新しいソフトウェアの理論的研究

科学研究費補助金, 2001 - 2004
Theoretical study on new software with dynamic binding of variables

Grant-in-Aid for Scientific Research, 2001 - 2004
構成的プログラミングに関する研究
Constructive Programming