サトウ, マサヒコ
佐藤, 雅彦(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=AU00024085 NCID=DA01000990 |
| 1 | 解きたくなる数学 / 佐藤雅彦, 大島遼, 廣瀬隼也著 東京 : 岩波書店 , 2021.9 |
| 2 | プログラムの基礎理論 / 佐藤雅彦, 桜井貴文 [共著] 東京 : 岩波書店 , 1991.9 |
| 3 | 論理プログラミングの基礎 / J.W. ロイド著 ; 佐藤雅彦, 森下真一訳 東京 : 産業図書 , 1987.6 |