HDTenEightyP/NetNews huggingface dataset:
From: satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: Q in intutionistic math.
Date: 11 Nov 92 07:37:03 GMT
	<1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
	<1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov4105137@sysipk.sys.titech.ac.jp> <SATOSHI.92Nov5173636@w
Organization: Ryukoku Univ., Seta, Japan
In-reply-to: ryu@sys.titech.ac.jp's message of 9 Nov 92 22:27:20 GMT


$@>.NSAo(J@$@N6C+Bg3X$G$9!#(J

In article <RYU.92Nov10072720@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

 |$@#6%Z!<%8$N2<$+$i#1#09TL\$N!VB($A!W$N1&(J$@$N<0$O!"(J{0,1} $@$NItJ,=89g$,#4$D$J(J
 |$@$i$P!"CM#1$r(J V^$@&8(J $@$G$H$k$h$&$K;W$($k$N$G$9$,!"$$$+$,$G$7$g$&$+!)(J

$@CM(J1$@$K$O$J$j$^$;$s!#(J

$@$^$:!";d$O!"(J{0,1} $@$NItJ,=89g$,$A$g$&$I(J4$@$D$G$"$k!"$H$O8@$C$F$$$^$;$s!#(J
$@@53N$K8@$&(J$@$H!"(JPow{0,1} = {{},{0},{1},{0,1}} $@$O0lHL$K$O@.$jN)$A$^$;$s!#(J
($@@.$jN)$F$P!"3N$+$K3^$5$s$N8@$o$l$k$h$&$K(J$@CM$,(J1$@$K$J$k$G$7$g$&$,!#(J)
$@$?$@$7!"$3$3$K!"(JPow A $@$O!"(JA $@$N$Y$-=89g$rI=$7$^$9!#(J

$@>/$7@0M}$7$F$_$^$9!#(J{0,1} $@$K$O(J
  (1)$@>/$J$/$H$b(J {},{0},{1},{0,1} $@$N(J4$@$D$NItJ,=89g$,$"$k$3$H(J
$@$OL@$i$+$G!"$^$?!"(J
  (2)$@>e$N(J4$@$D$N$I(J$@$l$H$b0[$J$kItJ,=89g$O$J$$$3$H(J
$@$O!"A0$K;d$,=q$$$?DL$j$G$9!#(J

(1) $@$r=q$-D>$9$H!"(J
  (1') {{},{0},{1},{0,1}} subset Pow{0,1}
$@$G$9$M!#0lJ}!"(J(2) $@$r=q$-D>$9$H!"(J
  (2') all x(not x in {{},{0},{1},{0,1}} -> not x in Pow{0,1})
$@$K$J$j$^$9!#$3$N(J (2') $@$+$i$b$7$b(J
  (3) all x(x in Pow{0,1} -> x in {{},{0},{1},{0,1}})
$@$,F3$1$?$i!"(J((3) $@$O(J Pow{0,1} subset {{},{0},{1},{0,1}} $@$KB>$J$i$J$$$N$G!"(J)
(1') $@$H9g$o$;$F(J Pow{0,1} = {{},{0},{1},{0,1}} $@$,F3$1$^$9!#(J

$@$7$+$7!"0lHL$K(J(2')$@$+$i(J(3) $@$OF3$1$^$;$s!#$J$<$J$i!"D>4Q<g5AO@M}$G$O(J
P -> Q $@$H$=$NBP6v(J not Q -> not P $@$OF1CM$G$J$$$+$i$G$9!#(J
(P -> Q $@$+$i(J not Q -> not P $@$O=P$k$,!"5U$O8@(J$@$($J$$!#(J)

$@$b$7$b!"(JPow{0,1} $@$KBP$7$F(J ZFC $@$G$N$h$&$KG;EY$,Dj5A$G$-$?$H$7$F!"$=$NG;(J
$@EY$,M-8B$N?t$K$J$k$3(J$@$H$^$G$o$+$C$?$H$9$k$H!"$=$l$,(J 4 $@0J>e$G$"$k$3$H$H!"(J
5$@0J>e$G$O$J$$!"$H$$$&$3$H$+$i!"G;EY$O(J 4 $@$K7h$^$k$N(J$@$G$9$,!"$=$b$=$b(J ZFC 
$@$GDj5A$9$k$h$&$K$OG;EY$,Dj5A$G$-$J$$$N$G$9!#(J


--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X(J$@2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)
From: joe@kocb.astem.or.jp (Kazuki Joe)
Newsgroups: fj.sci.math
Subject: Re: about Mathematica
Date: 12 Nov 92 02:29:39 GMT
	<KUGE.92Nov7233738@k1ss.strl.nhk.or.jp>
	<JOE.92Nov9123609@hoihoi.kocb.astem.or.jp>
	<259@okds1.osaka-kyoiku.ac.jp>
Distribution: fj
Organization: Kubota, Kyoto Office of Computer Business
In-reply-to: koshi@okds1.osaka-kyoiku.ac.jp's message of 10 Nov 92 13:40:39 GMT

In article <259@okds1.osaka-kyoiku.ac.jp> koshi@okds1.osaka-kyoiku.ac.jp (Kunio Koshigiri) writes:
   >>In article <JOE.92Nov9123609@hoihoi.kocb.astem.or.jp> joe@kocb.astem.or.jp (Kazuki Joe) writes:
   >>> $@$=$l$,!"#2#1!v#2#1$N5U$r5a$a$k$?$a$K!"(JInverse[A]$@$r$d$C$F$bMn$A$F$7$^$&(J
   >>> $@$s$G$9$h!#:G(J$@=i$OC1$K%a%b%j$,B-$j$J$$$@$1$@$m$&$H7Z$/;W$C$F$$$F!"!J#M#a(J
   >>> $@#c$N!K2>A[5-21%*%s$K$7$F!"%Z!<%8!&%U(J$@%!%$%k$r$A$g$C$HIU$1B-$7$F!"!"!"!"(J
   >>> $@$G$b$@$a$@$C$?$s$G$9!#$G!"7k6I!"%a%b%j#8#M#B!"%Z!<%8!&%U%!%$(J$@%k#6#0#M#B(J
   >>> $@$G<B9T$7$?=j!"#1#0F|4V7W;;$7$F!"7k6IMn$A$F$7$^$$$^$7$?!##1#0!v#1#0$J$i(J
   >>> $@?t==J,(J$@$G:Q$`$N$K!"%7%9%F%`A4BN$,Mn$A$F$7$^$&$H$3$+$i!"$I$&$b%P%0=-$$$J(J
   >>
   >>$@>k$5$s$N7W;;$5$l$F$$$k$N$O(J$@!"?tCM$G$O$J$/$F%7%s%\%k$G$9$h$M!)(J
   >>$@?tCM7W;;$G$O!"5U9TNs$N7W;;$K$+$+$k;~4V$O9b!9(JO(N^3)$@DxEY$G$9$,(J
   >>$@?t<0$N>l9g$O!"$b$78=$l$k9`$,$^$H$^$i$J$$>l9g!"<0(J($@9`?t(J)$@$,(J
   >>$@;X?t4X?tE*$KA}$($d$7$J$$$G$7$g$&$+(J$@!)=>$C$F;~4V$bF1MM$K!)(J

$@@bL@ITB-$@$C$?$h$&$J$N$GJaB*$7$^$9!#L^O@!"%7%s%\%k$J$s$G$9$,!"85!9$NL\(J
$@E*$O!"(J$@!V%^%k%3%U2aDx!J>uBV?t#2#1!K$NDj>oJ,I[$r5a$a$k!W$J$s$G$9!#$G!"$=(J
$@$N?d0\3NN(9TNs$O#2#1!v#2#1$H$O8@$(!"(J$@%7%s%\%k$N?t$O#1#88D!"A4BN$N#73d0L(J
$@$O#0$J$N$G$9!#(J

$@$I$&$b%^%A%+$G$O!"(JInverse[A] $@$O!"(JA $@$NM>0x;R9TNs$r(J  _A(i,j) $@$H$9$k$H!"(J

Inverse[A] = 1/Det[A] * {{_A(1,1),,,},{_A(1,2),,,},,,}$@$NJ}K!$G5a$a$F$k(J
$@$h$&$G$7$F(J$@!"$3$NM>0x;R9TNs$r<j:n6H!JM>0x;R9TNs$N4X?t$,J,$+$i$J$+$C$?!K(J
$@$GF~NO$7$F7W;;$5$;$?$i!"?t==J,$G7W;;=PMh(J$@$?$N$G$7$?!#(J

$@!t#1#27n#3F|>p=h7W;;5!%"!<%-%F%/%A%c8&5f2q$GH/I=M=Dj$G$9!#(J

   >>$@!Z<XB-JT![(J
   >>$@<!$N$h(J$@$&$JC1=c$JNc$G$A$g$C$H$@$1;n$7$F$_$^$7$?!#(J
   >>n$@8D$N%7%s%\%k$+$i$J$k%j%9%H$r=g$K2sE>$7$F:n$C$?9TNs$N(J$@5U$G$9!#(J

$@?=$7Lu$J$$!#;d$OD6=i?4<T$J$N$G!"%W%m%0%i%`!J!)!K$N2rFI$,=PMh$^$;$s!#$b(J
$@$&$A$g$C$HJY6/$7$F$+(J$@$i$K$7$^$9!#(J

	$@>k!w#A#S#T#E#M!%%/%\%?(J

$@!t$b$&0l$D<ALd$,$"$j$^$9!#>e5-J}K!$G5U9TNs$r5a$a$k$H!"7W;;7k2L(J$@$H$7$F5a(J
$@!t$^$k5U9TNs$N3FMWAG$NJ,Jl$,$9$Y$F(J Det[A] $@$K$J$k$o$1$J$s$G$9!#$G!"$3$l(J
$@!t$O(J 1/Det[A] $@$r78?t$H(J$@$7$F3g$C$F$/$l$k$HHs>o$K$"$j$,$?$$$N$K!"8fCzG+$K(J
$@!t$bA4$F$NMWAG$KJ,Jl$r$D$1$F$/$l$k$N$G$9!#4JC1$K$7$F(J$@I=<($5$;$kJ}K!$O$J(J
$@!t$$$G$7$g$&$+!)(J
From: d43013a@nucc.cc.nagoya-u.ac.jp (Yukihiko Namikawa)
Newsgroups: fj.sci.math
Subject: Re: about Mathematica
Date: 8 Nov 92 20:09:04 GMT
Organization: School of Natural Sciences, Nagoya University, Nagoya, Japan.

$BCcCc$G$9!#(B
In article <OHTSU.92Nov8104514@mahler.gen.u-tokyo.ac.jp> ohtsu@utnl.gen.u-tokyo.ac.jp (Shigeki Ohtsu) writes:
>$B!t(B CityData.m $B$KL>8E20$,$J$$!*(B (;o;) $B$d$C$Q$j9q:]ET;T$8$c$J$$$N$+!"!"!"(B

$BL>8E20$N=;?M$H$7$F$OE\$j?4F,!#(B
$BAaB.DI2C$7$F$*$+$J$/$C$A$c!#(B
CityData.m$B$K$O$$$/$i$G$bDI2C2DG=$G$9!#(B
$B$=$l$K$7$F$b(BMathematica$B$OLLGr$$!#(B
$B9V5A$K$bBg$$$K;H$o$;$F$b$i$C$F$$$^$9!#FC$K%0%i%U%#%C%/$,NI$/$G$-$F$$$k$N$G!#(B


-- 
   *   *   *     *                $@O2@n!!9,I'(J
    * *    * *   *                $@L>8E20Bg3XM}3XIt?t3X65<<(J
     *     *   * *                d43013a@nucc.cc.nagoya-u.ac.jp
     *     *     *                namikawa@math.nagoya-u.ac.jp
From: kuge@strl.nhk.or.jp (Tetsuro Kuge)
Newsgroups: fj.sci.math
Subject: Re: about Mathematica
Date: 7 Nov 92 14:37:38 GMT
	<KUGE.92Nov7002038@k1ss.strl.nhk.or.jp>
	<JOE.92Nov7132502@hoihoi.kocb.astem.or.jp>
Distribution: fj
Organization: NHK Science and Technical Research Laboratories , Tokyo, Japan.
In-reply-to: joe@kocb.astem.or.jp's message of 7 Nov 92 04:25:02 GMT

$@5W(J$@2<!w(JNHK$@5;8&(J $@$G$9!#(J

In article of <JOE.92Nov7132502@hoihoi.kocb.astem.or.jp>
 joe@kocb.astem.or.jp (Kazuki Joe) writes :

> $@$=$l$h$j!"C/$+!"M>0x;R9TNs$N:n$jJ}$r65$($F$/$@$5$$!#@h=5$^$G!"#2#1!v#2(J
> $@#1$N9T(J$@Ns$N5U$r5a$a$h$&$H6lO+$7$F!"7k6I!"0l$D0l$D<j:n6H$G#2#0!v#2#0$NM>(J
> $@0x;R9TNs$r:n$C$F$7$^$C$?!#(J

	$@%9%F%#(J$@!<%V%s!&%&%k%U%i%`(J:
	"Mathematica - A System for Doing Mathematics by Computer
	 Second Edition ($@F|K\(J$@8lHG(J)",
$@$N(J p.636-637 $@$K(J
	Minors[m,k] :	$@9TNs(J m $@$N(J k $@!_(J k $@$N>.9TNs<0$N%j%9%H$r5a$a$k(J
$@$,:\$C$F$^$9(J(:-)
$@!t(J $@>e5-!"F|K\8lHG$O(J"minor"$@$r!V>.9TNs!W$H8m$C$FLu$7$F$$$k$N$GCm0U!#(J
$@$D$^$j!"(J21$@!_(J21$@$N9TNs$KBP$9$k(JMinors[A,20]$@$O!"(JA$@$NA4$F$N(J20$@!_(J20$@>.9TNs$N(J
$@9TNs<0$rMWAG$H$9$k!"(J21$@!_(J21$@$N9TNs$G$9!#$?$@$7!"(JA$@$NM>0x;R9TNs$H$OMWAG$N(J
$@JB$SJ}$,0c$C$F$$$^$9$N$G!"(JMinors[A,20]$@$N3FMWAG$r!"=gHV$rJB$SJQ$($D$D(J
(-1)^(i+j)$@$r3]$1$kA`:n$r;\$;$O!"(JA$@$NM>0x;R9TNs$,F@$i$l$k$O$:$G$9!#(J

$@$H!"$3$3$^$G=q$$$F$-$?$,!"(J
> $@#2#1!v#2#1$N9TNs$N5U$r5a$a$h$&$H6lO+$7(J$@$F!"(J	
$@$,L\E*$@$C$?$H$9$l$P!"$?$@$N(J Inverse[A] $@0lH/$G:Q$_$^$X$s$+!*!)!*!)!*(J

$@!t(J $@JL$KK\20$N$^$o$7$b$N$G(J$@$O7h$7$F$J$$$,!"$3$NK\$/$i$$$"$C$?$[$&$,(J
$@!t(J $@;~4V$N@aLs$K$O$J$j$^$C$;!#(J
K---		-------------------------------------------------------------
U   o    :				$@5W2<(J $@E/O:(J
G    >  :	$@:#F|$b855$$@!#(J		kuge@strl.nhk.or.jp
E   <==+ 	$@%-%c%a%k$,$&$^$$!#(J	$@#N#H#KJ|Aw5;=Q8&5f=j(J $@5-O?!&5!9=8&5fIt(J
From: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Newsgroups: fj.sci.math
Subject: Re: about Mathematica
Date: 13 Nov 92 08:03:47 GMT
Reply-To: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Distribution: fj
Organization: Railway Technical Research Institute

In article <527@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
>>$@$?$@!"$$$/$D$+$NNc$G!"(Jsymbol$@$KBP$9$k(JInverse$@$,(J
>>$@$&$^$/F/$$$F$$$J$$!)$H5?$o$l$k>l9g$,$"$j$^$9!#(J
>
>$@%7%s%\%k$,0l8D$G$b(Jhang up$@$9$k$H$$$&$N$O(J
>$@L/$G$9$M!#(J
>($@5-21MFNLE*$K$OBg$7$?$3$H$J$$$O$:(J)

$@;n$7$K!"9TNs<0$,#0$K$J$k$h$&$J$b$N$G(J
Det[A]$@$r7W;;$9$k$H!"(J
$@#1#0!v#1#00L$^$G$O$&$^$/$$$-$^$9$,!"(J
$@#1#2!v#1#2$"$?$j$@$H$I$&$b%*%+%7%$!#(J
$@$$$D$^$G$?$C$F$b!"Ez$($,$+$($C$F$3$J$$$G$9$M!#(J
($@0J2<$N9TNs$G<B83!#(J
 x^1,.......,x^n
 ...............
 x^n,.......,x^2n
Machine$@$O(JIBM Power Station)

$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
$@!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(J (Shingo Matumoto)$@!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!!!!!E4!!!!(Jshingo@ipc02.rtri.or.jp$@!!!!!!!!!!!!!!(J $@!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!E4E4!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(J
$@!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;=Q8&5f=j!!M"Aw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(J
$@!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
From: m4540@melsun0.mel.go.jp (Tatsuya Akutsu)
Newsgroups: fj.sci.math
Subject: isometric transformation (In Japanese/Kanji)
Keywords: geometry
Date: 13 Nov 92 05:59:16 GMT
Distribution: fj
Organization: Mechanical Engineering Laboratory, AIST, MITI.


 > $B6aF#!wIY;NDL8&$G$9!#(J
 > $B2?$i2r7h$K$O$J$C$F$$$^$;$s$,(J... ;-)
 >
 > $B6qBNE*$KK\$NL>A0$O$o$+$j$^$;$s$,!"9b<!85$N4v2?$K$D$$$F$O!"%7%e%l!<%U%j(J 
 > Schl\"{a}flie (spell ?) $B$K$h$k8&5f$,CxL>$G$9!#(J
 > $B$"$H!"F|K\I>O@<R$+$i0l>>?.;a$K$h$k!V9b<!85$N@5B?LLBN!W!J$3$l$bBj$O2x$7(J
 > $B$$!(FI$s$@$N$,$b$&#8G/0LA0$J$N$G(J;-$B!K$H$$$&K\$,=P$F$$$?$H;W$$$^$9!#(J

$B$I$&$b$"$j$,$H$&$4$6$$$^$7$?!#(J
$B$3$l$i$NK\$rC5$7$F8+$h$&$H;W$$$^$9!#(J

 > $B=d2s72$H#2LLBN72$O$$$$$N$G$9$,!"#8LLBN72$H#2#0LLBN72$H$$$&$N$O=i<*$G$9!#(J
 > $B$3$l$i$O$=$l$>$l!"@5#8$J$$$7#2#0LLBN$r<+J,<+?H$K=E$M$k72$N0UL#$G$9$+!)(J
 > $B$H$9$k$H!"#8LLBN72$H8F$P$l$F$$$k$N$O#4<!BP>N72(J S_4$B!"#2#0LLBN72$H8F$P$l(J
 > $B$F$$$k$N$O#5<!8rBe72(J A_5 $B$N$3$H$G$9!#(J

$B$^$5$K!"(JS_4, A_5 $B$N$3$H$G$9$,!"9q5H=(IWCx!V72O@F~Lg!W%5%$%(%s%9<R!!$K$O(J
$B$=$N$h$&$JL>A0$G=P$F$$$^$7$?!J(Jpp.46$B!K!#(J

 >   $B0$5WDE$5$s$C$F!"#B#H$N>oO"$@$C$?J}$G$9$+!)(J
 >   $BF1@+F1L>$N?M0c$$$J$i$4$a$s$J$5$$!#(J

$B#B#H(J $B$N0$5WDEC#Li$OF1@+F1L>$NJL?M$G$9!#$G$b!"9b9;$O0l=o$G3N$+0l3XG/2<$@$H(J
$B$$$&OC$rJ9$-$^$7$?!#$G$b!"2q$C$?$3$H$O$"$j$^$;$s!#(J

----------------------------------------------------------------
$B0$5WDEC#Li(J   akutsu@mel.go.jp	TEL:0298-58-7108
305 $B$D$/$P;TJBLZ(J1-2 $B5!3#5;=Q8&5f=j!!J*M}>pJsIt!!?tM}>pJs2](J

Newsgroups: fj.sci.math
From: f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi)
Subject: Re: Q in intutionistic math.
Organization: Osaka Prefectural College of Technology
Date: Wed, 11 Nov 1992 03:59:53 GMT

  $@0f>e!wBg:eI\N)9b@l$G$9!#(J

In article <RYU.92Nov10072720@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
>$@!t$3$l$J$i>/$7$O$^$7$J<ALd$G$7$g!)(J
>$@!t$K$7$F$b2r$i$J$$$N$O!"0f>e$5$s$O$I$&$d$C$FG<F@$G$-$?$s$G$7$g!)(J

  $@$(!<!"A0$NA0$0$i$$$N5-;vFI$s$G$$$?$@$1$k$H!";d$O!V$o$+$j$^$7$?!"(J
$@!&!&!&$J$N$G$9$M!W$H$$$&$h$&$J=q$-J}$r$7$F$$$k$H;W$$$^$9!#$D$^$j!"(J
$@$=$N;~E@$G$N!J$=$7$F:#$G$b!K;d$O!"!V$^$"!"$b$&$I$&$G$b$$$$$d!"$G$b(J
$@8e3X$N$?$a$K!"D>4Q<g5A$G$N@5<0$J9M$(J}$rCN$C$F$*$3$&!W$H9M$($F$$$?(J
$@$N$G$9!#$G!"3^$5$s$N5-;v$G!"!V$=$&$8$c$J$$$h!W$H$$$o$l$^$7$?$N$G!"(J
$@!V$"!"$=$&$8$c$J$$$N$+!W$H;W$C$F!"A0$N5-;v$r=q$$$?$N$G$9!#$G$b!"!V(J
$@$=$&$8$c$J$$$h!W$H$$$&$N$O3^$5$s$N8m2r$J$s$G$9$h$M!#8=:_;d$OD>4Q<g(J
$@5A$G$b!P#0!"#1!Q$NItJ,=89g$O#4$D$7$+$J$$$H9M$($F$$$k$H$$$&$3$H$rCN$C(J
$@$F!"0B?4$7$F$$$k$H$3$m$G$9!#$D$^$j!"!VG<F@$7$?!W$H$$$&$N$O!VM}2r$7(J
$@$?!W$H$$$&0UL#$G$O$J$/!"J8;z$I$*$j!"!V;d$,$=$l$G$$$$$HG<F@$7$?!W$H(J
$@$$$&0UL#$G$9!#<+J,$,LLGr$=$&$@$J$H;W$($k$h$&$K$J$k$^$G$3$N5DO@$OFI(J
$@$^$;$F$$$?$@$/$@$1$K$7$?$$$H;W$$$^$9!#(J




-- 
================================== $@0f>e9@0l!wBg:eI\N)9b@l(J=====================
                   Phone : (0720) 21-6401 ($@Fb@~(J304)  Fax : (0720) 21-0134
                   E-mail: f51323@sakura.kudpc.kyoto-u.ac.jp
=========================================$@;d$O(Jmohta$@;a$K5wN%$r$*$$$F$$$^$9!#(J====
From: ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara)
Subject: Re: Q in intutionistic math.
Organization: Japan Advanced Institute of Science and Technology Hokuriku,
	Ishikawa, Japan
	<1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
	<1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov4105137@sysipk.sys.titech.ac.jp>
	<ISHIHARA.92Nov5101428@is15e0s10.jaist-east.ac.jp>
	<RYU.92Nov9095504@sysipk.sys.titech.ac.jp>
	<ISHIHARA.92Nov11094303@is15e0s10.jaist-east.ac.jp>
	<RYU.92Nov11120712@sysipk.sys.titech.ac.jp>
Date: Wed, 11 Nov 1992 04:01:28 GMT


$@@P86(J@$@KLN&@hC<Bg$G$9!#(J
	
In article <RYU.92Nov11120712@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

   >> |$@$3$3$G!"D>4Q<g5A!V(J$@$G!W$H$+D>4Q<g5A!V$r!W$H$$$&$H$-!"$I$s$J!VD>4Q<g5A!W$r(J
   >> |$@;X$7$F$$$k$N$G$7$g$&$+!)(J
   >> |$@;d$O!V9-(J$@$$0UL#$G$N9=@.<g5A!WDxEY$K9M$($F$$$^$7$?!#(J
   >>
   >>$@$=$N!V9-$$0UL#$G$N9=@.<g5A!W$H$$$&$b$N$N@5BN$,!"(J$@%$%a!<%8$,!"$J$s$+A4A3(J
   >>$@DO$a$J$$$s$G$9!#(J
   >>Bishop $@$H$+$rFI$`$7$+$J$$$s$G$7$g$&$+!)(J

Brouwer$@$ND>(J$@4Q<g5A!"(JMarkov$@$N9=@.<g5A$H(JBishop$@$N9=@.E*?t3X$r%$%a!<%8$7$F$$$^$9!#(J

--
$@@P86(J  $@:H(J : $@KLN&@hC<2J3X5;=QBg3X(J$@1!Bg3X(J $@>pJs2J3X8&5f2J!J>pJsO@M}3X!K(J
Newsgroups: fj.sci.math
From: ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara)
Subject: Re: Q in intutionistic math.
Organization: Japan Advanced Institute of Science and Technology Hokuriku,
	Ishikawa, Japan
	<1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
	<1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov4105137@sysipk.sys.titech.ac.jp>
Date: Thu, 5 Nov 1992 01:14:28 GMT


$@@P86!wKLN&@hC<Bg$G$9!#(J

In article <RYU.92Nov4105137@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

   >>$@$G$b!"@P86$5$s$N(J$@@bL@$O$=$&$$$&OC$7$G$O$J$$$h$&$G$9$,!#(J
   >>
   >> |>not(A) or not(not(A)) $@$H(J A or not(A) $@$O0c$&$b$N$G(J$@$O$J$+$C$?$s$G$9$+!)(J
   >> |
   >> |  $@0c$&$H$$$&$N$,D>4Q<g5A$NN)>l$J$N$G$9$M!#$G!"$3$N5?LdId$O2?$r$*J9(J$@$-$K(J
   >> |$@$J$j$?$$$N$G$7$g$&!#(J
   >>
   >>$@D>4Q<g5A$G$O(J not(not(A)) -> A $@$,F3$1$^$;$s!#$=$lL5$7$G!"(J
   >>not(A) or not(not(A)) -> A or not(A) $@!JJX59>e(J[1]$@$H$7$^$9!K(J
   >>$@$rF3$/$3$H$,$G$-$?$C$1!)(J
   >>$@$H(J$@!"$$$&5?Ld$G$9!#(J
   >>
   >>[1] $@$,$$$($J$$$N$J$i$P!"(Jnot(A) or not(not(A)) $@$,0lHL$K=P$F$-$?$H$7$F$b(J
   >>$@JL$K:$$i$J$$$+$i$G$9!#(J

$@3N$+!"(JA or not(A) <=> not(not(A)) -> A + not(A) or not(not(A)) $@$G$9!#(J
$@$^$?(J$@!"D>4Q<g5A(J($@L?Bj(J)$@O@M}$G(J not(A) or not(not(A)) $@$O0lHL$K$O=P$^$;$s!#(J

   >> |  $@$7$+$7!"$*$=$i$/(JBrower$@$H$$(J$@$&?M$O;d$H$OH?BP$K!"D>4Q<g5A!V$r!W8&5f$7$F(J
   >> |$@$$$k$3$NK\$N$3$H$rCN$C$?$i!"7cE\$9$k$s$8$c$J$$$+$J$"(J$@!#$H!"$U$H;W$$$^$7(J
   >> |$@$?!#$G$O$G$O!#(J
   >>
   >>$@$=$l$O$$$($^$9$M!#(J
   >>$@!V$3$NK\!W$OK\Ev$ND>4Q<g5A(J$@$NJ}!J@P86$5$s!)!K$+$i8+$?$i!"2?$8$c%3%j%c!"$C(J
   >>$@$F$$$&$b$s$@$H;W$$$^$9!#(J
   >>
   >>$@!t$G$b!";d$OLL(J$@Gr$$$H;W$$$^$9$,!#(J

$@;d$bLLGr$$$H;W$$$^$9!#(J
$@;d$NCf$G$OD>4Q<g5A!V$r!W8&5f$9$k$3$H$H!"D>4Q<g5A!V$G!W(J($@?t3X(J$@$r(J)$@8&5f$9$k$3$H$O(J
$@JL!9$N;v$G$O$"$j$^$;$s!#(J
$@Nc$($P!"$"$k(J($@8EE5E*(J)$@DjM}$rD>4Q<g5A!V$G!W>ZL@$7$h$&$H$7$^$9(J$@!#(J
$@$H$3$m$,!"$I$&$d$C$F$_$F$b>ZL@$G$-$=$&$b$"$j$^$;$s!#(J
$@$3$&$$$&>l9g!">ZL@$G$-$J$$;v$r>ZL@$7$J$1$l$P$J(J$@$j$^$;$s!#(J
$@$5$i$K!"(J($@;d$O(J)$@$I$NDxEY>ZL@$7$K$/$$$N$+!)(J

 A or not(A) $@$/$i$$$+!)(J not(A) or not(not(A)) $@$/(J$@$i$$$+!)(J
$@$O$?$^$?(J not(not(A)) -> A $@$/$i$$$+!)(J $@$=$N$$$E$l$G$b$J$$$+!)(J

$@$J$I$H9M$($F$7$^$$$^$9!#(J
$@$3$3$^(J$@$GMh$k$HD>4Q<g5A!V$r!W8&5f$7$F$$$k$3$H$K$J$j$^$;$s$+!)(J
--
$@@P86(J  $@:H(J : $@KLN&@hC<2J3X5;=QBg3X1!Bg3X(J $@>pJs2J(J$@3X8&5f2J!J>pJsO@M}3X!K(J
From: satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: Q in intutionistic math.
Date: 11 Nov 92 06:18:29 GMT
	<1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
	<1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov4105137@sysipk.sys.titech.ac.jp>
	<ISHIHARA.92Nov5101428@
Organization: Ryukoku Univ., Seta, Japan
In-reply-to: ishihara@is15e0s10.jaist-east.ac.jp's message of 5 Nov 92 01:14:28 GMT


$@>.NSAo(J@$@N6C+Bg3X$G$9!#@P86$5$s$N5-;v$K>/$7$@$1JdB-$7$^$9(J$@!#(J

In article <ISHIHARA.92Nov5101428@is15e0s10.jaist-east.ac.jp> ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara) writes:

 |   >>$@D>4Q<g5A$G$O(J not(not(A)) -> A $@$,F3$1$^$;$s!#$=$lL5$7$G!"(J
 |   >>not(A) or not(not(A)) -> A or not(A) $@!JJX59>e(J[1]$@$H$7$^$9!K(J
 |   >>$@$rF3$/$3$H$,$G$-$?$C$1!)(J
 |   >>$@$H!"$$(J$@$&5?Ld$G$9!#(J
 |   >>
 |   >>[1] $@$,$$$($J$$$N$J$i$P!"(Jnot(A) or not(not(A)) $@$,0lHL$K=P$F$-$?$H$7$F$b(J
 |   >>$@JL$K:$$i$J$$$+$i$G$9!#(J
 |
 |$@3N$+!"(JA or not(A) <=> not(not(A)) -> A + not(A) or not(not(A)) $@$G$9!#(J

$@8D!9$N(J A $@$K$D$$$F$O3N$+$K$=$&$G$9$M!#$D$^$j!"8D!9$N(J A $@$K$D$$$F$O!"(J
  A or not(A) <=> (not(not(A)) -> A) and (not(A) or not(not(A)))
$@$,@.$jN)$A$^$9!#(J($@$3$l$OEv$?$jA0$G$9$M!#(J)
(not(not(A)) -> A) => A or not(A)$@$O0lHL$K$O%@%a!#(J
(not(A) or not(not(A))) => A or not(A) $@$b!"0lHL$K$O%@%a!#(J

$@0lJ}!"(JA or not(A) $@$H(J$@$+!"(J not(not(A)) -> A $@$H$+!"(J not(A) or
not(not(A))$@$H$+$,!"8xM}%9%-!<%^$rI=$9$N$J$iOC$O>/$70c$C$F$-(J
$@$F(J$@!"!V$9$Y$F$NO@M}<0(J A $@$K$D$$$F(J A or not(A) $@$r8xM}$H$9$k!W$3(J
$@$H$H!"!V$9$Y$F$NO@M}<0(J A $@$K$D$$$F(J not(not(A)) -> A $@$r8xM}$H(J
$@$9$k!W$3$H$H$OF1Ey$G$9$M!#(J
$@$=$&$$$&0UL#$G$O!"(J
  A or not(A) <=> not(not(A)) -> A
$@$G(J$@$9!#(J
$@$7$+$7!"!V$9$Y$F$N(J A $@$K$D$$$F(J not(A) or not(not(A)) $@$rG'$a$k!W(J
$@$3$H$O$3$l$i$h$j$b<e$$(J principle $@$G$9$M!#(J

($@$3$&$$$&$3$H$O@P86$5$s$O$9$G$K$4B8CN$N$3$H$H;W$$$^$9$,!"0l(J
$@HL$NFI<T$NJ}!9$K$H$C$F$O!"8xM}%9(J$@%-!<%^$NOC$+!"8D!9$N(J A $@$K$D(J
$@$$$F$NOC$+$o$+$j$K$/$$$+$J!"$H;W$C$?$N$G!"JdB-$7$F$_$^$7$?!#(J)

 |$@Nc$($P!"(J$@$"$k(J($@8EE5E*(J)$@DjM}$rD>4Q<g5A!V$G!W>ZL@$7$h$&$H$7$^$9!#(J
 |$@$H$3$m$,!"$I$&$d$C$F$_$F$b>ZL@$G$-$=$&$b$"$j$^(J$@$;$s!#(J
 |$@$3$&$$$&>l9g!">ZL@$G$-$J$$;v$r>ZL@$7$J$1$l$P$J$j$^$;$s!#(J
 |$@$5$i$K!"(J($@;d$O(J)$@$I$NDxEY>ZL@$7$K$/$$(J$@$N$+!)(J
 |
 | A or not(A) $@$/$i$$$+!)(J not(A) or not(not(A)) $@$/$i$$$+!)(J
 |$@$O$?$^$?(J not(not(A)) -> A $@$/$i(J$@$$$+!)(J $@$=$N$$$E$l$G$b$J$$$+!)(J

$@$3$l$b$^$?!"8xM}%9%-!<%^$NOC$@$H$9$l$P!"!V(JA or not(A) $@$/$i$$!W(J
$@$H!V(Jnot(not(A)) -> A $@$/$i$$!W$OF1$8$K$J$C$F$7$^$$$^$9$M!#(J
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)
From: kuge@strl.nhk.or.jp (Tetsuro Kuge)
Newsgroups: fj.sci.math
Subject: Re: about Mathematica
Date: 6 Nov 92 15:20:38 GMT
Distribution: fj
Organization: NHK Science and Technical Research Laboratories , Tokyo, Japan.
In-reply-to: hamao-k@fukushima-iri.go.jp's message of 6 Nov 92 00:10:46 GMT

$@5W2<!w(JNHK$@5;8&(J $@$G$9!#;d$b(JMathematica $@FH=,Cf$G$9!#(J

In article of <HAMAO-K.92Nov6091046@fukuroku.fukushima-iri.go.jp>
hamao-k@fukushima-iri.go.jp (Kazuhide Hamao) writes:
> $@J!Eg8)%O%$(J$@%F%/%W%i%6!J8)$N;n835!4X!K$N(J $@IMHx(J $@$H?=$7$^$9!#(J
 ......
>   $@$^$:#M#a#t#h#e#m#a#t#i#c#a$N%^%K%e%"%k$GF|(J$@K\8lHG$,$"$k$HJ9$$$?$N$G$9(J
> $@$,!"$=$N=PHG<R!JH/Gd85!K$HCMCJ$r$I$J$?$+$4B8CN$J$$$G$7$g$&$+!#(J

$@!t(J $@62$i$/(J$@!";3$N$h$&$J%U%)%m!<$,$"$k$N$G$7$g$&$,(J

	$@%9%F%#!<%V%s!&%&%k%U%i%`(J:
	"Mathematica - A System for Doing Mathematics by Computer
	 Second Edition ($@F|K\8lHG(J)",
	$@H/9T!'%"%8%=%s(J $@%&%(%9%l%$(J $@%Q%V%j%7%c!<%:(J $@%8%c(J$@%Q%s(J
	$@H/Gd!'@11@<R(J (1992)
	$@Dj2A!'(J9500$@1_!J@G9~$_!K(J

$@$H$$$&$N$,!"(JMac $@MQ$N(JMathematica V2.1$@$rGc$C$?$iIU$$(J$@$F$^$7$?$,(J...$@!#(J
$@$*$=$i$/!"DL>o$N=qE9%k!<%H$GGc$($k$N$G$O$J$$$+!"$H;W$$$^$9!#(J
$@$3$l$O!"(J

	Stephen Wolfram:
	"Mathematica - A System for Doing Mathemacics by Computer
	 Second Edition",
	Addison-Wesley Publishing Company(1991)
	
$@$N0l8l0l6g0c$o$LK]Lu$N$h$&$G$9!#(J

>  $@<!$K#M#a#t#h#e#m#a#t#i#c#a$r;H$($k$h$&$K(J$@$J$m$&$H;W$$!V#M#a#t#h#e#m#a#t#i#c#a(J
> $@%W%m%0%i%_%s%05;K!!W$H$$$&K\$rGc$C$FJY6/$7$F$$$k$N$G$9$,!"(J
 ......
> $@!J<B$O>e=R$N#M#a#t#h#e#m#a#t#i#c#a%W%m%0%i%_%s%05;K!$O!"$3$&$$$&K\$,M_(J
> $@$7$+$C$?$H$$$&$N$GGc$C(J$@$?$N$G$O$J$/!"$?$^$?$^CO85$NK\20$K$=$l$,$"$C$?$+(J
> $@$iGc$C$?!"$H8@$C$?J}$,E,@Z$+$bCN$l$^$;$s!D!#!K(J

Maeder$@$N!V5;K!!W$H(JWolfram$@$NK\$O!"(JMathematica users $@$N:B1&$N=q$G$9$+$i!"(J
$@NI$$GcJ*$r$5$l$?$H;W$$$^$9!#(J
$@!t(J $@$+$/$$$&>.@8$b!V5;K!!W$rGc$C$?$N$O@h7n$N(J Mathematica Conference $@$N2q>l$G(J
$@!t(J $@$G$7$?(J ^^;

> $@!t@E$^$C$?(J$@<<Fb$G!"2?$bJ,$+$i$:GH7A$N2;$r=P$7$F!">e;J$Kp~m&$rGc$C$?$N$O;d$G$9!#(J

$@!t(J $@;d$bBg$-$J(JIndigo$@$N2;$r=P$7$F(J$@!J;d$G$O$J$/D>B0>e;J$,!K(J
$@!t(J $@ItD9$K<8$i$l$?$3$H$,$"$j$^$9!#$3$l$O%*%U%l%3!#(J

$@$H$j$"$($:!"$*Ez$($G$-$k$3(J$@$H$@$1!#(J
K---		-------------------------------------------------------------
U   o    :				$@5W2<(J $@E/O:(J
G    >  :	$@:#F|$b855$$@!#(J		kuge@strl.nhk.or.jp
E   <==+ 	$@%-%c%a%k$,$&$^$$!#(J	$@#N#H#KJ|Aw5;=Q8&5f=j(J $@5-O?!&(J$@5!9=8&5fIt(J

Newsgroups: fj.sci.math
From: ryu@sys.titech.ac.jp (ryu)
Subject: Re: Q in intutionistic math.
Organization: Tokyo Institute of Technology, Yokohama, Japan.
	<1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
	<RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
	<1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
	<SATOSHI.92Nov5170359@whale.ryukoku.ac.jp>
Date: Fri, 6 Nov 1992 04:01:40 GMT


$@3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <SATOSHI.92Nov5170359@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:
 |$@>.NSAo(J@$@N6C+Bg3X$H?=$7$^$9!#@lLg$O(J($@B>$N$3$H$b$d$C$F$^$9$,<g$K(J)
 |$@D>4Q<g5AO@M}!&9=@.(J$@E*?t3X$H$=$N1~MQ(J($@FC$K7W;;5!2J3X$X$N1~MQ(J)$@$G(J
 |$@$9!#$"$^$j$K5DO@$,:.Mp$7$F$$$k$h$&$J$N$G!"@lLg2H$NN)>l$+(J$@$i0l(J
 |$@8@8@$o$J$/$F$O$$$1$J$$$H;W$$!"=P$F$-$^$7$?!#(J

$@$"$j$,$H$&$4$6$$$^$9!#!J$^$?$b$d!K$*<j?t$r$*$+$1(J$@$7$^$9!#(J

 |$@$7$+$7!"Cm0U$7$J$1$l$P$J$i$J$$$N$O!"(J{0,1} $@$NItJ,=89g(J X $@$,G$(J
 |$@0U$KM?$($i$l$?$H$-!"(JX $@$,>e$N(J4$@$D$N=89g$N$I$l$H$bEy$7$/$J$$$H(J
 |$@$9$k$HL7=b$9$k$o$1$G$9$,!"$@$+$i$H$$$C$F!"(J4$@$D$N$&$A$N$I$l$+(J
 |$@$KEy$7(J$@$$!"$H$O8@$($J$$$3$H$G$9!#!V$I$l$+$KEy$7$$!W$H8@$($k$?(J
 |$@$a$K$O!"6qBNE*$K$I$l$KEy$7$$$N$+$rH=Dj$7$F$_(J$@$;$k<jCJ(J($@<jB3$-(J)
 |$@$r;}$C$F$$$J$1$l$P$$$1$^$;$s!#$7$+$7!"$=$N$h$&$J<jB3$-$,$"$j(J
 |$@$=$&$K$J$$$3$H$O$o$+(J$@$k$G$7$g$&!#(J
$@CfN,(J
 |$@$*$o$+$j$$$?$@$1$^$7$?$+(J?

$@$=$&$9$k$H%i%F%#%9$N1i;;$,!"6qBNE*$K!J<jB3$-$H$7$F!KM?(J$@$($i$l$F$$$J$$%i(J
$@%F%#%9!"$J$s$F$$$&$3$H$J$s$G$7$g$&$+!"(J{0,1} $@$O!)(J


Newsgroups: fj.sci.math