What is it, naokirin?

2012-04-02から1日間の記事一覧

任意の自然数a,b,cについてa*a+b*b=c*cのときにa,b,cすべてが奇数ではないことを証明してみた

Coqネタ。挑戦してみていろいろ勉強になった。試行錯誤はやっぱり勉強になる。勉強中はバックトラックでもタダでは起きない(キリッ 時間かかり過ぎですが。今回はタイトル通り、「任意の自然数a, b, cについて a*a+b*b=c*c のとき、a, b, cすべてが奇数ではな…

XP一日体験ワークショップに参加してきたったー

さんかしてきたったー・・・で終わったらだめか。 XP一日体験ワークショップに参加してきました。今回はTDD、ペアプログラミング、CIによる受け入れテストがメインでした。一応参加しての感想をば。 ソロドロー&ペアドロー(泣 一人でと、二人で作業をやる…