【IT】GitHub CEOが語るソフトウェア開発の未来。ソフトウェア開発とは問題の解決であり、コーディング作業はゼロになっていく

32 ：名刺は切らしておりまして：2017/10/12(木) 23:55:31.39 ID:n6S1B7aF.net

もし、処理を書かなくて済むようになったら
仕様記述言語とか 形式手法の言語でも使って
整合性の検査とか証明とかやってくか。