2021-12-28に見たら、2006年の記事 https://m-hiyama.hatenablog.com/entry/20060419/1145432492 の体裁が崩れていたので修正： 手書きしていた目次をはてな記法の「:contents」に変更 見出し先頭の「●」を削除 生のpreタグを使っていたところを、はてな記法…

線形代数 セオリー論 事例1：遷移系 事例2：階層構造 基底 指標 集合＝アルファベット 単純DAG＝ハッセ図 基底の要素 記号セル 要素＝文字 アロー、辺 線形結合 コンビネーション 文字列＝ストリング パス 自由ベクトル空間 セオリー 自由モノイド 自由やせ…

ロマンの"Profunctor optics and traversals" https://arxiv.org/pdf/2001.08045.pdf のp.55 の The profunctor representation theorem 内部ホムを使って書けば：淡中対象の定義形をあわせると：少し違う、この違いを解消したい。たぶん、同時淡中対象〈joi…

JS91 "The geometry of tensor calculus, I" → https://www.sciencedirect.com/science/article/pii/000187089190003P JS93 André Joyal and Ross Street. “Braided tensor categories” → https://www.sciencedirect.com/science/article/pii/S0001870883710…

ロマンの https://arxiv.org/pdf/2001.08045.pdf より。

命題が提示されると、提示されただけで真、または提示されただけで偽と即断しがち。真偽不明だと保留するのは苦手。 見た目上の相関があると、必然的相関だと考えがち。偶然的相関〈疑似相関〉だと考えるのは苦手。→ http://tylervigen.com/spurious-correla…

自然言語の印象・連想に影響されないで、必ず形式的な定義を確認する。 用語・記法には、合理的な根拠も一貫したルールもないので、個別に暗記する。 細部に神経を使う。例えば、空集合や単元集合、空集合／単元集合からの写像、空集合／単元集合への写像な…

命題が出現する文脈として、定理、予想、問題などがあるがハッキリと区別するために： assertion ： 「正しい」という判断を伴った主張。 judgement ： assertion と同じ。 demand ： 「正しい」ことが不明なので、証明の要求。 enquiry ： demandと同じ。問…

カリー化： 引数なし関数： f() = f(*) = f( () ) 要素とポインティングマップ： a = a() = a(*) タプルと関数： 要素と単元集合の意図的混同 要素と単元リストの意図的混同 引数内の囲み括弧省略： f( (x, y) ) = f(x, y) ニセの和（区切り記号としてのプラ…

Graphvis Online digraph { rankdir = BT subgraph cluster_msyn { MetaSig } subgraph cluster_syn { Sig } subgraph cluster_msem { MetaClass Amb[label="Amb/Def"] MetaTarg Amb -> MetaClass[label="class-of"] Amb -> MetaTarg[label="habitat-of"] Me…

https://arxiv.aaorg/pdf/2006.01631.pdf

話が通じない原因が全単射と可逆写像を別物だと思っていたことだった。たくさんの言葉があると、すべて同義語とは判断しにくいらしい。 全単射 双射 バイジェクション 可逆{写像 | 射} 同型{写像}? 1：1対応

とりとめもない 散漫 とっちらかった 木に竹を接いだ

コンテナスキーマの形状と位置集合〈set of positions〉の組 を仮にテンプレートと呼ぶと。以下は同義語。 コンテナスキーマのテンプレート 変数出現を持つ式と変数出現の集合 変数出現を持つ項と変数出現の集合 形状がストリング図のときは、ストリング図と…

一貫性関係は用語が安定してなくて困る。レインンスター〈Tom Leinster〉の"Higher Operads, Higher Categories"での言い方。 一貫性定理と厳密化定理をあまり区別しない。同値な定理だから。 結合律子、単位律子を "coherence isomorphism" と呼んでいる。W…

何日か前に評判になったブログ記事： http​://hants.livedoor.biz/archives/52184019.html 2021年09月28日 梅澤愛優香さんに対する、はんつ遠藤の意見 体に染み付いた醜悪なオジサン構文の事例。 出だしの挨拶「お世話になっております。」 最後の挨拶「お疲…

余クライスリ評価関手の余クライスリ結合 - (新) 檜山正幸のキマイラ飼育記 メモ編 の、新しいターゲット命題に至るまでの等式的変形も書いておこう、忘れないうちに。余クライスリ圏の評価関手 1 ： ターゲット項余クライスリ圏の評価関手 2 ： ソース項＝…

けっこう強力な法則。 だとする。

評価双関手の交替律（エレベーター法則）行列形式表記では：評価関手：新しいターゲット（目的の等式）：

可換モノイドは、モノイドの☓☓☓に加えて、◯◯◯の☓☓☓を付け加えて定義される代数系である。 ☓☓☓ 公理 等式 法則 条件 性質 〇〇◯ 交換法則 可換律 可換性 演算の交換可能性

記号＝シンボル＝文字＝名前＝ラベル 代入＝割り当て 具体物＝具体値＝モデル＝値 次の正規表現はすべて同じ意味 {記号 | シンボル | 文字 | 名前 | ラベル}に{具体物 | 具体値 | モデル | 値}を{代入する | 割り当てる} {記号 | シンボル | 文字 | 名前 | …

Dagg Mon Str Seq Sym Comp QMarkov Markov Cart digraph { rankdir=BT Plain[label=""] Dagg Mon Str Seq Sym Comp QMarkov Markov Cart Dagg -> Plain Mon -> Plain Str -> Mon Seq -> Str Sym -> Mon Comp -> Sym QMarkov -> Sym Markov -> QMarkov Cart …

容赦なく 畳み掛けるように 矢継ぎ早に 立て続けに

SSL証明書の更新手順。 ファイルのバックアップ。これは、ローカル側のバックアップの問題も含む。 ログの管理。 画像のリンク変更 [追記 date="2021-09-13"]画像のリンク修正は 画像ファイルの置き場所 - (新) 檜山正幸のキマイラ飼育記 メモ編 で述べたこ…

GMO VPSの解約方法 - (新) 檜山正幸のキマイラ飼育記 メモ編 の手順に従って解約。 契約名 契約期間 利用開始日 次回更新日 契約満了日 [Plan] マイクロ 1ヶ月 2014/05/01 2021/10/01 2021/09/30 [Domain] （主）daphnia.org 12ヶ月 2014/04/15 2022/04/15 2…

ポートの開放 まず、 [root@chimaira ~]# firewall-cmd --add-service=https --permanent success [root@chimaira ~]# firewall-cmd --list-all public (active) target: default icmp-block-inversion: no interfaces: eth0 sources: services: cockpit dhc…

一部の画像は画像共有サイト imgur に置かれている。 2011年9月15日から10月3日のあいだ、画像のアップロード先がimgurで、画像ファイルはローカルの ~/Chimaira.org/root/img-imgur/ に置いてある。キマイラサイトにはアップロードしてない。 その他ポツン…

旧ネームサーバー（GMO VPS） ns.namedserver.net ns2.namedserver.net 新ネームサーバー（ConoHa VPS） ns-a1.conoha.io ns-a2.conoha.io 朝9時くらいに登録して、午後5時で現状こうなっている。 ~ > nslookup www.daphnia.org サーバー: UnKnown Address: …

基本的なコマンドラインツール。 パケットが届くかは ping シェルアクセスは ssh 名前が引けるかは nslookup、digはbind-utilsというパッケージに含まれる。 WebページがGETできるかは curl、情報だけは curl -I アプリケーションレベルでアクセス確認は ftp…