From(投稿者): | kuno@gssm.otsuka.tsukuba.ac.jp |
---|---|
Newsgroups(投稿グループ): | fj.comp.lang.javascript |
Subject(見出し): | Re: プログラミングと論理学(R e: Re[2]:大文字と小文字の区別 ) |
Date(投稿日時): | Fri, 18 Feb 2005 03:14:36 GMT |
Organization(所属): | GSSM, Univ. Tsukuba, Tokyo, Japan |
References(祖先記事, 一番最後が直親): | (G) <3990471news.pl@rananim.ie.u-ryukyu.ac.jp> |
(G) <apy%c.97$RI2.66@news1.dion.ne.jp> | |
(G) <040908163221.M0283605@sma.gssm.otsuka.tsukuba.ac.jp> | |
(G) <20040909015346.2694.DSS@mbj.nifty.com> | |
(G) <cho5o0$27kh@utogw.gssm.otsuka.tsukuba.ac.jp> | |
(G) <20040911024942.7A03.DSS@mbj.nifty.com> | |
(G) <chte6g$2hig@utogw.gssm.otsuka.tsukuba.ac.jp> | |
(G) <20040913210513.90DD.DSS@mbj.nifty.com> | |
(G) <opsmc2h4zge5o5lm@news.media.kyoto-u.ac.jp> | |
(G) <opsmc254q7e5o5lm@news.media.kyoto-u.ac.jp> | |
Message-ID(記事識別符号): | (G) <050218121436.M0254934@sma.gssm.otsuka.tsukuba.ac.jp> |
久野です。 kando@nerimadors.or.jpさん: > …ところで(初等)論理学をそこまで必死に回避するとなると > やっぱ(初等)集合論も華麗に回避するのかな? そうやって演繹しないでよ。 久野 P.S. ロンリをちょっとでも回避するために、1文字削ってロリにしましょ う。ロリ型のあるプログラミング言語。true/falseとか真/偽とか は駄目なので0と1で表し(お、CかなつかしBASIC?)、なおかつ0と1 に置き換えただけでは同じことなので0〜1の連続数値として確か らしさを表し値どうしの演算はそれなりに…どっかで聞いたよう な話になりました。ちゃんちゃん。