2011-11-18から1日間の記事一覧
Alloyでは、タプルを矢印記号「->」で書くんですよね。最初は「なにこれ?」と思いました。例えば、aとbのタプル(この場合はペア)である (a, b) を、a->b と書くのです。集合の直積も同じ記法で、「集合Aと集合Bの直積」を A->B で表します*1。最初は違和…
長男:「ちょっと小遣い足りないから、おとうさん、肩揉んであげるよ」父親:「はっ、どういうこと?」長男:「肩揉んであげるからお金ちょうだい」父親:「君はマッサージへたでしょ、ほんとに気持よかったらお金出してもいいけど」長男:「うまかったらい…