トップ «前の日記(2005-08-29) 最新 次の日記(2005-09-02)» 月表示 編集

日々の流転


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

λ. SLACS2005

行こうと思ってたけど、なんだか面倒になってしまって行かなかった。なんだか最近やる気なさすぎだな。

本日のツッコミ(全7件) [ツッコミを入れる]
ψ yaizawa (2005-09-02 18:29)

新党大地は・・・? (違

ψ さかい (2005-09-02 21:53)

だって、たしか私の選挙区に新党大地の候補者いなかったし(笑

ψ yaizawa (2005-09-03 02:58)

> たしか私の選挙区に新党大地の候補者いなかったし<br>北海道民じゃないとバレちゃう気が・・・.

ψ さかい (2005-09-04 17:46)

バレると何か問題があるんだろうか……<br>ってか、そんなyaizawaさんの選挙区には新党大地の候補者が(ry

ψ yuragi (2005-09-04 22:06)

実家にいるとき、新党ムネオの演説が煩かったですよー。<br>前回の選挙で割と票が伸びてたから、意外と侮れなかったりします。特に道東辺りは彼に仕事を貰った人も数知れず。<br>…あと10ヶ月誕生日が早ければっ(悔

ψ yaizawa (2005-09-04 23:36)

ヒーローの私生活は謎に満ちているんですよ.(w<br>うちの選挙区は南関東ブロックです (かなり普通な答え).

ψ さかい (2005-09-05 16:34)

> yuragiさん<br>今朝の毎日新聞にも「大地は自民支持層の一部と無党派層に浸透し、一議席に届く勢い」とか書いてありました。鈴木宗男すげえ!<br>それにしても公約の「北海道のために頑張ります」って、すごい開き直りですね。それなら国政選挙じゃなくて地方選挙に立候補しろと。<br><br>> yaizawaさん<br>なんだ、やっぱ比例区は一緒ですか。<br>って、謎なままにしといた方が良かったかw