アロー図 vs. ストリング図 ポアンカレ双対 図の向き、池袋駅問題 反対圏、反変関手 モノイド圏／モノイダル圏、モノイド積／モノイダル積 一般に形容詞問題 ： globe category, globular category, globular set, globular object. homotopy category, homo…

「このデータは、Windows のエクスプローラーに保存されます。」のような言い方を聞いた。おそらくだが、「エクスプローラー」が「ファイルシステム」のような感じなのだろう。ソフトウェアの固有名詞と、そのソフトウェアが実現する一般的な機能やメカニズ…

類似 るいに るいじ 白湯 しろゆ ぱいたん コロナ禍 ころなうず ころなか 凡例 ぼんれい はんれい 破綻 はじょう はたん 嫡男 てきなん ちゃくなん 具象 ぐぞう ぐしょう

Windows 10 は画面録画機能を標準装備! 動画資料作成に役立つ方法とは Windows10の標準機能で動画/画面をキャプチャーする方法 便宜上 ~~（チルダ2つ）で ${env:USERPROFILE} を表すとする。~~\Video\Captures または ~~\OneDrive\動画\Captures\ が保存ディ…

変な推論の分類を見た。それは無視して僕の分類。 演繹 vs. 経験的帰納法 「経験的」は「数学的」と区別して。 論理的推論 vs. アブダクション（日常的に多用される非論理的推論） 経験的帰納法とアブダクションの境界は難しい。が、アブダクションのなかに…

[Win]+[Shift]+[S] の後で、snipping tool〈スニッピングツール〉の文書っぽいアイコンをクリック。文字データをクリップボードに入れて使う。

[Win]+[.] で絵文字パレット。

先にこれ読んでおいたほうがいい。 今風なLaTeXに関するメモ 「今風」とは言っても5年以上前ではあるが、~/latexmkrc や bxjsクラスについて書いている。オーバーリーフのいいところは： https://qiita.com/FluffyHernia/items/0cc751e56858c9c55b58 （2021…

おそらく金曜（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 かな。