今月／来月はいろいろな会合や締め切りに追われ、更新が停滞しています／する予定です。スミマセン。明日はFAIS（日本応用数理学会「数理的技法による情報セキュリティ」研究部会）の研究集会です、と宣伝。また日帰りなので懇親会には出られないのですが。s…

プログラム理論*1の研究の世界にも競争があります。前から「Ｓ井の方法より我々の方法のほうが良い！」と（いろいろなところで）言いふらしつつ、その方法についての論文を何もpublishしていなかった人たちがいたのですが、ついに出たようです。http://www.c…

というわけで掲載されました。今回はLablGL（OCamlのOpenGL）とラベルつき引数＆多相バリアントの紹介。http://itpro.nikkeibp.co.jp/article/COLUMN/20061212/256657/もしまだLablGLのサイトが落ちていたら、すみませんがミラーのほうをご覧ください。

ITproにLablGLの話を書いたのですが、LablGLのページがあるホスト(wwwfun.kurims.kyoto-u.ac.jp)が落ちていて(?)家からも大学からもつながりません。あと２〜３時間で記事が公開されてしまいます。むー。追記：Garrigue氏にメールしたらミラーサイトを作って…

MinCamlや日経ITpro連載のためか、いろいろなところで「関数型言語の研究者」「OCamlの人」と言われて、それはそれで非常に光栄なのですが、僕やＫ・Ｓ研究室は別に「関数型言語やOCamlの研究」をしているわけではありません*1。むしろ、並行言語や命令型言…

http://www.nii.ac.jp/asian2006/という国際学会（今年は東京）へ行っていました。日本では初めてだったとか。意外です。日仏コンピュータセキュリティシンポジウムもそうでしたが、（自分にとっては）発表そのものより、発表者や参加者との議論＆雑談のほう…

あまり抽象的な与太話ばかりしていてもしようがないので、ちょっとだけ（素朴な）テクニカルな質問を。ETのホームページによると、等価変換は意味（semanticsないしdenotationと理解します）を保存するとありますが、一般に「コンパイラ」（高水準言語から低…

そういえば、Fail-Safe Cでも何かのサーバのバグを見つけたそうですね。発表で言及していたから言っても良いのだろう。などと情報量０の我田引水エントリを書いておけばＯ岩君がコメントしてくれるに違いない。追記：http://www.oiwa.jp/~yutaka/tdiary/2006…

ひげぽんさんのMonaOSでSchemeシェルが採択されていた（って、僕の反応が世間から遅れていますね…）。採択されたプロジェクトの詳細はまだアップロードされていない？

わりとよくあることなのだが、POPL 2007でまたあったようだ。一定数以上の参加者がホテルに宿泊する、という条件の会場費割引があるので、割高でも学会経由で予約せよ、というアナウンスを見たことがあるような気もするのだが、いつだったか…？追記：発見し…

まだここには書いていなかったような気がしますが、オーストラリア出張の初日に（僕だけ）食当たりのようになって、ランチをスキップして、だれもいない会場の床の上で悶絶:-)していたり、腹痛を我慢しながら座長や質問をしていました（本当）。深夜には悪寒…

某誌の記事で、sumimさんのブログのエントリを私が書いたことになっているようですが、もちろん人違いです（笑）。ユーザ名が紛らわしくてすみません。知らずにつけたので、どうかお赦しを…

http://www.is.tohoku.ac.jp/entrance/exam/2006second.htmlという制度があります。いろいろな研究室があって複雑ですが、情報系は「２群」です。受験の方法もいろいろとありますが、場合によっては 事前に資格審査を行いますので、あらかじめ情報科学研究科…

英語論文や英文メール執筆のためにhttp://www.longman.com/ldoce/networkversion/を導入。Activator（強力な類語辞典のようなもの）もセットで、非常に便利です。日本の書店では市販していませんが、Effective C++などでも有名なPearson Education Japanと生…

ここしばらく出張が連続していて（月２〜３回ぐらいのペース）、宿泊施設の選択が面倒だったのですが、もうとにかくGoogle Mapで検索して、もっとも会場に近いところに泊まる、というアルゴリズムをとることにしました（バス・トイレのないところ、カプセル…

http://d.hatena.ne.jp/sumii/20061001/1159705428長くてすみませんが、タイトルの通り。「同一市内に転居する。プロバイダは変更しない。」と電話会社にもプロバイダにも念を押したのに、OSM契約が解除されていました。約2ヶ月にわたる交渉の結果、電話会社…

上のエントリに書いたcallccの例が、SML/NJでどうなるのか確かめようと思って試したら Standard ML of New Jersey, Version 110.0.7, September 28, 2000 [CM; autoload enabled] - fun mycallcc f = SMLofNJ.Cont.callcc (fn k => f (SMLofNJ.Cont.throw k)…

http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3acall%2fcc%e3%81%a8%e5%89%af%e4%bd%9c%e7%94%a8 (via http://d.hatena.ne.jp/flappphys/20061119#p2)おお、これは正確でわかりやすい議論ですね。call/ccが参照透明性を破壊する（ややトリッキーな…

結局、買いました。ぱっと目についた限りで、openに#がついているように見えたり、#loadに#がついていないように見えたり、non-trivialな誤植が多いという話は事実のようです。説明や用語もあまり正確ではないようです。まだ30秒ぐらいしか読んで（というか…

VAIO type UでFOMA M2501 HIGH-SPEEDを使うためにCF to PCMCIA アダプターというものを買ったのですが、なぜかカードが刺さらなくてピンを曲げてしまい、いきなり交換する羽目に（無償）。現在は正常に使用できています。どうもお手数をかけました…＞メーカ…

Practical OCaml作者: Joshua B. Smith出版社/メーカー: Apress発売日: 2006/10/20メディア: ハードカバー クリック: 41回この商品を含むブログ (9件) を見るを買おうかと思ったのですが、Amazon.comのreviewを見て迷っています。OCamlをpracticalに説明する…

オーストラリアから帰国してメールをチェックしたらクマ出没注意の続報が。 １１月１０日（金）午後１時頃，クマ若しくはイノシシがxx分館側から１号道路を横切りyyyy研究科方面へ渡っていった旨の目撃証言が寄せられましたのでお知らせします。 肝心のAPLAS…

学生さんが機内ではまったく眠れないタチだというので、帰りの暇つぶしのために（行きは頭の中で発表練習してください）DSを貸そうと思い、スーパーマリオを買ってみました。が、そもそもテレビゲーム(?)をすること自体がほぼ数年ぶりで、1-1の最初のクリボ…

wpw氏に遅れをとってしまいましたが、事務からこんな↓連絡がありました。 ＊＊＊＊研究科教員各位 （ＣＣ：事務長、事務室各係）お世話になっております。 ＊＊＊＊研究科＊＊係です。標記について、別添のとおりお送りしますので各分野内における周知方よろ…

Ｏ先生のスライドのスペルミスが一部で話題でしたが、偉い人ほど忙しくて読み直す（どころか誤変換を再変換する）暇すらないので、内容こそ重要ということで是非ともご理解(?)を…。Ｙ先生のメール等も、稀に本当に内容が判読できないぐらい誤字脱字があった…

http://www.jssst.or.jp/prod/software-papers-cfp.html 日本ソフトウェア科学会編集委員会は，ソフトウェア研究の深化を目指すのみならず，先進的なアイデアを実現したソフトウェアの開発と普及を一層推進することを目的として，学会誌『コンピュータソフト…

来週は海外出張なので「先に書く」。「後で書く」の双対(?)です。まだURLがないので連載目次を。11/8（水）頃に公開予定です。タイトルや内容はITproの編集により多少の変更があるかもしれません。またcontroversialな話題でビクビクしています（笑）。

少し前だが、またJavaScriptがキャッシュされて、編集画面のボタンが使えなくなっていた。キャッシュに有効期限を指定して、それにしたがって更新する等、はてな側で回避方法はないのだろうか…？

前にどう考えても通る人が落ちて？？？と思ったものだが（当時はブログが原因ではあるまい）、単に書くべきpublicationsを書かなかったためらしい。おめでとう。自分もブログなど書いていないで論文を書かねば…

http://homepages.inf.ed.ac.uk/wadler/topics/gj.html#oopsla (via http://wadler.blogspot.com/2006/11/faith-evolution-and-programming.html)ゲンツェンのnatural deductionからChurchのλ計算、Curry-Howard同型、Haskellのtype class (?)、Javaのgeneri…