成命的日文

• 垂直面と水平面に開口部を生成する命令をそれぞれＣｒｅａｔｅＶＨｏｌｅ，ＣｒｅａｔｅＨＨｏｌｅ，垂直および水平な構成面を生成する命令をそれぞれＣｒｅａｔｅＨＦａｃｅ，ＣｒｅａｔｅＶＦａｃｅとし，各命令が入力として多角形の輪郭を表す点列Ｐ［］を受け取るとすると，この入力に用いる点列の各座標値を適切に変換することで，次のように開口部の生成命令を構成面の生成命令に変換できる．
  在垂直面与水平面上创建开口部的命令分别设为ＣｒｅａｔｅＶＨｏｌｅ、ＣｒｅａｔｅＨＨｏｌｅ，在垂直以及水平构成面上创建开口部的命令分别设为ＣｒｅａｔｅＨＦａｃｅ，ＣｒｅａｔｅＶＦａｃｅ，各命令将表示多角形轮廓的点列Ｐ［］作为输入进行接收，则可以通过对使用此输入的点列的各坐标值进行适当的转换，把如下的开口部的创建命令转换为构成面的创建命令。
• （１）＠ｅｑｕａｔｉｏｎ＿０＠（２）任意の＠ｅｑｕａｔｉｏｎ＿１＠に対し以下が成り立つ．＠ｅｑｕａｔｉｏｎ＿２＠はこれらの演算に対して命題論理を構成する．Ｐｒｏｏｆ．（１）＠ｅｑｕａｔｉｏｎ＿３＠（２）＠ｅｑｕａｔｉｏｎ＿４＠であるから，＠ｅｑｕａｔｉｏｎ＿５＠．従って，＠ｅｑｕａｔｉｏｎ＿６＠．逆に，＠ｅｑｕａｔｉｏｎ＿７＠が存在して＠ｅｑｕａｔｉｏｎ＿８＠ならば，＠ｅｑｕａｔｉｏｎ＿９＠であるから，＠ｅｑｕａｔｉｏｎ＿１０＠．すなわち，＠ｅｑｕａｔｉｏｎ＿１１＠．それゆえ，＠ｅｑｕａｔｉｏｎ＿１２＠．論理式＠ｅｑｕａｔｉｏｎ＿１３＠も同様である．
  （１）＠ｅｑｕａｔｉｏｎ＿０＠（２）对于任意的＠ｅｑｕａｔｉｏｎ＿１＠，以下成立。＠ｅｑｕａｔｉｏｎ＿２＠是对于这些运算构成命题逻辑。Ｐｒｏｏｆ。（１）＠ｅｑｕａｔｉｏｎ＿３＠（２）因为＠ｅｑｕａｔｉｏｎ＿４＠，所以＠ｅｑｕａｔｉｏｎ＿５＠。因此，＠ｅｑｕａｔｉｏｎ＿６＠。与此相反，存在＠ｅｑｕａｔｉｏｎ＿７＠，如果＠ｅｑｕａｔｉｏｎ＿８＠的话，因为＠ｅｑｕａｔｉｏｎ＿９＠，所以＠ｅｑｕａｔｉｏｎ＿１０＠。即＠ｅｑｕａｔｉｏｎ＿１１＠。因此，＠ｅｑｕａｔｉｏｎ＿１２＠。逻辑表达式＠ｅｑｕａｔｉｏｎ＿１３＠也是同样的。