F-name https://blog.hatena.ne.jp/F-name/ F-nameのブログ https://blog.kaname-fujita.work/ The理系という内容だけど結構面白く聞けた。パソコンと絡んだ内容は興味深く聞けるので網羅的に学ぶのも良いかもしれない。 萩谷真己。計算モデル。ラムダ計算の簡約の概念。状態と状態遷移。状態機械。チューリング機械。現実の回路やcomputer。簡約の概念。状況の書き換え。ラムダ計算で簡約。ラムダ項をより簡単なラムダ項で。数式とその一部を他の数式で。簡約。数式の値を計算する。7引く2、5という数式で置き換える。同じものを表現する5という数式。7引く2の値。つまり同じもの。数式の一部を置き換える。数式全体同士は同じ。等式が成立。簡約の前と後とは等しい。計算を更に進める。4×5は20。更に簡約される。そ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.kaname-fujita.work%2Fentry%2F2020%2F12%2F06%2F123000" title="計算モデル概論（2）（コンピューティング第2回） - F-nameのブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/41Ygql84zXL._SL160_.jpg Hatena Blog https://hatena.blog 2020-12-06 12:30:00 rich https://blog.kaname-fujita.work/entry/2020/12/06/123000 1.0 100%