来週まで学部が計画停電していて、仕事のメールとか何も来ないので平和です。

学科も合格しました。何も間違えなかったと思います。たぶん。でも写真がかなりいまいち。;_;安全協会の人が「無事故無違反だとゴールド表彰されて、免許の有効期限も５年に延長されますが、会員であることが前提です」とか言ってましたが、そういう詐欺まが…

検定合格しました。なんか制限速度-5kmぐらいを目安に走行していたら「遅いよー。ここ制限速度いくつ？」とか検定の最中に２回ぐらい言われてしまいました。しかも「Sumiiくんはピッタリで合格」とかいうので70点ぎりぎりだったのかと思ったら、その後で「他…

なんか「SumiiとPierceの手法を改良」云々の論文×２をよく読んでみたら、一つはすでに僕の論文の一部に書いてあることを詳しく書き直しただけで（1ページもなかった内容を12ページに増殖）、もう一つは要旨やイントロの1/3ぐらいが一字一句まで僕の論文と同…

ようやくキーワードが書けるようになったので、とりあえず「関数型言語」を作ったり「再帰」を上書きしたりしてみた。

MinCamlのページからリンクされているのにプログラミング言語の話題が（あまり）ないのはイマイチなので、突発プチ・チュートリアル開始。純粋なλ計算で再帰関数を表すのに使う λf.(λg.f(g g)) (λg.f(g g))というλ式があります（これだと型があったりcall-by…

（うちの大学では）アメリカとかヨーロッパなら３級６号俸からビジネスクラスＯＫとの回答が。私はまだアウトですし、そもそもそんなお金はありませんが。

なんか「SumiiとPierceの手法を改良して…」みたいな論文の査読が続けて来たのですが、どちらも「SumiiとPierceの手法」の本質がいまいち通じていない感じ。僕の書き方が悪かったのか、しょせんその程度の研究なのか…？

http://www.nec.co.jp/biglobepress/press/2005/08/050801-1.htmlとhttp://www.connexionbyboeing.com/index.cfm?p=cbb.pricing&l=ja.JP&ec=を比較して前者のメリットがわからないのですが、どういう商売なのでしょうか。Biglobe内部専用サービスが必要な場…