Basics_J: 関数プログラミングとプログラムの証明 - 証明の中で行う証明まで終了
Basics_J: 関数プログラミングとプログラムの証明 - 証明の中で行う証明まで終了