計算モデル論入門 チューリング機械からラムダ計算へ Information Science & Engineering-F 5 井田哲雄(筑波大学名誉教授) 著浜名 誠(群馬大学准教授) 著 定価：1,540 円（本体：1,400円＋税） 紙 発行日：2006年8月10日 発行：サイエンス社 ISBN：978-4-7819-1135-9 サイズ：並製A5 ページ数： 136 ページ 難易度：入門
