2007-03-09から1日間の記事一覧

例のやつ

何度も書いてる気がしますが、おしりが痛いのです。ぢじゃなくてですね。腫れ物ができて痛いので今日は大学に行くのもいやになって寝てた、というと、みんな何を大げさな、という感じの目で俺を見るのですが、つらいんです。椅子にすわれない。そもそも現代…

限量子を含むような数式が正しいかどうかを判定する話

そういえば一月以上前に授業で聞いて、面白かったので書こうと思ったんだった。なお、この話にウソが含まれていた場合は、私がいかにまじめに授業を聞いていないかを証明する材料になります。もう成績出てるから関係ない。(開き直った。) Presburger formula…