2006-04-05から1日間の記事一覧
メイヤー流契約に限らず、一般のホーア式もプログラムコードに翻訳する方法を考えてみました。特に、全称限量子(「すべての…に関して…」を意味する)の扱いを工夫してみます。(これは、「AspectJによる契約駆動開発」に関連したエントリーです。)明示的な…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
メイヤー流契約に限らず、一般のホーア式もプログラムコードに翻訳する方法を考えてみました。特に、全称限量子(「すべての…に関して…」を意味する)の扱いを工夫してみます。(これは、「AspectJによる契約駆動開発」に関連したエントリーです。)明示的な…