sumiiさんの言葉がbonotakeさんの記事を念頭においているとしたら、僕はそんなこと言ってませんよー。 バグのない（少なくとも無限走行はしない）ソフトウェアであることを検証する／保証するソフトウェアは作れません！ と言ったはず*1。
*1:「任意のソフトウェアを入力として一般的に…」とかまで念を押した記憶はないけど、文脈としてそういうことは合意（あるいは含意）されていたと思います。
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
sumiiさんの言葉がbonotakeさんの記事を念頭においているとしたら、僕はそんなこと言ってませんよー。 バグのない（少なくとも無限走行はしない）ソフトウェアであることを検証する／保証するソフトウェアは作れません！ と言ったはず*1。
*1:「任意のソフトウェアを入力として一般的に…」とかまで念を押した記憶はないけど、文脈としてそういうことは合意（あるいは含意）されていたと思います。