http://d.hatena.ne.jp/qqqlxl/20060624/p3 おもしろそう。 えーと・・・・ あれれ・・・ 思ったより難しいぞ・・・。http://www.starlancer.org/~is2004/mini/test/read.cgi/gen/1085476446/50- http://www.nyx.org/~gthompso/quine.htm#languages

http://www.ipsj.or.jp/07editj/promenade/4703.pdf 後半にモナド&圏論のキチンとした説明があります。 コレが欲しかった。 とりあえずモノイドは理解しました。他のモノイドを考えてみました。あってるよね？ (boolean, &&, true) (boolean, ||, false) (色…

読み始めました。 『ふつうのHaskellプログラミング』サポートページ http://i.loveruby.net/ja/stdhaskell/

Googleのビットマップをチョットいぢってみましたｗ

うーむ、残念！ 先制点を取ったときは、一瞬もしや？と思いましたが・・・。 いい試合だった。

を作ってみた。ただし、以下のソースしか動かない。（＾＾； /* はじめてのVDM */ class HelloVDM operations public hello: () ==> seq of int hello() == return "Hello VDM++"; end HelloVDM 完成にはほど遠いし、完成させる気もなかったりする・・・。（…

がっくり。０−０。orz FWはなんとかならんのか？あれだけチャンスがありながら・・・。 ジーコが蹴った方がいいんじゃないか？？？ ブラジル戦に出てくれ！：−）

単語を並べかえしました。ｗ

ふつうのHaskellプログラミング ・ソフトウェア開発のモデル化技法

今日は日中に外出でした。メチャクチャ暑かったです。

結果を書きたくないぐらい、悪夢のような試合でしたね。

サッカーボールにドイツ国旗の色に塗ってみました。 サッカーは詳しくないのですが、この期間中だけサッカーファンになってみましょーかｗ

selfが参照できるんですねぇ〜。 関数ってもっと潔癖なものと思っていたんだけど。うーむ。 -- 非staticな関数はselfを参照できる。 -- selfを介してどこまでできるのか？ class TestFunction instance variables private a: int := 5; operations public ge…

やっと「エレベータ」の仕様をVDMで記述できました。 とりかかる前は、「たかがエレベータだろ？」と甘く見ていたのだけれど、やってみて、コレがとんでもなく難しく、奥が深いのに気づきました。さすが「形式手法の先生がた」が出しただけのことはあります…

一方、私のほうの勉強は進んでいません。目標の５章モナドにはたどり着いたのですが、モナドって何なんでしょう？ （ ´∀｀）＜ど！） 多くの人は説明が難しいとおっしゃる。 Unixがコマンドをパイプでつないで、複数のプロセスがストリームを介して連携して…

http://d.hatena.ne.jp/a-san/20060530#p1 http://d.hatena.ne.jp/a-san/20060511#p1 メールが届き、やっと解決しました。Webの正誤表にはもうしばらく時間がかかるとのこと。 http://book.mycom.co.jp/support/e2/haskell/#ERRATA

http://haskell.g.hatena.ne.jp/ はてなのグループって何だろう？ とりあえず入ってみた。多分１１人目が私。