12/07/17 12:19:51.01 sNRsy5Q1
>>760
> いつの間にか「分厚い仕様書」が「仕様書やその解説書」になったぞ、いいのか?w
まったく問題ない。
だってさ、君、プログラマがプログラミング言語のすべての機能を
使用しているとでも思っているのかい?
数学者だって、数学の全領域について詳しいわけじゃない。
しかし、そのプログラミングのすべてを理解しようと思えば、やはり分厚い仕様書を
すべて参照する必要は生じるだろう。
数式だって勘を働かしてできるだろうが、プログラミング言語とちがって完全に観念の
産物になっているのが、プログラミング言語と違う点だといえば言えるが、
そのことを持ち出したところで、こちらの主張を変更する理由にはまったくならない。
そういう基本的論理すら君には理解できないようだね。
> 「プログラミング言語と自然言語を同じように見なして」などいないよ。
> 文字通り、開発者の多くが言語仕様書を見た上でコードを書いているという事実を示しただけ。
だったら言語仕様書を知る必要があるってことじゃないかw
こちらの主張のとおりだよ。
プログラマが必要とする機能については言語仕様書を参照する必要がある。
でなければ、あてずっぽうか、他の言語の知識を流用して勘を働かすことはあるだろう。
しかしそれはすでにプログラミング言語の暗黙の情報を身につけているから働く勘だ。
数式についても、数学者は、まったく新しい記述に遭遇しても勘を働かせるだろうが、
それは数式の背後に暗黙の知るべき約束事があるという事実のまさに証拠というものだろう。
それを知っているから数学者なのだし、それを知らない数学の素人が勘だけで数式を
解読できるというならば、君の主張はそれなりに説得力をもつが、そうじゃないだろう?w