ウーーンン？ チンプンカンプンだが、これって力学？ Title: Noncommutative Geometry and Quiver algebras Authors: William Crawley-Boevey, Pavel Etingof, Victor Ginzburg URL: http://arXiv.org/abs/math.AG/0502301

データに関しては、その意味（例：算術値）、内容（ビットコンビネーション、バイト列）、場所（アドレス、スタック、ヒープなどの領域の区分）を組にして考えるとよい。意味だけを考えてはうまくいかないし、不自然なことも多い。

アームストロングのErlang本に、アプリケーションコントローラーとアプリケーションスターターが混同してあるところがあって、僕は「コントローラーとスターターは違うんだぜ」と思った。それは憶えている。が、アプリケーションスターターが何であるかを今…

インストールの最後で、Windowsのエラーダイアログボックス。メッセージは： ディスクがありません.Exception Processing Message c0000013 Parameters 764cbf9c 4 764cbf9c 764cbf9c

クイズ： 実行前にいくつになるか予想せよ。 /* and haw much? */ #include int main() { unsigned char u = UCHAR_MAX; signed char c = CHAR_MAX; unsigned char u2 = c; signed char c2 = u; u += 2; c += 2; u2 += 2; c2 += 2; printf("u = %d, c = %d\n…

ネタ、ネタ、ネタ - 檜山正幸のキマイラ飼育記 メモ編と重複するが、まだ記述してないこと。 JsDoc Toolkit 2.* ErlangのMakefile Erlnagのアプリケーション概念 Erlnagのerlからの関数／式の実行 関手圏 [C, D], Func(C, D), Nat(F, G) 量子計算の状態概念 …

M-豊饒圏のレルムM-Catをベースに、単なる関手ではなくてM-プロ関手による圏M-ProCatを考えること、M-CatをM-ProCatに埋め込んで考えることはものすごく重要な気がする。とりあえず、ストリートが言っている線形テンソル圏Vectkを使った豊饒化とプロ関手（ス…

n個の型パラメータを持つ総称型は、C1×...×Cn→D という関手だと思ってよいだろう。総称関数は自然変換、あるいは自然変換を少し拡張した概念で定式化できるだろう。世間で総称型／総称関数といっているものがすべてこのようにみなせるわけではないが、タチの…

「左にシフトすると2倍」は違う。シフトはシフトと思えばそれでいい。いちいち翻訳しない。 /* haw much? */ #include int main() { unsigned char c = UCHAR_MAX; unsigned char d = c + 2; unsigned char e = c; unsigned char f = d; printf("c = %d, d =…

http://seclan.dll.jp/c99d/c99d00.htm http://www.aerith.net/cpp/typical_bug-j.html と、ここからリンクされたページ。

圏Catに普通のデカルト積を入れる。指数を関手圏とすると、デカルト閉であることをちゃんと示せ。同じ事をモノイド閉圏Mで豊饒化した状況で成立するか。M-Catが、なんらかの適切な定義のもとでモノイド閉か？

以下、ストリートが書いていたこと：まずモノイド圏Mを1つ固定する。M-豊饒化された圏を単にM-圏と呼ぶ。M-圏のレルムをM-Catとする。A, B∈|M-Cat| に対して、そのテンソル積が定義できる。 対象： |A×B| = |A|×|B| ここで×は直積 ホムセット： (A×B)(<a, b>, <a', b'>) = </a',></a,>…

即値 レジスタ内容 -- 単にレジスタ レジスタ内容をアドレスとみなしてのメモリブロック -- [レジスタ] 組み合わせを考えると： 即値 → レジスタ 即値 → [レジスタ] レジスタ → レジスタ レジスタ → [レジスタ] [レジスタ] → レジスタ [レジスタ] → [レジス…

人間は、数（number）とその計算に慣れている。 機械は、ビット模様（の物理的実現）を記憶、転送、操作するだけ。 数の世界とビット模様の世界にはギャップがある。二進数が2つの世界を翻訳するときの架け橋となる。 二進数は数（number）としての意味を持…

文字列と整数の相互変換 実用上は、適切なライブラリ関数を探す。 練習としては、自前で作る。 文字列→整数 は、自前で作っても割と簡単。 整数→文字列 は、戻り値をどうするかで悩むかもしれない。変換ではなくて直接出力なら割と簡単putcharだけを使って（…

/* rec.c */foo(int count) { printf("%4d: %p\n", count, &count); if (count return; } foo(count - 1); }bar(int count) { if (count > 0) { bar(count - 1); } printf("%4d: %p\n", count, &count); }main() { foo(10); printf("\n\n"); bar(10); } /* u…

横方向は空間方向、縦方向は時間方向として、ビットを1cm×1cmのマスで描くと、1秒間の処理はどのくらいのサイズの絵になるか？ http://d.hatena.ne.jp/m-hiyama/searchdiary?word=16%bf%ca%a4%f2

本編の「伝統的テンソル計算を理解するヒント」において、内積空間Uをひとつ固定して、内積空間と（任意の）線形写像の圏の充満部分圏Tens[U]を考える、という話をした。実はUが内積空間（ユークリッド空間、ヒルベルト空間など）である必要はなくて、Uとそ…

http://www.st.rim.or.jp/~phinloda/cqa/cqa13.html より：<errno.h>（エラー） EDOM ERANGE errno<stddef.h>（共通の定義） NULL offsetof(型,メンバ指示子) ptrdiff_t size_t wchar_t<assert.h>（診断機能） NDEBUG void assert(int expression);<ctype.h>（文字操作） int isalnum(int c); int i</ctype.h></assert.h></stddef.h></errno.h>…

[追記 date="2008-10-18"]:=は、左を右で定義する、ということ。イコールの上に黒丸や三角が乗っているのは、正確にはイコールじゃないけど、記号の濫用や規約に基づきイコールで書きますよ、ってな気分だと思う（実は書いたときの気分を忘れているが）。[/…

ストリート（Ross Street）が、双対（a duality）の記法として、A -| B を採用している（「ストリートの用語法と記法」参照）。この記法が具合がいいのは、関手の随伴と同じだからだ。対象の双対ペアと関手の随伴ペアが並行的に扱える。モノイド圏を、対象が…

「単位／余単位」は圏論的には定着しているが、テンソル計算の文脈ではフィットしない。「カップ／キャップ」も使われているが、すぐに「どっちがどっちか」わからなくなる。「ベル状態／ベル余状態」では特定分野に片寄りすぎ。ステファネスクの用語、「ベ…

お絵描きテンソル計算の説明を考えている。最初に、紐だけの状況を考える。これは圏論的には恒等で、クロネッカーデルタで成分表示される。その後に、箱がある状況を考える。箱は行列や（狭義の古典的）テンソルで表示される。最初のクロネッカーデルタの場…

本来のエディントンのイプシロンは、添字が3つ付いたεijkだ。 http://ja.wikipedia.org/wiki/%E3%82%A8%E3%83%87%E3%82%A3%E3%83%B3%E3%83%88%E3%83%B3%E3%81%AE%E3%82%A4%E3%83%97%E3%82%B7%E3%83%AD%E3%83%B3 添字の範囲を1,2,3として、εij := εij3のよう…

deductive/deduction system sequent Gentzen system logical rules, structural rules one-sided sequent Exchange, Weakening(Thinning) Contraction left rule, right rule introduction rule, elimination rule sequentのantecedent 前例、先例、先立つ…

うーん、なんやかんや、やっていたけど、どうも失敗、徒労だったようだ。あー、疲れた。むなしい。形式言語理論における列言語をフーリエ変換できないかと思ってやっていた。非可換モノイドMから出発して、A⊆MをM上のブール値関数（特性関数）だと思う。M上…

gccオプション -v 詳細表示 -E プリプロセス（標準出力） -S コンパイルのみ .s -c コンパイル＆アセンブル .o 単独で呼べるコマンド cpp プリプロセッサ as アセンブラ ld ローダー cc1 コンパイラ本体（libexecの下のどっか、直接は呼ばないな）

http://www.orsj.or.jp/~archive/pdf/bul/Vol.47_04_251.pdf http://www.orsj.or.jp/~archive/pdf/bul/Vol.47_05_322.pdf http://www.orsj.or.jp/~archive/pdf/bul/Vol.47_06_393.pdf http://www.orsj.or.jp/~archive/pdf/bul/Vol.47_07_453.pdf http://www.…

ビットだけの世界がそこにある。 ビットコンビネーション、バイト、オクテット(octet)、ワード、レジスタサイズ いまどき、「バイトとオクテットは違います」なんていうヤツはいねーと思うが。 「レジスタっても何本もあるよ」というツッコミはあるかもね。 …