再帰代入系 2

• 再帰代入系 2 :

「再帰代入系 1」の続きです。まだ途中です。

半分くらい書き上がったところで中断するので、この段階でアップロードしておきます。「できあがったところはdraft、まだ終わってない」ステータスです。

書いた部分（前半）は、すべてインフォーマルな話ばかりですね。