2007-09-04から1日間の記事一覧
です。 2007-9-9(日)(10:00-17:00) 東京都 (びぎねっと トレーニングルーム)"Categories, Types and Structures" Section 2.3.3 の Excercise より交通アクセス: http://begi.net/modules/xfsection/article.php?articleid=1
既に、帰国して以降ここの更新が滞っているのですが、ただ今期末進行により、なかなかはてなを更新・閲覧する時間がありません。今月中は少し静かになります。多分。 「alloyで圏論」の続きとか書きかけたまま放置プレイ中。
完全にalloyな人向けのメモですが、リリースされてます。自分はまだ試せてませんけど。 変更内容はこんな感じ。結構メジャーチェンジ。(以下alloy-discuss のメーリングリストより引用) 1. The Evaluator can now name atoms and skolems. (yay! thank you…