http://www.apple.com/pr/library/2009/01/05sjletter.htmlによると，Jobsはやっぱり病気してたそうな． Fortunately, after further testing, my doctors think they have found the cause―a hormone imbalance that has been “robbing” me of the proteins…

progredditからOur Top 5 Agile Mistakes : programming．リンク先の記事を読む前にコメントのやり取りが面白かったので脊髄反射． pointer2void -1ポイント 4時間 前[-]Agile is a mistake in the first place. そもそもアジャイルが間違いなんだよ． とい…

progredditで上がってた記事の紹介．元記事はこちら：Binstock on Software: Banishing Return Status CodesCなんかでは普通に使うステータスコードを返す手続きはOOPではやめれ！というお話．要点をまとめると： 例外処理があるならそもそもステータスコー…

常々思ってることなんですが……オブジェクト指向プログラミング（OOP）って何？ オブジェクト指向言語xとyではどちらがより純粋か？とか，クラスベースvsインスタンスベースとか，Lispもオブジェクト指向だ！とか．どれだけ抽象的な概念かも人によってさまざ…

明日業者の方に来てもらって開通工事をしてもらう予定だったのに。今、試しにモデムのセットアップをしてみたら繋がった！ふしぎ！

standard matching algorithm PPI algorithm の内、前者の実装完了

とりあえずアルゴリズムの基礎になる書き換え規則の実装が済んだ。 項書き換えモデルだから代入の実装がひどい。例えばt[v:=λxyz.f(x, y, z)]について、 項t中のすべての変数vの出現をλxyz.f(x, y, z)で置き換える 項t中のすべての部分項(λxyz.f(x, y, z))(t…

卒研テーマの2階マッチングアルゴリズムをOCamlで実装中。 そこでリストに不満を感じるようになったのでそれについて。

進歩じゃなく進化。The Evolution of a Programmer

同一ドメイン以外のリソースにアクセスしようとするとエラーが起きる セキュリティのため