m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 記事「再帰代入系 1」は既にアップロードしました。いま、「その2」を書こうとしています。感触としては、再帰代入系の説明は、「その4」か「その5」くらいまでかかりそうです。再帰代入系の説明が終われば、僕としてはホッと一安心でしょう。なぜなら、構文的な議論のほとんどは、再帰代入系の性質に依存するからです。BNFのような実例からはじめたほうが説明としては親切でしょうが、背景を説明しきらないと、どうも落ち着かないのです。再帰代入系（の圏）は、曖昧な形では1995年くらいから漠然と認識してましたが、全体の構造がだいたい分かったのは1999から2000年くらいです（あまり時期を特定できませんが）。しかし、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20050303%2F1109818069" title="再帰代入系 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2005-03-03 11:47:49 rich https://m-hiyama.hatenablog.com/entry/20050303/1109818069 1.0 100%