ラムダ計算について ChatGPT で調べてみました。前回調べたようなことをラムダ計算でやるには機能を追加する必要があるようです。これは継続して調べていきます。 ラムダ計算を有限回で終了するラムダ計算で表してください と入力すると以下の結果となりまし…