これを明示的に書けば、