t_wの輪郭

帰納
構造帰納法整礎帰納法