HDTenEightyP/NetNews huggingface dataset:
From: mic@kiko.stars.flab.fujitsu.co.jp (Michihide KIMURA)
Newsgroups: fj.kanji
Subject: Re: Hankaku Zenkaku???
Date: 15 Dec 92 06:20:35 GMT
	<1992Dec14.123223.25460@sm.sony.co.jp>
	<1gjc44INNs8s@lachesis.rokugo.co.jp>
Distribution: fj
Organization: Fujitsu Laboratories Ltd., Kawasaki, Japan.

In article <1gjc44INNs8s@lachesis.rokugo.co.jp> masuda@lachesis.rokugo.co.jp (Yoshihiro Masuda) writes:
> $@$?$H$((J$@$P!"!V$&$A$O!"(JEUC $@$@$+$i!"H>3Q%+%J$O;H$($J$$$s$G$9!#!W(J
> $@$C$F!"J8$r$I$&;W$$$^$9(J?

 $@$3$l$O$I$&$$$C$?0U(J$@L#$G;H$C$F$O$$$1$J$$$H$$$&$N$G$7$g$&!)(J
$@!J@53N$G$O$J$$!"$H$O8@$($k$+$bCN$l$J$$$,!#(J(^o^)$@!K(J

 $@;d$OAGD>$K(J$@!"(J

$@!X#E#U#C$NH>3Q%+%J$O#2%P%$%H!J#S#S#2!\#1%P%$%H%3!<%I!K$G$9$,!"(J
$@%=%U%H$,BP1~$7$F$$$J$$$N$GI=<($G$-(J$@$J$$!#!Y(J

$@$b$7$/$O!"(J

$@!X#S#J#I#S$NH>3Q%+%J$r$=$N$^$^;}$C$F$3$i$l$k$H!"#E#U#C$G$O4A(J
$@;z$H%^%C%W$,=E$J$k(J$@$N$G!";z2=$1$7$F$7$^$&!J$N$G!"%3!<%IJQ49$7(J
$@$FM_$7$$!K!#!Y(J

$@$H$$$&$3$H$@$1$@$H;W$$$^$9$,!#!J$b$C$H>\$7(J$@$/8@$*$&$H;W$($P$$(J
$@$/$i$G$b$$$($^$9$,!"8@MUM7$S$K$J$k!#(J(-_-;)$@!K(J

$@!t0U;V$,8m2rL5$/ABDL$9$l$PI=8=$ONI$$(J$@$N$G$O$J$$$N!)$H8@$&OC$G$9!#(J

 $@$=$l$H$b!"J8L.$GL@$i$+$G$"$k$H$7$F>JN,$7$F$$$k%G%U%)%k%H$r(J
$@A4$F=R$Y$J$/(J$@$F$O$J$i$J$$$H$$$&$*9M$($G$9$+!)!JCf$K$O7W;;5!6H(J
$@3&$N0lIt$G$7$+DLMQ$7$J$$$b$N$bB?!9$"$k$o$1$G$9$,!#!K(J

 $@3N$+$K!"!XH>3Q%+%J!Y!J$b$7$/$O!XH>3Q%+%J5-9f!Y$d!X#1%P%$%H(J
$@%0%i%U%#%C%/5-9f!Y!K$H8@$C$?I=8=$,!"C1$K(J$@#8%S%C%HL\$NN)$C$?#1(J
$@%P%$%H%3!<%I$r;X$9$3$H$O$"$k$G$7$g$&!#!J3N$+$K#S#J#I#S$O$3$&(J
$@$J$C$F$$$^$9$h$M!#!K(J$@LdBj$O!"#8%S%C%HL\$,N)$C$?NN0h$NI=<($,%7(J
$@%9%F%`!J4A;z%3!<%I!K$K$h$C$F0lN'$G$J$$$3$H$+$i5/0x$7$F$$$k$N(J
$@$G$9$+$i!"K\Mh$O$=$&=q$/$Y$-$G$7$g$&$,!"0lHVLdBj$K$J$j0W$$;v(J
$@>]$G$=$l$r8*Be$j$7$F$$$k$@$1$@$H;W$$$^$9(J$@!#(J

 $@$=$NGX7J$K$O!"%Q%=%3%s$H$+%3%s%T%e!<%?$NNr;KE*$JJQA+$,?<$/(J
$@4X$o$C$F$$$k$N$G$O$J$$$G$9$+!)!JNI$$!"(J$@0-$$$OJL$K$7$F!#(J(^_^;)$@!K(J
--
mic@flab.fujitsu.CO.JP(Michihide KIMURA)
$@!J3t!KIY;NDL8&5f=j(J $@@n:j8&5f=j(J $@%"(J$@!<%-#18&(J $@LZB<(J $@DL=(!J$-$`$i!&$_$A$R$G!K(J
From: kana@astaire.src.ricoh.co.jp (Katsumi Kanasaki)
Newsgroups: fj.kanji
Subject: Re: 1byte (was Re: Hankaku Zenkaku???)
Date: 18 Dec 92 01:14:56 GMT
Distribution: fj
Organization: RICOH Software Division, Tokyo
NNTP-Posting-Host: astaire.src.ricoh.co.jp

$B5HB<$5$s!'(B
>$B;d$NG'<1$G$O(B 1byte $B$H(B 8 bits $B$OF1$8$G$J$$$H;W$C$F$$$^$9!#(B

$B$3$N>JN,$,5HB<$5$s$N0U?^$rJQ$($J$$$b$N$G$"$k$3$H$r5'$j$D$D>JN,!%(B

>$B$=$l$G%M%C%H%o!<%/$dDL?.$G$O(B octet $B$,C10L$H$7$FMQ$$$i$l$k$N$@$H(B
>$B;W$$$^$9!#(B

byte $B$H(B octet $B$K$O<!$N$h$&$J0c$$$b$"$k$N$@$H;W$C$F$$$k$N$G$9$,!$$I$&$G$7(B
$B$g$&$+!%(B

byte $B$r9=@.$9$k(B bit $B$O!$=E$5(B 64 $B$N(B bit $B$H$$$&$h$&$K;XDj$5$l$k!%(Boctet $B$r9=(B
$B@.$9$k(B bit $B$O(B 3 $BHVL\$N(B bit $B$H$$$&$h$&$K;XDj$5$l$k!%(BMSB/LSB $B$N35G0$,DLMQ$9(B
$B$k$N$O(B byte $B$NJ}!%(B

						$B6b:j9n8J(B
						kana@src.ricoh.co.jp
Newsgroups: fj.kanji
From: void@merope.pleiades.or.jp (Kusakabe Youichi)
Subject: Re: Hankaku Zenkaku???
Organization: Macintosh User Group PLEIADES
X-Newsreader: TIN [version 1.1 PL7]
Distribution: fj
Date: Mon, 14 Dec 1992 05:29:27 GMT

Masato Minda (minmin@astec.co.jp) wrote:
:     Q2. $B8l8;$O$I$3$K$"$k$N$+!#(B

	$B0u:~$N@$3&$N8@MU$+$i<Z$j$F$-$F(Bmodify$B$7$?$b$N$@(B...$B$J$I$H(B
	$BJ9$$$?$3$H$b$"$j$^$9!#(B
	$B$=$C$A$[$&$a$s$K>\$7$$?M$KJ9$$$F$_$k$H$$$$$+$b$7$l$^$;$s!#(B

	$BF|K\8l!V$o!<$W$m!W$J$k$b$N$,=P$F$-$F$+$iJ9$-;O$a$?$3$H$P$G$9$h$M!#(B
	$B0lHL$K$O!#(B

: $B8D?ME*$K$O!"!HH>3Q%+%J!I$H$$$&8@MU$,7y$$$G!"(B

	$B$=$s$J8@MU$"$k$s$G$9$+(B?	:-)

:$B!H(B1byte $B%+%?%+%J!I(B
	$B$3$l$O2?$r;X$7$F;H$&$o$1$G$9$+(B?
	$BJ8;z$NI}$H!"(B1byte$B7O$N%3!<%I$+$I$&$+$O4X78$J$$$G$9$h$M!#(B
	$B!VH>3Q!A!W$H$$$&8@MU$r;H$C$F$$$k?M$O!"$-$C$H(B
	$B$=$NI}$rLdBj$K$7$F$k$N$G$"$C$F!"$I$&$$$&%3!<%I$J$N$+$O(B
	$B5$$K$7$F$$$J$$$N$G$O(B...$B$H9M$($k$3$H$O$G$-$^$;$s$+(B?
	($B$b$A$m$s!"%3!<%I$N$3$H$r8@$*$&$H$7$F$$$k$N$K!"$=$&$$$&8@MU$r;H$C$F$$$k(B
	 $BJQ$J?M$N$3$H$r8@$C$F$$$k$N$J$i$$$$$N$G$9$,!"(B
	$B$=$7$?$i!V(B1byte...$B!W$C$F$$$$$+$?$b(B $B>/$7$X$s$G$9$M(B)

: $B!H(BJIS $B%+%?%+%J!I(B

	JIS $B$C$F(B...
	JIS X 0208 $B$N(B5$B6h$K$b%+%?%+%J$ODj5A$7$F$"$j$^$9$,(B...
	$B$=$l$N$3$H$+$J(B?	:-P

	ANSI $B$G%+%?%J%+$N%3!<%I$rDj5A$7$F$/$l$k$H$O;W$($J$$$7(B...
	(JEF $B$d(B KISS $B$d(B EBCDIC $B$d(B EBCDIC-J $B$d(B EBCDIK $B$8$c$J$/$F(B...$B$H$$$&0UL#$+$J(B?)

# $B$=$b$=$b2?$N$N$3$H$r$I$&8F$\$&$H$7$F$$$k$N$+$h$/$o$+$i$J$$(B...
  $B%X(B_$B%X(B   ----------------------------
$B%_!&!&(B $B%_(B  void@merope.pleiades.or.jp
 (     )$B!A(B          $B$/$5$+$Y$h$&$$$A(B
--------------------------------------
Newsgroups: fj.kanji
From: minmin@astec.co.jp (Masato Minda)
Subject: Hankaku Zenkaku???
Organization: ASTEC, Inc. Tokyo, Japan
X-Newsreader: TIN [version 1.1 PL6]
Date: Mon, 14 Dec 1992 02:27:59 GMT

$B$I$J$?$+$4B8CN$NJ}!"65$($F$/$@$5$$!#(B

$B@N$+$i$NFf$J$N$G$9$,!"7W;;5!$N@$3&$GJ8;z$NBg$-$5$rI=$98@MU$K(B

	$BA43Q(B	$BH>3Q(B

$B$H$$$&8@MU$,$"$j$^$9!#<ALd$O(B 2 $B$D(B

    Q1. $B$3$l$i$OF|K\8l$H$7$F9-$/IaDL$K;H$o$l$F$$$k8@MU$J$N$+!#(B
	$B$=$l$H$bB/$K7W;;5!6H3&$@$1$G;H$o$l$F$$$k$@$1$J$N$+!#(B

    Q2. $B8l8;$O$I$3$K$"$k$N$+!#(B

$B$3$l$i$N8@MU$O!">/$J$/$H$b!"9-<-1q$K$O$N$C$F$$$J$$$h$&$G$9!#(B

$B8D?ME*$K$O!"!HH>3Q%+%J!I$H$$$&8@MU$,7y$$$G!"!H(B1byte $B%+%?%+%J!I(B
$B$H$+!"!H(BJIS $B%+%?%+%J!I$H$$$&8@MU$rIaCJ;H$&$h$&$K$7$F$$$?$j$7(B
$B$^$9!#(B

				$B$_$s$_$s(B@$B%"%9%F%C%/(B
-- 
minmin;  Masato Minda;  System Software Dev. ASTEC, Inc.;  <minmin@astec.co.jp>
From: masuda@lachesis.rokugo.co.jp (Yoshihiro Masuda)
Newsgroups: fj.kanji
Subject: Re: Hankaku Zenkaku???
Date: 16 Dec 1992 11:26:29 +0900
Organization: ROKUGO SYSTEM ELC. Co.,LTD.
Distribution: fj
NNTP-Posting-Host: localhost.rokugo.co.jp

In article <MIC.92Dec15152035@kiko.stars.flab.Fujitsu.Co.JP> mic@kiko.stars.flab.fujitsu.co.jp (Michihide KIMURA) writes:
>In article <1gjc44INNs8s@lachesis.rokugo.co.jp> masuda@lachesis.rokugo.co.jp (Yoshihiro Masuda) writes:
>> $B$?$H$($P!"!V$&$A$O!"(BEUC $B$@$+$i!"H>3Q%+%J$O;H$($J$$$s$G$9!#!W(B
>> $B$C$F!"J8$r$I$&;W$$$^$9(B?
>
> $B$3$l$O$I$&$$$C$?0UL#$G;H$C$F$O$$$1$J$$$H$$$&$N$G$7$g$&!)(B

$B$($H!"$@$+$i!"!V?'!9$J0UL#!W$G!"=q$-$^$7$?!#(B
$B$^$:!"(B

>$B!J@53N$G$O$J$$!"$H$O8@$($k$+$bCN$l$J$$$,!#(B(^o^)$B!K(B

$B$3$l$,$"$j$^$9!#(B
$B>e5-$NJ8$OL@$i$+$K!V13!W$G$9!#(B
EUC $B$@$C$F!"$A$c$s$H!VH>3QJR2>L>!W$r07$&$3$H$,=PMh$kH&$G$9!#(B

> $B;d$OAGD>$K!"(B
>
>$B!X#E#U#C$NH>3Q%+%J$O#2%P%$%H!J#S#S#2!\#1%P%$%H%3!<%I!K$G$9$,!"(B
>$B%=%U%H$,BP1~$7$F$$$J$$$N$GI=<($G$-$J$$!#!Y(B

$B$3$l$b!"IT@53N!#(B
$B!V%+%?%+%J!W(B< $B$3$l$r!"!VH>3Q!W$GI=<($7$F$b$=$l$O!"N)GI$J(B
$B!VH>3Q%+%?%+%J!W$G$O!"$"$j$^$;$s$+(B?
$B$=$l$H$b!"(BJIS X 0208 $B$N5-9f$OA4$FF1$8I}$GI=<($7$J$/$F$O(B
$B$$$1$J$$$H8@$&5,Dj$,$"$k$N$G$7$g$&$+(B?

$B$h$&$9$k$K!"!VH>3Q!W$H!"!V(B1byte$B!W$O!"F1$80UL#$G$O$J$$$H(B
$B8@$$$?$$$N$G$9!#(B
$B$@$+$i!"Nc$($P!"FCDj$N%o!<%W%m$NOC$r$7$F$$$k;~$K!"!V$"!"(B
$B$=$3$N!"%+%?%+%J$N=j$OH>3Q$K$7$F!W$H!"8@$o$l$l$P!"!VH>3Q$C$F(B
$B$J$K(B?$B!W$H$O!"J9$-$^$;$s!#$G$b!"!VJ8;z%3!<%I!W$NOC$r$7$F$$$k;~(B
$B$K!"!V$=$3$O!"H>3Q2>L>$K$7$?$[$&$,NI$$$s$8$c$J$$(B?$B!W$H8@$o$l$l$P(B?
$B!V:#$O!"J8;z%5%$%:$NOC$r$9$k;~$8$c$J$$$s$8$c$J$$(B?$B!W$H!";W$$$^$9!#(B

$BNc$($P!"(B98$B$NFH<+J8;z$K$O!"H>3Q$GI=<($5$l$k(B 2 byte $B$N$+$?$+$J$d!"(B
$B1Q?t;z$,$"$j$^$9$,!"$3$l$O!"!VH>3Q!W$G$O$"$C$F$b!"!V(B1byte$B!W(B
$B$G$O!"$J$$$o$1$G$9!#(B

--
-- 
masuda@rokugo.co.jp
$@A}ED2BBY(J@$@O;9g%7%9%F%`EE;R9)6H(J
$@$^$9$@$h$7$R$m(J@$@$m$/$4$&$7$9$F$`$G$s$7$3$&$.$g$&(J
From: void@merope.pleiades.or.jp (Kusakabe Youichi)
Subject: Re: Hankaku Zenkaku???
Organization: Macintosh User Group PLEIADES
X-Newsreader: TIN [version 1.1 PL7]
Distribution: fj
Date: Sat, 19 Dec 1992 04:04:29 GMT

Hideyuki Ozaki (yuki@sofia.ksp.fujixerox.co.jp) wrote:
: #$B$@$+$i!"@N$N(B8bit$B$N%Q%=%3%s$G$O!"$$$o$f$k(BANK($B1Q?t(B+$B%+%J(B)$B$7$+I=<($G$-$J(B
                                           ~~~
	$B$3$l$,$^$?0UL#ITL@$N$3$H$P$G!"(B
	$B3F<+$,$$$m$s$J0UL#$G;H$C$F$$$k!#(B
	$B$G!"$^$?$=$N$=$l$>$l$N?M$O(B
	$B<+J,$N;H$C$F$$$k0UL#$,0lHLE*$@$H;W$$9~$s$G$$$k$+$i(B
	$B;OKv$K$*$($J$$(B....

	$BJdB-$7$J$1$l$P0UL#$,DL$8$J$$$h$&$J8@MU$O(B
	$B:G=i$+$i$D$+$o$J$1$l$P$$$$$N$K!#(B
	($BDL$8$k$H;W$C$F$7$^$&$3$H$O$b$C$H62$$$,(B)

  $B%X(B_$B%X(B   ----------------------------
$B%_!&!&(B $B%_(B  void@merope.pleiades.or.jp
 (     )$B!A(B          $B$/$5$+$Y$h$&$$$A(B
--------------------------------------
From: satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: IZF (Re: Q in int. math.)
Date: 21 Dec 92 06:39:14 GMT
	<SATOSHI.92Dec14202116@whale.math.ryukoku.ac.jp>
	<SHINGO.92Dec17130040@ipc02.rtri.or.jp>
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
In-reply-to: shingo@ipc02.rtri.or.jp's message of 17 Dec 92 04:00:40 GMT

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

In article <SHINGO.92Dec17130040@ipc02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:

 |$@!d(J    |$@!!$5$F!"7A<0<g5A$HD>4Q<g5A$H$r!"#Z#F#C$N%b%G%kFb$GHf$Y$F$_$l$P!"(J
 |$@!d(J    |$@!VA4ITO"7k(J$@$J0LAj6u4V!W$H!V0lHL$N0LAj6u4V!W(J
 |$@!d(J    |$@$KBP1~$9$k!#(J
 |
 |$@!d(J   $@=EH"$N$9$_$r$D$D$/$h$&$G$9$_$^$;$s$,(J$@!"!VA4ITO"7k!W$H$$$&$N$H$O$A$g$C$H(J
 |$@!d(J   $@0c$&$N$G$O(J?
 |
 |$@$"!"$I$&$b$9$_$^$;$s!#7A<0<g5A$NGSCfN'$,!"(J$@ITO"7k@-$K$"$?$k$3$H$O!"$o$+$C$?(J
 |$@$N$G$9$,!"$I$&$b!"0lHL$N0LAj$KBP$7$F!"$I$&$$$&0LAj$r$H$k$H!"7A<0<g(J$@5A$N%b%G(J
 |$@%k$H$J$jF@$k$+$K$D$$$F!">/!9%-!<$,$9$Y$C$F$7$^$$$^$7$?!#$?$H$($P!"N%;60LAj(J
 |$@$@$H!"7A<0<g5A(J$@$N%b%G%k$K$J$j$^$9!#(J

$@$=$&$G$9$M!#N%;60LAj$J$i$b$A$m$s$=$&$J$j$^$9!#B?J,!"N%;66u4V$K$J$i$J$$(J
$@>l9g$G$b(J$@!"J,N%$G$-$J$$$h$&$J(J2$@E@$rF10l;k$7$F$D$V$7$?6u4V$,N%;6$K$J$k$s(J
$@$8$c$J$$$+$J(J?$@0c$C$?$+$J(J?($@%A%'%C%/$7$F$_(J$@$F2<$5$$(J)

$@$H$3$m$G!"$3$&$$$&J8L.$G!V7A<0<g5A!W$H$$$&8@MU$r;H$&$N$O$I$&$b;d$K$O0c(J
$@OB46$,$"$k$N$G$9$,!#(J$@!V7A<0<g5A!W$NCf?4E*$J;WA[$O(J($@Bg$6$C$Q$K8@$&$H(J)$@!V7A(J
$@<0E*$K$d$k$3$H!W$K$"$k$h$&$K;W$&$N$G!#3N$+$K7A<0<g(J$@5A$r$H$J$($?%R%k%Y%k(J
$@%H$OGSCfN'$r<i$kN)>l$G(J Brouwer $@$H%1%s%+$7$F$^$7$?$,!#(J
$@$3$3$NJ8L.$G$O!"!V8EE5O@M}(J$@!W$H=q$$$?J}$,NI$$5$$,$7$^$9!#(J

$@$D$$$G$G$9$,!"0LAj6u4V$N@5B'3+=89g$NA4BN$r??M}CM$H$9$k$H!"8EE5O@M}$,@.(J
$@N)$9$k!"$H$$$&8+J}$b$"$j$^$9$M!#B?J,$4B8$8$@$m$&$H;W$$$^$9$1$I!#$b$A$m(J
$@$s!"$=$N>l9g!"3+=89g$NB+$N>l9g(J$@$H$O!"0c$&1i;;$,F~$C$F$$$^$9$1$I!#(J

 |$@!d(J   $@$($($H!"$3$N(J BKF $@$H$$$&$N$O(J BHK $@$N$3$H$G$9$+(J? $@$=$&$$$&8F$S(J$@J}$b$"$C$?$+(J
 |$@!d(J   $@$J(J? $@$=$l$H$bJL$N$b$N$G$7$g$&$+(J? $@$"!"$R$g$C$H$9$k$H!"(JBeth-Kripke $@$+$J(J? 
 |$@!d(J   $@$9$k(J$@$H;D$j$N(J F $@$O2?$@$m$&(J?  Forcing $@$+$J(J?
 |
 |$@$9$_$^$;$s!#(JBHK(=Brouwer-Heyting-Kolmogorov)$@$N8m$j$G$9!#(J

$@$"!"$=$&$@$C$?$s$G$9$+!#0B?4$7$^$7$?!#(J

 |$@!d(J   $@>/$J$/$H$b!"<B8=2DG=@-$O0LAj6u4V$NOC$H$OA4A3JL$@$H;W$C(J$@$F$$$$$H;W$$$^$9!#(J
 |
 |$@$d$O$j!"$=$&$G$9$+!#(J
 |$@$J$K$+!"4XO"$,$"$k$+$H;W$$!"$$$m$$$m$H9M$($F$7$^$C$?$b(J$@$N$G!#(J

$@$3$l$K$D$$$F$O!"JL$N5-;v$G>/$7=q$-$^$7$?$N$G!"$*FI$_2<$5$$!#(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: satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: IZF (Re: Q in int. math.)
Date: 14 Dec 92 11:21:16 GMT
Distribution: fj
Organization: Ryukoku Univ., Seta, Otsu, Japan
In-reply-to: shingo@ipc02.rtri.or.jp's message of 14 Dec 92 03:08:35 GMT

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

In article <568@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:

 |$@!!>e$NK\$O!"$$$o$f$kD>4Q<g5A=89gO@$K$D$$$F=R$Y$?$b$N$G$O$J$$!#$$$o$f$kD>4Q<g5A(J

$@$=$&$J$s$G$9(J! $@$"$N(J$@%?%$%H%k$K$b4X$o$i$:$M!#(J

 |$@!!$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$,!"!VA4ITO"7k(J$@!W$H$$$&$N$H$O$A$g$C$H(J
$@0c$&$N$G$O(J?

 |$@!!C]Fb$NK\$G$O!"D>4Q<g5A$N@-<A$O!"%b%G%k$X$NBP1~$K$h$C$F!"0LAj6u(J$@4V$N@-<A$H$7$F(J
 |$@2r<a$5$l$k!#D>4Q<g5A$K$OB>$K!"(JBKF-$@2r<a$H$+!"<B8=2DG=@-$K$h$k2r<a$,$"$k$,!"$=$l(J

$@$($((J$@$H!"$3$N(J BKF $@$H$$$&$N$O(J BHK $@$N$3$H$G$9$+(J? $@$=$&$$$&8F$SJ}$b$"$C$?$+(J
$@$J(J? $@$=$l$H$bJL$N$b$N$G$7$g$&$+(J? $@$"(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?

 |$@$>$l$O!"0l1~FHN)$N$b(J$@$N$H9M$($?J}$,$h$$$h$&$@!#(J

$@>/$J$/$H$b!"<B8=2DG=@-$O0LAj6u4V$NOC$H$OA4A3JL$@$H;W$C$F$$$$$H;W$$$^$9!#(J

 |$@!!$J$*!"$3$N7o$G$O!"N6C+Bg3X$N>.NS@h@8$K$O!"$$$m$$$m$H65$($F$$$?$@$-$^$7$?!#(J
 |$@!!46<U$$$?$7$F$*$j$^(J$@$9!#(J

$@$I$&$$$?$7$^$7$F!#;d$b$7$P$i$/(JV(\Omega)$@4X78$rJY6/$7$F$J$/$F!"?'!9K:$l(J
$@$F$$$?$3$H$b$"$j!"5-21$r(J refresh $@$G$-$FM-1W$G$7$?$7!"LLGr$$5DO@$G!"3Z(J
$@$7$^$;$F$b$i$$$^$7$?!#(J

$@$^$"!"%M%C%H%o!<%/$G$O$*8_$$=u$1(J$@9g$$$H$$$&$3$H$G!#(J
#fj.sci.math $@=u$19g$$1?F0!#(J<- $@$3$l$,8@$$$?$+$C$?$N(J :-)
--
			$@N6C+Bg3XM}9)3XIt?tM}>p(J$@Js3X2J(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: d43013a@nucc.cc.nagoya-u.ac.jp (Yukihiko Namikawa)
Newsgroups: fj.sci.math
Subject: Re: books on octanion
Date: 17 Dec 92 16:35:21 GMT
Organization: School of Natural Sciences, Nagoya University, Nagoya, Japan.

In article <1992Dec17.072817.4569@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes:
>  $B0f>e!wBg:eI\N)9b@l$G$9!#(B
>
>In article <1992Dec14.162647.26983@nucc.cc.nagoya-u.ac.jp> d43013a@nucc.cc.nagoya-u.ac.jp (Yukihiko Namikawa) writes:
>>$B:#J*M}$G=EMW$J$N$O!"$`$7$mL58B<!85$N(BClifford algebra$B$G$7$g$&!#(B
>
>  $B$=$&$J$s$G$9$+!#$I$s$J$U$&$K=P$F$/$k$s$G$9$+!)(B
>
$B@lLg2H$G$J$$;d$,!"2?$+$r8@$&$N$O$*$3$,$^$7$$$N$G$9$,!"(B
$BNL;R>l$K=P$F$/$k(B(fermion$B$"$k$$$O(Bboson) Fock space $B$K$O8r49;R$"$k$$$O(B
$BH?8r49;R$K$h$kAP0l<!7A<0$,F~$k$N$G!"$=$N(Buniversal enveloping algebra$B$O(B
clifford algebra$B$G$9!#:#@9$s$K;H$o$l$F$$$k(Bvirasoro algebra$B$J$I$b$=$&$G$9!#(B
$B$3$l$i$OL58B<!$N30@QBe?t$dB?9`<04D$rNL;R2=$7$?$b$N$G$9!#(B
$BNc$($P(Bboson algebra (Heisenberg algebra)$B$G$O!"@8@.85$,!P(Ba(n), n:integer}$B$G!"(B
$B4pK\4X78<0$,!"(Ba(n)a(m)-a(m)a(n)=1(if n+m=0), 0(otherwise) $B$H$J$j$^$9!#(B
$B$3$l$i$N=EMW@-$K$D$$$F$O@lLg2H$KJ9$$$F2<$5$$!#(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: kuroki@math.tohoku.ac.jp (Gen Kuroki)
Newsgroups: fj.sci.math
Subject: Re: Yokota Ichiro? or Yoko Taichiro?
Date: 11 Dec 1992 12:22:55 GMT
Organization: Mathematical Institute, Tohoku University, Sendai JAPAN.
Distribution: fj
NNTP-Posting-Host: tsuru
In-reply-to: ozaki@kaba.or.jp's message of Thu, 10 Dec 1992 18:22:09 JST

$@ElKLBg3X?t3X65<<$N9uLZ$H?=$7$^$9!#(J

In article <OZAKI.92Dec10182209@choshi.kaba.or.jp>
ozaki@kaba.or.jp ( OZAKI Hideshi) writes:

 |$@?t3X<T$G!"2#ED0lO:$H$$$&J}$,$$$^$9$,(J
 |$@$3$NJ}$O(J $@!V$h$3(J  $@$?$$$A$m$&!W$5(J$@$s$J$N$G$7$g$&$+!"(J
 |$@$=$l$H$b!"!V$h$3$?(J  $@$$$A$m$&!W$5$s$J$N$G$7$g$&$+!#(J
 |
 |$@KM$OA0$^$G!V$h$3$?(J  $@$$$A(J$@$m$&!W$@$H;W$C$F$$$?$N$G$9$,!"(J
 |$@M'C#$NK\!JK\$NL>A0$OK:$l$^$7$?!K$K$O(J 
 |$@!V$h$3(J  $@$?$$$A$m$&!W$H$U$j$,(J$@$J$,$U$C$F$"$j$^$7$?!#(J
 |
 |$@$b$7$I$A$i$+$o$+$kJ}$,$$$i$C$7$c$$$^$7$?$i!"65$($F(J
 |$@2<$5$k$h$&$h$m$7$/$*(J$@4j$$$7$^$9!#(J
 |
 |	    $@Hx:j1Q;J(J  $@5~ETBg3XM}3XIt?tM}2J3X7O;02s@8(J

$@$;$C$+$/$J$N$G!"$=$NM'C#$NK\$H$d$i$N(J$@BjL>$H7o$N%Z!<%8$r(J
$@65$($F$/$@$5$$!#(J

# $@<B$O>P$$$,;_$^$i$J$$!#(J(^v^)

$@$G$O$G$O!#(J
--
$@9uLZ8<!wElKLBg3XM}3X(J$@It?t3X65<<(J
From: f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi)
Subject: Re: books on octanion
Followup-To: fj.sci.math
Organization: Osaka Prefectural College of Technology
Date: Thu, 17 Dec 1992 07:28:17 GMT

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

In article <1992Dec14.162647.26983@nucc.cc.nagoya-u.ac.jp> d43013a@nucc.cc.nagoya-u.ac.jp (Yukihiko Namikawa) writes:
>$@$=$&$G$9$+!#$O$a$i$l$?$+$J!#(J

  $@$9$$$^$;$s!#$O$a$h$&$H$+$=$&$$$&0U?^$OA4A3$"$j$^$;$s$G$7$?!#(J

>Clifford algebra$@$r!V?t!W$NDj5A$K$5$l$k$N$G$"$l$P!"$$$/$i$G$b9b$$<!85(J
>$@!J#2$N6R!K$N!V?t!W$,B8:_$9$k$3$H$K$J$j$^$9!#!#$G$b$I$&$7$F(JClifford algebra$@$,(J
>$@!V?t!W$N0lHL2=$J$N$+!JB>$N(Jalgebra$@$G$O$$$1$J$$$N$+!KJ,$+$j$^$;$s!#(J

  $@$$$(!";d$bJL$K(JClifford algebra$@$8$c$J$$$H$$$1$J$$$J$I$H$O;W$$$^$;$s!#(J
$@A0$K$+$$$?5-;v$O!"J*M}$NJ}$G$O#1#685?t$H$$$&8@$$J}$r$7$F$k$h$&$@$h!"(J
$@$H$$$&$/$i$$$N7Z$$0U?^$G=q$$$?$b$N$G$9!#$=$l$K;d$b$=$N#1#685?t$,J*M}(J
$@$NJ}$G$I$&;H$o$l$F$$$k$N$+$OA4A3CN$i$J$$$N$G$9!#!JC/$+65$($F2<$5$$!K(J

>$@$^$??t3X$H$7$F$NLLGr$5$,!"#885?t$^$G$N!V?t!W$H0lHL$N(JClifford algebra$@$H$G$O(J
>$@A4$/0c$$$^$9!#(J

  $@;d$b$=$&;W$$$^$9$h!#$?$@!"(JSpinor $@72$J$s$+:n$k$H!"(JClifford algebra$@$b(J
$@$:$$$V$sLLGr$$$G$9$,!#!JJ#AG?t$b#485?t$b$=$&$@$7!K(J

>$@$J$*0f>e$5$s$N8@$o$l$kJ*M}$K=P$F$/$k!V#1#685?t!W$O(JMinkowski$@7WNL$KBP1~$9$k(J
>Clifford algebra$@$"$?$j$+$J$H?dB,$7$^$9$,!JA4A30c$&$+$bCN$l$J$$!K!":#J*M}$G(J
>$@=EMW$J$N$O!"$`$7$mL58B<!85$N(JClifford algebra$@$G$7$g$&!#(J

  $@$=$&$J$s$G$9$+!#$I$s$J$U$&$K=P$F$/$k$s$G$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====
Newsgroups: fj.sci.math
From: f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi)
Subject: Re: books on octanion
Organization: Osaka Prefectural College of Technology
Date: Mon, 14 Dec 1992 02:14:02 GMT

  $@0f>e!wBg:eI\N)9b@l$G$9!#$=$&Mh$k$H;W$$$^$7$?$,!"(J

In article <1992Dec11.061931.15625@nucc.cc.nagoya-u.ac.jp> d43013a@nucc.cc.nagoya-u.ac.jp (Yukihiko Namikawa) writes:
>Hopf, Kervaire, Milnor$@$NDjM}$K$h$C$F!"<B?tBN>e$N(Jdivision algebra$@$O!"<B?t>e(J
>$@#1!"#2!"#4!"#8<!85$K8B$k$3$H$,<($5$l$F$$$^$9!#(J
>$@$3$NOC$b!"A0$+$i=P$F$$$kK\!V?t!W(J(Zahlen)$@$K:\$C$F$$$^$9!#(J

  $@#1#685?t!J(Jsedenion$@!K$OJ*M}$NJ}$G;H$C$F$$$k$i$7$/!"2f!9$N8@MU$G$O!"(J
Clifford algebra $@$N$3$H$G$9!#(Jdivision algebra $@$r$b$C$H<e$/$7$F$b!"#1#6(J
$@<!85$K$O2?$b$"$j$^$;$s!#!J$b$C$H<e$/$H$O!"@Q$N@~7A@-$b2>Dj$7$J$$!"#0$r(J
$@3]$1$k$H#0$H$$$&$3$H$H!"=|K!$,0l0UE*$H$$$&$3$H!">hK!$H=|K!$,O"B3<LA|$H(J
$@$$$&$3$H$0$i$$$K$7$F$b$H$$$&0UL#$G$9!#%N%k%`$b$J$7$G$9!#(J(J.F.Adams)$@!K(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: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Newsgroups: fj.sci.math
Subject: Re: IZF (Re: Q in int. math.)
Date: 17 Dec 92 04:00:40 GMT
	<SATOSHI.92Dec14202116@whale.math.ryukoku.ac.jp>
Distribution: fj
Organization: Railway Technical Research Institute
In-reply-to: satoshi@whale.math.ryukoku.ac.jp's message of 14 Dec 92 11:21:16 GMT

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

$B$^$?!":Y$+$$$H$3$m$G%P%0$C$F$7$^$$$^(B$B$7$?!#(B

In article <SATOSHI.92Dec14202116@whale.math.ryukoku.ac.jp> satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) writes:
$B!d(B    |$B!!$5$F!"7A<0<g5A$HD>4Q<g5A$H$r!"#Z#F#C$N%b%G%kFb$GHf$Y$F$_$l$P!"(B
$B!d(B    |$B!VA4ITO"7k$J0LAj6u4V!W$H!V0lHL$N0LAj6u4V!W(B
$B!d(B    |$B$KBP1~$9$k!#(B

$B!d(B   $B=EH"$N$9$_$r$D$D$/$h$&$G$9$_(B$B$^$;$s$,!"!VA4ITO"7k!W$H$$$&$N$H$O$A$g$C$H(B
$B!d(B   $B0c$&$N$G$O(B?

$B$"!"$I$&$b$9$_$^$;$s!#7A<0<g5A$NGSCfN'$,(B$B!"ITO"7k@-$K$"$?$k$3$H$O!"$o$+$C$?(B
$B$N$G$9$,!"$I$&$b!"0lHL$N0LAj$KBP$7$F!"$I$&$$$&0LAj$r$H$k$H!"7A<0<g(B$B5A$N%b%G(B
$B%k$H$J$jF@$k$+$K$D$$$F!">/!9%-!<$,$9$Y$C$F$7$^$$$^$7$?!#$?$H$($P!"N%;60LAj(B
$B$@$H!"7A<0<g5A$N%b(B$B%G%k$K$J$j$^$9!#(B

  $B$"$H!"(BMeta theory$B$G!"%U%)%m!<$7$FD:$$$?!"%b%G%k$N9=@.K!$G!"(BV($B&8(B)$B$,8EE5(B
$BO@M}$G$D$/(B$B$i$l$k$H$$$&$N$O!";d$bG'<1$7$F$*$j$^$9!#D>4Q<g5A$N%b%G%k$r!"$I(B
$B$N$h$&$K9=@.$7$h$&$H!">ZL@$G$-$k$3$H!"(B$BG$0U$N%b%G%k$G??$G$"$k$3$H$NFbMF$K(B
$B$O1F6A$7$J$$$H$$$$$?$+$C$?$o$1$G$9!#(B
($B$3$s$J$3$H!"$o$6$o$6$$$o$J$/(B$B$F$b!"$"$?$j$^$($G$9$,(B^^;)

    |$B!!C]Fb$NK\$G$O!"D>4Q<g5A$N@-<A$O!"%b%G%k$X$NBP1~$K$h$C$F!"0LAj6u4V$N(B$B@-<A$H$7$F(B
    |$B2r<a$5$l$k!#D>4Q<g5A$K$OB>$K!"(BBKF-$B2r<a$H$+!"<B8=2DG=@-$K$h$k2r<a$,$"$k$,!"$=$l(B

$B!d(B   $B$($($H!"$3$N(B BKF $B$H$$$&$N$O(B BHK $B$N$3$H$G$9$+(B? $B$=$&$$$&8F$SJ}$b$"$C$?$+(B
$B!d(B   $B$J(B? $B$=$l$H$bJL$N$b$N$G$7$g(B$B$&$+(B? $B$"!"$R$g$C$H$9$k$H!"(BBeth-Kripke $B$+$J(B? 
$B!d(B   $B$9$k$H;D$j$N(B F $B$O2?$@$m$&(B?  Forcing $B$+$J(B?

$B$9$_$^$;(B$B$s!#(BBHK(=Brouwer-Heyting-Kolmogorov)$B$N8m$j$G$9!#(B
$BM>7W$J5$$r2s$5$;$F$7$^$C$?$h$&$G$9$M!#(B
$B$d$O$j!"IaCJ;H(B$B$o$J$$8@MU$O!"4V0c$$$d$9$$(B(^^;)

    |$B$>$l$O!"0l1~FHN)$N$b$N$H9M$($?J}$,$h$$$h$&$@!#(B

$B!d(B   $B>/$J$/$H$b(B$B!"<B8=2DG=@-$O0LAj6u4V$NOC$H$OA4A3JL$@$H;W$C$F$$$$$H;W$$$^$9!#(B

$B$d$O$j!"$=$&$G$9$+!#(B
$B$J$K$+!"4XO"$,$"(B$B$k$+$H;W$$!"$$$m$$$m$H9M$($F$7$^$C$?$b$N$G!#(B

$B!d(B   $B$^$"!"%M%C%H%o!<%/$G$O$*8_$$=u$19g$$$H$$$&$3$H$G!#(B
$B!d(B   #fj.sci.math $B=u$19g$$1?F0!#(B<- $B$3$l$,8@$$$?$+$C$?$N(B :-)

fj.sci.math$B$b!"B830<N$F$?$b$N$G$O$J$$$G(B$B$9$M!#(B:-)
Newsgroups: fj.sci.math
From: ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara)
Subject: Re: IZF (Re: Q in int. math.)
Organization: Japan Advanced Institute of Science and Technology Hokuriku,
	Ishikawa, Japan
	<SATOSHI.92Dec14202116@whale.math.ryukoku.ac.jp>
	<SHINGO.92Dec17130040@ipc02.rtri.or.jp>
Distribution: fj
Date: Fri, 18 Dec 1992 15:49:32 GMT


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

In article <SHINGO.92Dec17130040@ipc02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:

   >>$@!d(J   $@>/$J$/$H$b!"(J$@<B8=2DG=@-$O0LAj6u4V$NOC$H$OA4A3JL$@$H;W$C$F$$$$$H;W$$$^$9!#(J
   >>
   >>$@$d$O$j!"$=$&$G$9$+!#(J
   >>$@$J$K(J$@$+!"4XO"$,$"$k$+$H;W$$!"$$$m$$$m$H9M$($F$7$^$C$?$b$N$G!#(J

$@;d$b$^$@%-%A%s$HJY6/$7$F$$$J$$$N$G$9$,!"<B8=(J$@2DG=@-$H0LAj6u4V7O(J($@AX!&%H%]%9$J$I$b(J
$@4^$`(J)$@$N%b%G%k$N4X78$K$D$$$F$O!"0J2<$NJ88%$,;29M$K$J$k$N$G$O$J$$$G(J$@$7$g$&$+!)(J

	Hyland, J.M.E
	The effective topos
	Troelstra, A.S. and D. van Dalen eds.,
	The L.E.J. Brouwer Centenary Symposium
	165-216

$@$^$?!"(J

	Troelstra, A.S. and D. van Dalen
	Constructivism in Mathematics, Vol. 2
	13.8 (724-729)

$@$K4JC1$J2r@b$,$G$F$$$^$9!#(J

$@ITJY6/$J$b$N$GE*$O$:$l$J%3%a%s%H$@$C$?$i(J$@%4%a%s%J%5%$!#(J

--
------------------------------------------------------------------------
$@@P86(J  $@:H(J : $@KLN&@hC<2J3X5;=QBg3X1!Bg3X(J $@>pJs2J3X8&5f2J!J>pJsO@M}3X!K(J
TEL: 0761-51-1206, FAX: 0761-51-1338, e-mail: ishihara@jaist-east.ac.jp
From: tm@ksl001.kobelco.co.jp (Tomoyuki MAEDA)
Newsgroups: fj.sci.math
Subject: Thak you your kindness
Date: 14 Dec 92 00:37:23 GMT
Distribution: fj
Organization: Electronics Research Lab., KOBE STEEL LTD., Kobe, Japan

$BA0ED!w%3%Y%k%3$G$9!#(B
$B$3$N4V!"(Bgreen$B4X?t$K4X$7$F<ALd$r$7$?$H$3$m(B
$B0J2<$NJ}$+$i%a%$%k!"$4JV;v$r$$$?$@$-$^$7$?!#(B
$B$N$&$@!w%=%K!<(B
$B@%2O!wEEAm8&(B
$BCfLn!w?.=#Bg(B
$BI\@n!wElBg(B
$B!J7I>NN,!K(B
$B$I$&$b$"$j$,$H$&$4$6$$$^$7$?!#(B
$B$3$l$+$i$b!"$h$m$7$/$*4j$$$7$^$9!#(B