将軍「バグのないプログラムを作ってみせよ」
一休「ではバグのない仕様書を出してください」
— コメント: 関数型プログラミング言語「Agda」の研修コースを産総研が開催 - スラッシュドット・ジャパン
Posted September 24, 2009 at 9:41pm
将軍「バグのないプログラムを作ってみせよ」
一休「ではバグのない仕様書を出してください」
— コメント: 関数型プログラミング言語「Agda」の研修コースを産総研が開催 - スラッシュドット・ジャパン
