C#で契約による設計はSystem.DiagnosticsネームスペースのDebug.Assertメソッドを使用して行うようだ． 例えば事前条件と事後条件のチェックは以下のように行う． using System.Diagnostics public class Foo { public void Bar(object baz) { //事前条件 De…

今まで日記をmixiで書いてきたが，技術的なネタはmixi内のみで流すのもどうかと思ったので，はてなを使い分ける事にしてみた． 一発目がいきなり技術ネタじゃないのだが，なるほどなあと思ったのがこれ． ITスキルをボランティアに活用できたら：一般システ…