導出の型設計を見直した