ノート見開き（ペラ一枚表裏）で慣れる練習

「慣れる」とは、いちいち考えなくても自然に反応できるようになること。サッカーで例えるなら、ボールに慣れるためにリフティング練習やトラップの練習を繰り返す。「慣れる」トレーニングは単純作業的になるのは致し方ない。基礎動作の反復練習とはそういうもの。

---

簡単なストリング図と簡単なラムダ式：

ストリング図の、述語〈ブール値関数〉としてのプロファイル：