C# と VB.NET の質問掲示板

ASP.NET、C++/CLI、Java 何でもどうぞ

C# と VB.NET の入門サイト

Re[5]: アルゴリズムを考えきれていないこととバグの違い

(過去ログ 25 を表示中)

[トピック内 9 記事 (1 - 9 表示)]　 << 0 >>

■11177 / inTopicNo.1)

　アルゴリズムを考えきれていないこととバグの違い

□投稿者/ 水嶋 (1回)-(2007/12/08(Sat) 19:06:38)

分類:[討論]　

すみません。教えてください。

アルゴリズムの正しさは、どのように証明？すればよいのですか？
アルゴリズムって、バグがあってもよいのですか？

引用返信 編集キー/

■11178 / inTopicNo.2)

　Re[1]: アルゴリズムを考えきれていないこととバグの違い

□投稿者/ れい (282回)-(2007/12/08(Sat) 19:31:06)

2007/12/08(Sat) 19:37:05 編集(投稿者)

■No11177 (水嶋さん) に返信
> アルゴリズムの正しさは、どのように証明？すればよいのですか？

数学の問題と同じように証明します。
場合分けとか背理法とかいろいろな手法を駆使して。

> アルゴリズムって、バグがあってもよいのですか？

良いか悪いかの問題ではないです。
別に法律で決まってるわけではないですし。
善とか悪という概念もないので。

バグがあるアルゴリズムは誰も使わない・使いたくないだけです。

というか、バグなのかどうかも主観で決めるものですから、
見る人によって仕様だったりバグだったりするわけで、
望まない動き＝バグなので、定義上嫌なものではありますが。

んー。
行間の読めない私には
何を聞きたいのかさっぱりわかりません。

引用返信 編集キー/

■11182 / inTopicNo.3)

　Re[2]: アルゴリズムを考えきれていないこととバグの違い

□投稿者/ 774RR (78回)-(2007/12/08(Sat) 21:55:56)

うん、オラにも質問の意味がよくわからんだ。
というかこういう質問にいたるということは「アルゴリズム」って言葉の意味がわかってないかも？

アルゴリズムってのは計算方式のことをいう。だからアルゴリズムにバグがあるとはあまりいわない。
ある計算方式に従ってプログラムを組んだつもりが、正しく計算できない場合をバグというわけで。
アルゴリズムが間違っている＝計算方式が正しくないっつことだから、
それはそもそも正しい答えが出ないわけで、そんな計算方式を使うやつはいない。

アルゴリズムが正しいかどうかは数学の問題だったりするからプログラムとはちょっと離れるよな。
たとえば今使われている公開鍵暗号なんかは [今のところ素因数分解を実用的短時間で行う
アルゴリズムが存在しない] ということに基づいた計算方式＝アルゴリズムとなっている。
[素因数分解を実用的短時間で行うアルゴリズム]が発見されれば、今の公開鍵暗号はすべて破る
ことができる。アルゴリズムの証明というのはそういう数学の話なのだよ

引用返信 編集キー/

■11186 / inTopicNo.4)

　Re[1]: アルゴリズムを考えきれていないこととバグの違い

□投稿者/ はつね (365回)-(2007/12/09(Sun) 00:13:06)

■No11177 (水嶋さん) に返信
> アルゴリズムの正しさは、どのように証明？すればよいのですか？

業務仕様とか数学的帰納法とか論理的に証明します。

> アルゴリズムって、バグがあってもよいのですか？

だめです。
アルゴリズムが正しくない事をバグというのであれば正しいアルゴリズムにしなければなりません。
アルゴリズムが正しいのにプログラムにバグがあるのであればプログラムのバグを潰さねばなりません。
大人の事情によりバグを取り除くのではなく使い方で回避というケースもあるかも知れませんが「あってもよい」ものではありません。

引用返信 編集キー/

■11187 / inTopicNo.5)

　Re[2]: アルゴリズムを考えきれていないこととバグの違い

□投稿者/ ぽぴ王子 (296回)-(2007/12/09(Sun) 01:30:56)

皆さんが書かれているように、私にもやっぱり質問の意図が汲みきれませんでした。

脊髄反射的な質問そのものに対する反応であれば、はつねさんの答えで十分ですね。
ただ、みんなはきっとその先の「なぜこういう質問をするに至ったのであろうか？」
まで考えてしまうと思うのです。

というわけで、できればそういったことを書いていただけるとありがたく。

あとついでに書かせていただくと、何かの課題であればご自分で理解した上で解決
なされるのが筋かと。

引用返信 編集キー/

■11188 / inTopicNo.6)

　Re[2]: アルゴリズムを考えきれていないこととバグの違い

□投稿者/ カンタービレ (123回)-(2007/12/09(Sun) 01:55:50)

2007/12/09(Sun) 02:17:22 編集(投稿者)

> アルゴリズムの正しさは、どのように証明？すればよいのですか？
> アルゴリズムって、バグがあってもよいのですか？
>
# http://www.youtube.com/watch?v=okplvp3_1lQ
# アルゴリズムと聞くと、ついこれを思い出しマス。。。

手順の正当性を証明するものは単純に手順の実行結果だと思いマス。

アルゴリズムはある目的を出すための手順なわけデスから、
目的（結果）をその手順で達成出来ていればある意味正しいと言えマス。

ただその手順で目的外の結果も出せてしまう場合、その目的外を
どこまで想定し、どの範囲まで制約（条件）とするかを明確にしていないと
それをバグという扱いにされてしまうこともありマス。

アルゴリズム（やり方）が正しいという観点よりも、
目的（処理結果）の定義の仕方が重要なんだと思いマス。
書き込まれている皆サマもピンとこないのはそういうコトではないかと思うのデス。

【追記】
この目的の定義を「仕様」と言ったりしマスね。
具体的な数値等を挙げ、目的と違う解釈が出来ないよう規定することデス。
（タイトルと内容が微妙にニュアンス違うようだったので追記しました。）

アルゴリズムを考えきれていない　＝　仕様として規定しきれてない（記述があいまいか不足）
バグがある　　　　　　　　　　　＝　コーディングミスや仕様の誤解・理解不足など。もしくは設計矛盾。

引用返信 編集キー/

■11228 / inTopicNo.7)

　Re[3]: アルゴリズムを考えきれていないこととバグの違い

□投稿者/ 水嶋 (2回)-(2007/12/10(Mon) 14:13:24)

■No11187 (ぽぴ王子さん) に返信
> 皆さんが書かれているように、私にもやっぱり質問の意図が汲みきれませんでした。
>
> 脊髄反射的な質問そのものに対する反応であれば、はつねさんの答えで十分ですね。
> ただ、みんなはきっとその先の「なぜこういう質問をするに至ったのであろうか？」
> まで考えてしまうと思うのです。
>
> というわけで、できればそういったことを書いていただけるとありがたく。
>
> あとついでに書かせていただくと、何かの課題であればご自分で理解した上で解決
> なされるのが筋かと。

解決済み

引用返信 編集キー/

■11231 / inTopicNo.8)

　Re[4]: アルゴリズムを考えきれていないこととバグの違い

□投稿者/ επιστημη (710回)-(2007/12/10(Mon) 14:33:24)

丸ごと引用して"解決済み"とはあまりに無礼な。
常識と良識を疑う。

引用返信 編集キー/

■11234 / inTopicNo.9)

　Re[5]: アルゴリズムを考えきれていないこととバグの違い

□投稿者/ ぽぴ王子 (300回)-(2007/12/10(Mon) 15:03:53)

επιστημη さんが解決済みを消したので便乗して僕も。

（編集テキストボックスに入ってたから）最後の文章をまるごと引用して解決済みにチェック
して送信、というのならまだわからないでもないんですよ。常識と良識は疑いますけど。
で、なんで僕の文章を丸ごとコピーして解決済みなのか、ちょっとわかんないですね。

「なぜこういう質問をするにいたったのか」に対する回答はいただけていませんしね。
何か言いたくない理由でもあったんでしょうか。昼飯のカレーが辛かったとか。

あ、ちなみに「何かの課題であればご自分で解決なされるのが筋」ってのは、こうやって
解決済みにしろって意味じゃないですよ。だって解決してないですもん。
自分で調べてみますありがとうございましたとか、先生に聞いてみますありがとうございました
とか、あるいは生まれてきてすいませんありがとうございました、とか何らかのアクションを
起こして（コピペはアクションではありません）締めるのが筋なんじゃねーの？って話です。
課題なんかじゃねーよ仕事だよバーローっていうのもありです。皆が納得できる締め方で
あれば常識と良識を疑われたりはしなかったでしょうね。

もう見てくださらないかもしれませんが、そういったところは気をつけたほうが良いと
思いますよ。

…って、明日あたり別の掲示板でまったく同じ質問を見かけたりしたら笑っちゃうなぁ。

引用返信 編集キー/

トピック内ページ移動 / << 0 >>

このトピックに書きこむ

過去ログには書き込み不可