Property |
Value |
dbo:abstract
|
- 佐藤 雅彦(さとう まさひこ、1947年 - )は、理論計算機科学者。京都大学名誉教授。数理論理学に基づくプログラム理論、定理証明・構成的プログラミング環境の計算機上での実現を研究テーマとしている。 兵庫県神戸市生まれ。神戸市立摩耶小学校、灘中学校・高等学校卒業。1971年東京大学理学部数学科卒業。1973年東京大学大学院理学系研究科数学専攻修士課程修了。京都大学数理解析研究所、東北大学電気通信研究所教授、京都大学大学院情報学研究科教授、2012年定年退任、名誉教授。 東北大学時代に日本語入力システムのSKKを開発していたが、佐藤による開発は2000年に終了宣言を出している。 (ja)
- 佐藤 雅彦(さとう まさひこ、1947年 - )は、理論計算機科学者。京都大学名誉教授。数理論理学に基づくプログラム理論、定理証明・構成的プログラミング環境の計算機上での実現を研究テーマとしている。 兵庫県神戸市生まれ。神戸市立摩耶小学校、灘中学校・高等学校卒業。1971年東京大学理学部数学科卒業。1973年東京大学大学院理学系研究科数学専攻修士課程修了。京都大学数理解析研究所、東北大学電気通信研究所教授、京都大学大学院情報学研究科教授、2012年定年退任、名誉教授。 東北大学時代に日本語入力システムのSKKを開発していたが、佐藤による開発は2000年に終了宣言を出している。 (ja)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 728 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-ja:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- 佐藤 雅彦(さとう まさひこ、1947年 - )は、理論計算機科学者。京都大学名誉教授。数理論理学に基づくプログラム理論、定理証明・構成的プログラミング環境の計算機上での実現を研究テーマとしている。 兵庫県神戸市生まれ。神戸市立摩耶小学校、灘中学校・高等学校卒業。1971年東京大学理学部数学科卒業。1973年東京大学大学院理学系研究科数学専攻修士課程修了。京都大学数理解析研究所、東北大学電気通信研究所教授、京都大学大学院情報学研究科教授、2012年定年退任、名誉教授。 東北大学時代に日本語入力システムのSKKを開発していたが、佐藤による開発は2000年に終了宣言を出している。 (ja)
- 佐藤 雅彦(さとう まさひこ、1947年 - )は、理論計算機科学者。京都大学名誉教授。数理論理学に基づくプログラム理論、定理証明・構成的プログラミング環境の計算機上での実現を研究テーマとしている。 兵庫県神戸市生まれ。神戸市立摩耶小学校、灘中学校・高等学校卒業。1971年東京大学理学部数学科卒業。1973年東京大学大学院理学系研究科数学専攻修士課程修了。京都大学数理解析研究所、東北大学電気通信研究所教授、京都大学大学院情報学研究科教授、2012年定年退任、名誉教授。 東北大学時代に日本語入力システムのSKKを開発していたが、佐藤による開発は2000年に終了宣言を出している。 (ja)
|
rdfs:label
|
- 佐藤雅彦 (理論計算機科学者) (ja)
- 佐藤雅彦 (理論計算機科学者) (ja)
|
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |