7月3日配布分の授業要約第12回「原始再帰関数と数値的表現可能性」ですが、見直してみると、やり方が不必要に煩雑なため、定義を変更いたしました。 初版： 対象レベルで原始再帰関数（に相当する）関数のクラスを定義し、（まだ配布していなかったが第13回…