t_wの輪郭

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