@@ -321,9 +321,9 @@
 </pre>
 他のレイヤで動かしてみましょう。適当に。「<tt>@hoge</tt> レイヤ」で。
 <pre>
     &gt;&gt; @hoge( 3 )
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(138):
+    polemy.failure.RuntimeException@polemy\eval.d(138):
     [<REPL>:4:8] lift function for @hoge is not registered
 </pre>
 <p>
 エラーになりました。Polemy のインタプリタは、起動時には、<tt>@value</tt>
@@ -353,9 +353,9 @@
 では、1+2 を <tt>@hoge</tt> レイヤで動かしてみましょう。
 </p>
 <pre>
     &gt;&gt; @hoge( 1 + 2 )
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(466):
+    polemy.failure.RuntimeException@polemy\eval.d(466):
     [<REPL>:3:7] only @value layer can call native function: +
     [<REPL>:3:7] +
 </pre>
 <p>
@@ -362,9 +362,9 @@
 まだエラーですね。これは要するに "+" の意味がわからない、と言っています。
 $(RED $(B レイヤ指定変数定義式)) で、"+" の意味を教えてあげます。
 </p>
 <pre>
-    &gt;&gt; @hoge "+" = fun(x, y) {x}
+    &gt;&gt; @hoge + = fun(x, y) {x}
     (function:182eca0:18435e0)
     &gt;&gt; @hoge( 3 + 4 )
     6
 </pre>
@@ -375,12 +375,12 @@
 他の組み込み関数の意味も決めてみましょう。この <tt>@hoge</tt> レイヤでは、
 引き算のつもりで書いたコードが、掛け算になってしまうのだ！
 </p>
 <pre>
-    &gt;&gt; @hoge "-" = fun(x, y) {x * y}
+    &gt;&gt; @hoge - = fun(x, y) {x * y}
     (function:1b4c6a0:1b4fbe0)
     &gt;&gt; @hoge( 5 - 6 )
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\eval.d(469):
+    polemy.failure.RuntimeException@polemy\eval.d(469):
     [<REPL>:3:24] only @value layer can call native function: *
     [<REPL>:3:24] *
     [<REPL>:4:8] -
 </pre>
@@ -395,9 +395,9 @@
 この部分については、<tt>@value</tt> レイヤで計算して欲しい。
 そんなときは、レイヤ指定式を使います。
 </p>
 <pre>
-    &gt;&gt; @hoge "-" = fun(x, y) {$(B @value(@hoge(x) * @hoge(y)))}
+    &gt;&gt; @hoge - = fun(x, y) {$(B @value(@hoge(x) * @hoge(y)))}
     (function:1b086c0:1b4fbe0)
     &gt;&gt; @hoge( 5 - 6 )
     120
 </pre>
@@ -556,11 +556,11 @@
        else if tx=="int" && ty=="int" then "int"
        else "type error"
     )};
 
-    @type "+" = int_int_int;
-    @type "-" = int_int_int;
-    @type "<" = int_int_int;
+    @type + = int_int_int;
+    @type - = int_int_int;
+    @type &lt; = int_int_int;
 </pre>
 <pre>
     &gt;&gt; @type( 1 + 2 )
     int
@@ -572,9 +572,9 @@
 ここではしています。さらに（ちょっと手抜きで int 以外を考えていない）if の型定義を考えると、
 こんな雰囲気。
 </p>
 <pre>
-   @type "if" (c, t, e) {@value(
+   @type if (c, t, e) {@value(
       if( @type(c)=="int" || @type(c)=="runtime error" ) then
          @type( int_int_int(t(), e()) )
       else
          "type error"
@@ -799,9 +799,9 @@
 これはエラーになります。
 </p>
 <pre>
     &gt;&gt; let _ = (@macro twice(x) {x;x} in twice(print("Hello")))
-    polemy.failure.RuntimeException@C:\Develop\Projects\Polemy\polemy\value.d(109):
+    polemy.failure.RuntimeException@polemy\value.d(109):
     [<REPL>:2:35] 'twice' is not set in @value layer
 </pre>
 <p>
 どういうことかというと、<tt>@macro</tt> で定義したマクロはいつから使えるようになるかという話で、