2005-12-01から1ヶ月間の記事一覧
IMEで変換したらホモとピーって出たんだけど… （；´д｀）
http://haskell.org/hoogle/ （・∀・）イイ！ Haskellに限らず、APIリファレンスがないとコード書けない人なので（関数の名前をすぐ忘れてしまう）、こういうのはとても嬉しい。
http://techon.nikkeibp.co.jp/article/HONSHI/20051213/111571/ 日エレまで形式検証を記事にするとは。えー今まじでそういうモードなの？？ 悪いこととは思わないんだけど…記事をざっと読んだけど、さすがにここまで全面肯定的な記事だと、ちょっと違和感が…
朝から頭がダルくてボーっとしている。昨日飲みすぎたかなぁ… と思ったらなんか体もダルくて寒気がして喉が腫れぼったくて熱っぽい。 これは今流行の風邪ってやつですかそうですか。
http://blog.picsy.org/archives/000203.html 萌えの対立概念と言うところに戦慄。
でした。一年続きました。めでたい。 で、合間に以前のエントリーの話が出たので忘れないうちにメモ。 MLのタプルはスマッシュ直積（strictな直積）、つまり、。だけど、圏論的な直積はnon strictなので別物。 そういう意味で圏論の直積はHaskellのタプルに…
URL: http://www.fiadeiro.org/jose/CommUnity/ ざっと内容をつかむにはこのpptとかがわかりよさげ。この本にも書いてます。（自分はこの本読んで知りました）Categories for Software Engineering作者: Jose Luiz Fiadeiro出版社/メーカー: Springer発売日:…
忙しいんじゃゴルァ！（とキレてみる） というのでペースダウンすることに。
matsuokaさんとこのscheme-modeを、以前からGauche用に書き換えて使っていたりする。 どうせだからコードの書き換え方を公開しておこうかな、と思ったのだけど、よく見ると本家におんなじことしてるサイトにリンクが貼ってある。なーんだじゃあいいかぁ…と思…
unitは×の単位元(1)で、voidは＋の単位元(0) おーそうだったのかぁ、と思いつつ、ふと疑問が。…（Xは任意の型） はどうなるのでしょう？ 状況からして、直積、直和があってそれぞれに単位元1、0があるような圏を考える訳ですよね。こっからは当て推量ですけ…
したみたい。変更履歴を見ると Wed Dec 07 2005 Version 0.2.2.235 * なんとなくライセンスなどを。 だそうで、見たらMITライセンスがついていた。最近服部さんちのものもライセンス付きになったみたいだけど、こっちはBSDライセンスの模様。
むかーしバイトで書いたWeb記事について再利用していい？とかいう確認のメールが。 同報メールみたいなので、本当に再利用されるわけでもないんだろうけど（ネタが古すぎるし）。
てかインストーラがおかしかったので直しました。てかやっと直せました。 半年前に指摘もらってたのに…すいませんorz 12-07追記 ごめんなさい。インストーラは直したのに、正しいURLにアップしてませんでした（←だめすぎ） 昨日このエントリー見て試した人は…
前回の日記の続き。GHCで、自分の手元でちゃんと通ったYコンビネータ↓ y f = f (y f)…1行で書けますたorz ちなみに型は *Main> :t y y :: (t -> t) -> t参考はこのへんとかこのへん。大いにがいしゅつですた orz orz （てか、出てない方がおかしい話題か…）…
はてなって、日記中はてな内のサイトにURL貼っただけでトラックバックすんのね。便利やらありがた迷惑やら。うー。自分はリンク貼りまくるたちなので、なんかやりづらい。
sumiiくんの日記見ながらHaskellでYコンビネータ書いてみたんですが（事実上ほぼ丸写し）。動かそうと思ったら、Hugsでは動くんですけど、GHC（＋GHCi)だとコンパイラが止まりません。*1 これは何事？？俺何か悪いことしてるの？教えてエロい人。…寝てからも…
以前の日記の続きといえば続きなのだけれど、コンパクトとハウスドルフ空間についてはまだイマイチよくわかっていなかった。定義はそんなややこしいもんじゃないのでまぁわかるのだけど、だから何だという感じで。 そんなうち、図書館でこの本を何気なく借り…
上のエントリを書いてみたら、ちょっと本気でほしくなって色々見てみた。一番安直そうなのは、OneNoteからMHTMLファイルを吐かせてデコード、出てきたHTMLをWikiのソースに直せばいいのか。 うーなんか二度手間な。MS的にはOneNoteの機能でSharedPoint Servi…
最近、周囲のOneNote化が激しい。かく言う自分も、今まで普通のノートに手で書いてたのをOneNoteで代替することが多くなった。図入りのメモ的文書が書きやすいのと、Word形式への変換＋Word経由でHTMLにもなるところが、とりあえず便利。今まではWikiでまと…
