定義側がしんどいのは自動生成でカバーできれば完全勝利だから