これ帰納法っぽいけど違う?