「追悼 E.W.ダイクストラ」記事へのコメント

R.I.P E.W. Dijkstra and R.W.Floyd

[cloudy (1160)]

2chにも書いたがご容赦を。

かっての論敵であり、ダイクストラと同じフィールドで仕事をしてきたR.W.Floyd が何かコメントを出してるかなと調べてみたら、すでに去年亡くなっていた(スタンフォード大の死亡記事 [stanford.edu])。65歳とは若すぎる。

ダイクストラは小言幸兵衛という印象が強いが、おもしろい問題をいろいろ提示してくれた人だった。昔、最弱前提の話を勉強するために「プログラミング原論」を読んだが、中に登場する問題がどれも興味深いものばかりで、よくできたパズルを解くように楽しく悩みながらアルゴリズムを考えたものだ。

しかし、彼の文章は少々わかりにくかった。フロイドは「単語は英語だが、文法はオランダ語」と思いきりけなしていたが、たしかにあのわかりにくさは訳者のせいだけではなかったように思う。

今ごろはあの世でフロイドとまた議論をたたかわせているのだろう…

Re:R.I.P E.W. Dijkstra and R.W.Floyd

[moonbear (4602)]

Dijkstraの最弱事前条件(weakest precondition) と Floyd-Hoare Logic によるプログラムの検証は勉強したことがあります．まあ両者ともある意味同じようなことをいっているのですが，Floyd-Hoare Logic の方がわかりやすかったです．