Newsgroups: fj.comp.texhax
Path: galaxy.trc.rwcp.or.jp!jaist-news!cs.titech!wnoc-tyo-news!etl.go.jp!yoshiki
From: yoshiki@etl.go.jp (KINOSHITA Yoshiki)
Subject: Re: catcode of Japanese characters
Message-ID: <1993Aug30.163351.16783@etl.go.jp>
Sender: news@etl.go.jp (News System)
Nntp-Posting-Host: etlcom
Organization: Electrotechnical Laboratory, Tsukuba-shi, Ibaraki
References: <NAO.93Aug30193602@mimo.jaist.ac.jp>
Date: Mon, 30 Aug 1993 16:33:51 GMT
Lines: 32
Xref: galaxy.trc.rwcp.or.jp fj.comp.texhax:3924
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.comp.texhax&nb=3924&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.

In article <NAO.93Aug30193602@mimo.jaist.ac.jp> nao@jaist.ac.jp (Naoki HAMADA) writes:

>$$\forall f\exists z\forall x\exists v(T(z,x,v)\land f(x)=U(z))$$
>
>$B$H$$$&$h$&$J?t<0$,$"$C$?$H$7$^$9!#$3$l$,(B
>
>$$$B"O(Bf$B"P(Bz$B"O(Bx$B"P(Bv(T(z,x,v)$B"J(Bf(x)=U(z))$$
>
>$B$H=q$1$l$P!"(B

$B$H$\$/$b>o!9;W$C$F$$$k$N$G?,GO$K>h$j$^$9!#(B

>TeX $B$NFbIt$G$N=hM}$r$"$-$i$a$FA0=hM}$K$9$l$P$^$"!"<B8=$G$-$J$$$o(B
>$B$1$G$O$"$j$^$;$s$,!"$=$l$O$I$&$ba{$G$9!#(B

$BElBg>pJs$K$$$?!J:#$G$b$$$k$N$+$J!)!KOFED7r$5$s$,$=$N$h$&$J(B 
preprocessor $B$r:n$C$F$$$?!J(Bpretex $B$H$$$&L>A0!K$N$rCN$C$F$$$^$9!#(B
Distribute $B$7$F$$$k$N$+$I$&$+$OCN$j$^$;$s$,!#(B

>$B$=$N>l9g$N%a%j%C%H$H$$$&$H!"$H(B
>$B$j$"$($:$O>e$K$"$2$?Nc$/$i$$$7$+;W$$$D$-$^$;$s$,!"(B

$BO@M}5-9f$NB>$K&A&B&C$N%.%j%7%"J8;z$d"*$J$I$NLp0u!""@$J$I$N=89g5-9f!JMW(B
$B$9$k$K4A;z%3!<%I$N$J$+$N?t3XJ8;zA4It!K$b%J%^$G=q$1$k$H4r$7$$$G$9!#(B


$B$-$N$7$?(B
-- 
KINOSHITA Yoshiki [KINOSHITA is my family name]
Department of Computer Science, University of Edinburgh
James Clerk Maxwell Building, The King's Buildings, Edinburgh EH9 3JZ, Scotland
[From 20/9/93: Electrotechnical Laboratory, 1-1-4 Umezono, Tsukuba, 305 Japan]
