test

将軍「バグのないプログラムを作ってみせよ」
一休「ではバグのない仕様書を出してください」

— コメント: 関数型プログラミング言語「Agda」の研修コースを産総研が開催 - スラッシュドット・ジャパン