http://d.hatena.ne.jp/bellbind/20071030/1193720960 で数式をいっぱい書いた Φfact^* => ∨{Φfact^n(０) | n ∈ N}べき乗みたいなのわかりにくいが、tex記法を使えばいいみたい。 数式を表示する（tex記法） - はてなダイアリーのヘルプ \Phi_{fact}^{*}=\sq…

(追記: 書籍のこのレジュメとは別に、不動点意味論の直感的イメージについての補足を、一番下に書き加えました。) メモというよりは補間てかんじ。プログラム意味論 (情報数学講座)作者: 横内寛文出版社/メーカー: 共立出版発売日: 1994/06/01メディア: 単行…

http://us.archive.ubuntu.com/ubuntu/dists/hardy/ さていつ切り替えていこうか。

みんながオレ言語をつくるようになったのはすごくいいことなんだけど。 http://sirokuro.s206.xrea.com/?DLR%20%A4%C7%B8%C0%B8%EC%C0%BD%BA%EE DLRは言語共通のプラットフォームになる方面にも向いていて、その仕組みもMicrosoft.Scripting.dllには入ってい…

英語圏で、ewwwwwとかいうのは「うええ」みたいな感じの嫌悪感を表す表現らしいす(!=ｗっうぇｗｗ)。 http://en.wikipedia.org/wiki/Eww wの数は決まってなくて、多いほうがより気分悪いってことかな。wはいくつでも引っかかるので、面白かったから、いろい…

ここ最近ニコニコ動画にアップされ続けてる春閣下立志伝は面白い。そのリプレイで使われてるPS2版の太閤立志伝５(KOEIベスト)を買ってやってみたらやっぱり面白いの。太閤立志伝は2まではやったことがあるし、いまさらあえてやろうとは思ってなかった。でも…