2009-01-01から1ヶ月間の記事一覧

研究者名クイズ

(より混乱させるため、出題形式を変更)問:「グレッグ・モリセット」の正しいスペルはどれか選べ。(カンニング禁止) Greg Moriset Greg Morriset Greg Morisset Greg Morisett Greg Morrisset Greg Morrisett Greg Morissett Greg Morrissett Cf. http:/…

POPL 2009のパネルディスカッション"Grand Challenges in Programming Languages"

「生産性についての議論は非生産的である」という至言があるそうですし、すでに某所で「こんなパネルをやっているようでは駄目」という(完全に正当な)考察もあったのですが、http://plgrand.blogspot.com/ (強調は筆者による) Xavier LeroyA personal an…

私と科研費

http://www.jsps.go.jp/j-grantsinaid/29_essay/index.html 理論の場合、研究のフェーズは変化が速いし、つねに明確な研究課題を設定して研究しているわけでもない。私のように興味が長続きしない者にとっては、2〜3年の研究計画を書けと言われると悩んで…

POPL 2009 & 同時開催の学会報告リンク集(を目指すエントリ)

今年は自分が行けなかったので。他にもあったら「ぜひ」教えてください。(_ _)http://www.kmonos.net/wlog/93.html#_2310090126 (See also: http://www.kmonos.net/twlog/view/20090121)http://d.hatena.ne.jp/wpw/20090124/1232804145 (See also: http://d.…

日本ソフトウェア科学会チュートリアル&大学基礎講座3件

PPLのメーリングリスト経由。http://www.jssst.or.jp/plan/os-vir-20090316.html オペレーティングシステムの仮想化技術 日時:2009年3月16日(月)〜17日(火) 10:30〜16:45 (16日は10:00受付開始。2日間) 場所:学術総合センター (東京都千代田区一ツ橋2-1-…

今年度の創造工学研修

http://www.eng.tohoku.ac.jp/edu/?menu=ip我々の研究室では今年度も学生さん3人・教員1人・TAさん1人でOCamlプログラミング入門をやりました。今年度は さめがめ風ゲーム 音ゲー風ゲーム 3D風表示迷路 の3つができました。一時間×十数回程度かつプログラミ…

科研成果報告会

http://www.infoplosion.nii.ac.jp/info-plosion/html/houkokukai-h20/自分以外の研究分担者・連携者・協力者・代表者が全員POPL出張などで都合がつかず、自分の発表30分前到着・30分後出発という強行日帰りスケジュールで*1一分プレゼン&ポスター発表&デ…

論文2本同時執筆

IPSJ-PRO以来&今回は英文。年末年始のダンピング労働の結果です。さすがに疲れたので今日は休暇をいただいて、子供二人&家内と三井アウトレットパーク仙台港でショッピングでした。内容は例によって「理論的」(基礎的)ですが、従来は極めて取り扱いの難…

Trend Micro InterScan VirusWall Standard EditionのPOPサーバがQUITだけ1秒以上かかる件

前にも触れたTrend Micro InterScan VirusWall Standard Editionの迷惑メールフィルタは、POP proxyとして動作する上に(GmailやSpamAssassinよりは)精度が良くてありがたいのだが、なぜかPOP3のQUITコマンドの処理に時間がかかる。 > telnet 192.168.xxx.y…

百分率

研究室のS君経由。http://oshiete1.goo.ne.jp/qa1663415.htmlの回答番号:No.6より。 「日本の論点2005」によりますと、 生涯未婚率は、男性12.36%、女性5.76%、だそうです。合計18.12%です!! けっこう多いんですね〜。

OMakeでリアルタイムTeX

ブームに乗り遅れて?いますが、 OMake つかって LaTeX コンパイルしたら簡単すぎて身長が5cm伸びた を見てOMakeを使ってみました。これは便利! ただ、xdviの画面もリアルタイムに更新してほしかったので、 #!/bin/sh platex "$@" killall -q -USR1 pxdvi.b…