2014-04-01から1ヶ月間の記事一覧
前回の続きです。正確には、前回の続きの後の檜山さんのブログ記事に対する更なる「合いの手」です。 Alloyで直和を考える - たけをの日記@天竺から帰ってきたよ 個体と世界の関係:圏から論理半環を絞り出す - 檜山正幸のキマイラ飼育記 一連の記事を読ん…
前回の記事に檜山さんが反応してくださいまして。いやレスつけにくい記事ですいません。 クリーニ代数と圏論 - 檜山正幸のキマイラ飼育記 せっかくなので、檜山さんの記事をまんまAlloyに翻訳してみよう…と思ったのですが*1、実は大きな問題があって。Alloy…
久々すぎて、はてなの書き方を忘れてしまいました。さて(脈絡なし): テスト付きクリーネ代数とその使い方 - 檜山正幸のキマイラ飼育記 テスト付きクリーネ代数の圏論的な定式化 - 檜山正幸のキマイラ飼育記 上記の記事を今更読んだのですが*1、そういや私…