ラッセルの逆理が消滅した！

[cafea605]

$B!!-5N`=89g$r!V<+J,<+?H$rMWAG$H$7$F4^$`=89g!W$H$7!"-6N`=89g$r!V<+J,<+?H$rMWAG$H$7$F4^$^$J$$=89g!W$H$7$^$9!#$3$3$KG$0U$N-6N`=89g#A$K$D$$$F=89g!P#A!Q$rM?$($?$H$9$k$J$i$P#A!a!P#A!Q$r2>Dj$7$F<!$rO@$8$k$3$H$,5v$5$l$^$9!#(B

$B-!!!#A$OG$0U$N-6N`=89g$@$+$i-6N`=89g$G$"$j!"(B
$B-"!!!P#A!Q$O#A!a!P#A!Q$h$j!P#A!Q!a#A$H$9$k$J$i$P<+J,<+?H$rMWAG$H$7$F4^$`$+$i-6N`=89g$G$"$k!#(B

$BN><T$OL7=b$7$F$*$j!"860x$O2>Dj$H$7$F:NMQ$7$?>r7o#A!a!P#A!Q$@$H9M$($i$l$k$+$i!"7kO@$H$7$F#A!b!P#A!Q$rF@$k!*(B

$B!!!P#A!Q$O!VG$0U$N-6N`=89g$rMWAG$H$7$F4^$s$@=89g!W$G$9$+$i!"0ULu$7$?$i!V$"$i$f$k-6N`=89g$N=89g!W$HF15A$G$"$k$H$b9M$($i$l$^$9!#A0<T$NMWAG$N?t$O0l$D$G8e<T$OL5?t$G$"$k$h$&$K;W$o$l$^$7$F$bN><T$OBPEy$G$9!#$J$s$H$J$i$***@5$K!Z%i%C%;%k$N5UM}![$=$N$b$N$N860x$,$=$N$h$&$J!H2a>j$JJ[JL!I$K5/0x$7$F$$$k$H9M$($i$l$k$+$i$G$9!#%Q%i%I%/%9$***@8$8$J$$BN7O$,@5$7$$!"$H9M$($?$i!VG$0U!W$H!V$9$Y$F!W$H$OF1$80UL#$G$9!#$"$k$$$O$`$7$m!VG$0U$N!W$H$$$&>r7oIU$1$***@5Ev$G$"$k$,!V$9$Y$F$N!W$H$$$&I=8=$O0ULu$G$"$jDLB/$@$HCG$8$F$b59$7$$$+$H;W$o$l$F$J$j$^$;$s!&!&!#(B

$BNc$($P!"(B

$B!VG$0U$N<+A3?t$h$j$bBg$-$J<+A3?t!W$***@5Ev$G$9$,!"(B
$B!V$9$Y$F$N<+A3?t$h$j$bBg$-$J<+A3?t!W$***@5E}E*$G$O$"$j$^$;$s!*(B

$B!V$9$Y$F$N!W$H$$$&I=8=$O:G=****@0J30$K$O?5$`$Y$-$b$N$G$"$k$3$H$rDs0F$$$?$7$^$9!#(B

$B!J$^!"$3$N$3$H$O%"%a%j%+$G$+$J$j8@$C$F$$$k$N$+$bCN$l$^$;$s$,!&!&!K(B

$B!!;d$O>.3X9;8^G/$N$3$m!"#N#H#K$_$s$J$N2J3X$G!V1'Ch$N30$K$O2?$,$"$k$N$+!)!W$r;kD0$7$?:]$K!"!V1'Ch$N2L$F$r1[$($F30$K=P$F$b1'Ch$@$+$i$&$s$L$s$+$s$L$s!A!W$H$$$&***@M}$N$H$j$3!)$K$5$l$?$3$H$,$"$j$^$7$F!"$7$P$i$/$7$F7rK:>I$,L\N)$D$h$&$K$5$l$^$7$?!#;W$($P!"%i%C%;%k$N5UM}$K$O$d$/$b0z$C$+$+$C$F#Z#F=89gO@$N4IM}$K$+$+$C$?$h$&$G$7$?$,!"$3$3$K2r7h$7$?$b$h$&$G$9!#$3$N$h$&$K8D?ME*$K$O$a$G$?$$OC$J$s$G$9$,!"$$$+$s$;$sLdBj$,LdBj$J$@$1$K!"Bg76:@$J$3$H$r8@$C$?$i?MN`$K$H$C$F%I%&$J$s$G$7$g$&!);d$r=K$C$F$/$l$kJL?M$J$s$+A[Dj$7Fq$$$G$9!&!&!#(B

$B%i%C%;%k$N5UM}$***@8$8$5$;$J$$9)IW$H$7$F!"!VG$0U$N=89g$NG$0U$NMWAG$b$^$?=89g$G$"$k!W$rIU$12C$($?$i!V:G>.MWAG$@$1$,-5N`=89g!W$H$$$&$3$H$K$J$C$F!"$"$k$$$O<+A3?t$G$7$?$i!"!V:GBg?t&X$@$1$,:G>.MWAG$G$J$$-5N`=89g!W$G$"$C$F!"$7$+$b!V&X$O<+J,<+?H$h$j$bBg$-$J<+A3?t$N=89g!W$H$7$FJL07$$$K$7$?$i!Z?7$7$$D6=`***@O3X![$,9=@.$G$-$k$N$G$O$J$$$+$HB8$8$^$7$?!&!&!"$G$O!*(B

$BB>$K!"$b$A$m$s!"#0!a!C&U!d!]!C&U!d!!$+$D!!#1!a!C&U!d!\!C&U!d!!$H$9$k9)IW$@$C$F%"%j$G$9$h!#!!!!!!!!!!(B
$B!J%f%K%P!<%5%k%U%m%s%F%#%"(B!!!!!!!!!!!!!!!$B!*!*!*!*!*!*!*!*!*!*!*!*!*!*!*!*!*!*!*!*!*!*!K(B

[Shinji KONO]

$B:G>.MWAG$G$J$$(B $BN`=89g!W$G$"$C$F!"$7$+$b!V&X$O<+J,<+?H$h$j$b(B

$B$^!"4hD%$C$F$/$@$5$$!#(B

$B$3$N<j$N<+***@5Z$K4XO"$9$kL7=b$O!"H]Dj$K4X$7$F$O!"B8:_$9$k(B
$BJ}$,IaDL$G!"Hr$1$kJ}K!$b$$$m$$$m$"$j$^$9$M!#(B

---
Shinji KONO @ Information Engineering, University of the Ryukyus
$B2OLn??<#(B @ $BN05eBg3X9)3XIt>pJs9)3X2J(B

[cafea605]

Post by Shinji KONO

$B:G>.MWAG$G$J$$(B $BN`=89g!W$G$"$C$F!"$7$+$b!V&X$O<+J,<+?H$h$j$b(B

$BJ}$,IaDL$G!"Hr$1$kJ}K!$b$$$m$$$m$"$j$^$9$M!#(B
---

$B$@$C$?$i!"$3$l$@$H$I$&$G$9$+!)(B

http://blog.goo.ne.jp/buturikyouiku/e/6c8cf005b0c48c607b4caf0aba39920f

$B!Z>ZL@![(B

$BG$0U$N-6N`=89g#A$KBP$7$F!P#A!Q$rM?$($F#A!a!P#A!Q$H$9$k!#(B

$B-!!!Dj5A$K=>$C$F#A$O-6N`=89g$G$"$k!#(B
$B-"!!!P#A!Q$O<+J,<+?H$HEy$7$$$b$N$rFbJq$7$F$$$k$+$i-5N`=89g$G$"$k!#(B

$B-!!$-"$OL7=b$7$F$$$k$N$OA0Ds$H$7$?#A!a!P#A!Q$,4V0c$C$F$$$k$+$i$G$"$k$H$9$l$P!"#A!b!P#A!Q!#$3$l$G<0$N7A$N>e$G$O!P#A!Q$b$^$?-6N`$G$"$k$3$H$,F3$+$l$F%Q%i%I%/%9$J$IL5$$$h$&$K8+$($^$9!#(B

$B$=$l$G$b%J%$!<%V$K$O!Z%i%C%;%k$N5UM}![$,@.N)$9$kM}M3$O$d$O$jB>$KB8:_$9$k!#(B

$B!V860x$O=89g$NDj5A$KMQ$$$i$l$F$$$kI=8=$,<+***@5ZJ8$HFI$a$k$3$H$K$"$j$^$9!*!W(B

$B0J>e$h$j!"(B

$BG$0U$N=89g#X$K$D$$$F#X!a!P#X!Q!"$9$J$o$A$9$Y$F$N=89g$O-5N`$G$"$k!#(B

[Shinji KONO]

Post by cafea605
$BG$0U$N-6N`=89g#A$KBP$7$F!P#A!Q$rM?$($F#A!a!P#A!Q$H$9$k!#(B

$B$3$N!"(BPC9801 $B0MB8J8;z$O!"$$$^$@$KFI$a$s!#(BUnicode $B$K$bF~$C$F(B
$B$J$$$N$G!"$b$&!"***@8!"FI$a$J$$$J!#(B

$B$3$NLdBj$C$F!"<B$O!"(B

$B4D>u9=B$$r;}$D%G!<%?9=B$$r!"(B
$B$I$&$d$C$F!"(Bdepth first $BE*$K=hM}$9$k$+(B

$B$H$+9M$($k$3$H$b=PMh$^$9!#L58B%k!<%W$7$?$i%"%&%H$J$o$1$@$M!#(B

$B%3%s%T%e!<%?2J3XE*$K$OHr$1$kJ}K!$O<+L@!#***@M}3X$@$H!"4D>u9=B$(B
$B$***@8@.$7$J$$$h$&$K4hD%$C$?$j$7$^$9!#7?M}O@$O!"$=$&$$$&J}8~(B
$B$G$9!#(B

$B4D>u9=B$$***@8@.$7$?8e!"C5$7J}$r9)IW$9$k$J$s$F$$$&J}K!$G$b(B Ok $B!#(B
$B$7$+$b!"$3$NDxEY$@$H!"4{$***@J8$b$?$/$5$s=P$F$$$k$N$G!"$$$^$5(B
$B$i!"DI5a$9$k5$$K$b$J$l$J$$!#(B

$B?7$7$$$3$H$rC5$9$N$,Fq$7$$J,Ln$@$H$b8@$($k$J!#(B

---
Shinji KONO @ Information Engineering, University of the Ryukyus
$B2OLn??<#(B @ $BN05eBg3X9)3XIt>pJs9)3X2J(B

[cafea605]

Post by Shinji KONO

Post by cafea605
$BG$0U$N-6N`=89g#A$KBP$7$F!P#A!Q$rM?$($F#A!a!P#A!Q$H$9$k!#(B

$B$3$NLdBj$C$F!"<B$O!"(B
$B4D>u9=B$$r;}$D%G!<%?9=B$$r!"(B
$B$I$&$d$C$F!"(Bdepth first $BE*$K=hM}$9$k$+(B
$B$G$9!#(B
$B$i!"DI5a$9$k5$$K$b$J$l$J$$!#(B
---

$BKh2s$F$$$M$$$J%l%9$"$j$,$H$&%4%6%$%^%9!*(B

$B$3$NOC$OBP3Q@~***@K!$K;w$F$$$k$H$3$m$,H/8+$5$l$^$7$?!#$9$J$o$A!"G$0U$N-6N`=89g#A$KBP$7$F!P#A!Q$rM?$($F#A!a!P#A!Q$HCV$/$HIT9gM}$G:_$k%3%H$+$i#A!b!P#A!Q$***@IU$1$?$N$G$9$,!"@5$7$$GXM}K!$G$O%4%6%$%^%;%s!*(B

$B<0$N7A$+$i$O!P#A!Q$b$^$?-6N`$G$"$k$h$&$K8+$($k$N$G$9$,AGKQ$J7A$G$N;v>p$O$^$C$?$/2r>C$5$l$F$*$j$^$;$s!&!&!#(B

$BEvJ}$O$=$3$+$i!V$I$3$+$K<jIJ$N<o$,1#$l$F$$$k!W$H9M$($F!"<!$N8+2r$KE~C#$$$?$7$^$7$?!#(B

$B#1!K%+%s%H%k$NBP3Q@~***@K!$O!VL58B$r2D;;$HI=8=$7$?;~E@$GIT9gM}$@$C$?!W$D$^$j!"L58B$H$O?t$(@Z$l$J$$$3$H$@$+$i!&!&!#(B

$B#2!K%i%C%;%k$N5UM}$G$O!V=89g#A$r-6N`$HCV$$$?;~E@$GIT9gM}$@!W$9$J$o$A!"=89g$NDj5A$O;***@5Z$K$h$k$+$i$G$9!#(B

$B$"$^$j$K$"$C$1$J$$2r7h$G$9$,!"(B

[Masamichi Takatsu]

$B$?$+$D$G$9!#(B

$B5-;v(B <***@rananim.ie.u-ryukyu.ac.jp> $B$G(B
Shinji KONO$B$5$s$O=q$-$^$7$?(B

Post by cafea605
$BG$0U$N-6N`=89g#A$KBP$7$F!P#A!Q$rM?$($F#A!a!P#A!Q$H$9$k!#(B

Unicode $B$K$OF~$C$F$^$9$h!#%m!<%^?t;z$O(BU+2160$BIU6a$G!">e5-J8;z(B(II)$B$O(BU+2161$B!#(B
$B$^$!!"%3!<%I$N3d$jEv$F$H!"%U%)%s%H$,$=$N;z7A$r;}$C$F$k$+$I$&$+$OJLLdBj$G!"(B
MacOSX $BIUB0$N%U%)%s%H$K$OF~$C$F$J$$$o$1$G$9$,!D(B

PROJECT TEAM $B#D#o#G#A(B $***@5F;(B ***@doga.jp
PROJECT TEAM DoGA$B$N%[!<%`%Z!<%8(B $B"*(B http://doga.jp/
11$B7n(B11$BF|(B($BEZ(B) $B:#F|$N%^!<%U%#!<$NK!B'(B [$B%i%C%/%i%s%I$NK!B'(B]
1. $B2?;v$b:G=i$K$9$k$J!#(B 2. $B2?;v$b:G8e$K$9$k$J!#(B 3. $B2?;v$b?J$s$G$9$k$J!#(B

[Shinji KONO]

Post by Masamichi Takatsu
Unicode $B$K$OF~$C$F$^$9$h!#%m!<%^?t;z$O(BU+2160$BIU6a$G!">e5-J8;z(B(II)$B$O(BU+2161$B!#(B
$B$^$!!"%3!<%I$N3d$jEv$F$H!"%U%)%s%H$,$=$N;z7A$r;}$C$F$k$+$I$&$+$OJLLdBj$G!"(B
MacOSX $BIUB0$N%U%)%s%H$K$OF~$C$F$J$$$o$1$G$9$,!D(B

$B$=$&$J$N$+(B... $B$8$c$!!"(B14x14 $B$KF~$l$k$+(B... $B7k9=!"$J$$$N$,(B
$B$"$k$_$?$$$s$@$1$I!"(Buxterm $BB&$N=hM}$bHyL/$KFf$G(B..

---
Shinji KONO @ Information Engineering, University of the Ryukyus
$B2OLn??<#(B @ $BN05eBg3X9)3XIt>pJs9)3X2J(B

[cafea605]

"cafea605" <***@hcn.zaq.ne.jp> wrote in me
$B!d!V:GBg?t&X$@$1$,:G>.MWAG$G$J$$-5N`=89g!W$G$"$C$F!"$7$+$b!V&X$O<+J,<+?H$h$j$bBg$-$J<+A3?t$N=89g!W$H$7$FJL07$$$K$7$?$i!A!"(B

$B$3$NN><T$OL7=b$7$^$9$+$i!"(B

$B#1!K!P&X!Q!a!P&X!\#1!$&X!\#2!$&X!\#2!$!&!&!&!$&X(B^2$B!&!&!&!$&X(B^$B&X!&!&!&!$&X(B^$B&X!0&X!$!&!&!&!Q$H$7$F&X!b!P&X!Q$+$i!P&X!Q$O-6N`=89g$G$9!#(B
$B#2!K#0!$#1!$&X$K4X$7$F$O!"=89g$G$J$$$3$H$+$i!J;d$N:n$k?t3X$K$*$$$F!K=89g$NMWAG$K$O$J$l$J$$!*(B
$B#3!K!P#0!Q!$!P#1!Q!$$b!"$^$?!"F1MM$NM}M3$G-6N`=89g$G$9!#(B

$B$5$i$K!"(B

$B?t3X4pAC$K4X$7$F(B
$B!V?t3X$G;H$&5-9f$N$9$Y$F$rFbJq$9$k=89g$K$h$k4pAC$OIT2DG=!W$G$"$k$3$H$O4{$KCN$i$l$F$$$k$H$7$?>l9g$K!"(B
$B30IU$1$K!Z=89gO@![$r;H$C$F>ZL@$7$F$$$/<jCJ$,?7$?$K8+=P$5$l$k$H;W$$$^$9!#(B

$B8xM}<g5A$K$D$$$F(B
$BI,$:$7$b8xM}$H$$$o$J$/$F$$$$BN7O!"Nc$($P!":#!";d$,$d$C$F$$$k$h$&$JBN7O$O(B
$B!V8xM}$rB>$+$***@bL@$7$FAO:n$7$F$$$/?t3XBN7O!W$G$9$+$iB>$NL>>N!"(B
$BNc$($P!Z5,B'![$J$I$,$U$5$o$7$$$h$&$K;W$C$F$$$^$9!*(B