Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.daionet.gr.jp!news.yamada.gr.jp!newsfeed.media.kyoto-u.ac.jp!oix.u-ryukyu.ac.jp!u-ryukyu.ac.jp!ie.u-ryukyu.ac.jp!gama.is.tsukuba.ac.jp!nadesico.cc.tsukuba.ac.jp!gssm!kuno
From: kuno@gssm.otsuka.tsukuba.ac.jp
Newsgroups: fj.comp.lang.javascript
Subject: Re: プログラミングと論理学(R e:Re[2]: 大文字と小文字の区別 )
Date: Fri, 18 Feb 2005 03:11:08 GMT
Organization: GSSM, Univ. Tsukuba, Tokyo, Japan
Lines: 30
Message-ID: <050218121108.M0154934@sma.gssm.otsuka.tsukuba.ac.jp>
References: <3990471news.pl@rananim.ie.u-ryukyu.ac.jp>
	<040908113723.M0282345@sma.gssm.otsuka.tsukuba.ac.jp>
	<3990472news.pl@rananim.ie.u-ryukyu.ac.jp>
	<040908142721.M0183263@sma.gssm.otsuka.tsukuba.ac.jp>
	<opsmc9cg0be5o5lm@news.media.kyoto-u.ac.jp>
NNTP-Posting-Host: sma.gssm.otsuka.tsukuba.ac.jp
X-Newsreader: mnews [version 1.22PL7] 2003-09/29(Mon)
Xref: ccsf.homeunix.org fj.comp.lang.javascript:390

久野です。

kando@nerimadors.or.jpさん:
> ・標準形と情報交換・蓄積
> 　ある種の標準形としての価値はどうでしょうか。
> 　特定の言語への依存度の低い論理的思考の表記・伝達手段として。
> 　「言語としての数学」って感じの話です。
> 　コミュニケーションの能力の一部と考えるわけです。

  題材は論理学じゃなくてもできるでしょ。

> ・証明済みの思考パターンとしての定理
> 　証明済みの定理群を式の変形規則として利用できる。
> 　というのはプログラミングでライブラリを利用するようなもので
> 　便利だと思うのですが。

  これも題材は論理学じゃなくてもできるでしょ。

> ・抽象化
> 　一つ目のプログラミング言語はいいんですが、
> 　マルチ・リンガルなヒトになろうとすると
> 　抽象度を上げて整理したくなったりしませんでしょうか？
> 　その時の道具には論理学、集合論…と言った形式的体系の素養が役立つ
> 　・・・というかソレなしでやると自分用のソレを開発するハメに…。

  これもですね。論理学を学んで損ないのはもともと異論ないんです。
必須かと言われると違うでしょうという議論なんです。

		だいぶ前のなので忘れているけど		  久野