2006-10-26から1日間の記事一覧

五十嵐淳氏、日本IBM科学賞受賞(コンピューター・サイエンス分野、「オブジェクト指向言語のための型理論」)

まだWebには掲載されていないようだが、審査委員長名(江崎玲於奈氏)のメールが配信されたらしいので正式発表だろう。おめでとうございます。追記:プレスリリースは発表されていたらしい。追記2:もう少し早く発表されていれば、あのチュートリアルにも人…

日本ソフトウェア科学会2006年度大会のO堀先生招待講演スライド

いつのまにかWebに高階されていた。http://www.pllab.riec.tohoku.ac.jp/slides/jssstTaikai2006sli.pdf主張の多くに共感。というか、私のいる環境がおかしいのかもしれないが、これに反する主張をあまり聞いたことがない。SML/NJ(の中間言語やデータ表現)…

「創造工学研修」メモ

http://www.eng.tohoku.ac.jp/edu/?menu=ipという研究室体験(?)のような学部一年生の少人数演習があるのだが、何をやったか書いておかないと忘れそうなので、なぜかここにメモしてみる。 第1回 OCamlのインストール、起動方法、int型とfloat型の値と式(四則…

大学工学部 志望者10年で半減 来春大急ぎで組織改変へ

http://headlines.yahoo.co.jp/hl?a=20061025-00000022-maip-sociどこかで聞いたような話だが、僕もどちらかといえば「工学」より「理学」が好きかも…ちなみにカテゴリが「雑談」ばかりになってしまうので、ルールを変更して、アカデミックな関係の話題は「…

JavaScriptがキャッシュされていたせいで悩んだ件

http://i.hatena.ne.jp/idea/12649これにはまったのだが、jsのファイル名を調べて、URLを入力・表示してリロードする、というスキルのあるユーザがどれだけいるのだろう…ちなみに、相変わらずはてなアイディアはてなアイデアの株の仕組みがよくわからない(…