ます、Code Contracts for .NET extension からダウンロード、インストールします。 インストール後、%PROGRAMFILES%\Microsoft\Contracts\Samples に Samples.zip がありますので解凍します。 展開後、幾つかのサンプルがありますが今回は InterfaceContrac…