(deflimit mincho (yoko yoko) |
(deflimit mincho (yoko yoko) |
((or (<= x00 x10 x01)(<= x00 x11 x01)(<= x10 x00 x11)(<= x10 x01 x11)) |
((or (<= x00 x10 x01)(<= x00 x11 x01)(<= x10 x00 x11)(<= x10 x01 x11)) |
(>= (diffabs (+ y00 y01) (+ y10 y11)) (* '(1.2 . 1.2) yunit)))) |
(>= (diffabs (+ y00 y01) (+ y10 y11)) (* '(1.2 . 1.2) yunit)))) |
|
; |
|
(deflimit mincho (yoko yoko) |
|
((<= (diffabs x00 x11) |
|
(* '(+0.3000000^+00 . +0.3000000^+00) xunit)) |
|
(>= (diffabs (/+ y00 y01) (/+ y10 y11)) |
|
(* '(+0.6000000^+00 . +0.6000000^+00) yunit)))) |
|
; |
|
(deflimit mincho(yoko yoko) |
|
((<= (diffabs x01 x10) |
|
(* '(+0.3000000^+00 . +0.3000000^+00) xunit)) |
|
(>= (diffabs (/+ y00 y01) (/+ y10 y11)) |
|
(* '(+0.6000000^+00 . +0.6000000^+00) yunit)))) |
|
|
|
|
(deflimit mincho (yoko hidari) |
(deflimit mincho (yoko hidari) |
((and (<= x00 x10 x01)(<= x00 x12 x01)(<= (- y12 y10)(- x10 x12))) |
((and (<= x00 x10 x01)(<= x00 x12 x01)(<= (- y12 y10)(- x10 x12))) |
(>= (diffabs (+ y00 y01)(+ y10 y12)) (* '(1.2 . 1.2) yunit)))) |
(>= (diffabs (+ y00 y01)(+ y10 y12)) (* '(1.2 . 1.2) yunit)))) |
(>= (- (+ y00 y01) (+ y12 y13)) (* '(0.2 . 0.2) yunit)) |
(>= (- (+ y00 y01) (+ y12 y13)) (* '(0.2 . 0.2) yunit)) |
(>= (- (+ y12 y13) (+ y00 y01)) (* '(1.2 . 1.2) yunit))))) |
(>= (- (+ y12 y13) (+ y00 y01)) (* '(1.2 . 1.2) yunit))))) |
|
|
|
(deflimit mincho (tate hidari) |
|
((<= y00 y10 y01) |
|
(>= (diffabs x00 x10) |
|
(* '(+0.5000000^-01 . +0.5000000^-01) xunit)))) |
|
(deflimit mincho (yoko tate) |
|
((<= y10 y01 y11) |
|
(>= (diffabs x01 x11) |
|
(* '(+0.1000000^+00 . +0.1000000^+00) xunit)))) |
|
|
(deflimit mincho (shin-nyuu tate) |
(deflimit mincho (shin-nyuu tate) |
((<= x01 x11 x02) |
((<= x01 x11 x02) |
(>= (diffabs (+ y01 y02)(+ y11 y11))(* '(0.4 . 0.4) yunit)))) |
(>= (diffabs (+ y01 y02)(+ y11 y11))(* '(0.4 . 0.4) yunit)))) |
((or (<= y00 y10 y01)(<= y00 y11 y01)(<= y10 y00 y11)(<= y10 y01 y11)) |
((or (<= y00 y10 y01)(<= y00 y11 y01)(<= y10 y00 y11)(<= y10 y01 y11)) |
(>= (diffabs (+ x00 x01)(+ x10 x11)) (* '(0.8 . 0.8) xunit)))) |
(>= (diffabs (+ x00 x01)(+ x10 x11)) (* '(0.8 . 0.8) xunit)))) |
|
|
|
(deflimit mincho (ten ten) |
|
((or (<= y00 y10 y01) |
|
(<= y00 y11 y01) |
|
(<= y10 y00 y11) |
|
(<= y10 y01 y11)) |
|
(>= (diffabs x01 x11) |
|
(* '(+0.1500000^+00 . +0.1500000^+00) xunit)))) |
|
|
(deflimit mincho (ten tsukurihane) |
(deflimit mincho (ten tsukurihane) |
((or (<= y00 y10 y01)(<= y00 y12 y01)(<= y10 y00 y12)(<= y10 y01 y12)) |
((or (<= y00 y10 y01)(<= y00 y12 y01)(<= y10 y00 y12)(<= y10 y01 y12)) |
(>= (diffabs (+ x00 x01)(+ x10 x12)) (* '(1.7 . 1.7) xunit)))) |
(>= (diffabs (+ x00 x01)(+ x10 x12)) (* '(1.7 . 1.7) xunit)))) |