このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2011-11-18から1日間の記事一覧

Alloyの矢印記法と、モノイド閉圏としての関係圏

Alloyでは、タプルを矢印記号「->」で書くんですよね。最初は「なにこれ?」と思いました。例えば、aとbのタプル(この場合はペア)である (a, b) を、a->b と書くのです。集合の直積も同じ記法で、「集合Aと集合Bの直積」を A->B で表します*1。最初は違和…

これは対価に値する

長男:「ちょっと小遣い足りないから、おとうさん、肩揉んであげるよ」父親:「はっ、どういうこと?」長男:「肩揉んであげるからお金ちょうだい」父親:「君はマッサージへたでしょ、ほんとに気持よかったらお金出してもいいけど」長男:「うまかったらい…