Article View: fj.comp.theory
Article #117German letters showing in Gentzen LK
From: WATANABE Katsuhiro
Date: Fri, 10 May 2002 04:44
Date: Fri, 10 May 2002 04:44
25 lines
2468 bytes
2468 bytes
LKのGentzenさんってドイツ人でしょうか？ LKの勉強をしていると、ドイツ語の飾り文字のようなものが沢山出てきます。 BやDに似たものもありますが、カタツムリみたいなものとか、徳利のような 形のものもあります。これらの一覧や読み方をご存じの方はいらっしゃいますか？ 英語に染まった私の頭には A → B は一瞬で認識できるのですが、 かたつむりみたいなの → とっくりみたいなの と書いてあると、頭の中でいちいち 「かたつむり ナラバ とっくり」 と翻訳してしまって、十倍ぐらい理解に時間がかかっています。 それに、対応する以前の記述を参照するときにも、なかなか探しだす ことができないでいます。きっと読み方がわかると改善されると 踏んでいるいるのですが。 私が新しい体系発明したら、「渡邊系」とか名前つけてやる。論文にも、 Provided that 渡(a) -> 邊(b) ... とか力一杯記述してやる。 でもそんなことすると、日本では「電波系」などと揶揄され、欧米からは 全く参照されず、少ししてから誰か John Doe が英語で同じような 論文を書いて、John Doe's system とか呼ばれるようになるんだろうな。 -- 渡邊克宏＠ＳＲＡ
Technical Details
Message-ID:
<xujn0v8wr1a.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!netnews.com!xfer02.netnews.com!newsfeed.gol.com!giga-nspixp2!np0.iij.ad.jp!news.iij.ad.jp!news.sra.co.jp!news2.sra.co.jp!not-for-mailShow Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS X-Google-Thread: 10a0b6,2d981af9d6761df1,start X-Google-Attributes: gid10a0b6,public X-Google-ArrivalTime: 2002-05-09 21:50:42 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!netnews.com!xfer02.netnews.com!newsfeed.gol.com!giga-nspixp2!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: German letters showing in Gentzen LK Date: 10 May 2002 13:44:17 +0900 Organization: Software Research Associates, Inc. Lines: 25 Message-ID: <xujn0v8wr1a.fsf@sranhm.sra.co.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 1021005857 90637 133.137.170.62 (10 May 2002 04:44:17 GMT) X-Complaints-To: news@sra.co.jp NNTP-Posting-Date: 10 May 2002 04:44:17 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 (葵)