[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
  • Twitterでシェア
  • Facebookでシェア

長文日記

学び カテゴリーの変更を依頼 記事元:d.hatena.ne.jp/shi3z
適切な情報に変更
400 usersがブックマーク コメント134

    記事へのコメント134件

    • 注目コメント
    • 新着コメント
    n_231
    ではバグの無いenchantMOONを出して下さい

    その他
    qtamaki
    バグの定義が曖昧だよね。正確には「バグを厳密に定義できない」という問題を解決する手段がない

    その他
    houyhnhm
    うーん、いい加減月に帰って。

    その他
    hi_kmd
    ある限られた空間に制限した議論をすれば、その内側での無矛盾性の証明は可能ではある。しかしバグの話になるとその外側に言及が及ぶので、この議論は成り立たない。先日の「二桁の整数の和」と類似の誤謬。

    その他
    hokkey
    たしか数学的証明からバグのないプログラムを作ろうとして失敗した論文があったと思う →これだった http://www.shayashi.jp/myfailures.pdf

    その他
    hyujico
    バクのないプログラム論争で思うことは、そもそもosや実行環境、ドライバにだってバグがあるんだから、自分のプログラムが完璧だとしてもシステム全体としてはバグのないシステムなんて作れないわ

    その他
    mizchi
    いやーenchantMoonはひどかったですね

    その他
    nakaken88888888
    数学はいろんな前提の上に成り立っているので、その前提の上ではバグがないようにはできるんだろうけど、その前提を壊すもの（変な値が入力されるとか）から発生するバグはまた別問題。

    その他
    MARQUE
    バグのないプログラムとバグのないプログラムを組み合わせると、なぜかバグが生まれるんだなぁ…。

    その他
    ken822
    お前らタイトルだけ読んでコメントしてるだろw

    その他
    roinjkokoind
    バグのないプログラムを書くことは理論上は可能である - shi3zの長文日記 (id:shi3z / @shi3z)

    その他
    pixmap
    おまえがバグだろｗ まず自分が停止するかどうか判定するプログラムをバグのない形で実装してみたらいい。

    その他
    ledsun
    バグのないプログラムを作る人工知能「この世のすべてのバグの原因がわかりました。デバッグしますか？」「わかりました。人類を消去します。」

    その他
    Cujo
    ex.１）きょうさんとうはぜったいである　２）疑いがある場合は１を参照せよ

    その他
    aoki789
    誰も形式手法知らないんだなあ

    その他
    taguch1
    プログラムのよくわかんない人が数学的な証明を求めてるとなぜ思ったんだろ。知識の中に答えがありそうだと選択を間違ってしまうな。

    その他
    youko03
    こういう話には興味が湧かない…

    その他
    kamehi
    「Maxwellの悪魔がいればエントロピーは減少できる」みたいな話かと思っていたら「数学という論理体系の中で自身の無矛盾を証明できる」みたいな話だったのか？

    その他
    FantaOrange
    「理論上は」って書いてある時点で元記事の主眼と大きくズレてることが明らかだったので、その後流し読みした（そしてやっぱり得るものはなかった）

    その他
    hogeaegxa
    何でもかんでも人工知能マンセーに繋げてくる手法にはいつも感心させられる。さすが人工知能ゴロの代表扱いされるだけのことはあるな

    その他
    hqwerty
    結局、おっさんが馬鹿なんだよね。全てはおっさのせい。若い人は何も悪くない。 このコメントの意味がわかる人…同意ください。お願いします。

    その他
    Hamukoro
    バグは夜更け過ぎに仕様へ変わるだろう…wowwow…

    その他
    hanenone
    仕様に組み込めばバグじゃない

    その他
    sonicedge9
    バグなんて、課長が言い出せば仕様→バグになるんだし。逆に…… あっそういうことか？？ バグを仕様と言い切る勇気があれば作れるんだよ。

    その他
    bb_river
    元の上司の言ってる話は実行まで含めての話だろうし、そこまで行けるものは今後出てくるのだろうか

    その他
    tak4hir0
    バグのないプログラムを書くことは理論上は可能である - shi3zの長文日記

    その他
    b4takashi
    つまるところ、人間の思考にバグが存在しうると…？

    その他
    daibutsuda
    プログラムのわからないえらい人「バグのないプログラムを書くことはできないのか？」俺「間違いのない指示は出来ないのか？」

    その他
    strawberryhunter
    「ソフトは現象的に現実世界を捉える手段に帰結するが、其の本質性は物理的構造物より..意図と結ばれて成立..これはソフトがより高度な形而上学的世界に於いて捉えざるを得ない性質を有する存在物で..」こういうやつ？

    その他
    FunnyBunnyDizzy
    読んでないけど不完全性定理で否定されそうな話

    その他
    warauashi
    自身がバグである自覚がないようだ

    その他
    ginga0118
    プログラミングという行為自体にバグを持っているのでは。インプットとアウトプットがある限り普遍であることはないと思う。

    その他
    you21979
    状態を持ったプログラムのバグがないことの証明って出来るのかな？例えばトレーディングボットのバグがないことなんて証明できるのかどうか。

    その他
    momok0
    証明プログラミングを研究している女子大生もいるじゃダメなの？最近のこの人は、紹介ではなく自分上げ他人下げが主目的になってる感じがするな。

    その他
    kujoo
    観測できない理論は仮説。

    その他
    anigoka
    水の上を歩くことは理論上可能

    その他
    delta-ja
    「これはバグではなく仕様」(証明終)

    その他
    Tora1014
    永い言い訳（2016年公開）

    その他
    cruller
    関連して、数学の証明って人間がするものじゃん？　いくら査読しても証明の正しさって証明できないと思った。不完全性定理？

    その他
    mangakoji
    そのプラットフォームがノーバグだって誰がきめるんです?

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック！
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    長文日記

    ブックマークしたユーザー

    • colouredwhipper2017/03/13 colouredwhipper
    • roinjkokoind2017/02/23 roinjkokoind
    • matsui2017/02/21 matsui
    • pixmap2017/02/19 pixmap
    • Hiro_Matsuno2017/02/19 Hiro_Matsuno
    • ledsun2017/02/18 ledsun
    • nettabo2017/02/18 nettabo
    • SKYS2017/02/18 SKYS
    • endo_55012017/02/18 endo_5501
    • Cujo2017/02/17 Cujo
    • tanaka-22017/02/17 tanaka-2
    • mrpopup2017/02/17 mrpopup
    • horicoro2017/02/17 horicoro
    • kazu_levis5012017/02/17 kazu_levis501
    • nakeddiver2017/02/17 nakeddiver
    • coco59592017/02/17 coco5959
    • alcus2017/02/17 alcus
    • l050012017/02/17 l05001
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - 学び

    いま人気の記事 - 学びをもっと読む

    新着記事 - 学び

    新着記事 - 学びをもっと読む

    同時期にブックマークされた記事

    いま人気の記事 - 企業メディア

    企業メディアをもっと読む

    はてなブックマーク

    公式Twitter

    はてなのサービス

    • App Storeからダウンロード
    • Google Playで手に入れよう
    Copyright © 2005-2025 Hatena. All Rights Reserved.