混合コンテキストが、次のレベルで提供される。 ライブラリ パッケージ モジュール 名前空間 セクション 関数・定理（のボディブロック） 入れ子ブロック（by, doなど） これらの組織化機構〈organizing mechanism / feature〉は独立ではないし、一様でもな…

コンテキストの階層は、外から内に向かって： ライブラリコンテキスト＝知識ベース ワーキングコンテキスト＝ステージコンテキスト 判断コンテキスト または 問題コンテキスト コンテキスト＝混合コンテキストには次のものが格納される。情報の重複がある。…

次の3つを混同しない！ 定理のボディ（関数定義のボディ相当） 証明項 リーズニング リーズニング： バックワード フォワード 背景知識ベース 背景知識ベース リーズニング・ステージ リーズニング・ステージ ステージ・コンテキスト ステージ・コンテキスト…

追加修正はこのエントリーに行う。レキシーム空間の名前は大文字始まり、行列／テンソルの名前は小文字始まり。レキシーム空間： Term PhrasedTerm PublId Citekey Path Label Tag 行列・テンソル： isDefinedIn : Term → Path classifies_Term : Tag → Term…

トークン空間〈名前空間〉と、{トークン | 名前}空間のオーナー〈所有者〉： トークン空間 オーナー アイテムラベル空間 出版物 ターム空間 出版物 タグ空間 出版物 型名空間 型ボキャブラリー＋解釈コンテキスト プロパティ名空間 型 それぞれのトークン空…

直接的な関係を意識せずに考えていた次のようなトピック、 git JavaScriptのモジュール方式（CJS, ESM） NPMパッケージ 概念設計とコース設計 ストリング図とオープングラフ などが、同一の問題なのだと気付いた。有向グラフの取り扱いと利用法の問題だった…

雑多だが、一応まとめる。 変更不可完全追記式ストレージ スナップショット保存、差分管理はしない。差分は計算する。 ロールバックやロールフォワードはしない。まるまるリストア。 HEADが最新コミットを指すとは限らない。detached HEAD もある。 ブランチ…

過去記事： SSHの事情と理屈と設定 - (新) 檜山正幸のキマイラ飼育記 メモ編 SSHコマンドとconfig - (新) 檜山正幸のキマイラ飼育記 メモ編 wt(Windows Terminal) + SSH - (新) 檜山正幸のキマイラ飼育記 メモ編 これらの内容を概念的にまとめる。内容： 情…

coherence nLab 一貫性の用語 続・一貫性の用語法 Wikipedia にある程度従うことにして： {一貫性の}?基本射〈elementary morphisms〉： 注目する生成射。 一貫性〈coherence〉： "various compositions of elementary morphisms are equal." であること。圏…

過去の記事をまとめてメモとする。ザッと読んで思い出すには便利だと思う。 シェブロテインのレコーディングフェーズとGAST - (新) 檜山正幸のキマイラ飼育記 メモ編 GAST〈ガスト〉はグラマーASTのこと パーザークラスのコンストラクタが呼ばれると自己分析…

TypeScriptプロジェクトの始め方 - (新) 檜山正幸のキマイラ飼育記 メモ編 TypeScriptプロジェクトを始めたら - (新) 檜山正幸のキマイラ飼育記 メモ編 再度、素のディレクトリから始めたら - (新) 檜山正幸のキマイラ飼育記 メモ編 まだハマっている所←わか…

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

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

過去記事は、「ワルドの枠組みと機械学習」。チャンネル理論的に整理する。 吉田本 檜山 標本空間 Χ〈ギリシャ文字〉 観測値空間 X〈ラテン文字〉 決定空間 D 結果空間 D 確率分布族 P データの非確定性モデル P パラメータ空間 Θ パラメータ空間 Θ 決定関数…

リー代数Lに対して、ベクトル空間Vに対する表現 ρ:L→End(V) があると、(L, V, ρ) がリー代数Lの表現＝L上のリー加群を定義する。Vが単なるベクトル空間ではなくて、可換環だとして、それをAと書く。ρ:L→End(A) が、特に ρ:L→Der(A) のとき、リー代数Lの微分…

さまざまな関手／オペレータと微分の表示 - 檜山正幸のキマイラ飼育記 (はてなBlog)のまとめ＋α。6番から先が追加。 インターベース・バンドル射←→BaseFibベア・バンドル射 イントラベース・バンドル射→加群射 イントラベース・バンドル射←→セクション 関数…

以下の内容をひとつの記事にまとめる。 ベクトルバンドル射の逆写像： 記法の整理をかねて - 檜山正幸のキマイラ飼育記 (はてなBlog) バンドルと層の記法 まとめ - 檜山正幸のキマイラ飼育記 (はてなBlog) バンドルと層の記法 追加 - 檜山正幸のキマイラ飼育…

気休め語〈consolation word〉で印象が変わる、という大問題。逆に、気休め語を分析する。 キーワード無し構文 - (新) 檜山正幸のキマイラ飼育記 メモ編 列挙。随時追加予定。 オフィシャル構文 気休め語 1-σ signature, class, typeclass, specification, i…

車輪の同時発明／再発明 目眩がする - (新) 檜山正幸のキマイラ飼育記 メモ編の続きほぼ同義語： 指標 型クラス インターフェイス スキーマ 型コンテキスト 仕様 公理系 セオリー・インターフェイス 構造体型 （OBJ系）モジュール 型コンテキスト コンセプト…

基本概念を明確するのはやはり大事。 ゲージ変換とは何か？ このとき、 アクティブ変換とパッシブ変換の区別 底固定バンドル射と底可変バンドル射の区別 ゲージ関数とヤコビ・ペアと一般のバンドル同型の区別 底固定のバンドル自己同型と、底が可逆であるバ…

作用の性質を表す言葉 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 にもあるが、新たにまとめる。 Isotropy Group Some elements of a group G acting on a space X may fix a point x. These group elements form a subgroup called the isotropy group, d…

形容詞の表： 内積 線形群 アフィン線形群 多様体 ユークリッド 直交 (1) リーマン ミンコフスキー ローレンツ ポアンカレ ローレンツ エルミート ユニタリ (2) (3) 注意： 運動群でもいいけど、直交群O(n)には鏡映が含まれているので、特殊直交群のアフィン…