佐藤 雅彦(さとう まさひこ、1947年 - )は、理論計算機科学を研究する研究者。京都大学名誉教授。 1971年東京大学理学部数学科卒。73年同大学院修士課程修了。京大数理解析研究所、東北大学電気通信研究所教授、京大教授、2012年定年退任、名誉教授。 数理論理学に基づくプログラム理論、定理証明・構成的プログラミング環境の計算機上での実現を研究テーマとしている。
東北大学時代に日本語入力システムのSKKを開発していたが、佐藤による開発は2000年に終了宣言を出している。
![]() ![]() |
この「佐藤雅彦 (理論計算機科学者)」は、コンピュータ関連の項目ですが、内容が不十分です。この記事を加筆、訂正などして下さる協力者を求めています(Portal:コンピュータ)。 |
![]() ![]() |
この「佐藤雅彦 (理論計算機科学者)」は、人物に関連したまだ閲覧者の調べものの参考としては役立たない書きかけ項目です。この記事を加筆・訂正などして下さる協力者を求めています(ウィキプロジェクト 人物伝、Portal:人物伝)。 |