>>615 実数の定義 理解した? ここに書ける?