F-nameのブログ

The理系という内容だけど結構面白く聞けた。パソコンと絡んだ内容は興味深く聞けるので網羅的に学ぶのも良いかもしれない。 萩谷真己。計算モデル。ラムダ計算の簡約の概念。状態と状態遷移。状態機械。チューリング機械。現実の回路やcomputer。簡約の概念。状況の書き換え。ラムダ計算で簡約。ラムダ項をより簡単なラム…