>>790
数学的に証明することでバグのないプログラミングを行う研究してます(ｷﾘｯ)
って奴の単発講義を大学の何かで受講したことがあるけど、すげぇ酷かった。
配布資料で「正しい」とされた10行程度のCのコードすらバグがゴロゴロしてて、
周りの受講者と一緒に講義そっちのけでバグ発見数を競うのが楽しかった。

て笑い話とかあるな。いわゆる出オチというやつだ。