Witten時間からMiura時間への変換
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+7
+6
+6
+6
+5.5
+5
+5
+5
+5
+4.5
+4.5
+4.5
+4.5
+4.5
+4.5
+4.5
+4.5
+4.5
+4.5
+4
+4
+3.5
+3
+2.5
+2
+2
+2
+2
+2
+2
+2
+1
+1
+1
+1
+0
+0
+0
+0
+0
+0
+0
-1
-1
-4
-4
-4
-4
-5
-6
-6
-6
-7
-9