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

バグのないプログラム ..

175:デフォルトの名無しさん
07/02/27 16:53:29
>>173
それは貴方の主観。

176:デフォルトの名無しさん
07/02/27 18:15:01
>>175
そもそも　>>171　の「完全な空」が　well　defined　ではない。

177:デフォルトの名無しさん
07/03/02 18:50:58
>>171
インド人が 0 を発見したのと同じぐらいの凄い発見かも知れない。

178:デフォルトの名無しさん
07/03/02 19:48:32
コンパイラによってくっつけられる、main を起動するコード(なんていうんだっけ)
にバグがあったりして。

179:デフォルトの名無しさん
07/03/02 22:27:05
終了命令1バイトだけのプログラムとか

180:デフォルトの名無しさん
07/03/03 01:29:16
空の場合というのは、始まりもなければ終りもないことです。
NOPコードにもならないということです。
(開始時刻-終了時刻)=実質0だが定義無し

181:デフォルトの名無しさん
07/03/03 09:29:33

　禅ですか

182:デフォルトの名無しさん
07/03/03 09:41:29
>181
xenxen

183:デフォルトの名無しさん
07/03/03 09:44:23
確率の問題だからな。
現実のプログラムは有限の大きさのものであるから、
バグのないプログラムの存在する確率も無限小にはならない。

184:デフォルトの名無しさん
07/03/03 19:16:35
OSすらもバグってるしな

185:デフォルトの名無しさん
07/03/03 20:30:42
ああ

186:デフォルトの名無しさん
07/03/07 10:38:02

バグこそが神の意思

187:デフォルトの名無しさん
07/03/07 10:49:19
そんなことでは神様自体がバグ

188:デフォルトの名無しさん
07/03/07 13:45:25

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

189:デフォルトの名無しさん
07/03/07 15:06:24
／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
|　誰のお陰で仕事ができると思っているんですか！
|　バグのお陰でしょ！バグの！
＼
　￣￣￣|／￣￣￣￣￣￣￣￣￣￣￣￣
　 ∧神∧
　（　・∀・）
　（　 ⊃　）

190:デフォルトの名無しさん
07/03/07 16:44:58
　↑スゲー威厳の無い神w

191:デフォルトの名無しさん
07/03/14 21:50:15
デスマ神

192:デフォルトの名無しさん
07/04/29 03:32:59
>>173
>>183
プログラムの単位元が0バイトのコードだとするならば、「何もしない」という
要求をこれで満たせばバグはない・・・ほんとか？

193:デフォルトの名無しさん
07/05/02 22:15:05
ゼロバイトであればそこにプログラムが存在するとさえ言えない。

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

194:デフォルトの名無しさん
07/05/02 22:21:53
1バイトだったら

195:デフォルトの名無しさん
07/05/03 01:02:36
>>193
「仮にバグがなくても」ってなんかおかしくない?
0バイトであってもプログラムはプログラムだよ。
「なにもしない」というプログラムを作ったら0バイトだった。
なんかおかしい?

196:デフォルトの名無しさん
07/05/03 01:42:34
>>194
プログラムって"組む"ものだから単命令だとプログラムとは言えんかも。

197:デフォルトの名無しさん
07/05/11 17:02:17
>>196
4ビットで1命令だとか、1バイトは実は8オクテットのCPUだったとか。

198:デフォルトの名無しさん
07/05/24 18:11:42
NOP
NOP
NOP
NOP

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

199:デフォルトの名無しさん
07/05/25 03:11:30
>>198
割り込みベクタ初期化し忘れであぽん

200:デフォルトの名無しさん
07/11/14 16:23:26
>>16
お前あたまわりぃなぁ
世界が完全だったらP＝NPみたいになってやばいことになるだろうが
世界は不完全だからこそ成り立っているのだよ．

201:デフォルトの名無しさん
07/12/15 17:18:17
ほｓ

202:デフォルトの名無しさん
08/06/11 08:22:31
これ何て哲学版？

203:デフォルトの名無しさん
08/06/11 10:06:50
>>8
互換性の問題はある。VMSだとEXIT_SUCCESSが0じゃないとか。

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

205:デフォルトの名無しさん
08/11/30 21:11:08
　　　た
　　　　　　　　　　　　　す

　　　　　　　　　　け

　　　　　　　　　　　　　　　　　　　　　　て

まで読んだ

206:デフォルトの名無しさん
09/01/18 08:21:58
　