基本的には次の記事の手順： https://www.khstasaba.com/?p=914 念の為に書いておくと： /etc/yum.repos.d/ 内にリポジトリファイルがある。 CentOS-Base.prepo を編集。 各セクションを以下のように編集。 baseセクション [base] name=CentOS-$releasever -…

念のため、root, hiyama, chimaira のパスワードを変更。覚えるのは難しい。 /home/chimaira/web_pub/ と ~/Chimaira.org/root/ の内容を完全に同期。 これ以外のディレクトリは基本空っぽにする。けっこうファイルがある。今となっては思い出せないが、Hugo…

Dotsterの支払いにPaypalを使っているが、そうである必要はないので、残高がなくなったらPaypalをやめてもいい。 Dotserのインターフェイスは相変わらず悪い。https://www1.dotster.com/controlpanel/foundation/ から操作対象のドメイン名にチェックを入れ…

Paypalドメインネームの支払い用。通常のアカウントと開発者アカウントがあり、別物。Paypalの通常のアカウント： マーチャント名: 正幸 檜山 URL: https://www.paypal.com/jp/business メールアドレスとパスワードでログインできる。ログイン後は、 https:/…

「数学の常識・非常識—由緒正しい TEX 入力法」 http://www.math.tohoku.ac.jp/tmj/oda_tex.pdf から注意すべき点を抜粋。 次元のdimは全体をローマン。 線形群の名前はイタリックでよい。 など。 外微分のdは、数学ではイタリック、物理ではローマン。 定理…

線形等式的法則〈linear equational law〉に関しては、障害子〈obstructor〉を考えることができる。あらゆる法則に関して障害子を考えてみる。たぶんいいことある。階付きベクトル空間の自己射で、次数1のものをアップ作用素と呼ぶ。アップ作用素を備えた階…

例： 交換法則に対する障害子は交換障害子＝交換子例：ライプニッツ法則に対する障害子はライプニッツ障害子〈Leibniz obstructor〉

これまたグロタンディーク起源らしいが、http://www.kurims.kyoto-u.ac.jp/EMIS/journals/AM/09-4/roger.pdf に何気なくちょっと書いてあった代数的微分作用素〈algebraic differential operator〉。Aは階付き可換代数とする。次数〈階数 degree | grade〉r…

全般的な話。マリオスは、次の記法・定義を使っている これは、 が2次DG環なこと。ここで、k次DG環とは、kより大きい次数がすべて0であるDG環〈可換DG代数〉。0次DG環は単なる環〈可換環〉、X上の1次DG環層はマリオスの微分三つ組〈differential triad〉。X…

マリオス幾何に関してメモしていく。 A. Mallios' A-connections as connections on principal sheaves (1997) Efstathios E Vassiliou（ヴァシリウ）https://www.researchgate.net/profile/Efstathios-Vassiliou/publication/237087003_A_Mallios%27_A-conn…

リー微分、外微分、内微分の関係は 微分インフラとはカルタン微分計算系 - 檜山正幸のキマイラ飼育記 (はてなBlog) カルタン微分計算系はいいぞ - 檜山正幸のキマイラ飼育記 (はてなBlog) に書いた。 https://planetmath.org/cartancalculus （マジック公式…

モナド達の上のモナド： ストリート・モナド モナド論をヒントに圏論をする（弱2-圏の割と詳しい説明付き） https://m-hiyama.hatenablog.com/entry/20170111/1484122584 Title: Composing PROPs Author: Stephen Lack Pages: 18p URL: http://www.tac.mta.c…

加減乗 +, -. * 逆行列 inv(-) 転置行列 ' ランク rank(-) カーネルの基底 null(-) 行列式 det(-) トレース trace(-) 三角化 triu(-), tril(-) 方程式を解く linsolve(A, b) Ax = b を解く。

privateな名前は、名前空間の内部しか使用できない。外部からのアクセスが禁止される。protectedな名前は、アクセスは可能だが、openして外部にばらまくことができない。 private -- 外部からのアクセスは不可能。 protected -- 接頭辞付きでならアクセス可…

以下は、$USERPROFILE/.elan/toolchains/stable/bin/leanpkg.bat @ECHO OFF SET LEANDIR=%~dp0%../ SET LIBDIR=%LEANDIR%\lib\lean IF NOT EXIST "%LIBDIR%" SET LIBDIR=%LEANDIR% SET LEAN_PATH=%LIBDIR%\library;%LIBDIR%\leanpkg SET PATH=%LEANDIR%\bin;…

ヘミトレースは、対称モノイド圏に入るコンビネータ HX,A,Y: C(A, XY) → C(XA, Y) バニシング、タイトニング、スライディング、スーパーポージングはトレースと同じ。ヤンキングに対応する公理をクロッシングとする。 f;HX,XX,X(σX,X) = σA,X;HX,A,X(f) ヘミ…

丸山先生の記事で、「アブラムスキー・クッカ対応」と書いてあったけど、「クッカ」に近いのか。それと、この対応はもっと昔の人の名前を使って「カリー・ハワード・ランベック対応」がより一般的だと思う。圏論と量子情報・計算を対応づけたのはアブラムス…

＠2020-09-30 20：00--22:00 by Zoom vs にならなかった。 谷村先生の絵が力作。 パットナムの双子地球が批判されていた。 双子地球の“水”は、心的状態が一致しても外延が一致してない例らしい。 SF、ファンタジーとしては面白い気がするが、フィクションと…

今したLINE発言のコピー。[…] は修正追加文言。 ニューノーマルというのは、「もうもとの生活には戻れない」を肯定的（否定的でないように）言ったものなんでしょう。必ずしも悪いこととは思いません。オールドノーマルが良かったわけでもないので。 それに…

マルコフ核： 確率計算のモダンな体系 - 檜山正幸のキマイラ飼育記 (はてなBlog) 測度的積分核と随伴構造 - 檜山正幸のキマイラ飼育記 (はてなBlog) 意味 新 旧 カリー化 F∧ (なし) 反カリー化 F∨ (なし) 関数の引き戻し F*(f) f.F 測度の前送り F*(L) F.L …

「これからは通販で買い物、何でもオンラインだからなー」とか言っているオッサン（爺さんの僕よりは若い）が、タブレットの使い方を教わっていたのだが、次の概念（むしろ言葉）でつまずいていた。 URL 全角／半角 （ウゲッ） 戻る{ボタン}? UNDO DELETE サ…

オンラインのMarkdownエディタ＆ビューワーには、StackEditを使うことにした。 https://stackedit.io/ オンラインで直接書くこともできるが、 [#] → Import/Export → Import Markdown で、ローカルからのファイルアップロードができる。 Mrakdownテキストを…

中近両用メガネというものを作った。両用メガネというものは初めて。以前作ろうとして試したら目眩がしたのでやめたのだった。便利ではあるが不自然であり、視力獲得のために色々と犠牲にしている感じが強い。実は中距離専用メガネで良かったのではないかと…

確か 2.4mm のキーストロークがあった。今だと、ノートPCなら 2mm, 1.9mm でも深いほうで、1.5mm くらいが標準的かも知れない。1mm なんてのも普通にあるようで、僕には受難の時代だ。最悪はソフトウェアキーボードで、キーストローク 0mm 、ガーーーッ。ノ…

"Boosting Vector Differential Calculus with the Graphical Notation"に、 virtuosity in index gymnastics 添字体操の妙技 という言葉が出てくる。テキスト記法に対してこの妙技を磨くのは時代遅れで苦痛でしかない。

https://m-hiyama-memo.hatenablog.jp/search?q=graphviz Graphvizの属性 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 コマンドでお絵描き - (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/search?q=gv%3Anode

3月28日記事 誤訳だろうが定着すれば立派な日本語 - 檜山正幸のキマイラ飼育記 (はてなBlog) にて： ちなみにに、僕は新型コロナ禍には悲観的（より正確には反楽観的）想定をしていて、「この夜はなかなか明けないだろう」と思っています。 「何ヶ月」とかで…

普通に考えておかしいじゃないですか。 ネットで調べればすぐわかることです。 専門家はそんなことさえわからないのです。（専門バカ、御用学者、お抱え評論家） マスコミは嘘ばっかり報道する。 単語： 波動 エネルギー 高次元 (5, 6, 88次元) チャクラ 松…

ニコニコネット超会議2020 公式サイト https://chokaigi.jp/ ニコ動ヘッダ https://www.nicovideo.jp/?header ニコニコ超パーティー2015 特別再放送【前半】@ニコニコネット超会議2020【4/12】https://live2.nicovideo.jp/watch/lv325057772 超ニコニコイン…

Lin = Vect MLin = 複線形写像を射とする圏。対象はベクトル空間のリスト（公平タプル） PLin = 多線形写像を射とする圏。対象はベクトル空間のリスト（公平タプル） PLin は MLin上のテンソル積モナドのクライスリ圏 PLinの射（クライスリ射）をテンソルと…