関数 f が参照透明とは任意の参照透明な式 e に対し式 f e が参照透明