ハマナ, マコト
浜名, 誠(1971-)
著者名典拠詳細を表示
| 1 | チューリングを読む : コンピュータサイエンスの金字塔を楽しもう / チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳 [東京] : 日経BP社 , 2012.6 |
| 2 | 計算モデル論入門 : チューリング機械からラムダ計算へ / 井田哲雄, 浜名誠共著 東京 : サイエンス社 , 2006.8 |
ハマナ, マコト
著者名典拠詳細を表示| 1 | チューリングを読む : コンピュータサイエンスの金字塔を楽しもう / チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳 [東京] : 日経BP社 , 2012.6 |
| 2 | 計算モデル論入門 : チューリング機械からラムダ計算へ / 井田哲雄, 浜名誠共著 東京 : サイエンス社 , 2006.8 |