Article View: fj.comp.theory
Article #119Re: German letters showing in Gentzen LK
From: WATANABE Katsuhiro
Date: Sun, 12 May 2002 23:43
Date: Sun, 12 May 2002 23:43
34 lines
2777 bytes
2777 bytes
LK などのドイツ由来の学術文書に現われるドイツ文字の読み方に関して
記事 <5w8z6snktj.fsf@hb.logic.info.waseda.ac.jp> にて
shimura@hb.logic.info.waseda.ac.jp さんいはく:
> > LKの勉強をしていると、ドイツ語の飾り文字のようなものが沢山出てきます。
> \usepackage{amssymb}
> \begin{document}
> $\frak{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$
Das ist perfekt. 志村先生 Danke sehn.
本を読む速度が 2.718 倍ぐらいになった気がしております。
ちなみに、A を徳利(今は水差しに見えます)、C を縦の安楽椅子、
E を肘掛け付き安楽椅子、F を食虫植物、G をかたつむり、
S をふとん(たたんだ形から)、のように読んでました。
私いはく:
> Provided that 渡(a) -> 邊(b) ...
あまり極端に走ると反撥を招くので、
Now, let's assume ∀x∃y(い(x)→(ろ(x,y)∧は(y))) ...
ぐらいにしておきます。ドイツ文字 V を見て B との違いに
私が20秒悩んだのと同様、きっと日本語を読めない人には、
渡(x) と 病(x) の区別がつかなそうに思われますし。
ソフトウェア屋は、よく記号やコマンド名の読み方でアホ盛り上がり
するのですが、研究者の皆さんはそういうのってあるのでしょうか。
たとえば、P' を P dash と読むと国外で通じないから P prime と
読んでくれとかいうような。
--
渡邊克宏＠ＳＲＡ
Technical Details
Message-ID:
<xujlmapgcfl.fsf@sranhm.sra.co.jp>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.media.kyoto-u.ac.jp!np0.iij.ad.jp!news.iij.ad.jp!news.sra.co.jp!news2.sra.co.jp!not-for-mailReferences:
<xujn0v8wr1a.fsf@sranhm.sra.co.jp> <5w8z6snktj.fsf@hb.logic.info.waseda.ac.jp>Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS X-Google-Thread: 10a0b6,2d981af9d6761df1 X-Google-Attributes: gid10a0b6,public X-Google-ArrivalTime: 2002-05-12 16:50:53 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.media.kyoto-u.ac.jp!np0.iij.ad.jp!news.iij.ad.jp!news.sra.co.jp!news2.sra.co.jp!not-for-mail From: WATANABE Katsuhiro <katsu@sra.co.jp> Newsgroups: fj.comp.theory Subject: Re: German letters showing in Gentzen LK Date: 13 May 2002 08:43:10 +0900 Organization: Software Research Associates, Inc. Lines: 34 Message-ID: <xujlmapgcfl.fsf@sranhm.sra.co.jp> References: <xujn0v8wr1a.fsf@sranhm.sra.co.jp> <5w8z6snktj.fsf@hb.logic.info.waseda.ac.jp> NNTP-Posting-Host: sranhm.sra.co.jp Mime-Version: 1.0 (generated by SEMI 1.13.7 - "粟津") Content-Type: text/plain; charset=ISO-2022-JP X-Trace: sranhh.sra.co.jp 1021246990 13376 133.137.170.62 (12 May 2002 23:43:10 GMT) X-Complaints-To: news@sra.co.jp NNTP-Posting-Date: 12 May 2002 23:43:10 GMT User-Agent: T-gnus/6.14.5 (based on Gnus v5.8.7) (revision 04) SEMI/1.13.7 (粟津) CLIME/1.13.6 (中ノ庄) Emacs/20.7 (i386-vine-linux-gnu) MULE/4.1 (葵)