日々の流転

λ. On Understanding Types, Data Abstraction, and Polymorphism

次回の論文読み会で発表すべく読んだ。思ったよりは簡単な内容だったが、1時間で読むのは骨かも。分からないところもちらほら。でも、あまり関係ない部分なので、気にしないことにする。

• 型がidealであるというのはどういう事? イデアルって環のアレ?
• 何故、すべての値の集合VがCPO(完備半順序集合)になるのか? そもそもCPOって何だっけ?

λ. 集合 (abstract-set.rb)

原さんのfinite-set.rbだと有限の要素しか扱えないので、そうでない集合も何らかの形で扱いたいなぁと思った。

あるオブジェクトを要素に持つかどうか判別するアルゴリズムが存在しない集合は扱いようがないと思うので、member?をprimitiveにして。それからeach,pick,empty?とかも……とか思って書きかけてみたけど、やっぱイマイチ。

λ. 圏論勉強会の教科書

勉強会の教科書は Categories for the Working Mathematician に決めた。で、注文。

λ. Ruby/Gtk

GtkTextなんかもobsoleteですよん。