22:06diaryただいま期末試験のまっただ中ですよ。必死にその場しのぎ(?)の勉強をしております。毎年うちの学科は25人位応募、15~20人くらい合格しているのですが、今年は15人応募。これはっ!と思うかもしれませんが、大学院入試なんていうのは先方のさじ加減一つなので(だいたい募集人数が「若干名」だから)、気は抜けません。合格したら学年が戻るなぁ・・・。現役合格した同期と同じ学年になるなぁ。学部生活は1年減るけれど、「大学で遊ぶ」なんてことをできていない(忙しすぎてムリ!)私にとっては、そんなことは関係ない。合格してM(Master)1になると、学部中退なんだよなぁ。そこだけはちょっと悲しい。我らが友人グループは皆飛び級試験受けるからよいでしょう(なにが?)某氏>みてるかなぁ?どんなお祭りでも、やはりカレー関係はチェックしているのね。18:30diaryハードディスクを購入。Mac/Win間でデータを共有しやすいようにLAN対応ハードディスクを購入。・・・モノによってはハードディスクとは認識してくれないのね。USBやらFireWireとかとEthernetではやはりちがうのかなぁ。同じようにはできないのかなぁ・・・。ソフトウェアの認識の問題だけだとおもうんだけど。名前の制限厳しすぎ!?Macから転送したデータがたびたび名前違反ではじかれて、作業時間が意外とかかってしまった・・・。これから使いこなせるようになんとかしていきましょう。やむを得ず通常の外付けハードディスクを買い足す事はさけたいなぁ。00:44diaryビールを飲んで、ちょっとクラクラ(笑)。2敗1分けと予測していたのだが、どうやら修正しなければならないようですねぇ。期待していなかったが、それでも至極残念です。日本にはもっといい選手がいると思うけどね。Core5でも導入しましょかね、と思ったのですが・・・。ハードディスク容量が微妙。60GB搭載のノートパソコンのはずなのですが、残り15GB。私のお気に入りにゲーム(しかもシリーズ化されている。全シリーズインストール済み。)が2GBを超えていたことにプチショック。導入前に外付けハードディスクを購入し、ゲーム類をすべて外付けに吸い出そう、ということにしました。Core5導入延期・・・。明日は情報論理学の試験。0章:試験範囲としては明示されてないけど、日本語を論理式に、論理式を日本語にできればよいでしょう。1章:リゾルベントとったらいいんだろっ!2章:前半は公理系とMPと演繹定理(と三段論法)をどうにか組み合わせれば解ける、ということはわかった。後半の「健全性と完全性」は・・・何をすればよいのかさっぱりわからん。p(a)だけ書かれても、恒真かどうかなんて、どう判定すればいいの?テキストだと、適当に解釈を設定せよ、だけど・・・。(上記の例は、たぶん恒真ではないが充足可能)むぅ・・・。23:46diaryやっとクリアしました。