Shun Ikejima - module: plugin_from_uri config: uri: http://pragger.ikejisoft.com/browser/trunk/plugin/stdout.rb?format=raw name: stdout 危険なプラグイン．一応，気軽に野良プラグインを登録して，あれこれできるような，gem的な利用方法を念頭に置…

Shun Ikejimaソフトウェア工学的に正しいのはこっちだと思うのですよ．Shun Ikejimaもちろん，grep -vなんて典型的な作業について専用のオプションがあるのは，ハフマンコード的API設計理論の観点から否定しませんが．

さっき受け取ってきました．

自宅には固定電話が無いので、関東鉄道の営業所にSkypeから電話してみたんだが、どうもこっちの声が向こうに聞こえてないみたい。いろいろ設定を確認しながら4回ほど試してみたんだけど、ダメ。変な無言電話が立て続けにかかってきたと思われてるんだろうな…

抽象化について 抽象化っていうのは「細かいことは忘れちゃって，問題を解くのに都合が良いように考えましょう」っていうこと．数学的もクソもない．型っていうのは，「この値にはどういう操作が可能なんだろうか?」っていうことをいちいち考えたくないから…

Unificationを高速化するため命令的に書き直しています．こういう作業をすると，やっぱりMLは関数型言語なんだなぁと思います．いくら私が関数的な書き方に慣れているとはいっても，RubyやVBだともっとサクサク書けるのに，すげー苦労してるわけ．