帰納法 2020-07