Haskell からたどった combat の方。 http://d.hatena.ne.jp/nushio/ すごいなあ。SuperCon2001の君達も頑張れよ。(無責任

電車を表現する時に、両手を体の横につけて前に出して、手を回す動きをしたくなる。しかし、これはSLをイメージしていないかな。ということは、これは今後廃れていくのかもしれない。 最近子供はどうなんですかね。小さな子供のいる方は是非教えてください。

ラッセルは実はノーベル賞を取っている。なんと文学賞を。ノーベル賞をとったがゆえに偉大なのではない。偉大であるがゆえにノーベル賞をとったのだ。そして、ノーベル賞がラッセルに与えられたが故にラッセルが権威付けられたのではなく、ノーベル賞がラッ…

点数がとても良かったそうでおめでとうと述べたところ、「誰にも点数とか言ってないんだけど」なぜ知っているのかを聞かれた。根拠を調べてみたところ、勝手に僕がそう解釈していただけであった。何点だったかを聞いたところ自己採点の結果を僕だけは(?)教え…

宛先削除、とメモしてあるが何のことか分からない。 あ、二人の人に同じメールの内容を出そうとして、一人は合格していて、一人は落ちていたのに、おめでとうと送ろうとしていることに気がついてあせったことかな。う〜む。何を書きたかったんだろう、謎。思…

まだ行ってない人は早めに。院生には(M2?)精神の診断があるらしい。そういえば入学時のそれにもあった。あれ実はひっかかったんだよね。 いくつかの質問のリストがあって、いくつかに Yes をつけた。 鍵がかけたと分かっているのに不安になって、何回か戻っ…

数学は自然科学でない。なぜならば、数学が扱う対象はこの世の外にある、と述べた。例えば、複素数はこの世の外にある。 あるってなんだよ。

科学は力である。というステートメントを学科の仲間相手に述べたら驚かれた。そう考えたことはなかったらしい。 ニュートン力学の力とはあまり関係がない*1。Powerの型付けをしたときに、Power :: (Interger, Interger) -> Interger) であるほうがいいか、Po…

弱到達不可能基数の定義が出てこなかった。定義が出てこないということは、それが何か分かっていないということだ。悲しい。ラセミ体とメソ体に聞かれて逆に出てきてしまった。変な気がしてその場で調べたら気がついたんだけど。風化してるなあ。

今日の実験は、一周が5分で最後に10分のをとらないといけなかった。微調節を繰り返して正確なところで最後にとればいいのだが、主観確率として、恐らく8割の確率で調節する必要がないと思われたときに次のような提案をした。成功したとしたら5分得をし、失敗…

エスカレーターを歩くことは大変危険です。と、いわれているようなきがする。しかし、そんなに危険だろうか。つまり、エスカレータの進行方向に動いている慣性系から見ると、階段との違いは、乗り降りの瞬間を除けば、段が滑りやすいこと、周囲の景色が過度…