2005-09-01 [長年日記]
λ. 衆院選
すっかり忘れてたけど、そういやもうすぐ選挙だな。正直なところ小泉政権には不満も多いけど、消去法で選ぶと自民党しか残らない予感。
λ. A simple equational calculator
たまたま見つけて遊び中。
コメントに「Any variables mentioned in a replacement must have been mentioned in a pattern already matched. So for a law "p = r <= r1 = p1 & ... & rn = pn" Any variable in ri must be mentioned somewhere in p, p1, ... pi-1. Any variable in r must be mentioned somewhere in p, p1, ... pn.」と書いてあるんだけど、この条件が良く分からなかった。
あと、本当に簡単な等式しか証明できないみたいで残念。例えば以下のような規則から「pair f g . h = pair (f . h) (g . h)」という等式を証明することすら出来ないみたい。
pair/pi1: pi1 . pair f g = f pair/pi2: pi2 . pair f g = g univ: h = pair f g <= pi1 . h = f & pi2 . h = g
新党大地は・・・? (違
だって、たしか私の選挙区に新党大地の候補者いなかったし(笑
> たしか私の選挙区に新党大地の候補者いなかったし<br>北海道民じゃないとバレちゃう気が・・・．
バレると何か問題があるんだろうか……<br>ってか、そんなyaizawaさんの選挙区には新党大地の候補者が(ry
実家にいるとき、新党ムネオの演説が煩かったですよー。<br>前回の選挙で割と票が伸びてたから、意外と侮れなかったりします。特に道東辺りは彼に仕事を貰った人も数知れず。<br>…あと10ヶ月誕生日が早ければっ(悔
ヒーローの私生活は謎に満ちているんですよ．(w<br>うちの選挙区は南関東ブロックです (かなり普通な答え)．
> yuragiさん<br>今朝の毎日新聞にも「大地は自民支持層の一部と無党派層に浸透し、一議席に届く勢い」とか書いてありました。鈴木宗男すげえ!<br>それにしても公約の「北海道のために頑張ります」って、すごい開き直りですね。それなら国政選挙じゃなくて地方選挙に立候補しろと。<br><br>> yaizawaさん<br>なんだ、やっぱ比例区は一緒ですか。<br>って、謎なままにしといた方が良かったかw