バグのないプログラムは存在しない

0001デフォルトの名無しさん

2005/11/26(土) 15:48:58

がデバッグの不可能なプログラムもまた存在しない。
違うか？

0153デフォルトの名無しさん

2007/01/24(水) 00:56:13

>>152
釣りなのかマルチなのか・・・

ちなみに、最近のCは、
const int set = 3;
const int alparamset = 6;
float x[set],y[set],x2[alparamset],y2[alparamset];
が許されるの？
それとも単にC++コンパイラだから、許されてるだけ？

0154デフォルトの名無しさん

2007/01/24(水) 23:46:37

>>152
配列の添字は0から始まる
だから、例えばその配列xの範囲はx[0]～x[2]まで
あとバックスラッシュは「\」でおｋ

と釣られてみる

0155デフォルトの名無しさん

2007/01/25(木) 04:00:48

俺が>>152のソースをメンテしろと言われたら迷いも躊躇もなくゼロから書き直すなw

0156デフォルトの名無しさん

2007/01/25(木) 23:29:24

同意。一瞬の躊躇もないｗ
>>152
何がバグなのか説明しろｗ

0157デフォルトの名無しさん

2007/01/26(金) 08:13:31

>>153
ttp://seclan.dll.jp/c99d/c99d04.htm の4.1(4)

0158デフォルトの名無しさん

2007/01/26(金) 13:39:40

それにバグが無いことは証明した。しかし使ってみないとわからない。

0159デフォルトの名無しさん

2007/01/29(月) 18:25:52

プログラムのバグって、実行して初めて発生するという考えが一般的なの？
一般的というか定義、むしろデファクトスタンダード？

0160デフォルトの名無しさん

2007/01/29(月) 18:31:57

シュレディンガーの猫か

0161デフォルトの名無しさん

2007/01/29(月) 21:42:07

バグのないプログラム書き続けたＰＧのギネス記録とかあるのかな～？

0162デフォルトの名無しさん

2007/01/29(月) 22:46:34

バグのないプログラムが存在しないとして、
一番バグの少ないプログラムってどんなんだろ。

0163デフォルトの名無しさん

2007/01/29(月) 22:54:13

てか、バグとは仕様通りじゃないことを意味するんだから、
仕様がなけりゃバグもない、ただあるがままのプログラムなら存在できるべ。

0164デフォルトの名無しさん

2007/01/30(火) 10:01:52

バグバグなんだけど、最大のバグはそのバグコードに到達しないってのはありそうだな

0165デフォルトの名無しさん

2007/01/30(火) 12:48:20

仕様通りに作り、終わった所で仕様変更になる。その途端そのプログラムは
仕様を満たしていないプログラム、つまりバグのあるプログラムに変化する。

0166デフォルトの名無しさん

2007/02/02(金) 17:10:59

しようがないなぁ～

0167デフォルトの名無しさん

2007/02/02(金) 22:13:06

寒波のAAってどっかにない？

0168デフォルトの名無しさん

2007/02/06(火) 13:34:17

日経「バグ」創刊　今なら２ヶ月無料でお届け

特集：他人のバグ見て我がバグ直せ

　　

0169デフォルトの名無しさん

2007/02/06(火) 23:10:30

おれの「バグ」を盗みやがったなぁ～っ！

0170デフォルトの名無しさん

2007/02/21(水) 13:19:03

作りこむつもりが
なくても
いつのまにか
入り込んじゃうん
だよなあ
　　　　　みつを

0171デフォルトの名無しさん

2007/02/22(木) 04:30:12

プログラムの定義があいまい。
完全な空のプログラムにはバグが存在しない。

0172デフォルトの名無しさん

2007/02/24(土) 18:31:50

>>152

どうでもいいけど、プロトタイプ宣言ぐらいしろ。

0173デフォルトの名無しさん

2007/02/27(火) 12:34:17

>>171
>完全な空のプログラム
それはプログラムではない。

0174デフォルトの名無しさん

2007/02/27(火) 12:55:45

Ｃならリンク時に、mainが無いとか怒られない？

0175デフォルトの名無しさん

2007/02/27(火) 16:53:29

>>173
それは貴方の主観。

0176デフォルトの名無しさん

2007/02/27(火) 18:15:01

>>175
そもそも >>171 の「完全な空」が well defined ではない。

0177デフォルトの名無しさん

2007/03/02(金) 18:50:58

>>171
インド人が 0 を発見したのと同じぐらいの凄い発見かも知れない。

0178デフォルトの名無しさん

2007/03/02(金) 19:48:32

コンパイラによってくっつけられる、main を起動するコード(なんていうんだっけ)
にバグがあったりして。

0179デフォルトの名無しさん

2007/03/02(金) 22:27:05

終了命令1バイトだけのプログラムとか

0180デフォルトの名無しさん

2007/03/03(土) 01:29:16

空の場合というのは、始まりもなければ終りもないことです。
NOPコードにもならないということです。
(開始時刻-終了時刻)=実質0だが定義無し

0181デフォルトの名無しさん

2007/03/03(土) 09:29:33

　禅ですか

0182デフォルトの名無しさん

2007/03/03(土) 09:41:29

>181
xenxen

0183デフォルトの名無しさん

2007/03/03(土) 09:44:23

確率の問題だからな。
現実のプログラムは有限の大きさのものであるから、
バグのないプログラムの存在する確率も無限小にはならない。

0184デフォルトの名無しさん

2007/03/03(土) 19:16:35

OSすらもバグってるしな

0185デフォルトの名無しさん

2007/03/03(土) 20:30:42

ああ

0186デフォルトの名無しさん

2007/03/07(水) 10:38:02

バグこそが神の意思

0187デフォルトの名無しさん

2007/03/07(水) 10:49:19

そんなことでは神様自体がバグ

0188デフォルトの名無しさん

2007/03/07(水) 13:45:25

　十六進合体ゴットバーーーーーーグ！

0189デフォルトの名無しさん

2007/03/07(水) 15:06:24

／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
|　誰のお陰で仕事ができると思っているんですか！
|　バグのお陰でしょ！バグの！
＼
　￣￣￣|／￣￣￣￣￣￣￣￣￣￣￣￣
　 ∧神∧
　（　・∀・）
　（　 ⊃　）

0190デフォルトの名無しさん

2007/03/07(水) 16:44:58

　↑スゲー威厳の無い神w

0191デフォルトの名無しさん

2007/03/14(水) 21:50:15

デスマ神

0192デフォルトの名無しさん

2007/04/29(日) 03:32:59

>>173
>>183
プログラムの単位元が0バイトのコードだとするならば、「何もしない」という
要求をこれで満たせばバグはない・・・ほんとか？

0193デフォルトの名無しさん

2007/05/02(水) 22:15:05

ゼロバイトであればそこにプログラムが存在するとさえ言えない。

もしくは、仮に「ゼロバイトのプログラム」というものを許容したとしても、
1バイトたりともコードが存在しないのならば、
「プログラムが存在しない」をも同時に満たすことになる。
従って、仮にバグがなくても、「バグのないプログラムは存在しない」の反例にはなれない。

0194デフォルトの名無しさん

2007/05/02(水) 22:21:53

1バイトだったら

0195デフォルトの名無しさん

2007/05/03(木) 01:02:36

>>193
「仮にバグがなくても」ってなんかおかしくない?
0バイトであってもプログラムはプログラムだよ。
「なにもしない」というプログラムを作ったら0バイトだった。
なんかおかしい?

0196デフォルトの名無しさん

2007/05/03(木) 01:42:34

>>194
プログラムって"組む"ものだから単命令だとプログラムとは言えんかも。

0197デフォルトの名無しさん

2007/05/11(金) 17:02:17

>>196
4ビットで1命令だとか、1バイトは実は8オクテットのCPUだったとか。

0198デフォルトの名無しさん

2007/05/24(木) 18:11:42

NOP
NOP
NOP
NOP

以上の４命令にバグが存在する可能性は０

0199デフォルトの名無しさん

2007/05/25(金) 03:11:30

>>198
割り込みベクタ初期化し忘れであぽん

0200デフォルトの名無しさん

2007/11/14(水) 16:23:26

>>16
お前あたまわりぃなぁ
世界が完全だったらP＝NPみたいになってやばいことになるだろうが
世界は不完全だからこそ成り立っているのだよ．

0201デフォルトの名無しさん

2007/12/15(土) 17:18:17

ほｓ

0202デフォルトの名無しさん

2008/06/11(水) 08:22:31

これ何て哲学版？

0203デフォルトの名無しさん

2008/06/11(水) 10:06:50

>>8
互換性の問題はある。VMSだとEXIT_SUCCESSが0じゃないとか。

0204デフォルトの名無しさん

2008/11/28(金) 19:30:26

推測だけどこの宇宙ではバグの無いプログラムは存在できないんじゃないかな
プログラムといえどもそれを実行する計算機などの物理的要因に影響されるから
「何もしない」という単純な仕様さえ他の要因によって阻害される
例えば電源の入ってない計算機に虫が入り込んで電源を入れてしまう
そしてその原因が虫の所為だったと必ず解るとは限らない
バグは存在しないはずなのに仕様を満たせないという矛盾を
抱えることになり1のデバッグ不可能なプログラムになってしまう

0205デフォルトの名無しさん

2008/11/30(日) 21:11:08

　　　た
　　　　　　　　　　　　　す

　　　　　　　　　　け

　　　　　　　　　　　　　　　　　　　　　　て

まで読んだ

0206デフォルトの名無しさん

2009/01/18(日) 08:21:58

0207デフォルトの名無しさん

2009/04/08(水) 19:56:51

そうか

0208デフォルトの名無しさん

2009/04/09(木) 09:13:49

そうかなあ

0209デフォルトの名無しさん

2009/06/28(日) 08:20:45

プログラムの意図しない振舞い(バグ)の原因はosのバグ、コンパイラのバグ、プログラム自身のバグと三種類あるが、この三つ目だけでも100%防げるなら、かなりのバグをな

0210デフォルトの名無しさん

2009/06/28(日) 08:21:49

かなりのバグが無くなる希ガス
連投すまそ

0211デフォルトの名無しさん

2009/06/28(日) 13:02:58

>>209-210
すでにバグってるなｗ

0212デフォルトの名無しさん

2009/08/28(金) 22:04:24

へえー

0213デフォルトの名無しさん

2010/01/28(木) 17:43:19

・バグとは、仕様書と一致しない動作である
・仕様書は存在するとは限らない
・したがってバグのないプログラムが存在する可能性はゼロではない
これでよいか？

0214デフォルトの名無しさん

2010/01/30(土) 08:02:20

仕様「バグのあるプログラム」

どうしても俺にはこのプログラムを作ることができない…

0215デフォルトの名無しさん

2010/02/21(日) 00:39:24

作ることができないんだったら、そういうプログラムは存在しないよな。

0216215

2010/02/21(日) 00:48:41

補足しておくけど、「バグのないプログラムは存在しない」ということを覆すには、
バグのないプロクラムが存在することを示す必要があるわけだ。
でも、>>214は「作れない」ってことだから、反例を挙げられてない。