元から申請締め切りの時期、かつ、若手(S)と新学術領域研究（研究課題提案型）が募集キャンセルされたこともあって、科研費の話題が（通常よりは）目立つようですので、以前にtwitterのほうに書いた（ごく素朴な）考えを転載します。（前回のエントリもご参…

ちょっと遅いですが、 http://www.timeshighereducation.co.uk/WorldUniversityRankings.html (目次) http://www.timeshighereducation.co.uk/Rankings2009-Top200.html (総合) http://www.timeshighereducation.co.uk/Rankings2009-Top50-IT.html (工学 & I…

以前にも参照させていただきましたが、「私と科研費」第1回（小林 誠・日本学術振興会・理事）より： 明確な研究課題の設定に至る前の試行的な研究や、経常的なデータの蓄積を必要とする研究、あるいは上述のような理論研究など、比較的少額でもよいが安定的…

ある理由で「論理学」（野矢茂樹著）*1を（時間的余裕がなかったので極めて速く）読んだ／眺めたのですが、その161ページに なお，流布した誤解に，「あるクレタ人曰く，『クレタ人はみんな嘘つきだ』，この発言は矛盾している」というものがある．しかし，…

昨日の夜、どこからともなく「くわっ くわっ くわっ くわっ」という声がするので（数分以上）、寝室で寝ている次男かと思ったのですが、その寝室から妻が出てきて「何の音？」と言います。外に鳥でもいるのかと思ったのですが、家の中から聞こえてきます。す…

が近づいています。日本で開かれている数少ない（唯一の？）関数型・論理型言語に関する国際会議の第10回で、場所は仙台です（来年4月）。よろしくお願いします。http://www.kb.ecei.tohoku.ac.jp/flops2010/wiki/index.php?CallForPapers

ができたそうです。部外者が見ても（むしろ部外者のほうが？）カリキュラムなどがわかって面白いかもしれません。http://www.is.s.u-tokyo.ac.jp/pamph/ （一括ダウンロードはhttp://www.is.s.u-tokyo.ac.jp/pamph/pdf/utokyo_ISguide2009.pdf）

が公開されたようです。プログラミングコンテストの結果発表の画像もあります。冒頭のNASA云々、native speakerでもジョークが外れて寒くなることがあるんですね…（え？）http://www.vimeo.com/album/126865 (via http://www.haskell.org/pipermail/haskell-…

恥ずかしながら最近になって気がついたのですが、いわゆる形式手法(formal method)に関する「日経エレクトロニクス」2005年12月19日号の特集「ソフトウエアは硬い」がオンラインで無料公開されています。http://techon.nikkeibp.co.jp/article/FEATURE/20090…