ホワット・ア・ワンダフル・ワールド アルゴリズミックデバッギング

研究グループの内輪の研究会がありまして，ET プログラムの自動デバッギングの話が面白かったです． (人間が頭で考えて，直接ルール (プログラム) を手書きした場合用．また，原理的に，形式的仕様記述から自動生成されたプログラムは，仕様に対しては 100 % バグが無いわけですが，それとは別のレイヤーとして，生成されたプログラムが「人間の直感的意図 (ここはインフォーマル)」と異なる挙動を示した時には，仕様のデバッグが必要になってくるので，さらに高度な研究が必要になってくる) その研究自体の詳細は (私の研究ではないので) 書けないのですが．既存研究との比較として挙げられていた，サーベイペーパーが，これまた興味深かったです． Josep Silva, "A Comparative Study of Algorithmic Debugging Strategies", 2007 論理プログラムや

[bols-blue]

今は職人技の領域を学問として体系立てる

[agx]

バグの絞込みと発見を系統的に行う研究。いかに人間の判断 (質問回数) を減らし，怪しさ (依存関係) を検出し，効率的にバグを追い詰めていくか，というところで，いろいろな戦略 (Algorithmic Debugging Strategies) の論文

[natsutan]

おもしろい。等価検証なら、今の技術でもできる気がする