これって本当に定理なんですか？ たぶん定理ですね。 関数や定理を定義する書き方がわかったので、これでjabberwockyも まっとうに定義できるようになったはず （jabberwockyは再帰的な関数じゃないから） brillig、slithy、mimsy、mome、uffish、frumious、…