イエッター（Yetter）が線形圏・関手・自然変換の変形（deformation）とペースティング図の長めの論文を書いているが、10%くらいしか分からない。が、分かるところ（10%くらい）は面白い。ペースティング・スキームって概念が出てくるが、コンピュータッドの…

/* MapFO.js -- Map Category over Finite Ordinals */// 整数の区間を作る // （一般的にも使えそう） function seq(n, m) { // n, mは整数、n ≦ m と仮定 var a = new Array(); for (var i = 0; i <= (m - n); i++) { a[i] = n + i; } return a; }// 名前…

ルイ・クレインの偉大な論文らしい。 http://arxiv.org/abs/gr-qc/0602120 (15ページ) http://www.physicsforums.com/archive/index.php/t-113145.html

/* HSCat.js -- Hiragana Shiritori Category *//* * 一般的な文字列処理関数 */// 文字列の連接 function concat(s, t) { // s, t は文字列と仮定 return String.prototype.concat.call(s, t); }// 文字列の最初の文字（ただし文字番号が返る） function fi…

いるように、

計算できればいい。 /* mat.js *//* * 簡易行列計算（掛け算のみ） * * 行列は入れ子の配列で表す。 * 例：[ [2, 0, 1], [0, 3, -1] ] これは2行3列の行列 * - matMult -- 掛け算 * - matEq -- 等値判定 * - matPrint -- 表示 * それぞれ、m, e, p という短…

http://d.hatena.ne.jp/m-hiyama/20090422/1240369226 要するに不調！ あーシンド*1。それはそうとして、モナドの相関図を考えてみる。 項モナドの仲間達 リスト −似てる→ 列挙、バッグ バッグ −平均値を取る→ 平等な凸結合 アフィン −定数を落とす→ 線形 −…

HTMLを手で編集してはリロード作業との対比をすれば、以外にDOM操作もわかるみたい。バッドノウハウのinnerHTMLとかは分かりやすい。さすがだ（なにが？）createElementとかが、作ってどこにも入ってない（配置されてない）という概念が少し難しいかも知れな…

凸結合を意図的に取り上げてみようかな。 凸結合モナドのクライスリ圏の自己射は確率遷移系になるね。 かなりの数のモナドがスタンピングで説明できる。 代数項としても説明できる。 ツリーモナドは親玉みたいなもんだ。 自然数の有限部分集合の順序集合（＝…

そろそろ出し物を決めないとなー。どれがいいだろう？コレクション系モナド： リスト、列、string, word セット（有限）、enum、有限ベキ（共変） バッグ 型なし（非制限的な）レコード スタンピング系モナド： 代入（更新） エラー（単純）、未定義、Maybe …

ここでタグというのは、目印、マーカーのこと。タグ付き直積の例は、JSONオブジェクト、プロパティ名（キー）がタグになっている。Erlangのプロパティリストもタグ付き直積の表現と考えていい、ただし、リストはどうしても可変長になるから、その点ではタプ…

また、バエズの記事から： http://golem.ph.utexas.edu/category/2009/04/kamnitzer_on_categorifying_tan.html Title:Ribbon graphs and their invariants derived from quantum groups Authors: N. Yu. Reshetikhin and V. G. Turaev Source: Comm. Math. …

予約ページ http://www.revn.jp/grms/pub/pc/schedule.php は http://www.ginzarenoir.jp/ にリダイレクトされてしまう。https://www.revn.jp/grms/usr/reservation.php も同じく http://www.ginzarenoir.jp/ にリダイレクトされてしまう。ブックマークして…

マクロ（あるいはテンプレート）は、アルファ変換ができないラムダ計算だと思えばいい。単純置換を定義する。M, N, Lを式（項）だとして、x, y, zなどを変数だとする。単純置換をするオペレータを{L/x}のように書く。とりあえずは1個の変数だけを置換。 x{L/…

スコアランキングのTOP10表示 フォームのエラーメッセージをできるだけ分かりやすく テーブルの行の色を変える 通貨や時刻の表示を適切に toupper -- &ltが&LTになったりしない。&alpha（α）が&Alpha（Α）になる。 リスト（配列）のレンダラーはどうするか？…

4/12(日) 練習試合 -- 終わった 4/15(水) 夜 早め -- 渋谷午後2時だから注意！ 終わった 4/19(日) 午後？？ どうなっているんだ？ 4/16(木) たぶん僕は留守 4/23(木) 確実に僕は留守 4/24(金) 夜 早め 4/27(月) 夜 早め

http://blog.sigfpe.com/ A Neighborhood of Infinity なにもの？ という感じ。 http://iml.univ-mrs.fr/~lafont/papers.html Lafontの論文。

リストモナド＝列モナドの代数は、a:A*→A だから、任意のnに対するn講演算を備えた集合。a:A+→A なら、0項演算（特別な定数）はない。Idモナド（自明モナド）の代数は任意の自己射になる。Rに対して、a:R*→Rに対して、a(空) = 7, その他は平均値の2倍とか定…

for (var i = 0; i print(a[i]); }↑のほうが次より理解しやすいようだ。 for (var p in obj) { print(obj[p]); }a[i]でiが変化する様子はイメージできるが、obj[p]でpの変化がイメージしにくい。例えば、二人組にして次の実習をしてもらう。 一人Aに数枚のカ…

とりあえず： Object.prototype.toString = function() { var s = "{"; for (var p in this) { var v = this[p]; if (v !== undefined) { s += p + "=" + v + ", "; } } s = s.replace(/, $/, ""); return s + "}"; };

ほったらかしてあったヤツだね。普通の平面を考える。横軸がx軸、縦軸がt軸で、時間は下から上に流れるとする。ある時点 t = t0 で切ると、その瞬間の空間はx軸と同じ直線になる。ある時点で空間（1次元x軸）内に存在する粒子の数をNとする。粒子の内部状態…

バエズのセミナー、以下のURLからいろいろとリンクされている。 http://math.ucr.edu/home/baez/qg-spring2007/qg-spring2007.html 以下のGoI関係も面白そう。 Title: Towards a Typed Geometry of Interaction Authors: Esfandiar Haghverdi1 and Philip J.…

2本のパイプをマージするようなヤツ 入ってきたのをテケトー（予測不可能）に振り分けるヤツ 2本のパイプからタプルを作る、zipのようなヤツ コピーするヤツ 列αとβのインターリーブをα§β と書くと： α, β → γ γ∈α§β α → β, γ α∈β§γ α, β → γ γ = zip(α, β) …