おそらく金曜（2023-11-10）あたりから、HackMDの数式表示が壊れている。改行処理が走らないのと、拡張モジュールが読み込めないのが症状。拡張モジュールは \require{XXXX} としてロードする。次のソースコードをサンプルにする。 色付け $\require{color}\…

今日から起算して、20日後くらいにはできると思う。こちらから問い合わせしないと知らせてくれない。

[HRY19b] Title: Modular operads and the nerve theorem Authors: Philip Hackney, Marcy Robertson, Donald Yau Submitted: 4 Jun 2019 (v1), 26 Apr 2020 (v2) Pages: 32p URL: https://arxiv.org/abs/1906.01144 URL (PDF): https://arxiv.org/pdf/1906.…

グラフィカルな色々 - (新) 檜山正幸のキマイラ飼育記 メモ編 の [JK09] 再掲。 [JK09] Title: Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract) Author: Andr? Joyal, Joachim Kock Submitted: 19 Aug 2009 P…

グラフィカルな色々 - (新) 檜山正幸のキマイラ飼育記 メモ編 の [Ray21] のメモ。 [Ray21] Title: Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras Autor: Sophie Raynor Submitted: 10 Aug 2021 (v1), 18 Nov 2022…

https://arxiv.org/pdf/1603.03039.pdf からの引用とコメント。コメントは引用の後。引用に関係しないコメントもある。 1 Introduction to Tensor Network NotationTensor network notation (TNN) can be considered a generalisation of Einstein summation…

https://www.youtube.com/watch?v=Ro1WF90_RKg期間限定無料公開「プリデスティネーション」、そのうち消えるのだろう。 なんとなく見始めた。前半はボーッと見てただけ。後半で「オオ」となった。登場人物が一人というのがネタバレ。時系列順に整理してみる…

Texcy Luxe〈テクシーリュクス〉という靴が履きやすい。25cm EEE。 公式サイト

$`\mathfrak{P}(A)`$ \mathfrak{P}(A) $`\wp(A)`$ \wp(A)

全般的なこと 用途： ドキュメント印刷 vs.写真印刷 方式：インクジェット、レーザー（業務用ドキュメント向け） インク： 染料インク（写真向け）、顔料インク（ドキュメント向け） 基本色シアン、マゼンタ、イエローが染料インク、 ブラックは、染料インク…

単語： 直積と直和は双対です。 λ記法 有向グラフ 射 閉圏 関手 双対 域・余域 終対象・始対象 錐・余錐 語句・文： 双対的に、関手の余極限からの射 関手の余極限からの射 双対的に、関手の余極限は余錐の圏の始対象の頂点になっている。余極限への射が一意…

依存アロー型とパイ型は同じもの。アロー型＝指数型は依存アロー型の特別なもの。Lean 4 で依存アロー型の書き方が (x:α) → β （βは型項）となったが、Agdaでは以前からこの形だったようだ。 Π(x:α), β ≡ ∀(x:α), β ≡ (x:α)→β カリー化／アンカリー化は同じ…

ターム／シンボルはどのように出現するか？ タームの出現は暗黙にレキシコンのレコードを参照すべきで、レキシコン・レコードは意味を与える。 アイテムコレクションのインデックス〈マップテーブル〉は、タームをキーにしてその出現（複数）を返す。 意味が…

存在型が混乱しているわけ、シグマ型とイプシロン型 mermaid と graphviz と d3-graphviz 二重圏の事例 デリゲーションとヘルパーとインターフェース

グラフ、サブグラフ、ノードの属性に URL と toolip が使える。ただし、出力がSVGのとき。

靴やジーパンをネット通販で買うことを目指して： リーバイスのジーンズ - (新) 檜山正幸のキマイラ飼育記 メモ編 そうか、メモしておけばよい - (新) 檜山正幸のキマイラ飼育記 メモ編 無印良品〈MUJI〉ジーンズ： w31 (78.5cm) 股下 82cm 股下を 71.5cm に…

カントール 1845 -- 1918 ヒルベルト 1862 -- 1943 ラッセル 1872 -- 1970 ハスケル・カリー 1900 -- 1982 ノイマン 1903 -- 1957 チャーチ 1903 -- 1995 ゲーデル 1906 -- 1978 ゲンツェン 1909 -- 1945 チューリング 1912 -- 1954

Lisp由来であることを強調する必要はない。MiniLisp - (新) 檜山正幸のキマイラ飼育記 メモ編 で書いた以外の構成素： var宣言、または初期化構文 let式 if文、case文、while文 ブロックスコープ構造 論理言語のインタープリター実装 $`\newcommand{\MPL}{\m…

データ型 Nat Bool String Nil Basic := Nat | Bool | String | Nil Tree(X) List(X) 基本関数 Nat, Bool, String の色々 Tree: left, right, pair, isBasic List: fst, rest, cons, nth, isNil プログラム式の評価：$`\quad (p, \rho) \overset{E}{\mapsto}…

ラムダ記法＋適用：$`\quad (\lambda x\in X. P(x))(a) \equiv (P(x) \mid x = a)`$証明可能性：$`\quad \vdash_S (P(x) \mid x = a)`$エミュレーション：$`\quad \vdash_T \sigma(\ulcorner p \urcorner, a) \iff \vdash_S p(a)`$自己エミュレーション：$`\…

よくある二項対立的分類： クライアント vs サーバー 生産者 vs 消費者 送信側〈sender〉 vs 受信側〈receiver〉 順行〈順方向〉 vs 逆行〈逆方向〉 内部 vs 外部 変わった分類： エージェント vs 環境 データ vs 反データ 電子 vs 陽電子 電子と陽電子が出…

ペンの太さを記録してくれない。 普通は：2.5px, 7px 太めは： 5px, 8px かな。

靴はオンラインでは書いにくい、と思っていたが、気に入った靴を決め打ちにして、同じ型番のものを買い続ければいいのか。「いつも同じ靴」現象は起きるが、楽ちんさが勝る。

https://www.youtube.com/watch?v=kQIloPijGaw でメレイロ〈Juan F. Meleiro〉が、collective（名詞）とcollectivization（動詞からの名詞）を使っていた。動詞 collectiviz は全然違った意味があるようだ。コレクティビゼーションは、包括原理の構造版で、…

順不同に色々。パッケージ： パッケージ名は名前空間付きにできて @foo/bar のように書ける。従来のフラットな名前 foo もある。 パッケージ名は原則物理的ディレクトリ名だが、./package.json で指定した名前が正式名。 パッケージのエントリーポイントファ…

CommonJS方式 exports と module.exports - (新) 檜山正幸のキマイラ飼育記 メモ編 の話。 let mod = {}; mod.exports = {}; (function (module, exports){ exports = "hello"; // 好きなコード })(mod, mod.exports); console.dir(mod.exports); これで挙動…

名前列挙したエクスポート文は、ファイルの先頭でも最後でもいいが、ファイルの先頭を推奨。最後だと、そこにあるのを見過ごす可能性があるし、長いファイルをスクロールする手間もイヤだ。メタ的情報は先頭に書け。 import * as say from './say.js'; ↑だと…

export default function foo() { console.log("hello"); } 次のようにコンパイルされる。 "use strict"; exports.__esModule = true; function foo() { console.log("hello"); } exports["default"] = foo; exports["default"] は、mudule.exports.default …

まず、「package.json の imports / exports フィールド」については、 https://shisama.hatenablog.com/entry/2020/12/21/090000 TyepScriptの設定でもモジュール名マップ〈エイリアス〉ができるらしい。使っている例が次にあるが、オーバーキルしてるよう…

esbuild関係。https://qiita.com/rkamikawa/items/7c6210fc97aaf8878536 から： ビルドツールには、esbuild の他に、Webpack、Gulp、Parcel、Rollup、Browserify、FuseBox などがあります。 はっ？ ビルドツールって？？ JIT コンパイルを使用するため、速度…