ぴらぴら週記

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

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

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

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

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

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

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

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

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

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

もらいました。

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

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

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