今回の実装例はJava なので、Javaでできる中で話を展開してみる。 ただし、絵空事はあり。2/24 追記: あくまでDbCの一実装として例外のパターンを使っているに過ぎない。 DbCの事前条件として用語を使うのであれば、例外を投げるのが必ずしも正しいとは限ら…