雑記 - otherwise

最近はDQ10しかやっていないダメ技術者がちまちまと綴る雑記帳

2010-01-17から1日間の記事一覧

Dminor ってなに?

Dminor (Douglas Purdy) Announcing Dminor 0.1: Semantic Subtyping with an SMT Solver (A Toosht o Whigmaleeries) …… Dminor って何ですか!? ちょっと詳細を追っかけている時間がない( 1/30 のセッション資料作成で手一杯)のですが、モデリング言語…