- PHPがいかに駄目言語であるかをちゃんと説明
835 ：デフォルトの名無しさん[sage]：2014/07/16(水) 09:03:21.69 ID:NGJkVcZA - >>834
最高のプログラマーは、PHPを絶賛してるわけじゃないと思うが。
|
- プログラミング雑談スレ♯++
812 ：デフォルトの名無しさん[sage]：2014/07/16(水) 14:12:35.08 ID:NGJkVcZA - >>800 >>803
それは、上流の人が勝手に「証明済みだと思った手順・設計」に間違いが
有るだけでは。
本当の「証明」だと、もっと「コリャ絶対大丈夫だわ」と思えるくらい
白黒が明瞭になるもなんだ。ただ、白黒を判断するには、ある程度数学
の素質が必要で、多分、誰にでも出来るものではないので、結局
一般論には出来ないかも。
|
- プログラミング雑談スレ♯++
815 ：デフォルトの名無しさん[sage]：2014/07/16(水) 14:42:47.68 ID:NGJkVcZA - 似た処理なのに入り口が5通りあって、それぞれにごちゃごちゃと
複雑な処理が書かれていればテストも大変。
ところが、うまくやると5本の川(支流)が1本の川に合流するように
書ける事が多く、そうできれば1つの入り口からのテストを完全に
行うだけでも大部分のバグがなくなる。
|
- プログラミング雑談スレ♯++
817 ：デフォルトの名無しさん[sage]：2014/07/16(水) 15:32:57.32 ID:NGJkVcZA - >>816
複数の人が絡んだ場合は分からないけれど、
自分ひとりで設計からコーディングまでやる場合は、
ちゃんと上流の段階で「証明」してからコーディングした方が
バグがずっと少なくなる。
|
- プログラミング雑談スレ♯++
819 ：デフォルトの名無しさん[sage]：2014/07/16(水) 17:11:45.25 ID:NGJkVcZA - >>818
なんちゅうか、紙に「[証明]」と書いて証明することを証明と
言っているわけではないんだけど。
頭の中だけでも「証明」は出来る。
|
- プログラミング雑談スレ♯++
820 ：デフォルトの名無しさん[sage]：2014/07/16(水) 17:15:38.73 ID:NGJkVcZA - 場当たり的に追加して、テストしてバグがあったら修正して・・・
というのは「証明してからコーディング」するやり方とは違うと
言っているんだ。
いったん「証明」を頭の中でしてしまえば、全くその通りに書いて
行くと、バグが0になる。これは自分だけで何から何までやった経験
から言っているもので、上流工程とコーディングとが分かれている
ような職業プログラマの経験とはまた違うだろう。
|
- プログラミング雑談スレ♯++
822 ：デフォルトの名無しさん[sage]：2014/07/16(水) 18:16:47.83 ID:NGJkVcZA - 多分、本当の「証明」の厳密さを体験的に理解できて無い人が多い
なら一般人には無理かも。
|
- プログラミング雑談スレ♯++
824 ：デフォルトの名無しさん[sage]：2014/07/16(水) 18:37:23.05 ID:NGJkVcZA - なんともはや・・・。
|
- プログラミング雑談スレ♯++
825 ：デフォルトの名無しさん[sage]：2014/07/16(水) 18:45:05.37 ID:NGJkVcZA - 「証明」って、もう、絶対、絶対、ぜーったいに間違い無い！！
と思えるってことなんだよ。そう確信するために色々な論理的な道具
が発明された。その道具を使えば、本当の確信が得られるように
なってるんだよ。少なくとも自分はそうだし、その方法で確信した
事に関しては今までの人生で一度も間違ったことは無い。
|