トップ «前の日記(2008-04-28) 最新 次の日記(2008-04-30)» 月表示 編集

日々の流転


2008-04-29 昭和の日 [長年日記]

λ. ACミラングッズ プレゼントキャンペーン

住信SBIネット銀行が「ACミラングッズ プレゼントキャンペーン」なるものをやっていたので、定期で5万円預けてみた。

λ. 黄泉比良坂(よもつひらさか)の岩戸

ディスコミュニケーションの第9話「まなつのよるのゆめ」に「千年ぶりに黄泉への岩戸が開く瞬間を……」というセリフがあったのだけど、古事記の舞台は千年前よりもずっと昔の話だし、ここで千年前に岩戸が開いたと言っているのは何を指しているのだろう?

ディスコミュニケーション (2) (アフタヌーンKC (1032))(植芝 理一)

Tags:

λ. 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 おめでとうございます

本日のツッコミ(全2件) [ツッコミを入れる]
ψ wisteria (2008-04-30 00:35)

「千年」にはとても長い時間という意味があるので、あんまり時代は関係ないんじゃないだろうかとか思った。

ψ さかい (2008-04-30 02:03)

んー、別の人にも指摘されたのだけど、やっぱし?<br>ひょっとして何か私の知らない伝承とかがあるのかと気になったけど、そういう訳ではなさそうなのでちょっと安心。