7月まとめ

August 2nd, 2010

6月末にいいことを思いついたつもりで7月いっぱい遊んでいたのだが、よく考えると最後の結論が間違いなので、途中でどう頑張ってもどこかで間違えてしまう仕掛けになっていた。たくさん遊べてよかった。最後の結論を弱めて、方法も泥くさいものに変更。めどは付いているので労働する。

Coqを覚え始めた。まだ自分でtacticを定義するのをやっていない。

やりかけのものが増えてきたので、活動を大幅に絞っている。

起きています

June 13th, 2010

また論文を書いています。先輩の忠告に従って、書けるものからどんどん書くことにしました。時間を食う作業を始めたので、いろいろと不義理をしています。

寝ています

May 11th, 2010

時差ぼけをなおそうとおもって、思いっきり疲れてから午後7時に寝たら、そのまま翌日の午後5時まで寝ていてしまって、あまりうまくいっていません。

Dakar

April 27th, 2010

ごちゃごちゃしていて何が撮りたいのかよくわからない写真。

空港で、入国審査前に、白衣を着た謎のおじさんが、謎の注射針をたくさん机の上に揃えて、yellow cardを要求してきたのには驚いた。で、新しいyellow cardを頼みもしないのに発行してくれた。うーみゅ? でもなんか、入国審査の係官ともども仲間かもしれないし、そうではないかもしれないし、めんどくさいことになるとめんどうなので、言われるがままになってしまった。

イスタンブール経由でダカールに行ってきます

April 22nd, 2010

結局パリ経由でも行けたみたいだけど。でも何かの機会にイスタンブールに行きたいと思っていたのでいいです。

寝たふりをしています

April 10th, 2010

16日の金曜日までは、寝たふりをしているので、あまり反応できません。うむ。

博士課程ですることの候補

April 3rd, 2010
  • 修論の続きを、他の人がついてくるまで、やり続ける。誰もついてこなかったら、自分で実装するところまで続けるであろう。これは、やればできることであるから、最低ラインである。世間の風潮がどうあれ、惑わず進める。
  • 機械学習に攻め込む。美しいことができるか、それは謎である。
  • 人に会うたびに、日本に飽きたと言い続けて、身動きをとるチャンスを呼ぶ。
  • 広く使われるソフトウェアを実装する。
  • 決定不能の会を育てて誰かに引き継ぐ。

研究科長賞

April 2nd, 2010

もらいました。

副賞はルーペでした。もっとよく見なさいということでしょうか。

うろうろ

April 1st, 2010

本郷にいたり新橋にいたり神保町にいたり溜池にいたり品川にいたり東京駅にいたり、という感じになってしまっています。これは、どこにいても読みかけのものと書きかけのものを装備しておかないと、なにも進まないなぁ。

とりあえず続く

March 28th, 2010

間違えて昔の分を消しちゃったけど、まぁいいや。そのうち復活させます。