データオブジェクトを「変数」と呼ぶ。変数に型はないが、整数変数のように言う。これは整数（行列）オブジェクトを意味している。「変数」はデータオブジェクトと読み替えるとよい。型は type(a) とか typeof(a) で確認できる。type(a) で出てくる番号が内…

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

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

edit 関数名 editvar 変数名 Rでもデータフレームの編集に簡易スプレッドシートみたいんがあったけど、似たり寄ったり。

回転軸と回転方向 - 檜山正幸のキマイラ飼育記 メモ編 からの続き。次のURLは、ブラウザ上で動かせる3Dタートルグラフィックスである。 http://new.math.uiuc.edu/math198/MA198-2015/nwalter2/files/project/src/index.html タートルは亀のこと。亀型の飛行…

3Dの身体感覚 - 檜山正幸のキマイラ飼育記 メモ編 からの続き。回転軸と回転方向は、ネジを基準に考える。世の中には、右ネジと左ネジがある。*1左ネジは例外的で珍しく、事実上は「ネジといえば右ネジ」。右ネジは、右に回すと前に進む。実際にドライバーで…

エディタでCtrl-Gでコードナビゲーターが出現する。まーまー便利。

3次元空間の（アフィン）幾何をやろうとする場合、「数式だ計算だ」という前に、3Dに対する感覚とか空間への興味というのがある程度はないとキビシイ。理屈というよりは感覚、身体能力に近いので、お勉強するもんじゃなくて鍛えるものだろう。とりあえず飛行…

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

Linear Logic, Domain Theory and Semi-Functors / Hoofman http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-34.pdf フーフマン（Hoofman）の線形圏 - 檜山正幸のキマイラ飼育記 メモ編も見よ。

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

『ストリート・オブ・ファイヤー』（Streets of Fire）は、1984年の映画。1984というと、千葉県に一人でプラプラしていた頃か。このとき、ダイアン・レインは19歳だったそうだ。役名マッコイという女性兵士が出てくる。エイミー・マディガンという女優さんだ…

0引数関数と定数は同じなのか？ ：圏的ラムダ計算の立場から考える 我ながら、めちゃくちゃチャンと書いてある。

なんだこれ？

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

マーベルやDCのコミック世界はパラレルワールドで、それをマルチバースというだそうだ。マーベルの映画の世界は特にマーベル・シネマティック・ユニバースだそうで -- ほんとにユニなのか？レジェンダリー＆東宝の怪獣モノの世界はモンスターバースと呼ばれ…

アクション女優としてのミラ・ジョヴォヴィッチ（ヨヴォヴィッチ）が好き。さて、ミラのライバルというと誰だろう？ 2017年現在、世間の評価は、 スカーレット・ヨハンソン だろうか。『ゴースト・イン・ザ・シェル』でアクションを見せてくれたからね。ミラ…

加法的は、足し算（可換モノイド演算）とゼロを保存すること。これはいい。線形は加法的とは違う！ fが線形 ⇔ D(f:X→Y):X×X→Y = π;f 、ここでπは自明バンドル X×X→X の射影。この「線形」は名前も良くないが概念としても良くない。名前は「アフィン線形」と…

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

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