ボタン恐怖症 - 檜山正幸のキマイラ飼育記に関して、林家たい平さんの言葉： 僕、ボタンが嫌いなんです。 ボタンの物が着られない。 気持ちがわるいんです、ボタンが。 ボタンがあると、食事もできない。 ボタンに触れない。

数学記号とか特殊な文字のUnicode - 檜山正幸のキマイラ飼育記のデータ：タグで区切った項目（カラム）は： 名前 文字 HTML 10進 HTML 16進 項目の順番を変えたり整形したりするには、例えば： $ awk -F$'\t' '{print "|" $2 " | " $1 " | " $4 "|"}' symbol…

今日はメモだけだが、全微分公式と偏微分公式は公理ではなくて定理になる。

マニュアルによると： Maxima Lisp foo $foo 名詞のfoo %foo ?foo foo しかし、実際にやってみると、 :lisp (setq foo 'bar) :lisp foo /* => BAR */ Lisp側での名前が全部大文字の名前になってしまう。なんだ？？いずれにしても、:lisp $名前 は探索に役に…

C∞代数をローヴィエル理論と見ている。面白い。 http://www.kurims.kyoto-u.ac.jp/EMIS/journals/CMUC/pdf/cmuc9603/michor.pdf

イエッター本のp.74 単一の対象から生成されたブレイド付きモノイド圏は、ブレイドの圏とモノイド圏として同値である。 イエッター本のp.117 単一の対象から生成されたリボン圏は、枠付きタングルの圏とモノイド圏として同値である。

電卓のパーセントキーってムチャクチャじゃん - 檜山正幸のキマイラ飼育記←こういう仕様ってほんとに嫌い。憎んでいる、と言ってもいいくらいだ。カシオ電卓では、定数計算モードというこれまた変な機能がある。まー、当事者は変だと思ってないだろうが。数…

ダメな習慣 - 檜山正幸のキマイラ飼育記 メモ編 の問題は、受動性と能動性（自発性）との対比としてだいたい説明できそうだ。受動的態度とは： 世界は自分ではない誰かにより絶対的に決定されていて、自分は関与できない。（と思っている） 提示・提案を疑問…

値を気にして過程を気にしない。 値を気にするので、途中計算を逐次その場でやらないと気がすまない。 値を気にするので、法則性や共通性が見えない。 分数形式を使わない。分数より少数が好き。少数だと気が休まる。 問題を解くとは、回答欄に値を記入する…

忘れないように。 http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=consolidation

関数化マクロオペレーター ?(E) Eをユニット定数を渡して評価する関数に変える ?(E) := λu:I.E 定数化マクロオペレーター !(E) 引数0個の関数を定数にする。 !(E) := E・! デカルトペア・マクロオペレータ λt:T.(E・t F・t) セルフ・シミュレーター 外部圏の…

英語： permutation, substitution, assignment, valuation 日本語：順列、置換、代入、割り当て、付値 対応： permutation → 順列、置換 substitution → 置換、代入 assignment → 代入、割り当て、付値 valuation → 割り当て、付値 [追記]replacementもある…

無限小に関するエントリー： 時計とポールで学ぶファイバーバンドル - 檜山正幸のキマイラ飼育記 ゾゾウスキ導分とゾゾウスキ共役 その2 - 檜山正幸のキマイラ飼育記 イデアルと論理 番外：ベキ零（nilpotent）元のはなし - 檜山正幸のキマイラ飼育記 イデア…

サマリー http://citeseerx.ist.psu.edu/viewdoc/summary?doi=<DOI> ダウンロード http://citeseerx.ist.psu.edu/viewdoc/download?doi=<DOI></doi></doi>

Title: The Classification of Two-Dimensional Extended Topological Field Theories Author: Christopher John Schommer-Pries Pages: 317 URL: https://arxiv.org/abs/1112.1000 , https://arxiv.org/abs/1602.01019, https://arxiv.org/pdf/1602.01019.p…

USB 3.0 x 2 Powered USB 3.0 x 1 スマホ充電に便利 Lenovo OneLink x 1 Lenovo仕様の外部入出力 HDMI x1 ディスプレイ RJ-45 LANケーブル マイクロフォン/ヘッドフォン・コンボ・ジャック Princeton PTFBKF-27Wは、 HDMI ×2 アナログDSubミニ15ピン ×1

計算に使う3-圏Kについて： Kは三重圏の3方向のうち一方向（verticalとする）をピンチした3-圏である。 ピンチングにより次元は減らないが、射の種類は8種から6種に減る。 縦横ニ方向だけ考えると、二重圏のピンチングで弱2-圏（双圏）になる。 縦1-射がなく…

P, Qなどを点で、LP,Qを平行移動とする。平行移動の公理は次でよいと思う。 [平坦性公理] LP,Q(R) = LP,S(Q) [平行性公理] LP,Q(R) = S ならば、LP,Q = LR,S [P,Q] ‖= [R, S] ⇔ LP,Q = LR, S と定義して、次の「平行四辺形定理」が成り立つ。 [P, Q] ‖= [R, …

初日（12-23）で観た。ウーン、ダメだったな。ガッカリ。4-アフターライフがシリーズ最低だと思ったが、最低記録更新かも。有終の美は飾れなかった。アンダーソン監督（脚本）のやめたかった感が満載。なんとしてでも終わらせるためにストーリーをでっち上げ…

これは出来が悪いなぁ。見どころは、冒頭のクローンアリス部隊による渋谷本部襲撃、アリス＆クレアvs処刑マジニくらいか。クローン部隊は、3-エクスティンクションの最後に出たネバダ地下のアリス達だが、クローン部隊の出番はここだけ。アリスの超能力も渋…

韓国の少女時代の子達はスタイルいいなーと思ってたが、以前、少女時代とローラが並んだ写真を見て唖然とした。手足の長さが違いすぎる。だが、そんなローラでさえ、ミラの横だとパッとしない。エイダ役のリー・ビンビンも一人だとすごくスタイルがいいが、…

ミラがプロモーションで日本に来ていたのでインタビュー動画なども見られる（ https://www.youtube.com/watch?v=UxPW-Tvt5vQ ）が、素のミラは、まーさすがにオバサンぽいところもある。が、ともかくキレイだし、話もシッカリしている。アクションはきつい年…

後の破綻ぶりに比べればマシな展開だが、 アンブレラ社の特殊部隊は、なぜマットとアリスを連れて行く？ 特にマットに必然性がなさ過ぎ。 ワンはアリスとスペンスを知っていて、関係者扱いした可能性はあるが、マットは意味不明。手錠をしたまま連れ回すなん…

ミラは平気で脱ぐなぁ。別に脱がなくてもいいと思うのだが。 1-インフェクションの初登場シーンはシャワールームで、ほとんど裸 1-インフェクションの最後と2-アポカリプスの最初の病院で、ほとんど裸 2-アポカリプスの最後でアイザックスに助けられた水槽内…

ネーミングの選択が難しいのだが、 N値の1-形式＝1-コチェインが問題。一応C1(A, N)でN値の形式＝コチェインを表す。 三角ハイブ上で1-コサイクルを考えることが出来る。コバウンダリ作用素がないが、それでも等式で定義できる。コサイクルが許容状態（addmi…

https://coq.inria.fr/library/Coq.Init.Notations.html より： Reserved Notation "x -> y" (at level 99, right associativity, y at level 200). Reserved Notation "x <-> y" (at level 95, no associativity). Reserved Notation "x ∧\ y" (at level 80…

C-c C-n しか憶えてない。http://proofcafe.org/wiki/ProofGeneral より： command action C-c C-n 1ステップ進む C-c C-u 1ステップ戻る C-c C-Enter カーソル位置まで進める C-c C-a C-o SearchPattern C-c C-a C-p Print C-c C-a C-c Check C-c C-a C-s S…

ケーニヒスベルクの橋の問題は、だいたいポアンカレ双対。

1 + 1 AddOne(x) = x + 1 (or Augment(ation)) Double(x) = x + x A(X) = X + 1 D(X) = X + X そして、 A上にモナドを作れる D上にモナドを作れる Aを随伴対で表現できる Dを随伴対で表現できる AとDはベック分配可能である。AD上にモナドを作れる。 Aのクラ…

http://arxiv.org/pdf/0904.3848.pdf の3ページ目にconsolidationの定義が書いてある。 A consolidation for C is a function p: Co×Co → C, p(e, f) = pe,f, where pe,f is an arrow from f to e and pe,e = e.