Revision: 1.4 - (view) (download)
1 : | ktanaka | 1.1 | ; |
2 : | (macro deflimit (l) | ||
3 : | `(putprop 'alllimit (cons ',(cdr l) (get 'alllimit 'limit)) 'limit)) | ||
4 : | |||
5 : | (putprop 'alllimit nil 'limit) | ||
6 : | ; ²£ËÀ¤È·¹¤¤¤¿²£ËÀ | ||
7 : | (deflimit mincho (yoko yoko) | ||
8 : | ((or (<= x00 x10 x01)(<= x00 x11 x01)(<= x10 x00 x11)(<= x10 x01 x11)) | ||
9 : | (>= (diffabs (+ y00 y01) (+ y10 y11)) (* '(1.2 . 1.2) yunit)))) | ||
10 : | ktanaka | 1.4 | ; |
11 : | (deflimit mincho (yoko yoko) | ||
12 : | ((<= (diffabs x00 x11) | ||
13 : | (* '(+0.3000000^+00 . +0.3000000^+00) xunit)) | ||
14 : | (>= (diffabs (/+ y00 y01) (/+ y10 y11)) | ||
15 : | (* '(+0.6000000^+00 . +0.6000000^+00) yunit)))) | ||
16 : | ; | ||
17 : | (deflimit mincho(yoko yoko) | ||
18 : | ((<= (diffabs x01 x10) | ||
19 : | (* '(+0.3000000^+00 . +0.3000000^+00) xunit)) | ||
20 : | (>= (diffabs (/+ y00 y01) (/+ y10 y11)) | ||
21 : | (* '(+0.6000000^+00 . +0.6000000^+00) yunit)))) | ||
22 : | |||
23 : | |||
24 : | ktanaka | 1.1 | (deflimit mincho (yoko hidari) |
25 : | ((and (<= x00 x10 x01)(<= x00 x12 x01)(<= (- y12 y10)(- x10 x12))) | ||
26 : | (>= (diffabs (+ y00 y01)(+ y10 y12)) (* '(1.2 . 1.2) yunit)))) | ||
27 : | (deflimit mincho (yoko migiue) | ||
28 : | ((or (<= x00 x10 x01)(<= x00 x12 x01)(<= x10 x00 x12)(<= x10 x01 x12)) | ||
29 : | (>= (diffabs (+ y00 y01) (+ y10 y12)) (* '(1.2 . 1.2) yunit)))) | ||
30 : | (deflimit mincho (yoko tatehane) | ||
31 : | ((and (<= y00 y11) | ||
32 : | (or (<= x00 x11 x01)(<= x00 x12 x01)(<= x12 x00 x11) | ||
33 : | (<= (+ x12 (* '(1.5 . 1.5) (- x12 x11))) x01 x11))) | ||
34 : | (>= (diffabs (+ y00 y01) (+ y11 y12)) (* '(1.2 . 1.2) yunit))) | ||
35 : | ((and (<= y11 y00) | ||
36 : | (or (<= x00 x11 x01)(<= x00 x12 x01) | ||
37 : | (<= x12 x00 (+ x11 (* '(0.5 . 0.5) (- x11 x12)))) | ||
38 : | (<= x12 x01 (+ x11 (* '(0.5 . 0.5) (- x11 x12)))))) | ||
39 : | (>= (diffabs (+ y00 y01) (+ y11 y12)) (* '(0.4 . 0.4) yunit)))) | ||
40 : | (deflimit mincho (yoko tsukurihane) | ||
41 : | ((or (<= x00 x12 x01)(<= x00 (+ x13 (* '(1.5 . 1.5) (- x13 x12))) x01) | ||
42 : | (<= (+ x13 (* '(1.5 . 1.5) (- x13 x12))) x00 x12) | ||
43 : | (<= (+ x13 (* '(1.5 . 1.5) (- x13 x12))) x01 x12)) | ||
44 : | (or | ||
45 : | (>= (- (+ y00 y01) (+ y12 y13)) (* '(0.2 . 0.2) yunit)) | ||
46 : | (>= (- (+ y12 y13) (+ y00 y01)) (* '(1.2 . 1.2) yunit))))) | ||
47 : | |||
48 : | ktanaka | 1.4 | (deflimit mincho (tate hidari) |
49 : | ((<= y00 y10 y01) | ||
50 : | (>= (diffabs x00 x10) | ||
51 : | (* '(+0.5000000^-01 . +0.5000000^-01) xunit)))) | ||
52 : | (deflimit mincho (yoko tate) | ||
53 : | ((<= y10 y01 y11) | ||
54 : | (>= (diffabs x01 x11) | ||
55 : | (* '(+0.1000000^+00 . +0.1000000^+00) xunit)))) | ||
56 : | |||
57 : | ktanaka | 1.1 | (deflimit mincho (shin-nyuu tate) |
58 : | ((<= x01 x11 x02) | ||
59 : | (>= (diffabs (+ y01 y02)(+ y11 y11))(* '(0.4 . 0.4) yunit)))) | ||
60 : | (deflimit mincho (hidari shin-nyuu) | ||
61 : | ((or (<= x02 x11 x00)(<= x02 x12 x00)(<= x11 x00 x12)(<= x11 x02 x12)) | ||
62 : | (or | ||
63 : | (>= (- (+ y00 y01) (+ y11 y12)) (* '(0.2 . 0.2) yunit)) | ||
64 : | (>= (- (+ y11 y12) (+ y00 y01)) (* '(1.2 . 1.2) yunit))))) | ||
65 : | (deflimit mincho (hidari (kagi kokoro )) | ||
66 : | ((or (<= x02 x11 x00)(<= x02 x12 x00)(<= x11 x00 x12)(<= x11 x02 x12)) | ||
67 : | (or | ||
68 : | (>= (- (+ y00 y01) (+ y11 y12)) (* '(0.8 . 0.8) yunit)) | ||
69 : | (>= (- (+ y11 y12) (+ y01 y02)) (* '(1.2 . 1.2) yunit))))) | ||
70 : | ;(deflimit mincho (yoko shin-nyuu) | ||
71 : | ; ((or (<= x00 x11 x01)(<= x00 x12 x01)(<= x11 x00 x12)(<= x11 x01 x12)) | ||
72 : | ; (>= (diffabs (+ y00 y01) (+ y11 y12)) (* '(1.6 . 1.6) yunit)))) | ||
73 : | (deflimit mincho (yoko (kagi kokoro)) | ||
74 : | ((and (<= y11 y00) | ||
75 : | (or (<= x00 x11 x01)(<= x00 x12 x01)(<= x11 x00 x12)(<= x11 x01 x12))) | ||
76 : | (>= (diffabs (+ y00 y01) (+ y11 y12)) (* '(0.8 . 0.8) yunit))) | ||
77 : | ((and (<= y00 y11) | ||
78 : | (or (<= x00 x11 x01)(<= x00 x12 x01)(<= x11 x00 x12)(<= x11 x01 x12))) | ||
79 : | (>= (diffabs (+ y00 y01) (+ y11 y12)) (* '(1.0 . 1.0) yunit)))) | ||
80 : | (deflimit mincho (yoko shin-nyuu) | ||
81 : | ((and (<= y11 y00) | ||
82 : | (or (<= x00 x11 x01)(<= x00 x12 x01)(<= x11 x00 x12)(<= x11 x01 x12))) | ||
83 : | (>= (diffabs (+ y00 y01) (+ y11 y12)) (* '(0.8 . 0.8) yunit))) | ||
84 : | ((and (<= y00 y11) | ||
85 : | (or (<= x00 x11 x01)(<= x00 x12 x01)(<= x11 x00 x12)(<= x11 x01 x12))) | ||
86 : | (>= (diffabs (+ y00 y01) (+ y11 y12)) (* '(1.4 . 1.4) yunit)))) | ||
87 : | (deflimit mincho ((kagi kokoro tatehane shin-nyuu migi) | ||
88 : | (kagi kokoro tatehane shin-nyuu migi)) | ||
89 : | ((or (<= x01 x11 x02)(<= x01 x12 x02)(<= x11 x01 x12)(<= x11 x02 x12)) | ||
90 : | (>= (diffabs (+ y01 y02) (+ y11 y12)) (* '(0.8 . 0.8) yunit)))) | ||
91 : | |||
92 : | |||
93 : | (deflimit mincho ((tate tatehidari tatehane tsukurihane kagi) | ||
94 : | (tate tatehidari tatehane tsukurihane kagi)) | ||
95 : | ((or (<= y00 y10 y01)(<= y00 y11 y01)(<= y10 y00 y11)(<= y10 y01 y11)) | ||
96 : | (>= (diffabs (+ x00 x01) (+ x10 x11)) (* '(1.6 . 1.6) xunit)))) | ||
97 : | (deflimit mincho (kokoro | ||
98 : | (tate kokoro tatehidari tatehane tsukurihane kagi)) | ||
99 : | ((or (<= y03 y10 y02)(<= y03 y11 y02)(<= y10 y03 y11)(<= y10 y02 y11)) | ||
100 : | (>= (diffabs (+ x03 x02) (+ x10 x11)) (* '(0.8 . 0.8) xunit))) | ||
101 : | ((or (<= y00 y10 y01)(<= y00 y11 y01)(<= y10 y00 y11)(<= y10 y01 y11)) | ||
102 : | (>= (diffabs (+ x00 x01) (+ x10 x11)) (* '(1.6 . 1.6) xunit)))) | ||
103 : | |||
104 : | ;(deflimit mincho ((tate kokoro tatehidari tatehane tsukurihane kagi) | ||
105 : | ; (hidari tasuki magaritate)) | ||
106 : | ; ((or (<= y00 y10 y01)(<= y00 y12 y01)(<= y10 y00 y12)(<= y10 y01 y12)) | ||
107 : | ; (or (>= (diffabs (+ x00 x01)(+ x10 x11)) (* '(1.4 . 1.4) xunit)) | ||
108 : | ; (and (<= y12 y01)(<= x00 x10))))) | ||
109 : | (deflimit mincho ((tate kokoro tatehidari tatehane tsukurihane kagi) | ||
110 : | hidari) | ||
111 : | ((and | ||
112 : | (or (<= y00 y10 y01)(<= y00 y11 y01)(<= y10 y00 y11)(<= y10 y01 y11)) | ||
113 : | (or (<= x00 x11 x10)(<= x11 x10 x00)) | ||
114 : | ) | ||
115 : | (or | ||
116 : | (>= (diffabs x10 x11) (* '(0.01 . 0.01) xunit)) | ||
117 : | (>= (diffabs (+ x00 x01)(+ x10 x11)) (* '(1.4 . 1.4) xunit)) | ||
118 : | ) | ||
119 : | ))) | ||
120 : | (deflimit mincho ((tate kokoro tatehidari tatehane tsukurihane kagi) | ||
121 : | magaritate) | ||
122 : | ((or (<= y00 y10 y01)(<= y00 y12 y01)(<= y10 y00 y12)(<= y10 y01 y12)) | ||
123 : | (>= (diffabs (+ x00 x01)(+ x10 x11)) (* '(1.4 . 1.4) xunit)))) | ||
124 : | (deflimit mincho ((hidari tasuki magaritate) | ||
125 : | (hidari tasuki magaritate)) | ||
126 : | ((or (<= y00 y10 y01)(<= y01 y12 y02)(<= y10 y00 y11)(<= y11 y02 y12)) | ||
127 : | (or (>= (diffabs x00 x10) (* '(0.7 . 0.7) xunit)) | ||
128 : | (>= (diffabs x01 x10) (* '(0.7 . 0.7) xunit))))) | ||
129 : | ; | ||
130 : | (deflimit mincho (kozato (tate tatehidari hidari tatehane kokoro kagi)) | ||
131 : | ((or (<= y01 y10 y02)(<= y01 y11 y02)(<= y10 y01 y11)(<= y10 y02 y11)) | ||
132 : | (>= (diffabs (+ x01 x02)(+ x10 x11)) (* '(1.0 . 1.0) xunit)))) | ||
133 : | |||
134 : | |||
135 : | (deflimit mincho (sanzui | ||
136 : | (tate tatehidari hidari kokoro tatehane tsukurihane kagi tasuki magaritate)) | ||
137 : | ((or (<= y01 y10 y00)(<= y01 y11 y00)(<= y10 y00 y11)(<= y10 y01 y11)) | ||
138 : | (>= (diffabs (+ x00 x01) (+ x10 x11)) (* '(1.0 . 1.0) xunit)))) | ||
139 : | |||
140 : | (deflimit mincho (ten | ||
141 : | (tate tatehidari hidari kokoro tatehane kagi tasuki)) | ||
142 : | ((or (<= y00 y10 y01)(<= y00 y11 y01)(<= y10 y00 y11)(<= y10 y01 y11)) | ||
143 : | (and | ||
144 : | (>= (diffabs (+ x00 x01)(+ x10 x11)) (* '(1.0 . 1.0) xunit)) | ||
145 : | (>= (diffabs x01 x10) (* '(0.5 . 0.5) xunit)) | ||
146 : | (>= (diffabs x00 x10) (* '(0.3 . 0.3) xunit))))) | ||
147 : | |||
148 : | (deflimit mincho (ten ten) | ||
149 : | ((or (<= y00 y10 y01)(<= y00 y11 y01)(<= y10 y00 y11)(<= y10 y01 y11)) | ||
150 : | (>= (diffabs (+ x00 x01)(+ x10 x11)) (* '(0.8 . 0.8) xunit)))) | ||
151 : | ktanaka | 1.4 | |
152 : | (deflimit mincho (ten ten) | ||
153 : | ((or (<= y00 y10 y01) | ||
154 : | (<= y00 y11 y01) | ||
155 : | (<= y10 y00 y11) | ||
156 : | (<= y10 y01 y11)) | ||
157 : | (>= (diffabs x01 x11) | ||
158 : | (* '(+0.1500000^+00 . +0.1500000^+00) xunit)))) | ||
159 : | ktanaka | 1.1 | |
160 : | (deflimit mincho (ten tsukurihane) | ||
161 : | ((or (<= y00 y10 y01)(<= y00 y12 y01)(<= y10 y00 y12)(<= y10 y01 y12)) | ||
162 : | (>= (diffabs (+ x00 x01)(+ x10 x12)) (* '(1.7 . 1.7) xunit)))) | ||
163 : | (deflimit mincho (ten yoko) | ||
164 : | ((or (<= x00 x10 x01)(<= x00 x11 x01)(<= x10 x00 x11)(<= x10 x01 x11)) | ||
165 : | (and | ||
166 : | (>= (diffabs y01 y10)(* '(0.2 . 0.2) yunit))))) | ||
167 : | (deflimit mincho (yoko ylimit) | ||
168 : | ((or (<= x00 x10 x01)(<= x00 x11 x01)(<= x10 x00 x11)(<= x10 x01 x11)) | ||
169 : | (>= (diffabs (+ y00 y01) (+ y10 y11)) ylimit))) | ||
170 : | |||
171 : | (deflimit mincho ((kagi kokoro) ylimit) | ||
172 : | ((or (<= x01 x10 x02)(<= x01 x11 x02)(<= x10 x01 x11)(<= x10 x02 x11)) | ||
173 : | (>= (diffabs (+ y01 y02) (+ y10 y11)) (* '(0.5 . 0.5) ylimit)))) | ||
174 : | |||
175 : | (deflimit mincho ((migiue) ylimit) | ||
176 : | ((or (<= x00 x10 x02)(<= x00 x11 x02)(<= x10 x00 x11)(<= x10 x02 x11)) | ||
177 : | (>= (diffabs (+ y00 y00)(+ y10 y11)) (* '(0.5 . 0.5) ylimit)))) | ||
178 : | |||
179 : | (deflimit mincho ((tate tatehidari kokoro tatehane tsukurihane | ||
180 : | kagi tasuki magaritate) | ||
181 : | xlimit) | ||
182 : | ((or (<= y00 y10 y01)(<= y00 y11 y01)(<= y10 y00 y11)(<= y10 y01 y11)) | ||
183 : | (>= (diffabs (+ x00 x01) (+ x10 x11)) xlimit))) |
ktanaka Powered by ViewCVS 1.0-dev |
ViewCVS and CVS Help |