>>396
帰納法じゃないの?