1章のラスト近く 式を簡単にしていくのではなく複雑にしていっています こうやっていくらでも式をでっちあげられるから定理の自動証明は難しいんだ、 っていうアピールですかね？ (my/test "chapter1.example11" (J-Bob/step (my/prelude) '(cons y (equal (…