イダ, テツオ
井田, 哲雄(1947-)
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
場所 | 横浜 |
一般注記 | 筑波大学 システム情報工学研究科 コンピュータサイエン専攻 教授 「プログラミング言語の新潮流」の著者 EDSRC:求解、証明、書換のインタラクションによる記号計算と記号計算グリットの構築 / 井田哲雄研究代表 ([井田哲雄], 2008.5) |
Dates of Birth and Death | 1947 |
から見よ参照 | Ida, Tetsuo Ida, T. |
コード類 | 典拠ID=AU20087307 NCID=DA02332850 |
1 | チューリングを読む : コンピュータサイエンスの金字塔を楽しもう / チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳 [東京] : 日経BP社. - 東京 : 日経BPマーケティング (発売) , 2012.6 |
2 | 計算モデルの基礎理論 / 井田哲雄 [著] 東京 : 岩波書店 , 1991.3 |
3 | プログラミング言語の新潮流 / 井田哲雄著 東京 : 共立出版 , 1988.5 |