「ロボット工学三原則をソフトウェアに」記事へのコメント

難しい

[Anonymous Coward]

第一条
とりあえず、落ちたり、ファイルが開けなくなったりはもってのほかということか。

第二条
プログラマのコードにしたがって動くわけですが、落ちそうになっても踏ん張るように作るのは難しい。

第三条
一度作成された実行モジュールは、再ビルドで上書きされることから、自己を守らなければならない。
rm コマンドで消されてもいけない。

Re:難しい

[okky (2487)]

多分、
                  rm -rf /
などに対処しなくてはいけないのは第一条ではないかと。

というわけで、とりあえず rm コマンドの改造が必要ですね…。

--
fjの教祖様

Re:難しい

[TarZ (28055)]

多分、
                                    rm -rf /
などに対処しなくてはいけないのは第一条ではないかと。

それがミスではなくて、ユーザーの意図通りなのだったら困ってしまいますよね。

現在は「プログラムは、プログラマの意図通りに動くのではない。書いた通りに動く」の
法則によって、rm -rf / は通ります。

ところが「三原則」が導入されると、これが意図通りに動かなくなってしまいませんか。
ユーザーの命令（第二条）よりも、環境保全（第一条）が優先されるから。

# …な、ワケないよねえ。もとの論文読まずに書いているので大いに誤解していそう。ツッコミ求む。

Re:難しい

[queue (23030)]

原文にはconflict条項は無いようです。
と言う事は、各条文に優先順位はないと言う事なので、どれを優先させるかはプログラマの胸三寸と言う事でしょう。

#原文と言っても、条文の所しか読んでないので誤解してるかも。

Re:難しい

[TarZ (28055)]

あ、やっぱり書いてありました。（当然か）

"Second Law"の最後あたりですね。やはりきちんと読まないといけないなあ…。