■ このスレッドは過去ログ倉庫に格納されています
【IT】GitHub CEOが語るソフトウェア開発の未来。ソフトウェア開発とは問題の解決であり、コーディング作業はゼロになっていく
- 36 :名刺は切らしておりまして:2017/10/13(金) 00:46:52.57 ID:Wq0uFc5C.net
- >>32
ZとかVDMとか。あとどんなのある?
coqやalloyもそう?
総レス数 45
12 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver 2014.07.20.01.SC 2014/07/20 D ★