佐藤雅彦 (理論計算機科学者)
| 読み | サトウマサヒコ |
|---|---|
| 生年月日 | 1947年01月01日生 |
| 年齢 | 満77歳4ヶ月 |
| 星座 | 山羊座(やぎ座, Capricorn, The Goat) |
| 干支 | 亥年(いのしし・い年) |
| 運命星 | 金星人(－)[運命数17, 星数17] |
佐藤 雅彦(さとう まさひこ、1947年 - )は、日本の理論計算機科学者。京都大学名誉教授。数理論理学に基づくプログラム理論、定理証明・構成的プログラミング環境の計算機上での実現を研究テーマとしている。兵庫県神戸市生まれ。
[ ウィキペディアで続きを見る... ]
[ ウィキペディアで続きを見る... ]
◆「佐藤雅彦 (理論計算機科学者)」の外部リンク