また借りた。もやしもん(2) (イブニングKC)作者: 石川雅之出版社/メーカー: 講談社発売日: 2005/10/21メディア: コミック購入: 14人 クリック: 103回この商品を含むブログ (534件) を見るかもすぞ。でもウチの奥さんは潔癖症なので、読んでくれません。 ちな…

さかいさんに借りた。もやしもん(1) (イブニングKC)作者: 石川雅之出版社/メーカー: 講談社発売日: 2005/05/23メディア: コミック購入: 16人 クリック: 846回この商品を含むブログ (1111件) を見るおもろい。

今来ました（１３：３０ごろ） その前スタバで一人だらだらしてたんですが、BGMの選曲が天竺のスタバと同じことが判明しました。今日の内容はまた後ほど。

です。 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…