2012-04-02から1日間の記事一覧
Coqネタ。挑戦してみていろいろ勉強になった。試行錯誤はやっぱり勉強になる。勉強中はバックトラックでもタダでは起きない(キリッ 時間かかり過ぎですが。今回はタイトル通り、「任意の自然数a, b, cについて a*a+b*b=c*c のとき、a, b, cすべてが奇数ではな…
さんかしてきたったー・・・で終わったらだめか。 XP一日体験ワークショップに参加してきました。今回はTDD、ペアプログラミング、CIによる受け入れテストがメインでした。一応参加しての感想をば。 ソロドロー&ペアドロー(泣 一人でと、二人で作業をやる…