Basics_J: 関数プログラミングとプログラムの証明 - 終了