2013-01-01から1年間の記事一覧
VMないしはそのUIの機能： 無限走行しないように、リミットを設ける。指定した数のインストラクションを実行したら止まるか、ダイアログを出して聞く。 外部IO。IOポートを設けて、プリント命令（インストラクション）を追加。プリント命令の仕様は考える。 …
まず、 抽象的と具体的、自分の日本語が変で困った - 檜山正幸のキマイラ飼育記 抽象度が足りないと苦労する - 檜山正幸のキマイラ飼育記 すべて具体的に考えよ。できるだけ抽象的に考えよ。抽象的なことも具体的に考えよ。日本語が変なのは承知だが、そうと…
x, y, z, f, g などは変数（を表すメタ記号、以下同様の注意を適用）、N, M などの大文字はラムダ式。x = N とか、f x = M とかの形を定義文と呼ぶ。式じゃなくて文なのは、これがある種の副作用（変数とラムダ式の束縛状態）をもたらすから。定義文を単に定…
まず、掛け算は右から左への（反図式順）結合だとして、次はほぼ定義のようなもの。 Tr [0 1 / 1 a] = a* Tr [a b / c d] = a + bd*c 次は多少面白い。 Tr [a a / a a] = a+ [a b / c d]+ の成分は次で与えられる。ただし、この+は足し算じゃなくて直和。 Tr…
Wittenの論文は眺めてもサッパリわからんが、"a description in one dimension less" という言葉が出てくる。n次元の図形や現象を、1次元低いところにreduceすることは、a description in one dimension less を手に入れることになる。絵の次元が上がるとや…
コンウェイ圏まずコンウェイ圏の定義： Cがデカルト圏で、コンウェイ不動点演算子を持つとき、コンウェイ圏と呼ぶ。 コンウェイ不動点演算子 FixAX:C(A×X, X)→C(A, X) は、 変数Aに関して自然性を持つ。（タイトニング類似） 変数Xに関して、変形対角自然性…
http://ncatlab.org/nlab/show/simple+object と http://ncatlab.org/nlab/show/semisimple+category より引用： An object X in a category C with a zero object 0 is simple if there are precisely two quotient objects of X: 0 and X. If C is abelian…
「オペランド」より「パラメータ」がふさわしいような気がするんで、replaceした。演算の対象物がオペランドで、その意味ではスタック上に載っているデータがオペランドとも言える。 最小限備えるべきインストラクションは、綴りも含めて決めておこう。スタ…
参考： http://d.hatena.ne.jp/m-hiyama/20060711/1152581558 極小なプログラミング言語 http://d.hatena.ne.jp/m-hiyama/20060712/1152667443 あなたの「極小なプログラミング言語」は？ http://d.hatena.ne.jp/m-hiyama/20091125/1259117461 JavaScriptで…
謎の絵？の意味が分かった！http://d.hatena.ne.jp/m-hiyama-memo/20060613/1150189085 より： a, b, c, dを成分に持つ行列をAとすると、上は A+、下は (Tr(A))+、それの関係を言いたかったのか？ これは、A+の各成分（4つ）を露骨に表示するための絵だ。特…
http://d.hatena.ne.jp/m-hiyama-memo/20060613/1150189085 にあるこの絵はなんのツモリだったんだろう？「説明はいずれ。」って、結局説明ないし。a, b, c, dを成分に持つ行列をAとすると、上は A+、下は (Tr(A))+、それの関係を言いたかったのか？
童心に戻って、楽しくお絵描き。（事情があって、今日は時間がない）
関数型と手続き型が混じったようなプログラミングが出来て楽しい。楽しさを味わうために、forEach, fold, mapReduceと似たような制御用高階関数を準備しよう。 repeatEach(配列, 最初にやる関数, 毎回やる関数, 最後にやる関数) 「最後にやる関数」は省略可…
なんかAmazonっぽいヤツ。手作りのフィギュアやアクセサリーのようなもの売るショップを想定。 作品と作者（クリエイター）がいる。 作品は多品種少量（主に単品）で手作り。 作品の共作、集団作成もある。個人・グループ・組織、どれもある。 購買者はファ…
参考サイト： http://ja.wikipedia.org/wiki/LOGO http://www.calormen.com/logo/ http://gihyo.jp/dev/serial/01/enjoy-pg/0003 モナドのサンプルとして：http://d.hatena.ne.jp/m-hiyama/20090804/1249357682 http://d.hatena.ne.jp/m-hiyama-memo/2009080…
ダイクストラ波動はグラフ（通常は有限グラフ）上を走る波動だが、連続現象の波動とは違う特徴を持つ。 アルゴリズム時間＝ステップ数 に沿って進行する。 アルゴリズム時間は現象時間とは異なる。そもそも現象時間がないときもある。 アルゴリズム時間は、…
本編にも書いたが、MongoDBは比較的にドキュメントが揃っていると思うが、 自然言語説明だけで事例がない。 自然言語説明だけで形式的定義がない。 という欠点はある。形式的定義はともかくも、事例はほんとに欲しい。 <t> is the hexadecimal representation o</t>…
メイン画面から、[管理]-[データ管理]を開くと「ブログのエクスポート」がある。そこに、 はてなの日記データ形式 Movable Type形式 CSV形式 PDF形式（有料） 「はてなの日記データ形式」でダウンロードすると、拡張子は .xml、m-hiyama.xml ができる。「Mov…
http://www.calormen.com/logo/
トロピカル環（半環）についは、 熱帯はやっぱり熱い！ （tropical半環おもしれー） - 檜山正幸のキマイラ飼育記 メモ編 Exotic Semirings - 檜山正幸のキマイラ飼育記 メモ編 離散的な力学系に関しては、 離散物理としてのグラフ理論 - 檜山正幸のキマイラ…
絵算の欠点は、しばらくやってないと出来なくなる事だろう。勘（感、観）に頼るので、勘が鈍るのだ。機械的な記号計算ではないので、どこ（場所、チャンバー）になに（変形規則の適用）をするかの判断に慣れがいる。視覚的な認識なのでアルゴリズム化が難し…
アフィン線形圏の不動点理論はけっこう難しい。ので扱わない。線形（正確には半線形かな）圏の不動点理論に限定する。線形圏でもけっこう難しい。そもそも不動点の存在を保証するのが難しい。係数半環になんらかの条件が必要だ。ベキ等な連続半環とか、そん…
図形を射とするローヴェル理論。5つの記法： 象形文字：∇、II、X など シッカリ行列： 升目欄と入出力矢印をシッカリ書いた行列、欄の幅・高さをちゃんとする。 上から左： の絵図 上から下： の絵図 左から右： の絵図 基本的な行列： Δ（∧） ∇（Y、∨） I I…
ベクトル＝配位空間上の値分布＝状態＝状態空間の点 行列＝ベクトルの変換＝作用素＝状態遷移＝時間推進＝力学系の生成子 行列の計算＝（離散）作用素代数に慣れること。
図で、f†は、fに対するコンウェイ（Conway）の不動点演算子。トレースを使って書くと、 f† = Tr(f;Δ) となる。f#はエルゴットの繰り返し演算子。（右にある Tr(∇;f;Δ) は今回関係ない。）f# の表記として、 Tr([ι2A,X, f]) というのがある。ιは標準入射で、[…
火曜午後4時と木曜午前10時なので注意
リスト処理は定番のデータ構造とアルゴリズムだが、それでも色々な自由度がある。ライブラリとして、どのような関数・メソッドを準備するか？ ミュータブルかイミュータブルか？ nilをどう扱うか？ などなど。既存ライブラリでは、Underscore.js（それと互換…
状態遷移を旅行と考えると、旅行する当人（粒子）とか団体旅行とか、世界の外から眺める人（神様）とかいる。中の人＝無視、外の神様＝鳥 と考えてもよい。 状態空間＝特定時刻のスナップショットの空間 状態空間は不変、時空が直積になる。 状態空間も変化…
級数表示 f(x) = 1 + ax, g(x) = b + ax に対する不動点 ω総和可能半環 ω総和可能半環の具体例：boolean、max-plusとmin-plusがメイン ω総和可能半環の構成：モノイドの上の畳み込み（ベキ集合だけ）、直積、正方行列、関数半環 正規表現と構文図 構文図で見…
ウーン、ちゃんと書かないとやばいよなー、と思いつつ、極めてラフなメモ。近日中になんとかして、より詳しい記述をしたい。変数と項のペアを束縛と呼ぶことにする。x = t のようにイコールで書く。束縛の集合、ただし変数はすべて違うものを束縛セットと呼…
