2008-04-29 昭和の日 [長年日記]
λ. ACミラングッズ プレゼントキャンペーン
住信SBIネット銀行が「ACミラングッズ プレゼントキャンペーン」なるものをやっていたので、定期で5万円預けてみた。
λ. 黄泉比良坂 の岩戸
ディスコミュニケーションの第9話「まなつのよるのゆめ」に「千年ぶりに黄泉への岩戸が開く瞬間を……」というセリフがあったのだけど、古事記の舞台は千年前よりもずっと昔の話だし、ここで千年前に岩戸が開いたと言っているのは何を指しているのだろう?
λ. A Bisimulation for Type Abstraction and Recursion by Eijiro Sumii and Benjamin C. Pierce
住井さんが第7回船井情報科学奨励賞という賞を受賞した*1とのことで、よい機会なので、記事で関連論文としてあがっていた A Bisimulation for Type Abstraction and Recursion のPOP2006のときのスライドを眺めてみる。 以前に少し伺ったこともあったけど、これは想像以上に面白そう。
*1 おめでとうございます
「千年」にはとても長い時間という意味があるので、あんまり時代は関係ないんじゃないだろうかとか思った。
んー、別の人にも指摘されたのだけど、やっぱし?<br>ひょっとして何か私の知らない伝承とかがあるのかと気になったけど、そういう訳ではなさそうなのでちょっと安心。