ひとつ前の記事「CatyのWeb処理： Webフィーチャとメタプログラミング」の背景の理屈を少し追加説明しておく。メモ書き程度だが。背景は、入れ子の、あるいは多段のインスティチューション。いろいろな圏が出てくる。 Graph -- 有向グラフの圏。自己ループも…

Catyのドキュメンテーションに含めるつもりの記事。CatyのモットーはできるだけWeb処理をやらないことだ。Webフレームワークとか言いながらも、一般的な言語処理の機能内でついでにWeb処理をしてしまう形態を理想としている。「Web特有の機能を付けない」「W…

本編に書くかも知れない。 行列とは何か、どう捉えるか。 ナニカを長方形格子の形に配置したモノ 格子の形状は I×J 。I、Jがインデックスセット。 配置するナニカが係数（成分、要素） 一般化：形式テンソル、多重行列、係数はコンパクト閉圏 一般化：無限イ…

クライアント／サーバーシステムで、クライアント側状態の遷移をする際に、「次にどこに遷移すべきか」あるいはむしろ「次に遷移するために何をなすべきか」の知識がいる。この知識を Knowledge of Next Step、略して KoNS と呼ぼう。問題は、KoNSを誰が持っ…

何度も「気付いた」と書いている気がするが、、、、プロ関手は行列の拡張概念だと思う。インデックスのセットを増やして、三重四重のインデックスを持つテンソルのようなものを考えても、本質的に次元は増えないとかつて書いた。そうやっても、点は点だし、…

GがNetworkXのグラフだとして、 G自体がノードイテレータとして使える。例： [n for n in G] G.graph でグラフ全体の属性を得られる。 G.node でノードセットを辞書の形で得られる。 G.edge でエッジセットを辞書の形で得られる。 G.nodeのキーがノードで、…

とりあえず二部グラフに対応する行列の場合に定式化する。 二部グラフより複雑な有向グラフの場合も考える。 二部グラフより複雑な場合も行列計算に帰着する。 ポートとポートバインディングを考える。 行列より一般的なテンソル計算を考える。 インデックス…

とりあえず、クライアント／サーバーのときの事実をメモしておく。Cはクライアント側エンドポイント（状態、境界オブジェクト）の集合、Sはサーバー側エンドポイント（アクション、コントロールオブジェクト）の集合とする。CとSは排他的になっている。CとS…

今まで（2012-09-16T17:53のあたりまで）僕は、森田童子は女性のような声の男性だと思っていた。彼、じゃなくて彼女ももう60歳だ。

イカンイカン、イカンイカンイカン！！形式化／抽象化をしないと、いつまでたってもハッキリしないグダグダ状態が続く。リクエストディスパッチの基本は、いちおう「集合と論理の練習問題： ツリー状の集合族 - 檜山正幸のキマイラ飼育記 」に書いた。僕はオ…

『最強のふたり』については感想を書きたいが、いずれってことで、使われている音楽とそれから連想した色々。主人公のドリス（物語のなかでも本名じゃない）は、「クール・アンド・ザ・ギャング」と「アース・ウィンド・アンド・ファイアー」がいいとか言う…

『タイムズスクエア』（Times Square）、1980年か。僕は25歳前後だよね。何してたんだろう？ 一番イイカゲンな時代じゃないかな。何かしているようなしてないような。六本木で働いていたのは確か。ストーリーはサッパリ憶えてない。音楽狂の15歳の少女ニッキ…

歯医者さんで、以前の並セラミックの被せ物をジルコニアに交換してもらった。ジルコニアってのは新しいテクノロジーで優れものらしい。

『ダークナイト ライジング』のルーシャス・フォックス役、『ウォンテッド』のスローン役だが、1994年『ショーシャンクの空に』（The Shawshank Redemption）のエリス・ボイド・"レッド"・レディング（Ellis Boyd "Red" Redding）役もモーガン・フリーマンだ…

『プロメテウス』は最近見た映画だが、2008年8月に日本公開されたブラジル映画『シティ・オブ・メン』の話。ロンドンオリンピックが終わって、次はブラジルだ。その前にワールドカップ・ブラジル大会もある。ファベーラと呼ばれるスラム街がやはり問題になっ…

ネタバレ。「リドリー・スコットも老いたか？」ってのが僕の感想。SF映画としてつまらないわけじゃないし、ビジュアルも見応えがある。だが、『エイリアン』『ブレードランナー』を知っている僕としてはチョット … …。ギーガーの有機物っぽいデザインとか人…