Research Activity

• Masahiko Sato, "Assigning Meanings to Symbolic Objects -- A Constructive Theory of Objects --" pdf file.
• Masahiko Sato, "External and internal syntax of the lambda calculus" presented at: Symbolic Computation in Software Science Austrian-Japanese Workshop, SCSS 2008 pdf file.
• Masahiko Sato, "Ordinals and Sets -- Two Sides of the Same Coin --" draft. pdf file.
• 佐藤雅彦， 計算と論理のための自然枠組 NF/CAL, draft. ps file.
• Masahiko Sato, "A Framework for Checking Proofs Naturally", draft. pdf file.
• Masahiko Sato, "A Simple Theory of Expressions, Judgments and Derivations", in Maher, M.J. eds., Advances in Comupter Science -- ASIAN 2004, Lecture Notes in Computer Science 3321, pp. 437--451, 2004. pdf file.
• Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, and Atsushi Igarashi, "Calculi of Mata-varaibles", in Baaz, M. and Makowsky, J. A. eds., 17th International Workshop Computer Science Logic 2003, Proceedings, Lecture Notes in Computer Science 2803, pp. 484--497, 2003. Revised version: dvi file.
• Masahiko Sato, Yukiyoshi Kameyama and Izumi Takeuti, "CAL: A Computer Assisted Learning system fo Computation and Logic", 8th International Workshop on Computer Aided Systems Theory (EUROCAST 2001), Lecture Notes in Computer Science 2178, pp. 509--524, 2002.
• Masahiko Sato, Takafumi Sakurai and Yukiyoshi Kameyama, "A Simply Typed Context Calculus with First-Class Environments", The Journal of Functional and Logic Programming, vol. 2002, no. 4, pp. 1--41, 2002. ps.gz file at JFLP site
• Azza A. Taha, Masahiko Sato and Yukiyoshi Kameyama, "A Second Order Context Calculus", Journal of Information Processing Society of Japan, vol. 19, no. 3, pp. 158 -- 175, 2002.
• Yukiyoshi Kameyama and Masahiko Sato, "Strong Normalizability of the Non-deterministic Catch/Throw Calculi", Theoretical Computer Science, vol. 272, no. 1-2, pp. 223 -- 245, 2002.
• Masahiko Sato, "Theory of Judgments and Derivations", in Arikawa, S. and Shinohara, A. eds., Progress in Discovery Science, Lecture Notes in Artificial Intelligence, State-of-the-Art Surveys, Springer, 2001. ps file.
• Masahiko Sato, Takafumi Sakurai and Yukiyoshi Kameyama, "A Simply Typed Context Calculus with First-Class Environments", a paper without proofs appears in FLOPS2001 (Springer LNCS 2024).
• Masahiko Sato, Takafumi Sakurai and Rod Burstall, "Explicit Environments", Fundamenta Informaticae, vol. 45, no. 1-2, pp. 79--115, 2001. dvi file. (Errata: dvi file)
• Masahiko Sato, Takafumi Sakurai and Rod Burstall, "Explicit Environments", abstract in TLCA'99 (Springer LNCS 1581).
• Masahiko Sato, "Classical Brouwer-Heyting-Kolmogorov interpretation", in Li, M. Maruoka, A. eds., Algorithmic Learning Theory, 8th International Workshop, ALT'97, Sendai, Japan, October 1997, Proceedings, Lecture Notes in Artificial Intelligence, 1316, pp. 176--196. ps file.

• Masahiko Sato, "Algebraic Structure of Symbolic Expressions", Technical Report 82-05, Department of Informatcion Science, Faculty of Science, University of Tokyo, March 1982 pdf file.
• 佐藤雅彦, Hyperlisp のデータ構造とオートマトン, draft, 1982. pdf file.
• Masahiko Sato, "Syntactic Construction of Rational Numbers", Proceedings of the Symposium on the Foundation of Mathematics, 1980, pp. 13 - 14. pdf file.
• Masahiko Sato, "A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method", Publ. RIMS, Kyoto University, Vol. 13, No. 2, 1977, 381-468 pdf file.
• Masahiko Sato, "Characterization of Pseudo-Boolean Models by Boolean Models and Its Applications to Intermediate Logics", Publ. RIMS, Kyoto University, Vol. 9, No. 1, 1973, 141-155 pdf file.
• Masahiko Sato, "Grundy Functions and Linear Games", Publ. RIMS, Kyoto University, Vol. 7, No. 3, 1972, 645-658 pdf file.

• 佐藤雅彦，私の基礎研究 - 計算と論理を巡って -， 日本ソフトウェア科学会第32回大会講演，2015年9月． pdf file.
• Masahiko Sato, Randy Pollack, Helmut Schwichtenberg, Takafumi Sakurai, James McKinna, "Viewing $\lambda$-terms through Maps, -- Essence of de Bruijn index --", TPP2012, Chiba University, Chiba, Japan, November 22, 2012. pdf file.
• Masahiko Sato, "Symbolic Expressions and Variable Binding", Lectures given at the First MALOA Training Workshop, 5 - 11, Septemper, 2010. pdf file of Lecture 1. pdf file of Lecture 2. pdf file of Lecture 3. pdf file of Lecture 4. pdf file of Lecture 5.
• Masahiko Sato, "Platonism with a flavor of contructivism" invited talk, Workshop on Constructivism: Logic and Mathematics, Kanazawa, Japan, May 26, 2008. pdf file.
• Masahiko Sato, "Truth by Evidence", talk given at an IFIP WG2.2 Meeting, Skagen, Denmark, September 3, 2005. pdf file.
• Masahiko Sato, "Quotation, Evaluation and Metavariables", talk given at the Symposium on Proving, Solving and Computing (On the Occasion of Prof. Shigeru Igarashi's Retirement from University of Tsukuba), Tsukuba, Japan, June 28, 2001. ps file.
• Masahiko Sato, "Quotation, Evaluation and Metavariables", An earlier version of the above talk., 2001 ps file.