2011-07-25から1日間の記事一覧
その0:予定と前提 (この記事) その1:時間を含まない関係 その2:時間軸を設定する Alloyで僕が最初に書いてみたのはモノイドの定義です。 『抽象によるソフトウェア設計』とAlloy、第一印象報告 群、環、体のようなお決まりの代数構造も、定義を直訳すれ…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
その0:予定と前提 (この記事) その1:時間を含まない関係 その2:時間軸を設定する Alloyで僕が最初に書いてみたのはモノイドの定義です。 『抽象によるソフトウェア設計』とAlloy、第一印象報告 群、環、体のようなお決まりの代数構造も、定義を直訳すれ…