3 MitsuiWorld の座標変換

(作業中…これは学生にやってもらいたいぞ)

xmin, xmax, ymin, ymax, zmin, zmax を $x_\ast$, $x^\ast$, $y_\ast$, $y^\ast$, $z_\ast$, $z^\ast$ とする。

$$\Omega:=[x_\ast,x^\ast]\times [y_\ast,y^\ast]\times [z_\ast,z^\ast]$$

$\varphi_J\colon\Omega\to\R^3$ を