非常に非常に長い証明について。もちろん、後日。

試験。眠すぎて結局試験勉強はほとんどできていない。しかし、まぁその割にはできたかも。 物理層のところは本当にわからない。でも過去問やっておけばカバーできた。ミスした。 中間試験はこれにて終了。今回はハードでした。というか、もっと最初からやっ…

ＴＣＰに関するお話だが、眠すぎ。ほとんど寝てしまう。聞いておきたかったのだが。 午後から前回の問題の検証。問題なく終了。しかし、次の課題がむずかしいということで話題は持ちきりに。 家に帰って、すぐに寝る。

試験。寝ていないため少し頭が回らない。気を抜くと寝てしまいそうになる。 問題は意外な問題が出るが、逆に易しくなったような。大きなミスさえしなければいい点がもらえると思う。

「計算の理論」の勉強を始めるが、思ったように証明問題が解けない。最後は紙に書きまくって覚える。 しかし、そのせいで徹夜する羽目に・・・。 やっぱり、数学って暗記科目だと思う。なお、ここ数日分の「計算の理論」の内容を詳しく更新し直しておいた。 …

アプリケーション層。とはいえ、主にＵＮＩＸ関連のアプリケーションの紹介。とくにこれといった内容はないが、RPCに関しての説明があり、これに関するプログラムが出る。 RPCはrpcgenというプログラムでスタブを作ってくれるらしい。確かに楽なんだけれど・…

ＩＰのヘッダの項目の説明。例えばＴＴＬとか、ＴＯＳなど。あと、マルチキャストについて。このあたりは前の大学でもやっているので、まぁ問題ない。 この日は珍しく、午後からはなし。

研究室移動の日。授業を終わりで移動。移動後、研究室のレイアウトをどうするかで議論。結局、今しかレイアウトをみなおす機会はないだろうということで、みんなで夜の９時過ぎまで延々とレイアウトの変更。ついでにフロアが汚れていたので、掃除機をかける…

らしいが、すでに疲れていたため、長居できず。でもタクマくんが早くリタイアしてくれたので、さっさと帰ることができた。 このあと、EUROを見ようと思ったが、限界。

仮配属の研究室最後の日。しかし、引っ越しはすでに始まっていて、あわただしい。私の席も次の人の荷物がおかれてしまう。 タネ先生のネットワーク本を読む。難しくないが、量が多い。

仮配属の研究室とも月曜日でお別れ、ということで、仮配属メンバーでお別れ会をしました。とはいえ、別に普通の飲み会。 ただの酒だとおもしろくないので、すこし変わったビールばかりを集めてみんなで飲んでみた。ベルギービールのアレキサンダー・クラシッ…

です。今期はネットワークばかり。試験は少しのびたけど、かわりにRPCのプログラミング。まぁ、大丈夫だとは思うが。

タネンバウム先生ことタネ先生の「コンピュータネットワーク」(ISBN:4822221067)が届く。早速読んでみるが、日本語としては意味がわかるけど、前後の文章とのつながりが見えないのがある。やっぱり、工学書の翻訳って直訳口調が増えてしまうのかなぁと思った…

課題を終わらせておく。IP層の実装なんだけど、まだルータ経由までやらなくていいので、楽。

１−２期で全部とって、集中講義で１科目とれば、いわゆる通常の授業は全部とったことになる。 というわけで、いいのがないか探していたが、「世界経済」授業をとることにした。こういう文系の授業をとるのは久しぶりになる。 世界経済といえば、やはりグロー…

RE-困難とは、どんな∀Ｂ∈ＲＥ（B≦mA）であることである。つまり、どんなＲＥよりも難しい集合のクラスであり、RE-完全とは、さらにその集合がＲＥに属していればよい。

計算可能な関数ｈが存在して∀ｘ∈Σ^*[x∈A⇔h(x)∈B]である。このときA≦mBと書く。 また、Ａ≡mＢとはA≦mB∧B≦mAである。 これは、難しさを示す順序だと考えていい。

ついにRE-完全およびRE-困難のお話に進む。かなり最後の方は駆け足になったような。（ＲＥとは枚挙可能集合のこと） 計算の難しさについて考える。

ギリシアvsチェコ。あのコッリーナ審判の最後の試合ということでも注目していた。初めはチェコが押し気味。ギリシアが守るという展開だったが、試合が膠着するにつれてギリシアペースに。延長にはいるとチェコの足が止まり始め、最後は綺麗にヘディングで決…

昼寝して、大学に行き、筋トレをしたあと、中間棟に顔を出すと、ネットワークソフトウェア特論の課題が出題されているという。難しいらしいといわれ、少し焦る。というのも来週は中間試験であり、非常にまずい時期が締め切りになっているからである。 しかた…

トランスポート層のお話。TCPや輻輳制御、フロー制御など、このあたりも学部の時にやっていたので、まぁ大丈夫なところかな？