上級その4: 魔法のYコンビネータ

今回は、前回サヤが考えた弁当箱を実行 して、途中、弁当箱がどう変化するかを確認してみるよ。

そうすることで、どいうった経緯で最終的に「繰り返しの機能 」と同じになるのかを知ることができるからね。

なるほど、途中で何が起きているか確かめてみようってことだね。

それじゃあ、実行してみよう！

というわけで、実行 を押してみて！

• 説明のために、何度も止めながらやっていくよ。
• 複雑なので、目で追わなくても大丈夫だよ！
• ちょっと時間がかかるので、待てない方は下の「途中までスキップ →」を押してね！

めちゃくちゃ複雑だなあ…

でもちょっと立ち止まって考えてみて。まず、この真ん中の黄色で示した部分に注目してくれる？

黄色の部分は、今は関係ないので、見やすくするために一時的に省略してみるね。

すると、下のようになるよ。

おお、だいぶシンプルになった！

この省略した部分は、すぐに元に戻すけど、少しの間だけ省略したままにしておくね。

では続きを見てみよう。 には が入っているので、 が残ります。

じゃあ、省略した部分を省略する前の状態に戻すね。

では、続きを見てみよう！実行 を押してみて！

あれ…この黄色の部分は、前回省略したのとまったく同じだ！

そう。前回省略したのと全く同じのが再度出現するんだ。

へー、不思議だなあ…

では、またこの部分を省略してみたよ。前回と何が違うかな？

前回と比べてみると、下の黄色の部分が違うね！

そう。特に注目すべきなのは以下の二点だよ。

• 先ほど には が入っていたが、今回は が入っている
• 一番下に が追加されている

ふむふむ… に入っていた数字は、 から に「1減った」というわけか。

じゃあもしかしたら、このまま続けたら、次は の数字が になるのかも…？

続けて確かめてみるか。

再度、省略した部分を省略する前の状態に戻したよ。実行 を押してみて！