シャイ・ハラン（Shai M. J. Haran）の非加法幾何の論文、 http://arxiv.org/abs/0911.3522 Oliver Lorscheid のブループリントは、 http://ncatlab.org/nlab/show/blueprint から参照をたどる。

三値論理を入れたので、分離していることを示すapartnessが重要になる。 http://en.wikipedia.org/wiki/Apartness_relation

先ほどの更新は間違い： http://d.hatena.ne.jp/m-hiyama/20130723/1374551426

JSONは、基本的なスカラー型（null, boolean, number, stringの4種）データと、配列（リスト）、オブジェクト（ハッシュマップ）により構成される複合データだけをサポート。ハイパーリンクハイパーリンクはサポートできてない（しようとしたがうまくいって…

木曜、午後4時以降

ちゃんと定義（Cartesian effect categories are Freyd-categories より） A Freyd-category is an identityon-objects functor J : C → K where the category C has finite products, the category K is symmetric premonoidal and the functor J is strict…

L:C→C を自己関手として、D(A, B) := C(L(A), L(B)) として圏Dを定義する。これをLで修飾された（あるいはシフトされた）Cと考える。自己関手と自然変換も同様にL修飾を考えて、結果的にモナドをL修飾する。[追記 date="翌日"]ちょっと違うかも。[/追記]

日曜、午後3時以降 木曜、午後4時以降

とか呼ぶことがある二項関係。モノの集合をU、性質の集合をPとする。 x, y∈U に対して、x≡y ⇔ ∀p∈P.(p(x) = p(y)) 意外にもこれは、メイヤーの原理とかマイヒル／ネロード型の定理で使われる。観測的、振る舞い的、実験的とか呼ばれる同一性の判定方法となっ…

http://d.hatena.ne.jp/m-hiyama/20121003/1349230179 有向グラフを表現するデータ形式について http://d.hatena.ne.jp/m-hiyama/20120412/1334193542 すごいグラフ処理ライブラリNetworkXの使い方

http://d.hatena.ne.jp/m-hiyama/20050927/1127790808 JS番外編：これって、アスペクト指向かぁ http://d.hatena.ne.jp/m-hiyama/20080718/1216370414 JavaScript用のアサーションを作ってみる http://d.hatena.ne.jp/m-hiyama/20120406/1333681648 ソフトウ…

http://d.hatena.ne.jp/m-hiyama/20060712/1152667443 あなたの「極小なプログラミング言語」は？ http://d.hatena.ne.jp/m-hiyama/20091209/1260343463 JavaScriptで言語処理系の勉強をしましょう：構文解析準備編

http://d.hatena.ne.jp/m-hiyama/20091125/1259117461 JavaScriptで仮想機械の勉強をしましょう

http://d.hatena.ne.jp/m-hiyama/20120814/1344916537 JavaScriptで少数の大域的名前だけを定義したいとき http://d.hatena.ne.jp/m-hiyama/20120725/1343175517 大域名前空間を汚しまくっているJavaScriptライブラリを単一名前空間に押し込める方法

http://d.hatena.ne.jp/m-hiyama/20090804/1249357682 モナドのサンプルに、JavaScriptで簡易タートル・グラフィックスとか作ってみた

http://d.hatena.ne.jp/m-hiyama/20090616/1245117533 アフィン変換なんて簡単だ http://d.hatena.ne.jp/m-hiyama/20090617/1245210412 アフィン幾何とアフィン変換の補足 http://d.hatena.ne.jp/m-hiyama/20051017/1129510043 プログラマのためのJavaScript…

JSONサイト： http://www.json.org/ 構文の定義： http://tools.ietf.org/html/rfc4627 ちなみにCSV： http://tools.ietf.org/html/rfc4180 JSOView：https://addons.mozilla.org/ja/firefox/addon/jsonview/ http://d.hatena.ne.jp/m-hiyama/20080728/12172…