閉圏、弱いラムダ計算、弱い論理 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「モノイド圏、豊饒圏、閉圏と内部ホム」は自分用メモと思って書いたら、トラックバック／コメント欄で色々とやりとりがあって面白かったです。お相手してくださった皆様、ありがとうございます。 でまー、またゴニュゴニョ続けるのですけど、このての話（って、まだ話してないが）は、ランベック（J. Lambek）とかケリー（G. M. Kelly）あたりが大昔にやっていそうで気が引けますが、まー、練習問題ということで。 “そとの人”と“なかの人” 例え話で、閉圏（閉じた対称モノイド圏のこと）のなかに棲む生物を出したのですが、比喩だからピンとこない人もいるでしょう。でも、この比喩に共感できる人は、強烈で具体的なイメージを持てると思います。「そと」とか「なか」が何を意味するか、もう少し説明しましょう。 まず、“そとの人”は、神様のつもりになった我々人間。圏に対して何でもできます（つうか、そういう幻想を抱いてい
2月26日発売予定：ネグリ『芸術とマルチチュード』 | URGT-B（ウラゲツブログ）
『芸術とマルチチュード』 トニ・ネグリ：著 廣瀬純＋榊原達哉＋立木康介：訳 B6変型判並製240頁、本体1900円、ISBN:978-4-901477-31-4 芸術とアクティヴィズムを結ぶ、マルチチュードの可能性！ 芸術は、構成する力〔構成的権力〕であり、革命の力である。それは多様なる特異性を解放し、万民のための豊かな共有財産を生み出す。美の生産者たちからなるマルチチュードの運動、それこそがコミュニズムである。友への9通の手紙に凝縮された、ネグリによる革命理論の核心。 目次： マリー=マグドレーヌへの手紙--生政治について（二〇〇一年一二月一五日） ラウルへの手紙--身体について（一九九九年一二月一五日） 一九八八年に書かれた手紙について（二〇〇四年五月） ジャンマルコへの手紙--抽象的なものについて（一九八八年一二月一日） カルロへの手紙--ポスト近代について（一九八八年一二月五日）
Two Dozen Short Lessons in Haskell
Two Dozen Short Lessons in Haskell - Q Pages and A Pages (WinZip - 0.9 megabytes) A PDF version of Two Dozen Short Lessons in Haskell is contained in a file named twoDznQ.pdf. The reverse sides of some pages, which reveal the information intentionally omitted from the front sides, are contained in the file twoDznA.pdf. Both files are contained in twoDzn.zip, which may be accessed through the follo
Haskell - Wikibooks, open books for an open world
Haskell is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far! You can edit its advertisement template. Haskell is a functional programming language. It is distinct in a few ways: Haskell is pure. A fu
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド Version 1.1.0 このチュートリアルは、モナドの概念とその関数プログラミングにおける応用に ついて、初中級の Haskell プログラマにわかりやすく、利用価値があるような 解説をすることを旨としています。読者は Haskell になれていることを前提と しますが、モナドに関する経験は要求していません。このチュートリアルは、多 くの題材をカバーしています。後半のセクションでは、前半の題材をよく理解し ていることを前提とします。順をおって、モナドプログラミングを例示するため のサンプルコードがたくさん用意されています。一読で、すべての題材を吸収し ようというのはお勧めできません。 このチュートリアルは 3 つの部分で構成されています。最初の部分は、 関数プログラミングにおけるモナドの基本的
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
