fA→B これではバラエティが足りないのでもっと描き足すつもり。それと、題材は f:A, B→C にする。

抽象的と具体的、自分の日本語が変で困った - 檜山正幸のキマイラ飼育記 ↑で引用した。 http://www.chimaira.org/img4/DontThinkFeel.jpg *1 "http://www.chimaira.org/img4/ItsLikeAFingerPointingAtTheMoon.jpg *2 *1:https://ameblo.jp/devikobayashi/ent…

*1 *1:http://thestanleyparable.wikia.com/wiki/File:Monitor_Room_in_Confusion_Ending.jpg

n, m∈N に対して、 AL(n, m) := Mat(n, m)×Rm と定義する。ここで、 Mat(n, m)は、m行n列の行列の全体 Mat(n, m) Rm×n (a, b)∈AL(n, m), (a', b')∈AL(m, k) として、 (a, b);(a', b') := (a'a, a'b + b') と定義する。これは次の式の代入計算。 y = ax + b z…

南アフリカのテーブルマウンテンやオーストラリアのエアーズロック（ウルル）は、いただきが平ら。*1*2 *1:画像： https://upload.wikimedia.org/wikipedia/commons/e/ea/Table_mountain.JPG より *2:画像： https://upload.wikimedia.org/wikipedia/commons…

ボックスの絵は、"Natural deduction for predicate logic"（https://cs.uwaterloo.ca/~plragde/cs245old/06-prednd.pdf）から抜粋。最後の絵は他の文献からコピーしたが、その文献が分からんから出所不明になってしまった。しかし、同じ絵だから"Natural de…

*1 *1:記事 https://v1.vuejs.org/guide/overview.html#Reactive-Data-Binding画像 https://v1.vuejs.org/images/mvvm.png

*1*2 *1:記事： http://nodehabitat.com/home/projects/huadi/ 画像： http://nodehabitat.com/home/wp-content/uploads/2013/12/015-view-02.jpg *2:記事： http://www.flickriver.com/photos/tags/bugseyeview/interesting/ 画像： http://farm4.static.fl…

シース（外部被覆）の材質としては、PVC（ポリ塩化ビニル）、PE（ポリエチレン）などが使われる。*1 *1:記事： http://www.aim-ele.co.jp/tech/metal-tech15/ 画像： http://www.aim-ele.co.jp/tech/metal-tech15/images/hifuku.jpg

Title: A comparison of the mathematical proof languages Mizar and Isar Markus Wenzel, Freek Wiedijk Pages: 24p URL: http://www4.in.tum.de/~wenzelm/papers/romantic.pdf P.24からの引用（画面ショット） 証明している定理は： for every number n t…

*1*2 *1:記事： https://kotobank.jp/word/%E4%B8%8A%E8%85%95-533810 画像： https://kotobank.jp/image/dictionary/daijisen/media/112911.jpg ローカル： human-arm_112911.jpg *2:記事： https://kotobank.jp/word/%E8%85%95-34946 画像： https://kotob…

*1*2*3*4バックホーとユンボの違い（習慣的用法）については： https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1013051685 *1:記事： http://www.cranenet.or.jp/tisiki/syoberu.html 画像： http://www.cranenet.or.jp/tisiki/images/syoberu0…

円周の対蹠点の同一視*1交差させて縫合*2クロスキャップ*3 *1:記事： https://topologia.wordpress.com/2008/12/25/5-el-plano-proyectivo-y-la-cinta-de-mobius/ 画像： https://topologia.files.wordpress.com/2008/12/plano-proyectivo.gif?w=480 ファイ…

3次元方向記述とその実現 - 檜山正幸のキマイラ飼育記 メモ編, 姿勢記述の色々 - 檜山正幸のキマイラ飼育記 メモ編 のオマケ／追加。*1 *1:記事： http://reset.etsii.upm.es/en/projects/robotic-arm/ 画像： http://reset.etsii.upm.es/en/uploads/pool__p…

ストライプ、シート、スライス、膜の集まり。線形写像の逆像ファイブレーションとかもコレ。*1 *1:画像: http://lowch.com/archives/8114 より

銃座付きのジープ（簡易combat/fighting vehicle、TechnicalsまたはImprovised fighting vehicleと呼ぶ）。ただし、レプリカ。*1より本格的な銃座：*2天文関係なら：*3*4地球上なら：ゴー☆ジャス*5 *1:画像：http://www.gizmodo.jp/2013/09/jeep.html より *…

次の論文によると、 http://publications.lib.chalmers.se/records/fulltext/160346.pdf 自動車の記述座標系は、 ISO8855:1991 で決まっているらしい。 ISO8855:1991 Road vehicles -- Vehicle dynamics and road-holding ability -- Vocabularyhttps://www.…

MATLAB、OctaveではOpenGLを使って3Dプロットができる。グラフを描くキャンバス空間に対してカメラ（肉眼と思ってもいいが）の視点／視角を指定できる。指定方法は、キャンバス空間側の原点からカメラ（or 眼球）までベクトルの3次元極座標表示を使う。*1 俯…

3Dタートルでの実験 - 檜山正幸のキマイラ飼育記 メモ編からの続き。3DタートルのURL： http://new.math.uiuc.edu/math198/MA198-2015/nwalter2/files/project/src/index.html Terminalで status() と打つと、そのときの亀の状態（status）が表示される。亀…

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

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

http://blog.goo.ne.jp/ktonegaw/e/0f47de5854daf4eb38339a73791544a8 にあった。

画像を集めた。まず、http://www.wirecable-sales.com/documents/wire_not_cable からの画像。ワイヤーの説明は、「電線は一般に、導体が絶縁体である保護被覆に覆われているものを指します。」 http://www.wirecable-sales.com/img/densen_zukai2.jpg 次は…

対称（互換、転置、入れ替え）により射が移動することを、クロスオーバー（交差、corossover）とかすり抜け（slip through）とか言ってきた。 クロスオーバー 参考： トゥラエフ主移動とクロスオーバー公式 - 檜山正幸のキマイラ飼育記 メモ編 すり抜け 参考…