amori's blog

よろず技術系と趣味関係の雑記です。アニメの比重が高くなってます・・

2017-02-16から1日間の記事一覧

バグのないプログラム

http://anond.hatelabo.jp/20170214233309 『二桁の整数の和を返すプログラムなら簡単に完璧に作れる。』 「・・それほど簡単じゃないなあ。」「どこが難しいのよ?」 「まず『完璧』について合意された定義がないし、仕様も曖昧だし」「完璧、とは完成した…