前の大学の「情報学基礎Ａ」のレジュメを眺める。すっかり忘れていたが、今まさに授業でやっているようなことがかかれている。 というか、前の大学のやっている内容の方がレベルは明らかに高い。内容も濃い。しかし、結局のところはすっかり忘れてしまった。…

がある。うーん。どうしようかなぁ。

まずcut除去定理に関する多少の補足の後、新しい分野である述語論理のお話に。述語論理はいままでの命題論理よりもさらに表現力を加えたものである。 まず述語論理で使われる記号の説明。対象変数、対称定数、述語記号、量化記号の定義について。 そして、全…

朝は雨が弱かったが、昼頃から強くなる。昼過ぎの研究室紹介後には大学が真っ白な雲に覆われる。

アンテナにいれている町山さんの本。一般的に難解といわれている映画について、その周辺の情報からどういう意図でそういうシーンができたのかということを解説する。 まず、２００１年宇宙の旅について。これは当初はすごくわかりやすい映画だった。しかしキ…

ゆっくり起きて、CDを買いに行くが、いいのがない。大学に来て、ちょっと勉強して、F1を見た。ようやくホンダ勢が頑張ってきてくれているので見る気にはなる。でもフェラーリ強すぎ。

研究室の同期の子と延々と話をする。数理論理学の話をしているうちに、「論理的に話す」ということはいったいどういうことなのだろうと考える。 数理論理学の授業の第一回目にあったように、論理学において各命題が正しいかどうかということについては、何ら…

M2の人と、おかいもの。仮配属の研究室では商店が経営されていて、大量にジュースや食料、お菓子、アイスなどを購入する。 私も家用の食料を購入。

Runを３０分。軽め。仲間が今日はいなくてさみしい。

Rio chiba(http://www.rioaudio.jp/products/rioCHIBA128.html)を買う。９８００円（税、送料抜）安。ＦＭチューナーとSDメモリスロットがついている。十分。長いときはRioVoltがあるから不要だし。トレーニングの時だけでいいから。 音を聞く。意外といい。

演習。どうも前回の試験結果が悪く、演習を増やしたということだ。で、内容だが、まだまだ文脈自由文法についてなれないせいかうまく解けない。構文木はおもしろい。 で、気になるので、中間試験結果を聞く。やったぁ満点！！幸先いいねぇ。

試験。まぁなんとかできたか、できなかったか。最後のやや高度という問題は最後の２の問題が解けず。手がかりも浮かばず。大丈夫か。

文脈自由文法の第２回。まずは、定義の復習。次にその定義の中に含まれる生成規則について。 この文脈自由文法とはこの生成規則を使って、非終端記号をなくし、終端記号に変換する。この過程によって最終的に表される言語が、文脈自由言語である。 次に、こ…

テスト勉強の最後の追い込み。午前４時過ぎになる。

現実逃避で読んでいた一冊。終戦時の宰相であった鈴木貫太郎と昭和天皇に関する伝記。このような伝記はどうしても今の私たちのフィルターを通してしまうため、天皇が平和主義者であったとか、軍部はこれだけ酷かったとか、そういう「教育的配慮」が成される…

寝坊です。夜遅くまで調子乗りすぎて将棋やっていたせいだ。でも、なんとこの日は、授業が休講に。やったぁ。よかった。

将棋やりました。負けました。難しいねぇ。 ＼(^▽^)／〜 p.n. huhuhu

リーマンっていう言い方ってなんかどうも・・・。たしかになぁ。

にツーリングの自慢。彼は休み期間中、遠距離にいる彼女さんの相手だったらしい。お疲れさま。この大学じゃ、遠距離だよね。普通。 大変だけど、見かけによらず（ごめん）、まじめだなぁと感心。 話が盛り上がりすぎて、課題のじゃまをしてしまう。すいませ…

一日中、MLとの格闘の日々。ようやくわかってきたか。

はくさんひめじんじゃと読む。大学の隣町にある。ちょっと走りたかったので、以前見つけた白山の霊水を汲みにいく。この日は曇りだったが、山間部は雨らしく、神社付近も雨。参道をのぼり、お賽銭を入れて拝む。 恒例の、おみくじを引くと末吉で、なにか障害…

奈良の方では、すでに仮配属が終わり本配属がされているという。こちらはまだなんだよなぁ。でも、個人的にはこちらの方がいいかも。行きたい研究室がいくつかあるし、ゆっくり選べそうだから。 というか、奈良の方は一つの研究室あたりのメンバーがすごく多…

雨が激しい。昨日から風が激しく、バイクはやや危険な状態。家でおとなしくしようとも思ったが、ゆっくりしていられない。MLをやってしまわないと。 で、過去問を入手したが、難しい。かなりの勉強量が必要かも・・・。Prologメンバーのことを笑っていられな…

Prologに撃沈している人たちが多数。かなり大変みたい。研究室はＭ１のメンバーだらけ。

ツーリングレポートを書いたり、写真をアップロードしたり。ついにWebアルバムを使ってみた。場所は、ヤフーにする。*1 一つ一つコメントをつけてアップしたりするのは大変。少し写真を加工しようとも考えたが、さすがにそこまでやる気なし。 *1:アドレスはh…

昨日に引き続き、いい天気だったので今度は能登半島一周へ。 朝９時頃に出発し、鉄腕DASHのソーラーカーなみに海岸線をひたすら走った。 金沢市北部からでている能登有料道路を北に。途中の料金所で大渋滞。しかしバイクなのですり抜ける。料金所を越えると…

研究室のベッドから起きあがるが、まだ完全に回復できない。朝の６時頃だったので、家に帰ってさらに寝る。 昼前に起きる。天気がいいので、予定通りツーリングに。今日は白山の麓を通って福井県の勝山市へいくことにした。 手取り側沿いに国道を南下、天気…