サトウ, マサヒコ
佐藤, 雅彦(1947-)
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | 東京大学理学部数学科卒業 東京大学理学部助教授 東北大学電気通信研究所教授 「コンピュータサイエンス」の訳者 共著書:プログラムの基礎理論(岩波書店,1991) EDSRC:Logic, language, and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato, eds(Springer-Verlag, 1994) EDSRC:構成的プログラミングを実現する証明・検証・合成システム / 佐藤雅彦研究代表([佐藤雅彦], 1996.3)により現職を追加 京都大学工学研究科教授 |
生没年等 | 1947 |
から見よ参照 | Sato, Masahiko |
コード類 | 典拠ID=AU00060916 NCID=DA01000990 |
1 | 解きたくなる数学 / 佐藤雅彦, 大島遼, 廣瀬隼也著 東京 : 岩波書店 , 2021.9 |
2 | プログラムの基礎理論 / 佐藤雅彦, 桜井貴文 [共著] 東京 : 岩波書店 , 1991.9 |