久野です。

kono@ie.u-ryukyu.ac.jpさん:
> それって、自分で勝手に作ったプログラムのインデンテーション規
> 則と、K&R スタイルあるいは、Kernel スタイルの差ぐらいじゃな
> いですか? 

  そうかなあ。いやもちろん、プログラミングに必要とされるような
「基本な部分」についていえば「素朴に論理的に考える」のと「論理学
として定式化されたもの」は近い、というのはいいですよ。でも論理学
を学ぶっていうともっと色々プラスアルファをやらされるんじゃないの
かなあ。それは別になくたってと思うわけで。

> もちろん、自分で勝手に「論理的に考える」ことはできるし、それ
> である程度いく人もいるでしょうけど、「既にある」んだから、利
> 用した方が良いと思う。その方が結果も良いのが普通。

  別にそれには反論しません。で、『自分で勝手に「論理的に考える」
ことはできるし』つまり必須ではないというのはいいのね。

                        それならそれでいいです。       久野