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