[過去ログ]
Perlについての質問箱 64箱目 (1002レス)
Perlについての質問箱 64箱目 http://mevius.5ch.net/test/read.cgi/tech/1548981877/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
947: デフォルトの名無しさん [sage] 2021/03/07(日) 23:53:02.15 ID:Q92Mc+WL 軽く考えてるけど、プログラムの停止性ってもっそい奥が深い ゲーデルの不完全性定理と密接に絡んでる http://mevius.5ch.net/test/read.cgi/tech/1548981877/947
950: デフォルトの名無しさん [sage] 2021/03/08(月) 01:47:35.66 ID:6lKYXbK2 >>947 バグが存在しない証明は超難しいから、ふつうやらない。 かわりに、テストを必要なだけする。 それだけのこと。 原理とやらは学者に任せておけばいい。 http://mevius.5ch.net/test/read.cgi/tech/1548981877/950
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.139s