なんで全部タイプ一致計算なの