壮大なリアルenvであると仮定してみる。