人力検索はてな
モバイル版を表示しています。PC版はこちら
i-mobile


●質問者: garyo
●カテゴリ:コンピュータ 科学・統計資料
✍キーワード:Coq カリー ハワード バグ プログラム
○ 状態 :終了
└ 回答数 : 8/8件

▽最新の回答へ

6 ● chinchin-kozou
●23ポイント

関数がカリー化されている言語なら理論上は可能です。



カリー化を利用すると、複数の引数をとる関数を、一つの引数のみを取る複数の関数のラムダ計算などの単純な理論的モデルと見なして研究できるようになる

http://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%AA%E3%83%BC%E5%8C%9...

◎質問者からの返答

ありがとうございます。


7 ● えんどう
●11ポイント

そのバグをチェックするためのプログラムでさえバグが無いという保障はないので、完全にバグのないプログラムはできません。世界中に存在するウィルスと同じように、誰しもが完全に「存在しない」「撲滅した」とは言い切れないのです。あくまでも「発見されなくなった」程度のことしか言えないものです。

プログラムならば、簡単にアラートメッセージくらいの内容を一文(JavaScriptで言えば「alert("文")」)。というくらいのプログラムなら「ミスはない」などと言えるでしょう。しかし、何行、何十行、何百行となるとたとえ一行一行チェックしたとしても、完全な意味で「バグはない」とは言えません(細部の不具合はほとんどコンピュータ画面上にエラーを出さないほど無視されるものです)。何十年以上かけてデバッグしたとしても完全にバグは取り除かれたという保障は存在しません。

◎質問者からの返答

「カリー・ハワード同型対応」やCoqに関してもリンク先を参照の上でご回答願いたく。


8 ● tukasa329
●0ポイント

それははっきり言って無理。

wikipediaにも書いてあるよ

◎質問者からの返答

不適切な解答にチェックを入れました。

「カリー・ハワード同型対応」やCoqに関してもリンク先を参照の上でご回答願いたく


6-8件表示/8件
4.前5件|次の5件6.
関連質問


●質問をもっと探す●



0.人力検索はてなトップ
8.このページを友達に紹介
9.このページの先頭へ
対応機種一覧
お問い合わせ
ヘルプ/お知らせ
ログイン
無料ユーザー登録
はてなトップ