F-nameのブログ

原理的に考察するのも必要なのだろう。 萩谷昌己。計算モデル概論。簡約の概念。状態と状態遷移。状態機械。現実の論理回路やコンピュータの構成。ラムダ計算から離れて。ラムダ項をより簡単なラムダ項で。数式を同じ内容の数式で置き換えることを簡約という。数式の値を計算。7-2の部分。同じものを表現する5という数式で…