bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

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で圏論」の続きとか書きかけたまま放置プレイ中。

Alloy4 rc11

完全にalloyな人向けのメモですが、リリースされてます。自分はまだ試せてませんけど。 変更内容はこんな感じ。結構メジャーチェンジ。(以下alloy-discuss のメーリングリストより引用) 1. The Evaluator can now name atoms and skolems. (yay! thank you…

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。