バグのないプログラムを書くことは理論上は可能である - shi3zの長文日記

http://anond.hatelabo.jp/20170214114736 http://anond.hatelabo.jp/20170214114736 > http://www.slid..