有限集合と写像の圏もJavaScriptで書いてみた、遊んでみてね - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日、しりとりの圏のJavaScript版実装を示しました。モニャドセミナーの最後のほうでMapFO（Map category over Finite Ordinals）という例も出したので、これもJavaScriptにしてみました。FirefoxブラウザにFirebugが入っていれば、[F12]キーですぐさまいじれます。 大事なのは実感、イメージ、具体性； ぜひブラウザ上で圏の実例を試してみてください。また同じセリフを繰り返しますが、 目や手を動かしてやってみないとハジマリません。ジッと考えていても、どうせ分かりません。 内容： 使い方 有限オーディナル 写像 写像を作る 射（写像）の域と余域 射（写像）の結合 恒等射 しりとりの圏の実装との違い まとめ 使い方 まずは、使い方。Firebugで実行するときは、次のようなHTMLファイルをFirefoxにロードします。このHTMLファイル
完全実装付きでもう一度お送りします、しりとりの圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日のセミナーで、圏の簡単な事例として「しりとりの圏」を出したのですが、ハッキリとしたイメージを持てなかった人も多かったようです。 “技術者／プログラマ”であれば、実際に動くコードを持ち出すのが手っ取り早いのかな、と思い、しりとりの圏をJavaScriptで実装してみました。ここでは、このJavaScriptコードにそって、あらためてしりとりの圏を解説します。セミナーの内容や知識をまったく前提にしていません。白紙からの説明です。ただし、以前の記事（2006年8月21日）は参照する必要があります。 以前の記事とJavaScriptソースコードを並べて表示したい人は、次のリンクをクリックしてください。別なウィンドウ／タブで2つの参考エントリーが開くはずです。 はじめての圏論 その第1歩：しりとりの圏 （以前の記事） しりとりの圏 -- JavaScriptによる実装 （JavaScriptソー
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
