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