はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記
全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです
圏論とは サイエンスの人気・最新記事を集めました - はてな
圏（カテゴリー）は、ある公理系を満たすような構造全体を考察する際の“定式化の枠組み”を与える。例えば、すべての群（と群準同型写像）からなる圏、すべてのコンパクト・ハウスドルフ空間（と連続写像）からなる圏などを定義できる。一方、圏それ自体も一種の代数系とみなすことができる。 狭義の圏論は、圏を対象とした代数的（あるいはときに幾何学的）一般論であるが、具体例や応用から触発されて、特定の構造／性質を持つ圏を深く探求する分野も含めて圏論と呼ぶこともある。
圏、関手、モナドはどうしたら分かるの？ - 檜山正幸のキマイラ飼育記 (はてなBlog)
「みずすましさんの「圏論メモ」への注釈集」にて もうひとつのエントリー「関数型言語Haskellとの関係」についても、できれば間をおかずに（後で）コメントしたいと思いますが…… という予定に従います。が、文言を追って注釈を加えるのではなくて、もっと一般的／雑駁＜ざっぱく＞なオシャベリをすることにします。うん、実に雑駁。 圏は、集合と写像からなるとは限らない もう一度強調しますが、「圏の対象＝集合、圏の射＝写像」という認識はやめたほうがいいですよ。確かに、対象が集合（＋構造）であり、射が写像である実例は多いのですが、すべてがそういうわけではありません。僕の「はじめての圏論」シリーズを眺めてもらえれば、「対象が集合、射が写像」である例を避けているのがわかるでしょう。実際： しりとりの圏： 対象は文字、射は文字列 行列の圏： 対象は非負整数、射は行列 圏としてのモノイド： 対象は何でもいい（ひと
【ハウツー】このバランス感覚、さすが - GoogleのDIフレームワーク"Guice"を使ってみる (1) Googleが開発したDI - Guiceとは (MYCOMジャーナル)
Googleは3月8日(米国時間)、Guiceの初のメジャーリリースとなるGuice 1.0を公開した。GuiceはJavaで開発されたDI(Dependency Injection)フレームワーク。シンプルなアーキテクチャになっており、アノテーションやジェネリックを活用した開発が特徴。 Guiceが依存性注入できるのはコンストラクタ、フィールド、メソッドなど。セッターメソッドにかぎらず、複数の引数をとるメソッドに対しても適用できる。そのほかの特徴としてカスタムスコープ、環状依存への対応、スタティックメンバーのインジェクション対応、Spring Frameworkとの統合、AOP Allianceメソッドインターセプションなどがある。 Guiceはすでに数カ月にわたり、Googleにおけるミッションクリティカルアプリケーションにおいて採用されている。Google最大のアプリケーションである
type U：担当者が語る: type U で Skype を活用する
type U で Skype を活用する [type U を使う] こんにちは、担当者 T です。 VAIO type U には、Skype がプリインストールされています。 正確には、現在発売されている VAIO 全モデルに Skype がプリインストールされていて、無料※の IP 電話によるコミュニケーションをお楽しみいただけるのですが、中でも type U は Skype に適したフィーチャーを備えています。 ※もちろん、別途回線使用料等は必要です。 本体に Web カメラ 《MOTION EYE》、マイク、スピーカーを内蔵しているため、本体のみで（モバイルグリップ・スタイルで）テレビ電話をお楽しみいただけますし、VAIO オーナーメードモデルならばソニーエリクソン製 Bluetooth ヘッドセット「HBH-608」の付属も選択できるため、ハンズフリーでの通話も可能です。 しかも、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Custom Business Cards, MiniCards, Postcards and Stickers | moo.com
MDC
nwj-web.jp
mixi(ミクシィ)