ソフトウェアにバグがあるのは仕方のないことなのか？ | TechCrunch Japan http://jp.techcrunch.com/2016/10/03/20161001learned-helplessness-and-the-languages-of-dao/ 原理的には、コードは形式検証（formal verification）を用いて正しいことを証明す…