フォロー

単純な多項式計算程度であればこういう「置き換え」について(テクニックとして)理解できる人でも、ことラムダ計算やプログラミングになると「置き換え」による理解が困難になる。
落ち着いて順序立てて考えれば、単純な「置き換え」の積み重ねにすぎないにもかかわらず。

ログインして会話に参加
Mastodon

個人的な利用・実験のためのインスタンスです。