佐藤 雅彦 | Department Of Information Science Kyoto University
スポンサーリンク
概要
関連著者
-
佐藤 雅彦
京都大学大学院情報学研究科
-
佐藤 雅彦
Department Of Information Science Kyoto University
-
佐藤 雅彦
Department Of Information Science Faculty Of Science University Of Tokyo
-
Sato Masahiko
Graduate School Department Of Mathematics Kyoto University
-
佐藤 雅彦
東京大学理学部
-
Sato Masahiko
Department Of Information Science Kyoto University
-
佐藤 雅彦
京都大学数理解析研究所
-
佐藤 雅彦
Department Of Cardiovascular Medicine Public Soma General Hospital
著作論文
- A Formal Theory of Symbolic Expressions(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- Algebraic Structure of Symbolic Expressions (Mathematical Studies of Information Processing)
- ニセ金発見パズルについて (計算機によるパズル・ゲームの研究)
- On Formal Fractions Associated with the Symmetric Groups (組合せ構造とグラフ理論)
- 2個の生成元を持つFree IN-Algebra及びFree ICN-Algebraの決定 (数理論理とモデル理論)
- Lゲームの計算機による分類 (計算機によるゲームとパズルをめぐる諸問題研究会報告集)
- Classical Brouwer-Heyting-Kolmogorov interpretation