本編に letrecと不動点方程式とトレース付き圏 - 檜山正幸のキマイラ飼育記 って記事を書いたが、ほんとは「letrecと不動点方程式とトレース付き圏」みたいなタイトルでもっと具体的な計算を書きたかった。letrec束縛の変数参照関係は有向グラフ（二部グラフ…

次男はやたらに忙しい。先日だけど、つかのまの休日で『アメイジング・スパイダーマン』。2Dでやっている品川プリンスシネマ。長男は予定があわない。早く着きすぎて、品川駅内の「BOOK EXPRESS エキュート品川サウス店」で時間つぶし。『ワンピース』の第一…

6月4日からの週の「今週見つけた圏」は、一般化クライスリ拡張となんか関係あるのか？

一般化クライスリ構成を探して - 檜山正幸のキマイラ飼育記 に書いた件、次のような例を考えていた。kは体として、集合Aに対してk(A)は、なんらかのk関数環にkベクトル空間構造を入れたもの。Mがモノイドのときは、k(M)はモノイド環構造を持つ、k(M)→k(M)(×)…

ネタバレ。『ダークナイト ライジング（The Dark Knight Rises）』（2012年）を一人で観に行った。子供たちは興味ない。実際、（うちの）子供たちが喜ぶような映画じゃないな。最近のバットマン（クリストファー・ノーラン監督の三部作）はシリアスで暗い。…

説明は： https://confluence.atlassian.com/display/BITBUCKET/Managing+bitbucket+Services https://confluence.atlassian.com/display/BITBUCKET/Setting+Up+the+bitbucket+POST+Service http://brandonsummers.name/blog/2012/02/10/using-bitbucket-for…

ソフトウェア技術者の観点から言えば、「ソフトウェアのための集合論」だな。 数学の集合は茫漠としていて掴みどころがない。 全体集合U（universe）を決めて、その部分集合だけを考えるのが良い。 Uはデータの集合だが、アトムだけじゃなくて複合データも考…

CRSとその代数構造:操作的意味論の統一的な解析へ向けて 浜名誠 Makoto Hamana http://www.nue.riec.tohoku.ac.jp/jssst2005/papers/05089.pdf

まったく未整理。 基本的な概念 - 檜山正幸のキマイラ飼育記 メモ編 アルファベット、文、言語 - 檜山正幸のキマイラ飼育記 メモ編 入れ子のオートマトンはトレースで実現 - 檜山正幸のキマイラ飼育記 メモ編 オートマトングラフの比較アルゴリズム - 檜山正…

火曜日は中止だ。木曜 5:30pm→コレも変更になる？火曜（今日）の予定はすべて中止。で、木曜が異常に忙しい。明日（水曜）も皺寄せ。木曜 PM5:30 = 17:30 恵比寿だが、15：10品川なら2時間以上あるか。ナントカ。えーと、朝は10:30くらいで、待ち合わせが問…

あ、そうだ。Nを名前の集合として、TreeRecN(V) というモナドがあるんだった。Nは固定するとして、TreeRecN(-) が集合圏の上の自己関手で、モナドの台。単位も乗法も言われてみればあたりまえのもの。CatyScriptで書けるだろう。

アルファベット 列 列言語 列正規表現 列オートマトン 釣り合い列（balanced sequence） ツリーアルファベット（分岐ノード記号とリーフノード記号） ツリーシリアライズ ツリーパターン ツリー正規言語 連接と包囲（enclosing） 明瞭性（Bruggemann-Klein &…

次のものは関係しそうだ。 圏を係数とする行列 豊饒圏 プロ関手 コボルディズムとTQFT 単体的圏からの関手 Aが何でもいいから集合として、Δ(A) を、Aから作った（抽象的）単体的複体の圏だとする。この圏の射は退化写像と辺写像から作られたもの。次元は Δ0i…

次の設定が僕好みかな。 (setq js2-basic-offset 2) (setq indent-tabs-mode nil) こうかな。 (add-hook 'js2-mode-hook #'(lambda () (setq js2-basic-offset 2 indent-tabs-mode nil) ))

Caty名前に関する推論をCatyScriptで書くと面白いかもしれない。

AとBが状態遷移系だとする。状態遷移系の定義にもよるが、状態点の全体が配位空間（底空間）、遷移辺の全体が接バンドル＝相空間となるような確率力学系だと思っていいだろう。AとBの間に模倣関係があるということは、空間としてのAとBを結ぶコボルディズムM…

Catyの型システム／コマンドシステムの機能を総動員すると、Webを使わないハイパーメディア・アプリケーションのハイパースキーマが完全に書ける。つうか先週末に書いてみた。その解説をする。ここ2,3日で定義を変えたりしたところもあるが、オリジナル（つ…

絵を描いたので、今日中に説明を書く。いやー、さらに先延ばしかな。でも、下に別な記事を書いた。

絵を描いたが、説明を書くのが億劫。明日とかに。

コマンドのクロージャとよく似たデータだが、次のようなデータを考える。 { "arg0": univ, "args": [univ*], "opts": {*:univ?}(propNameFormat="name"), "additionalEnv": {*:univ?}(propNameFormat="name"), "input": univ }注意：arg0とargsを一緒にした…

ずっと以前から、ハイパーメディアに関して「トリガー」という言葉と概念を使っている。「ハイパーリンク」とか「アンカー」と言わずに、あえて「トリガー」と呼んでいたのにはワケがあるのだが、どうもそのへんがうまく説明できないでいた。ハイパーメディ…

エソラングっぽいと思っていたCatyScriptだが、“慣れ”とは恐ろしいもので読みやすく感じる。余りにもバイアスがあるから、客観的にreadableなモノなのかどうか？ の判断は付かない。まだ実装してない begin/repeat を使った例（自己forward版は実際に動かし…

http://d.hatena.ne.jp/m-hiyama-memo/20120702/1341221525 ： 渋谷東急って、マイナーではないが、ちょっとクセのある作品を選んでいる感じ。『マッハ』とか『ワイルド7』も渋谷東急だった。今は『ダーク・シャドウ』やっているし。 渋谷東急では終わってい…

Catyの内部構造を知っている人間はごく少数（約二名）だから、それについてここで書いてもしょうがない気もするが、いずれ知っている人が増えることを期待して …。まず、mafsは、ストレージ・バックエンドがなんであっても同じインターフェイスを提供するこ…

記法としては、通常の集合論／圏論の記法よりは、CatyScriptの構文に近い書き方をする。が、最初は一般的かつ抽象的な状況設定、すぐ後で具体的なスクリプトで書く。Cは、なんか具体的な対称モノイド圏だとする。Cは集合圏の部分圏と仮定してもいい（別にな…

トータルマトリックスは、リソースインスタンス（リソースID）セット（横軸）とアクションセット（縦軸）の上にエントリーポイントを配置したものだが、成分の値であるエントリーポイントを全部集めた集合をサービス空間と呼ぶことにする。通常、状態（state…

クライアント側の状態遷移も「リンク」と呼ぶと誤解が生じる。まー、そりゃそうだ。普通、状態遷移はリンクとは言わないからね。ハイパーリンクのトラバース（たどり）によって、その結果としてトランジションが生じるのだから、ハイパートランジション。と…

モグラ：アンビエントが持つメタオブジェクトの集合を構造化した有向グラフ。大分類して三種類のノード（名前空間コンテナ、名前空間、その他）を持つ。エイリアス辺によりツリーではないグラフとなる。エイリアス辺を除くとツリー、これはスパニングツリー…

「Webに関する概念と用語」にいくつか書いたけど、もっとある。色々ある。ハイパーリンクは難しい（http://d.hatena.ne.jp/m-hiyama/20100901/1283312114）と嘆いたことがあるけど、今まで、ほとんどマトモな定式化はなかったんじゃなかろうか。定式化に際し…

可読性に難ありだったCatyScriptもけっこう改善された。普通に読める。最近書いたスクリプト。二百数十行、30行限界説を唱えていた頃に比べると…… // -*- coding: utf-8 -*- /** * * リソースマトリックス (Resource Matrices) の操作 * */ module resmat; /…