週に一回は書きますよ 月に4つ記事を書けばノルマは満たされます。
上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
ところで、Kleisliって何なんでしょう。

検索調査中....

http://pub.cozmixng.org/~the-rwiki/rw-cgi.rb?cmd=view;name=Haskell
 より
>モナドってモノイドの間違い?
>>モノイドである場合があるが、モナドはモナド. ただし Haskell のモナドは圏論におけるモナドそのものではなく、 それと同値な Kleisli triple と呼ばれるもの.
うわぁ。圏論だ。モナドだ。知ってなきゃいけなかったかも。
スポンサーサイト
コメント
この記事へのコメント
数学者の名前です。確かゲーデルの弟子の一人だったと思います。
2006/08/04(金) 17:55 | URL | #-[ 編集]
おおコメントありがとうございます。
ゲーデルの弟子...論理学まじめにやってないのでへろへろへろっと調べてみます。
修論が終わったときにでも。
2006/08/05(土) 20:36 | URL | Gus #-[ 編集]
竹内外史という有名な数学者(この方もゲーデルの弟子ですね)がおられるのですが確かそのKleisliという方と親友だとか著書の中で言っていました。
たしか『現代集合論入門』という本だったか・・・。
間違ってたらスミマセン。
2006/08/11(金) 14:23 | URL | #-[ 編集]
コメントを投稿する
URL:
Comment:
Pass:
秘密: 管理者にだけ表示を許可する
 
トラックバック
この記事のトラックバックURL
http://gusmachine.blog49.fc2.com/tb.php/23-7206f23e
この記事にトラックバックする(FC2ブログユーザー)
この記事へのトラックバック
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。