HDTenEightyP/NetNews huggingface dataset:
From: satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: IZF (Re: Q in int. math.)
Date: 17 Dec 92 08:07:01 GMT
	<SATOSHI.92Dec14202116@whale.math.ryukoku.ac.jp>
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
In-reply-to: satoshi@whale.math.ryukoku.ac.jp's message of 14 Dec 92 11:21:16 GMT

$@>.NS(J@$@N6C+Bg3X$G$9!#<+J,$N5-;v$K%U%)%m!<$7$^$9!#(J

In article <SATOSHI.92Dec14202116@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:

 | |$@!!$5$F!"7A<0<g5A$HD>4Q<g5A$H$r!"#Z#F#C$N%b%G%kFb$GHf$Y$F$_$l$P!"(J
 | |$@!VA4IT(J$@O"7k$J0LAj6u4V!W$H!V0lHL$N0LAj6u4V!W(J
 | |$@$KBP1~$9$k!#(J
 |
 |$@=EH"$N$9$_$r$D$D$/$h$&$G$9$_$^$;$s$,!"!VA4(J$@ITO"7k!W$H$$$&$N$H$O$A$g$C$H(J
 |$@0c$&$N$G$O(J?

$@$3$l$@$1$G$OIT?F@Z$+$H;W$&$N$G!"6qBNE*$KH?Nc$r$"$2$^$9!#M-(J$@M}?tBN(J Q $@$O!"(J
$@DL>o$N0LAj$N$b$H$GA4ITO"7k$G$9$,!"$=$N3+=89g$NB+$O(JBoolean $@$G$O$"$j$^$;(J
$@$s$M!#(J

 | |$@!!C](J$@Fb$NK\$G$O!"D>4Q<g5A$N@-<A$O!"%b%G%k$X$NBP1~$K$h$C$F!"0LAj6u4V$N@-<A$H$7$F(J
 | |$@2r<a$5$l$k!#D>4Q<g5A$K(J$@$OB>$K!"(JBKF-$@2r<a$H$+!"<B8=2DG=@-$K$h$k2r<a$,$"$k$,!"$=$l(J
 |
 |$@$($($H!"$3$N(J BKF $@$H$$$&$N$O(J BHK $@$N$3$H$G(J$@$9$+(J? $@$=$&$$$&8F$SJ}$b$"$C$?$+(J
 |$@$J(J? $@$=$l$H$bJL$N$b$N$G$7$g$&$+(J? $@$"!"$R$g$C$H$9$k$H!"(JBeth-Kripke $@$+$J(J? 
 |$@$9$k$H;D$j$N(J F $@$O2?$@$m$&(J?  Forcing $@$+$J(J?

$@>>K\$5$s$NJL$N5-;v$r8+$?=j$G$O!"(JBHK $@$HF1$8$b$N$N$h$&$G(J$@$9$M!#;d$O(JBHK$@$H(J
$@$$$&8@$$J}$7$+8+$?$3$H$,$J$$$N$G$9$,!"(JBKF $@$H$$$&8@$$J}$,=P$F$$$kJ88%$r(J
$@CN$C$F$$$kJ}$,(J$@$"$C$?$i65$($F2<$5$$!#(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)
Newsgroups: fj.sci.math
From: kuroki@math.tohoku.ac.jp (Gen Kuroki)
Newsgroups: fj.sci.math
Subject: Re: Thanks (books on octanion)
Date: 11 Dec 1992 12:12:37 GMT
Organization: Mathematical Institute, Tohoku University, Sendai JAPAN.
Distribution: fj
NNTP-Posting-Host: tsuru
In-reply-to: suwasan@pattern.flab.fujitsu.co.JP's message of 10 Dec 1992 09:39:24 JST

In article <SUWASAN.92Dec10093924@lydia.pattern.flab.fujitsu.co.JP>
suwasan@pattern.flab.fujitsu.co.JP (SUWA Misako) writes:

 |    $@2#ED(J $@0lO:Cx!X72$H0LAj!Y!X72$HI=8=!Y(J ($@>X2ZK<(J)
 |    $@:4Ip(J $@0lO:Cx!X%j!<4D$NOC!Y(J ($@F|K\I>O@<R(J)
 |    H.B.Ebbinghaus$@B>Cx!X(JZhalen$@!Y(J $@$H$=$NF|K\8lLu$N(J
 |    $@@.LZ(J $@M&IWLu!X?t!Y(J ($@%7%e%W%j%s%,!<%U%'%"%i!<%/(J)   

$@J88%I=$KDI2C$G$9!#2#ED0lO:@h@8$NCx=q$G:G6a$N$b$N(J$@$,$"$j$^$9$M(J:

    $@2#ED(J $@0lO:Cx(J $@!XNc307?C1=c%j!<72!Y(J ($@8=Be?t3X<R(J)

$@$3$l$N;PKe=q$H$7$F!"!X8EE57?C1=c%j!<(J$@72!Y(J ($@8=Be?t3X<R(J)$@$H$$$&$N(J
$@$,$"$j$^$9!#(J

 |  $@;d$NM'C#$GAGN3;RM}O@$r$d$C$F$$$k?M$,$$$F!"$=$N?M$,#885?t$,(J
 |$@;H$($=$&$@$H$o$a$$$F$*$j$^$7$F!%!%$=$l$G$A$g$C$H6=L#$r;}$C$?(J
 |$@$b$N$G$9$+$i!%!%$I$&$$$&$U$&$K;H$($k(J$@$+$O!"O@J8$,=P$?$i$N$*3Z(J
 |$@$7$_$H$$$&$3$H$K$J$j$^$9!#!J=P$;$?$i$NOC$G$9$,!#!K(J

$@$J$k$[$I!#(J
--
$@9uLZ8<!w(J$@ElKLBg3XM}3XIt?t3X65<<(J
From: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Newsgroups: fj.sci.math
Subject: Re: To Ryu (Re: meta theory)
Date: 15 Dec 92 04:11:17 GMT
Distribution: fj
Organization: Railway Technical Research Institute

$B>>K\!w?t3X2J$/$:$l$G$9!#(B

$B$3$NFbMF$O!"?t3X$KD>@\4X78$J$$$N$G!"(B
$B6=L#$N$J$$$+$?$O!"(B$BFI$_Ht$P$9$3$H$r(B
$B$*4+$a$7$^$9!#(B

In article <RYU.92Dec12112913@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
>  $B$J$s$G>>K\$5$s$,E\$C$F$$$k$N$+$5$C$Q$j2r$s$J$$3^(B(ryu@sys.titech.ac.jp)$B$G$9!#(B

>    |$B@hF|!"3^;a$h$j!"BgJQ$KInJNE*$JFbMF$N%a!<%k$,FO$$$?!#(B
>    |$B$f$($K(B
>    |$B:#8e3^;a$NITE,Ev$JH/8@(B$B$O!"@dBP$KMF<O$7$J$$!#(B

>   $B$&!<$s!)(B
>   $B$?$@>>K\$5$s$N=P?HBg3X$r?dM}$7$FEv$F$A$c$C$?$@$1$J$s$G$9$1$I(B$B$M!#(B

$B!V$@$1!W$G$O$J$$!#(B

>   $B$=$l$G$=$s$J$KE\$k!"$C$F$N$O>>K\$5$s<+?H$,Jl9;$rIn?+$7$F$$$k$3$H$K$J$j(B
>   $B$^$;$s$+!)(B

$B$b$7!"(B
$B!VK?Bg3X$N?t3X2J$N65<xC#$O?t3X$H>N$7$F%W%m%0%i%_%s%0$P$+$j$7$F$$$k!#!W(B
$B$H$$$&J8(B$B>O$rFI$s$G!"(B
$B$=$3$N?t3X2J$N65<x$O?t3X$7$F$J$$!"IT??LLL\$G$"$k$H$H$i$J$$?M$,(B
$B$$$?$i!"$*L\$K$+$+$j$?$$!#(B
$B$"$NH/8@$O!"0E$KK?Bg3X$r%J%a%?H/8@$G$"$k!#(B
$BBgBN$=$&$$$&;v<B$9$i$J$$$N$K!"<:Ni$G$"$k!#(B
$BE\$k$N$OEv$?$j(B$BA0$@!#(B

>   $B!t$"$H<XB-$J$,$i!"(B
>   $B!t8xM}E*=89gO@$H%b%G%kM}O@$N6hJL$/$i$$$O$D$1$H$$$?J}$,$$$$$H;W$$$^(B$B$9!#(B

$B$A$c$s$H!"6hJL$7$F$$$k!#(B
$B3^;a$[$I$K$O!"FI2rNO$OITB-$7$F$J$$!#(B
$B$b$A$m$s!"FI<T$O$3$3$G!"$3$s$J$3$H(B$B$$$o$J$/$F$b!"(B
$B5-;v$rFI$a$P!"$I$A$i$,$h$j%^%H%b$+$O$o$+$k$G$"$m$&!#(B

>   $B!t$"$HBe?t4v2?$N652J=q$/$i$$(B$B$*CN$i$;$7$h$&$H;W$C$F$?$N$K!"$H$F$b$=$s$J(B
>   $B!tJ70O5$$G$O$J$$$_$?$$$G$9$M!#(B

$B$*CN$i$;$;$s$G$b!"FI$_(B$B$?$1$l$P<+J,$GC5$9!#(B

>   $B!t%+%k%7%&%`$r$b$C$H$*<h$j$K$J$C$?$i!)(B

$B3^;a$O!"$b$C$HF|K\8l$NJY6/$r$7$?$[$&(B$B$,$h$$!#(B
$BK\$rFI$`$?$S!"6J2r$5$l$F$O!"Cx<T$,IT9,$G$"$k!#(B

>   $B$J$s$H$J$/%K%e!<%9$NL5BL;H$$$H$$$&5$$,$7(B$B$^$9!#(B
>   $B$7$P$i$/$3$N%0%k!<%W$X$NEj9F$O<+=M$7$^$9!#(B

$B<+=M$O4?7^$9$k!#(B
$B6J2r$N>e$K!"InJNE*H/8@$G$O!"Ej(B$B9F0UM_$,<:$;$k!#(B
From: satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: meta theory (Re: Q in int. math.)
Date: 14 Dec 92 11:02:32 GMT
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
In-reply-to: ryu@sys.titech.ac.jp's message of 12 Dec 92 02:29:13 GMT

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

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

 | |$@FC$K#V!J#B!K$b#V!J&8!K$b#Z#F#C$G$D$/$i$l(J$@$^$9$,(J
 |
 |$@$3$l$OM}2r$G$-$^$;$s!#(J

$@%a%$%k$G$I$&$$$&$d$j$H$j$,$"$C$?$N$+;d$K$O$o$+$i$J$$$N$G!"OC$N%3%s(J$@%F%/(J
$@%9%H$,ITL@$J$N$G$9$,!"#V!J#B!K$b#V!J&8!K$b(J ZFC $@$G$D$/$i$l$k!"$H$$$&$N(J
$@$O@5$7$$$G$9$h!#DL>o(J ZFC $@$N(J$@Cf$G:n$j$^$9!#(JZFC $@$N(J proper class $@$H$7$F:n(J
$@$l$P$h$$$N$G$9!#$b$A$m$s!"(JZFC $@<+BN$N%b%G%k$NB8:_$r2>Dj(J($@$9$J(J$@$o$A(J ZFC $@$N(J
$@L5L7=b@-$r2>Dj(J)$@$7$F$h$$>l9g$K$O!"(Jproper class $@$G$J$/!"=89g$K$J$C$F$$$k(J
$@$h$&$J(J V $@$r$H$C$F!"(JV $@$+$i(J V(B) $@$r:n$l$P!"(JV(B) $@$r=89g$K$G$-$k$H;W$$$^$9(J
$@$,!#(J

$@2?$K$7$F$b!"$3$l$i$N%b%G%k$r:n$k$H$-$K$O!"(J($@IaDL(J)$@8EE5O@M}$rMQ$$$^$9!#(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: katsura@john.hamaint.snet.or.jp (John Eiji Katsura)
Newsgroups: fj.sci.math
Subject: Re: Topos (Re: Q in int. math.)
Date: 19 Dec 92 11:16:19 GMT
Distribution: fj
Organization: Yokohama Intelligence, Inc. Yokohama,Kanagawa,Japan


In article <KUROKI.92Dec19063911@tsuru.math.tohoku.ac.jp>, kuroki@math.tohoku.ac.jp (Gen Kuroki) writes:

>  |$@%H%]%9$G(JGrothendieck$@$NL>A0$O$"$^$jJ9$+$J$+$C$?$G$9$M!#(J
> 
> $@$I$&$b!"%H%]%9$NL>IU$1?F$O!"(JGrothendieck $@$NMM$G$9(J:

$@Be?t4v2?$r$:$C$H$d$C$F$$$?;d$K$H$C$F!"(Jtopos$@$NM3Mh$rCN$i$J$$$G(J
$@;H$C$F$$$k?M4V$,$3$s$J$KA}$($?$J$s$F!"$J$s$@$+$H$C$F$bJQ$J5$J,$G$9$M!#(J
 
> Lawvere $@$N(J elementary topos $@$NDj5A$7$+CN$i$J$$?M$N$?$a$K!"$I$&$7$F(J
> $@%H%]%9$,0LAj6u4V$N0lHL2=$K$J$k$+$K$D$$$F@bL@$7$^$7$g$&!#(J
> 
> $@0LAj6u4V(J X $@$rM?$($k$H$=$N>e$N(J($@=89g$N(J)$@AXA4BN$N7w(J Top(X) $@$,Dj$^$j$^(J
> $@$9!#$7$+$b!"(JTop(X) $@$N7w$H$7$F$N9=B$$+$i!"$b$H$N(J X $@$N0LAj4v2?E*$J>p(J
> $@Js$r0z$-=P$9$3$H$,$G$-$^$9!#FC$K!"(JX $@$,(J sobre ($@Nc$($P!"(JHausdorff
> space) $@$J$i$P!"(JTop(X) $@$+$i(J X $@$,0l0U$K7h$^$C$F$7$^$$$^$9!#(J($@>ZL@$O(J 
> SGA4 $@$K$"$j$^$9!#Fq$7$$$3$H$G$O$"$j$^$;$s!#?t3X2J$G$N0LAj6u4V$N1i(J
> $@=,$K=P$7$?$iLLGr$$LdBj$+$b$7$l$^$;$s$M!#(J)
> 
$@3N$+$K$=$&$J$s$@$1$l$I!">e$N@bL@$@$1$GJ,$+$k?M$,$I$N$/$i$$$$$k$N$+$J$"!#(J
EGA$@$+$iFI$_$?$/$O$J$$$H$$$&$R$H$K4+$a$k$H$7$?$i$d$O$j!"(J
Categories for working Mathematians
$@!J;d$OFI$s$G$$$^$;$s!#$"$7$+$i$:!K(J
$@$H$+$+$i$O$8$a$F!"I=8=H!<j$J$I$K$J$l$F$+$i!"#S#G#A#4$rFI$`$N$,@5E}E*(J
$@$J$N$G$7$g$&$M!#(J(EGA$@$K$O(Jtopos$@$=$N$b$N$NOC$O=P$F$-$^$;$s!K(J

$@$H$3$m$G!"?tM}O@M}3X4X78$K$*6/$$J}$K<ALd$J$N$G$9$1$l$I!"!"(J
topos$@$NDj5A$N:]$K=P$F$/$k(JUnivers$@$N8xM}$O!"8xM}O@E*$K$O$I$&$$$&(J
$@0LCV$E$1$K$"$k$N$G$7$g$&$+!)(J
$@$:$C$H5$$K$J$C$F$$$?$N$G$9$1$l$I!"!VL5L7=b@-!W$H$+$OK\Ev$KJ]>Z$5$l$F(J
$@$$$k$N$G$7$g$&$+!)(J


-- 
$B7K1Q<#!w(J($B3t(J)$B2#IM%$%s%F%j%8%'%s%9(J
Newsgroups: fj.sci.math
From: ryu@sys.titech.ac.jp (ryu)
Subject: Re: meta theory (Re: Q in int. math.)
Organization: Tokyo Institute of Technology, Yokohama, Japan.
Distribution: fj
Date: Sat, 12 Dec 1992 02:29:13 GMT


$@$J$s$G>>K\$5$s$,E\$C(J$@$F$$$k$N$+$5$C$Q$j2r$s$J$$3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <565@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
 |
 |$@@hF|!"3^;a$h$j!"BgJQ$KInJNE*$JFbMF$N%a!<%k$,FO$$$?!#(J
 |$@$f$($K(J
 |$@:#8e3^;a$NITE,Ev$JH/8@$O!"@dBP$KMF<O$7$J$$!#(J

$@$&!<$s!)(J
$@$?$@>>K\$5$s$N=P?HBg3X$r?dM}$7$FEv$F(J$@$A$c$C$?$@$1$J$s$G$9$1$I$M!#(J
$@$=$l$G$=$s$J$KE\$k!"$C$F$N$O>>K\$5$s<+?H$,Jl9;$rIn?+$7$F$$$k$3$H$K$J$j(J
$@$^(J$@$;$s$+!)(J
$@!t$^!"4X78$J$$$+!#(J

 |ryu> $@8=:_$N(JLJ$@$N8&5fJ}K!$O!"==J,$K7A<0<g5AE*$@!"$C$F$3$H$G$9$h!#(J
 |
 |$@8&(J$@5fJ}K!$H$$$&$N$O!"BP>]$H$J$kM}O@$r$H$j$"$D$+$&(J
 |$@%a%?M}O@$N$3$H$H2r<a$7$^$9!#(J
 |$@$h$m$7$$$G$9$M!#(J

$@2?$+(J$@%a%$%k$G$NOC$7$r8x$K8x3+$5$l$F!"Hs>o$KEvOG$7$F$^$9$,!JOC$7$NFbMF$H(J
$@$7$F$O!K$h$m$7$$$G$9$h!#(J

 |$@FC$K#V(J$@!J#B!K$b#V!J&8!K$b#Z#F#C$G$D$/$i$l$^$9$,(J

$@$3$l$OM}2r$G$-$^$;$s!#(J

 |$@%a%?M}O@$HBP>]M}O@$H$N:.F1$O!"(J
 |$@87$K?5$`$Y$-$G$9!#(J

$@$3$l$OA4$/$=$NDL$j!#(J
$@$@$+$i!"D>4Q<g5A$N8&5f$OJL$KD>4Q<g5AE*$J;WA[$K$&$i$:$1$i$l$?(J$@$b$N$G$O$J(J
$@$$!"$C$F$$$&$@$1$N$D$b$j$G$7$?$,!)(J

$@!t$"$H<XB-$J$,$i!"(J
$@!t8xM}E*=89gO@$H%b%G%kM}O@$N6hJL$/$i(J$@$$$O$D$1$H$$$?J}$,$$$$$H;W$$$^$9!#(J
$@!t$3$l$O!"%a%$%k$G8@$&$D$b$j$@$C$?$,!"!"!"!"(J
$@!t$"$HBe?t4v2?$N652J=q(J$@$/$i$$$*CN$i$;$7$h$&$H;W$C$F$?$N$K!"$H$F$b$=$s$J(J
$@!tJ70O5$$G$O$J$$$_$?$$$G$9$M!#(J
$@!t%+%k%7%&%`$r$b$C$H$*(J$@<h$j$K$J$C$?$i!)(J

$@$J$s$H$J$/%K%e!<%9$NL5BL;H$$$H$$$&5$$,$7$^$9!#(J
$@$7$P$i$/$3$N%0%k!<%W$X$NEj9F$O<+=M$7(J$@$^$9!#(J
From: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Newsgroups: fj.sci.math
Subject: Re: IZF (Re: Q in int. math.)
Date: 15 Dec 92 08:46:17 GMT
Distribution: fj
Organization: Railway Technical Research Institute
In-reply-to: shingo@ipc02.rtri.or.jp's message of 14 Dec 92 03:08:35 GMT


$B>>K\!w?t3X2J$/$:$l(B

$BD>4Q<g5A$N2r<a$N0c$$(B($B%b%G%k$N0c$$(B)$B$K$D$$$F!"JdB-$7$^$9!#(B

In article <568@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
$B!dC]Fb$NK\$G$O!"D>4Q<g5A$N@-<A$O!"%b%G%k$X$NBP1~$K$h$C$F!"(B$B0LAj6u4V$N@-<A$H$7$F(B
$B!d2r<a$5$l$k!#D>4Q<g5A$K$OB>$K!"(BBKF-$B2r<a$H$+!"<B8=2DG=@-$K$h$k2r<a$,$"$k$,!"(B
$B!d$=(B$B$l$>$l$O!"0l1~FHN)$N$b$N$H9M$($?J}$,$h$$$h$&$@!#(B

$B$=$&8@$($P!"3^;a$,%a!<%k$G!"(B
$B!V(BBKF-interpretation$B$O(B$B==J,7A<02=$5$l$F$$$J$$!W(B
$B$H$$$&$N$G!"$=$s$J$3$H$O$J$$!"(B
$B!V(Brealizability-interpretation$B$G!"7A<02=$5$l$F(B$B$$$k!W(B
$B$H=R$Y$?$H$3$m!"(B
$B!V(Bor$B$N2r<a$,L@$i$+$K0[$J$k!W(B
$B$H$$$&!#=i$a$O2?$r8@$C$F$$$k$s$@$3$$$D$O$H$*$b$C(B$B$?$,(B
$B!V(BV($B&8(B)$B$G$O!"(B|A or B| = 1 $B$@$+$i$H$$$C$F(B |A|=1 $B$+(B |B|=1$B$G$"$k$H$O$$$($J$$!W(B
$B$N0UL#$@$H5$$,IU$$$?(B$B!#(B
$B$=$l$OA4$/$=$N$H$*$j$G$"$k!#;d$O$I$A$i$+$H$$$($P!"GSCfN'1>!9$h$j!"5"G<E*(B
$B$J$b$N$r=E;k$7$?$3$H$K6=L#(B$B$,$"$k$N$G!"$=$NJ}8~$G@bL@$7$F$7$^$C$?$N$@$,!"(B
$B:G=i$+$i!"0LAj6u4V$N@-<A$H$7$F!"@bL@$7$?$[$&$,$h$+$C$?(B$B$H8e2y$7$F$$$k!#(B

($B$b$C$H$b!"(BIZF$B$N$h$&$JBN7O$G$O!"(Brealizability-interpretation$B$,$G$-$k$H$O(B
$B;d<+?H!"$O(B$B$8$a$+$i9M$($F$O$$$J$+$C$?$,!#$3$N$3$H$+$i$b!"C1$J$kGSCfN'$N5q(B
$BH]$H$$$&0UL#$ND>4Q<g5A$H!"9=@.E*$H$$$&(B$B35G0$O0[$J$k$b$N$H$$$($k$h$&$@!#(B)

$B$H$3$m$G!">e$N#2$D$N2r<a$K$D$$$F!"9M$($k$&$A$K(B
$B$"$k5?Ld$,@8$8$F$-$^(B$B$7$?!#(B

V($B&8(B)$B$O!"9b3,D>4Q<g5AO@M}$N7wO@E*2r<a$H$7$F$N%H%]%9$H$_$J$;$k$N$G$7$g$&!#(B
($B$b$A$m$s!"%H%]%9$K(B$B$D$$$F!"CN$C$F$$$k$o$1$G$O$"$j$^$;$s$,(B)
$B$H$$$&$3$H$G!"D>4Q<g5AO@M}$K$^$:7wO@E*$J2r<a$,$"$j$^$9!#(B
$B0lJ}(B$B$G$O!"0lHL$ND>4Q<g5AO@M}$h$j69$$HO0O$N$b$N$G$9$,(B
$B9=@.E*$JM}O@$KBP$9$k<B8=2DG=@-2r<a$,$"$j$^$9!#(B
$B5?Ld$H(B$B$$$&$N$O!"7wO@E*2r<a$H!"<B8=2DG=@-2r<a$H$O!"(B
$B$I$&$$$&4X$o$j$,$"$k$N$G$7$g$&$+$H$$$&$3$H$G$9!#(B
$BC<E*$K$$(B$B$($P!"(B
$B5"G<E*$J35G0$O!"7wO@$N$I$N$h$&$J35G0$KBP1~$9$k$+(B
$B$H$$$&$3$H$G$9!#(B
Newsgroups: fj.sci.math
From: d43013a@nucc.cc.nagoya-u.ac.jp (Yukihiko Namikawa)
Subject: Re: books on octanion
Organization: School of Natural Sciences, Nagoya University, Nagoya, Japan.
Date: Mon, 14 Dec 1992 16:26:47 GMT

In article <1992Dec14.021402.23395@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes:
>  $B0f>e!wBg:eI\N)9b@l$G$9!#$=$&Mh$k$H;W$$$^$7$?$,!"(B
>
$B$=$&$G$9$+!#$O$a$i$l$?$+$J!#(B

>  $B#1#685?t!J(Bsedenion$B!K$OJ*M}$NJ}$G;H$C$F$$$k$i$7$/!"2f!9$N8@MU$G$O!"(B
>Clifford algebra $B$N$3$H$G$9!#(Bdivision algebra $B$r$b$C$H<e$/$7$F$b!"#1#6(B
>$B<!85$K$O2?$b$"$j$^$;$s!#!J$b$C$H<e$/$H$O!"@Q$N@~7A@-$b2>Dj$7$J$$!"#0$r(B
>$B3]$1$k$H#0$H$$$&$3$H$H!"=|K!$,0l0UE*$H$$$&$3$H!">hK!$H=|K!$,O"B3<LA|$H(B
>$B$$$&$3$H$0$i$$$K$7$F$b$H$$$&0UL#$G$9!#%N%k%`$b$J$7$G$9!#(B(J.F.Adams)$B!K(B
>

$B!V?t!W$N35G0$r0lHL2=$9$k$H$7$F!"2?$r<h$k$+$NLdBj$G$9!#(B
$B=>$C$F<g4QE*$JMWAG$,F~$j$^$9!#(B
Clifford algebra$B$r!V?t!W$NDj5A$K$5$l$k$N$G$"$l$P!"$$$/$i$G$b9b$$<!85(B
$B!J#2$N6R!K$N!V?t!W$,B8:_$9$k$3$H$K$J$j$^$9!#!#$G$b$I$&$7$F(BClifford algebra$B$,(B
$B!V?t!W$N0lHL2=$J$N$+!JB>$N(Balgebra$B$G$O$$$1$J$$$N$+!KJ,$+$j$^$;$s!#(B
$B$^$??t3X$H$7$F$NLLGr$5$,!"#885?t$^$G$N!V?t!W$H0lHL$N(BClifford algebra$B$H$G$O(B
$BA4$/0c$$$^$9!#(B
$B$J$*0f>e$5$s$N8@$o$l$kJ*M}$K=P$F$/$k!V#1#685?t!W$O(BMinkowski$B7WNL$KBP1~$9$k(B
Clifford algebra$B$"$?$j$+$J$H?dB,$7$^$9$,!JA4A30c$&$+$bCN$l$J$$!K!":#J*M}$G(B
$B=EMW$J$N$O!"$`$7$mL58B<!85$N(BClifford algebra$B$G$7$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: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Newsgroups: fj.sci.math
Subject: Re: Topos (Re: Q in int. math.)
Date: 16 Dec 92 09:46:47 GMT
	<KUROKI.92Nov28142737@tsuru.math.tohoku.ac.jp>
	<SHINGO.92Nov30125829@ipc02.rtri.or.jp>
	<1992Dec15.180201.19986@etl.go.jp>
Distribution: fj
Organization: Railway Technical Research Institute
In-reply-to: yoshiki@etl.go.jp's message of 15 Dec 92 18:02:01 GMT

$B>>K\!wE4F;Am8&$G$9!#(B

In article <1992Dec15.180201.19986@etl.go.jp> yoshiki@etl.go.jp (KINOSHITA Yoshiki) writes:

>    $BLZ2<$H?=$7$^$9!#$A$g$C$H(B fj.sci.math $B$H8fL5:;BA$7$F$k4V$K!">.NS$5$s$d(B
>    $B>>K\$5(B$B$s$N8x3+9V:B!J!)!K$,;O$^$C$F$F!"3Z$7$/FI$^$;$F$$$?$@$-$^$7$?!#$,!"(B
>    $B$A$g$C$H0lCJMn$7$?$h$&$J$N$K!"(B$BC/$b(B topos $B$N5-;v$K(B follow $B$7$J$$$h$&$J(B
>    $B$N$G!"!"!"(B

$B:G6a!"$3$NOCBj$K$O!"FI<T$,$$$J$$$N$G$O$J$$$+(B$B$H;W$$!"?4G[$7$F$*$j$^$7$?!#(B

$B3N$+$K!"LZ2<$5$s$4;XE&$N$H$*$j!"7wO@$N?t3X$N4pAC$X$N1~MQ$O!"(BLawvere$B$H$+(B
$B$,;O$a$?$N$,!":G=i$N$h$&$G$9!#(B
$B%H%]%9$G(BGrothendieck$B$NL>A0$O$"$^$jJ9$+$J$+$C$?$G$9$M!#(B
(Grothendieck$B$H(B$B$$$($P!"(BEtale Cohomology$B$H$+$,M-L>$G$9$M!#$b$A$m$s!"$=$l$,(B
$B$I$&$$$&$b$N$+$O;d$K$O%o%+%j%^%;%s$,(B^^;)

>   >$B:G6a$O!"7W;;5!4X78$G$b!"!V7wO@E*!W$J%W%m%0%i%_%s%08@8l$H$$$C$?(B
>   >$B$h$&$J$3$H$,8&5f$5$l$F$$$k$h(B$B$&$G$9$,!"%H%]%9$^$G$O$^$@$$$C$F$J(B
>   >$B$$$s$8$c$J$$$+$J$H$*$b$$$^$9!#(B($B%h%+%C%?(B^^;)

>   $B7wO@E*$J%W%m(B$B%0%i%_%s%08@8l$H$$$&$H!"GkLnC#Li$5$s$,#DO@$G$d$C$F$*$i$l$?(B
>   $BOC$N$3$H$G$7$g$&$+!)(B $B#O#B#J$J$s$+$O$b$C(B$B$H8E$/$F!"<~$j$K$O$$$C$Q$$7w$N(B
>   $BOC$,$"$C$?$1$I!"$"$N8@8l<+?H$O$"$s$^$j7wO@E*$J46$8$,$7$J$$$J$!!#(B

  $BGkLn$5$s$NL>A0$O!"!V%3%s%T%e!<%?%=%U%H%&%'%"!WEy$G$*$_$+$1$7$F$*$j$^$9!#(B
$B7wO@E*$J8@8l$O(BFP$B$K;w$?$b$N(B$B$i$7$$$H$$$&$3$H$O$I$3$+$G8+$?$+J9$$$?$+$7$^$7$?!#(B

>   $B?oJ,0JA0$+$i!"7wO@$O7W;;5!2J3X$G$b$5$+$s$KMxMQ(B$B$5$l$F$$$^$9!#FC$K!"NN0h(B
>   $B$NM}O@$dBe?tE*;EMM5-=R$NM}O@$J$I!"9-$$0UL#$G$NI=<(E*0UL#O@$KBP$9$k1~MQ(B
>   $B$O$&$^$/$$$C$F$k$h$&$K;W$$$^$9!#%H%]%9$bNc$($P7?M}O@$N%b%G%k$NOC$K;H$o(B
>   $B$l$?$j$7$F$$$^$9!#!J;DG0(B$B$G$7$?(B :-$B!K$&!<$s!"BT$F$h!"7?M}O@$N%b%G%k$N9=(B

  $B$&$&$`!"$G$b!"(B EGA$B$+$iJY6/$7$?$/$J$$$J$"!#(B
( $B$$$$K\$,(B$B$"$j$^$7$?$i!">R2p$7$F2<$5$$(B^^;)  

>   $B@.$,7W;;5!2J3X$J$N$+?t3X!JD>4Q<g5A?t3X!)!K$J$N$+$H$$$o$l$k$H$A(B$B$g$C$H$o(B
>   $B$+$i$J$/$J$C$F$7$^$$$^$9$,!"$H$K$+$/!V7W;;5!2J3X$H$J$s$A$c$i!W$H$+$$$&(B
>   $BN`$NBj$N%_!<%F(B$B%#%s%0$G$=$s$JOC$,=P$F$/$k$o$1$G$9!#(B

  $B$3$l$K!"6a$$5?Ld$r(B IZF$B$N5-;v$N$[$&$G$bEj9F$7$^$7$?!#$"$^$j9b3,(B$B$N$b$N$@$H(B
$BD61[E*$K$J$C$F$7$^$C$F!"7W;;5!2J3X$H$$$&$h$j$O?t3X$G$7$g$&!#0u>]$H$7$F$O!#(B
($BD61[E*$J$N$,!"(B$BJXMx$J$3$H$O$"$j$^$9$,(B)

>   $B$G$b7W;;5!$K$h$/=P$F$/$k$N$O%H%]%9$h$j$b$C$H4K$$>r7o$N$b$N$G$9!#!J$@$+(B
>   $B$i!"$=$3$G$$$m$s$J$3$H$r$d$m$&$H$9$k$H$b$C$HFq$7$$$H$$$&$3$H$K$J$k!)!K(B

$B$=$&$G$9$M!#0c$&Fq$7$5$,$"(B$B$j$=$&$G$9$M!#(B
From: kano@ssel.toshiba.co.jp (Kano Toshiyuki)
Newsgroups: fj.sci.math
Subject: Re: Help about Green function
Date: 16 Dec 92 02:07:49 GMT
Distribution: fj
Organization: Systems & Software Engineering Laboratory, TOSHIBA Corporation,
	JAPAN

$@$b$&$9$G$K!"2rEz$rF@$i$l$F$$$k$+$H$*$b$$$^$9$,!#(J

In article <TM.92Dec2150726@ksl001.ksl001.kobelco.co.jp>
	tm@ksl001.kobelco.co.jp (Tomoyuki MAEDA) writes:
>$@:G6a!"@55,2=M}O@$r(J$@$A$g$C$H$+$8$C$F$$$k$N$G$9$,!"J88%$rFI$s$G$$$F(J
>$@!I(J\hat{P}P$@$N%0%j!<%s4X?t(JG$@$r;H$C$F(J...$@!I!J(JP$@$OHyJ,:nMQAG(J$@!"(J\hat{P}$@$O(J
>P$@$N6&Lr:nMQAG!K$H$$$&ItJ,$,=P$F$-$?$N$G$9$,!"$3$N%0%j!<%s4X?t$,(J
>$@$I$N$h$&$J$b$N$+$o$+$i$J(J$@$$$&$($K!"$I$NJ,Ln!J4X?t2r@O!":nMQAGO@$J(J
>$@$I$J$I!K$NJ88%$rD4$Y$l$P$h$$$+$b$o$+$j$^$;$s!#(J

$@$3$NLdBj$K8B(J$@$C$F$$$($P!"Bg;(GD$J@bL@$G$9$,!"(J

S(x) $@$H$$$&4X?t$,M?$($i$l$?;~$K!"(J
$@<!$N$h$&$JJ}Dx<0$r2r$H$$$F!"(Jf(x) $@$r5a$a$?$$$H$7$^$9!#(J

\hat{P}P f(x) = S(x)                         (1)

$@%0%j!<%s4X?t(J G(x,y) $@$O<!$N<0$G(J$@Dj5A$5$l$k$b$N$G$9!#(J

\hat{P}P G(x,y) = $@&D(J(x-y)                    (2)

$@$3$3$G!"&D(J(x-y) $@$O!"(JDirac $@$N&D(J$@4X?t!#(J
$@>e$N<0$GDj5A$5$l$k(J G(x,y) $@$rMQ$$$k$H!"J}Dx<0(J (1) $@$N2r$O(J

f(x) = \int S(y) G(x,y) dy                    (3)

$@$G=q$1$k!#!J@QJ,$OA46h4V$NDj@QJ,!K(J

$@$H$$$&$3$H$@$H$*$b$$$^$9!#(J

				$@2CG<(J $@IR9T(J
Newsgroups: fj.sci.astro
From: f43664g@nucc.cc.nagoya-u.ac.jp (Yasuhiko Takagi)
Subject: Re: Meteorite fall
Organization: Toho Gakuen Junior College, Naogya, Japan.
	<1992Dec14.031629.3798@nucc.cc.nagoya-u.ac.jp>
	<MINORIN.92Dec15082803@orion.orion.cow.melco.co.jp>
	<HH.92Dec15140006@tamtam.astec.co.jp>
	<HH.92Dec16113046@tamtam.astec.co.jp>
Distribution: fj
Date: Thu, 17 Dec 1992 06:10:01 GMT


$@9bLZ!wElK.3X1`C;Bg$G$9(J

In article <HH.92Dec16113046@tamtam.astec.co.jp> hh@astec.co.jp (Hasegawa Hitoshi) writes:

 |$@@$3&$G(J3$@Nc$H$$$&$N$O!"$I$3$N$d$D$G$7$g$&$+$M!#%"%a%j%+$NBgJ?867W2h$H$$$&(J
 |$@$d$D$G2P5e%Q%H%m!<%k$r$d$C$F8+$D$+(J$@$C$?%m%9%H%7%F%#p(@P$H$+!"%$%K%9%U%j!<(J
 |$@p(@P$J$s$+$,$=$&$@$C$?$+(J($@<j85$K;qNA$,$J$$$N$G5-21$,Dj$+$G$J$$(J)$@!#B>$K$O%A%'(J
 |$@%3%9%m%P%-%"$G$b8+$D$+$C$?$H$$$&OC$,$"$C$?$h$&$J!#$d$C$Q$jN.@120$5$s$dp((J
 |$@@P20$5$s$K(J$@EP>l$7$F$b$i$o$J$$$H$3$l0J>e$O$o$+$i$J$$!#(J

$@:#$^$G$K8+$D$+$C$?p(@P$G!"Bg5$7wFMF~A0$N50F;$,7h$^$C$F$$$k(J$@$N$O!"(J
  1959$@G/(J4$@7n(J7$@F|(J  $@%A%'%3%9%m%P%-%"$KMn$A$?(J Pribram $@!J(JH5 $@%3%s%I%i%$%H!K(J
  1970$@G/(J1$@7n(J3$@F|(J  $@%"%a%j%+!&(J$@%*%/%i%[%^=#$KMn$A$?(J Lost City $@!J(JH5 $@%3%s%I%i%$%H!K(J
  1977$@G/(J2$@7n(J5$@F|(J  $@%+%J%@!&%"%k%P!<%?=#$KMn$A$?(J Innisfree $@!J(JLL5 $@%3%s%I%i%$%H!K(J
$@$N#3$D$@$1$G$9!#(J
$@:#2s$Np(@P$N50F;$,<L??4QB,$K7h$^$C$?$H$7$?$i!"@$3&E*$K$_$F(J$@$b5.=E$J7k2L$K$J$k(J
$@$+$H0l=V4|BT$7$?$N$G$9$,!"C1$J$kFy4c$K$h$kL\7b$@$1$G$7$?$+!#$^$"L5$$$h$j$O(J
$@$^$7$+$7(J$@$l$^$;$s$,!"=g9T50F;$H$$$C$?EvA3$N7k2L$7$+F@$i$l$=$&$b$"$j$^$;$s$M!#(J

$@$=$l$+$i!"#1#5F|$ND+F|?7J9$NM<4)(J$@$K$O!"Bg5$FMF~;~$NB.EY$,(J 50 km/sec $@$J$I$H(J
$@=q$+$l$F$$$^$7$?$,!"$3$l$O$$$/$i$J$s$G$b13$G$9$M!#(J15 km/sec $@$N4V0c$$$G$7$g$&!#(J

--
                                              $@9bLZLwI'!wElK.3X1`C;4|Bg3X(J
                                          f43664g@nucc.cc.nagoya-u.ac.jp
Newsgroups: fj.sci.astro
From: g78261a@kyu-cc.cc.kyushu-u.ac.jp (Hitoshi Yamaoka)
Subject: Re: Meteorite fall
Organization: Computer Center, Kyushu University
	<NOMURA.92Dec18085935@gemini.meis.sony.co.jp>
Distribution: fj
Date: Fri, 18 Dec 1992 09:39:05 GMT


$@;32,!w6eBg65M\(J $@$G$9!#(J

In article <NOMURA.92Dec18085935@gemini.meis.sony.co.jp> nomura@meis.sony.co.jp (Eiji Nomura) writes:

 >	  $@LnB<!w%=%K!<$G$9!#(J
 >
 >In article <HH.92Dec16112209@tamtam.astec.co.jp> hh@astec.co.jp (Hasegawa Hitoshi) writes:
 >
 > > >   $@$3$N5-;v$N$J$+$G!"!V==<7F|$KH~J]4X$rK,$l$k859qN)2J3XGnJ*4[?&0w$N(J
 > > >   $@$$$s@P8&5f<T!W$H$$$&$N(J$@$O!"$d$C$Q$jB<;3@h@8$J$s$G$7$g$&$M$(!#2?$G(J
 > > >   $@$3$s$J$b$C$F$^$o$C$?$h$&$J8@$$J}$r$9$k$N$@$m$&!#(J
 > > 
 > > $@;d$b$=$&;W$$$^$7$?!#(J
 >
 >	  $@:rF|$NM<J}$N%K%e!<%9$r8+$F$$$?$i!"$7$C$+$jB<;34[D9$,<L$C$F$$$^(J
 >	  $@$7$?(J (^.^) 

$@:#D+$N?7J9$K$O<BL>$$$j(J(^.^)$@$G:\$C$F$$$^$7$?!#$7$+$bG/Na$$$j$G!#(J

 >	  $@$"$H!"!V30It(J$@$+$iHtMh$7$?J*BN$K$h$kGKB;!W$H8@$&$3$H$GJ]81$b$*$j(J
 >	  $@$k$H8@$&$3$H$G$9!#$G$b!"#13,$N>2$^$G$NJd=$$,#1(J$@#0#0K|1_$G$G$-$k(J
 >	  $@$N$G$7$g$&$+$M!)(J

$@A43[$G$k$s$@$=$&$J!#(J

 >$@!t(J $@AG<j$G?($C$F$?$1$IJ|<MG=$H$+$N%A%'(J$@%C%/$O$b$&$7$?$N$+$J!)(J

$@9qN)2J3XGnJ*4[$NEg@5;R@h@8$,!"(J22Na($@<ANL?t(J22$@$N%J%H%j%&%`!"0J2<F1MM(J)$@$H(J
26Al$@$,$"(J$@$k$3$H$r3N$+$a$F(J($@N>J}$H$bJ|<M@-85AG(J)$@!"$$$s@P$G$"$k$H3NDj$7$?(J
$@$N$@$=$&$G!"J|<MG=%A%'%C%/$O$d$C$?$s$G$7(J$@$g$&$M!#(J

$@$3$l$i$N85AG$O!"?7@1GzH/$G$h$/$G$-$k$N$@$1$l$I(J($@D6?7@1$dIaDL$N@1$NFbIt(J
$@$G$O$"$^$j$G$-$J$$(J)$@!"(J$@1'Ch@~$N1F6A$G$b$G$-$k$N$G$9$M!#$I$l$/$i$$$NNL$G(J
$@$-$k$N$@$m$&!)(J

$@$H$$$&$N$O!"%,%s%^@~$N4QB,$+$i!"$o$l(J$@$o$l$N6d2O7O$K$OLs(J3$@B@M[<ANL$N(J26Al
$@$,$"$k$H$$$o$l$F$$$k$1$l$I!"$$$m$s$J85AG9g@.$N>l$r9M$(9g$o$;$F$b$=$s(J
$@$J$K$O$G$-$J$$$s$8$c$J$$$+!"$H$$$&OC$,$"$k$N$G$9!#:G6a!"?7@1$G$N85AG(J
$@9g@.$N%7%_%e%l!<%7%g%s$+$i!";@AG(J+$@%M%*%s(J+$@%^%0%M%7%&%`Gr?'$o$$@1$NI=LL(J
$@GzH/(J($@:#G/$N$O$/$A$g$&:B?7@1$,$=$&$G$7$?(J)$@$G6!5k$5$l$k!"$H$$$&7k2L(J$@$,=P(J
$@$D$D$"$j$^$9(J($@OBFn>k$[$+(J, 1992)$@!#;d$O1'Ch@~$G$I$l$@$1$G$-$k$+NI$/CN$i(J
$@$J$$$N$G!"$=$NE@$K$D$$$F65$((J$@$F$/$l$kJ}$O$$$i$C$7$c$$$^$;$s$+!)(J

$@$=$&$=$&!"9-Eg$N$[$&$O$$$s@P$8$c$J$+$C$?$h$&$G$9$M!#$3$C$A$G$b4$$,(J$@3d(J
$@$l$?$H$$$&$3$H$@$1$l$I!"J]81$O$*$j$k$N$+$7$i!#$b$A$m$s!"860x$K$h$j$1(J
$@$j$G$7$g$&$,!#(J

				$@6e=#Bg3X65(J$@M\ItJ*M}3X65<<(J  $@;32,(J  $@6Q(J
				e-mail:g78261a@kyu-cc.cc.kyushu-u.ac.jp


Newsgroups: fj.sci.astro