http://www.itmedia.co.jp/news/articles/0506/07/news007.htmlMacがx86を採用するらしい。別にx86を採用⇒PCで動くではないが。でも、Appleも何を考えてるのかわからんからなあ。PCで動くMacOSが出たらそれなりに売れるんじゃないの、とか思ったりして。と思…

先生が \tau \neq \beta \vee \beta \in FV(\phi)とかメールに書いててちょっと面白かった。この業界の人は、メールでもtex書くのね、と。は、「τは型変数ではない」という意味だったらしい。

分数クラスを作ってみた。naiveな実装なので、ここでは実装を示さない。forで、100000回四則演算を繰り返すプログラムを書いて、doubleと比較してみるとやっぱり遅い。ReleaseでBuildするとずいぶん早くはなるが、やっぱり体感で5倍くらい遅い感じか。*1いや…