2006-08-04から1日間の記事一覧

お休み

今日は事実上お休みの日…。 本屋さんで以下の新刊を購入するか迷う。 井田哲雄、浜名誠 『計算モデル論入 −チューリング機械からラムダ計算へ−』、Information Science & Engineering-F 5、サイエンス社、2006年 第1章 序-計算の考え方 1.1 計算のための機械…