先日うちのテレビが新しくなって、あまりの高機能ぶりに仰天したのだが、今日はビデオデッキが新しくなった。ハードディスクが入ってて、録画と再生が同時にできたり、DVD を焼いたりもできるらしい（でも何故かデジタル放送には対応してない）。ただ普段ビ…

あのね かも 定義 定義。 あのね なの 仕事 する かも。 あのね でしょ？ あのね あのね んっとね。あのね あのね わかる？。あのね あのね あのね でも。あのね でも あのね わかる？ あのね んっとね んっとね。。。なの。わかる？。なの。なの。かも。 あ…

今日は 8 月締め切りの課題を全て終わらせ、院試対策も一通り終えて、ついでに 10kg ほど減量する予定でしたが、雨だったので全部やめました。

離散数学を復習してみた。実にチンプンカンプン（(C)I先生）。これ、まさか当時は理解できていたのだろうか。学力低下か。ゆとり教育の弊害か。実験コマがダミーだったせいか。

暑すぎです。歩いてたら意識レベルが低下してきて、なんか渡っている歩道橋が上下に揺れているような錯覚に陥ったり。...錯覚ですよね？

中学の同窓会に行ってきた。ほとんど顔はわかるのだけれど、意外と名前が出て来ない。ぱっと見ですぐわかったのは 5 割くらいだったような。中学以来の人はみんな結構変わっているかなと思っていたが、そうでもなかった。どうも理系に進んだ人が多いらしい。…

割と有名なネタらしいが、即座に反論できなくて悲しくなった。 [命題] 碁石がいくつか入った袋があるとき、その中の碁石はどれも同じ色である。 [証明] 碁石の個数 n に関する帰納法。n=1 なら明らか。そうでなくて n=k の場合、袋の中から k-1 個を取り出す…

また 3 日間 外に出ていないぞ...

昨日というか今日の深夜、えらく眠い中でレポートを書いていて、とりあえず 1 問終わったから残りは明日にするべーということで emacs を閉じて、なんか知らんがバックアップを取らなきゃなぁとか思って cp したら妙なプロンプトが出て、なんだろなーと思っ…

夏だなぁ。そろそろ地下が閉鎖されるらしいので、学科ノートを救出するために学校へ。真面目に過去のノートを読み返していたはずなのに、いつの間にかコード圧縮の罠に落ちていた。誰か最短コードソルバーを作ってくれないかなぁ。

歯茎の痛みに始まり、通い始めてもう 6 回目くらいだが、行く度に「もっとちゃんと歯磨きしてくださいねー」と言われる。結構磨いているつもりなんだけどなぁ。修行が足りないか...。

充足可能な論理式の否定は充足不能か。 ヒント:P

人が少ない。勉強するならいまのうち。

引きこもりを解消しようと大学に来たが、結局地下にいるので引きこもりには違いなかった。世の中は巧く出来ている。 メモ：3-4 駅間 20 分、4-5 駅間 15 分。

これのことだったのかどうか判りませんが、念のため。不快に思われた方には申し訳ありません。 >

階段でノコノコ踏みまくって無限 1up するやつが意外と簡単にできることが判明。

久しぶりに外に出てみたら暑くなかった。先日、普段外に出ない人が急に外へ出ると大変なことになるヨ、最終警告だヨ、的なことをテレビが言っていたので用心しようと思ったが、杞憂だった。とりあえず 1 時間くらいの予定だったはずが、途中で迷った。大通り…

8 月だってさ...。

上の記事を書くために仕様書を調べていて、ふーんと思ったことをメモしておく。 unsigned int は int unsigned とも書けるし、typedef int hoge は int typedef hoge とも書ける。C はフランス語圏の人にも優しい言語のようだ。しかし int hoge typedef とは…

C 言語だと、変数の初期化子の中で当該の変数が見える [C99*1, 6.2.1]。たとえば、どっかのブロックの中で int x = x + 1;と書くと、右辺の x は、たった今宣言したばかりの（そして未初期化の）x を指している。未初期化の自動変数の値は不定なので、この仕…