http://d.hatena.ne.jp/m-hiyama/20080121/1200892274、http://d.hatena.ne.jp/m-hiyama/20100713/1278997329 に書いた話で： h = 1 では、マスロフ和は +（普通の足し算） h = 0 では、マスロフ和は max h(N) = 1 - 1/N とすると： h(∞) = 1 h(1) = 0 Nはプ…

「インスティチューションだのプロ関手だのなんだの」の「何が必要か」に書いたこと、だいたいの見当は付いたと思う。厳密性がないハナシで、その意味ではマダマダだけど。目的は多段階の設計実装プロセスをきちんと定式化すること。インスティチューション…

クリスマスで連休で、その後は正月で、ってなわけで、こういうときは、普通どおりに仕事するのもナンだし、最近は子供と遊ぶことも少ないしで、なんだかボーッとしている。すると、ボーッとしたことを思いつく。はたして意味があることかどうかわからないが…

76ページもある、ちょっとコレは読めん。 title: A unified framework for generalized multicategories authors: G.S.H. Cruttwell, Michael A. Shulman URL: http://arxiv.org/abs/0907.2460 こっちは36ページだが、なんだか僕が知りたいことじゃないよう…

ハブエントリー： スパイダーグラフ (1) 絵がテキストより分かりやすいのは、ノード／ワイヤー数が少ない場合で、ノード／ワイヤーが増えると結局はナンダカワカラナイ。ノード／ワイヤー数を減らすには、絵で表現する情報を絞り込んで余分なことは描かない…

ハブエントリー： スパイダーグラフ (1) チャンネル（ワイヤーのロール）と図示法。「描画するか」の△は、「設定によっては描画する」こと。 チャンネル in/out 描画するか 色(暫定) 矢印(暫定) 備考 param in △ - inv env in × - - stdin in ○ - normal var…

封切り日に渋谷で見た。後で感想書くかも。

26日の午後8時から9時で配送。あんれ、27日にダブルブッキングしたか？

新宿武蔵野館でやっていたので行ってしまった。先日。武蔵野館て、めちゃくちゃ目立つ場所／建物だと思い込んでいたが、そうでもなかった。そのことに、ちょっと驚いた。大人になって小学校を訪れたら、階段の段差が小さいのに驚くような感触か。映画「いち…

いくつか補足しておく。ハブエントリー： スパイダーグラフ (1) 以下の図のインバウンドポートの形状が間違っている。矢印の方向はこれでいいが、白丸が内部に入る。では、白丸はなぜ内部に描くのか？ エリアがルートエリアのときは外部を描きようが無いので…

スパイダーグラフ (1) の続き。スパイダー射の意味論スパイダー射は、f: A → B1, B2, ... Bn という、余域側に複数の型を並べていいプロファイルを持つ。複数の出力チャンネルを持つわけだ。複数の出力の一番お馴染みの例は、標準出力（stdout）と例外（exce…

イタリアのペリーロ（Perillo）さんて人が、nginx上のWSGIコンテナを作っているらしい。今度試してみよう。 Perillo の発音： http://ja.forvo.com/search/perillo/ ペリーロさんの発表： http://www.viddler.com/explore/python-italia/videos/10/ （イタリ…

スパイダーグラフ (2) スパイダーグラフ 補足 スパイダーグラフ：チャンネルと描画 スパイダーグラフ：絵は大ざっぱに描くべし スパイダーグラフの起原と用途いつ頃からか、直観主義論理の“ある種の双対”となる論理のシーケント計算をスパイダー計算と呼ぶこ…

型宣言、ホーアトリプル、関数定義に質的な違いはない。量的な違いがあるのみで同じ。つまり、程度問題に過ぎない。プロファイルのコンフォーマンス計算（すぐ上のエントリー）で扱いたい。

単一のプロファイルではなくて、プロファイルセットを考えて、コンフォーマントという順序関係で（上か下に）閉じたものを考えて、そのなかで計算をする。型とカインドの計算はこうしないとうまくいかないと思う。

明日、「タンタンの冒険/ユニコーン号の秘密」の予定。しかし、僕は実際はかなり映画みてる。毎週じゃないが、二週に一回くらいだろう。「リアル・スティール」、たぶん見るだろう。「ハッピーフィート2 踊るペンギンレスキュー隊」も見るかも知れない。「カ…

土曜の昼間に予約入れる。

結局、データセットの圏を考える必要がある。この圏の対象とは： 高々加算の集合Aが台集合で、XJSON型の圏への忘却関手を持つ。 適当な n∈(N∪{∞}) に対する [n] からの双射を持つ。e:[n]→A を列挙と呼ぶ。 ノルムと呼ばれる ν:A→N がある。ノルムの条件は後…

「データセット」はテストに使うための集合を意味するが、前もって生成して保存しておくか、その場で作る。データセットの議論は以外に難しい。ちと考えてみたら、データセットの圏というのがけっこう変な圏なので。それで直観が効きにくく、難しさに繋がっ…