座学、畳水練は止めよう わかんなかったら実験、探索 少ない知識でも、組み合わせて推論すれば、たいていのことは分かる。 組み合わせ方や推論の能力が真の問題かもしれないが、、、 考えない習慣／やってみない習慣を直す（矯正する／強制する）ようにしよ…

あんれー？ 全然知らないことが山盛り載っていた - 檜山正幸のキマイラ飼育記 メモ編 で触れた"Liniear logic, domain theory and semi-functors"が見あたらないなー。カロウビ展開圏（Karoubi envelope）が知りたいのだけど、、、、

集合X上に次のような構造を考える。 Xの部分集合I X→Xである写像s1, s2, ..., sN （N≧1） s1, ..., SN を任意に結合した写像を移動（move）と呼ぶことにし、その全体をMove(X)とする。一方、Σ = {s1, ..., SN}として、クリーネ・スターΣ*を作る。すると、Σ*→…