画像

レイ

光のレイ〈ray of light〉 https://www.quora.com/What-is-a-ray-of-light-and-how-small-is-it レイ・フロレット〈ray floret〉 https://plantsinreallife.wordpress.com/2013/06/24/this-is-not-a-flower/ ハワイのレイ〈Lei | Ray〉 https://www.alohahaw…

縫い目とスポット

縫い目と言えばフランケンシュタインの怪物。 https://woman.mynavi.jp/article/141230-47/ マイナビ ウーマン 意外と知らない知識「フランケンシュタイン→怪物の名前ではない」 スポットと言えばダルメシアン。 https://dog.benesse.ne.jp/doglist/big/cont…

随伴系の2-指標

テキスト版: ペースティング図版: ストリング図版:

メタ巡回性、自己言及、非可述性、手塚治虫、火の鳥

画像:*1*2 *3リンクと引用: 火の鳥 未来編 『COM』 1967/12-1968/09 Wikipedia 手塚治虫とデカルト閉圏 https://tezukaosamu.net/jp/manga/399.html より: 猿田博士が暮らすスノーグローブのような半球状のドームは、生命を封じ込めたグローブ=地球そのも…

Leanメタプログラミングのモナド達

拡張do記法

https://dl.acm.org/doi/pdf/10.1145/3547640 より:

Lean4のモナド系統図

Listはなぜかモナドから外されて単なる関手扱い。 白が“クラス”で青が“インスタンス”ということだろう。 矢印はクラス間の extends と、インスタンス-クラス間の member-of モナドの末尾は M というネーミングルールだが、守られてはいない。 Pure と Bind …

生の証明項

The formal proof on the other side was a big and unreadable 'proof term' 出典: 不明、現在はインターネット上にないようだ。

出版物の構造の図示 4

主に語彙目録〈レキシコン〉関係。 四角いノードはトークン空間がリソースとして存在するもの。 まるっこいノードは構文空間〈字句空間〉が概念的に存在しているもの。 flowchart TB subgraph syntax[Lexicon] subgraph lexeme term[Term] phrase[Phrase] ph…

出版物の構造の図示 3

flowchart TB subgraph syntax[Lexicon] term([Term]) phrase([Phrase]) type[/Type/] tag[/Tag/] string(("string\ntext")) phrase-.->|head| term phrase-.->|tail| term end subgraph publication[Publication] label[Label] item((("Item\n(Node)"))) pa…

出版物の構造の図示 2

flowchart TB subgraph token term([Term]) phrase([Phrase]) citekey([Citekey]) type[/Type/] tag[/Tag/] end subgraph entity label[Label] item((("Item\n(Node)"))) path[path] path -->|refersTo| item path -->|expresses| label label -->|isEmbedde…

出版物の構造の図示

ドラフト状態。Mermaid.jsによる記述。 flowchart TB label([Label]) term([Term]) phrase([Phrase]) citekey([Citekey]) suffix([Suffix]) adop([Adop]) bib([BibRec]) bibs{{Bib}} item([Item]) tagdesc([TagDesc]) type([Type]) gloss([GlossRec]) phrase…

scriptタグによるJSファイルのロード

https://html.spec.whatwg.org/multipage/scripting.html からの図(asyncdefer.svg):わかりやすいし示唆に富んでいる。 <script> は書いた順にロード(フェッチ&パーズ&実行)される。したがって、実行順は保証される。 <script> は、メインスレッド(HTMLパーズ&描画…

粗視化

https://youtu.be/JEOKvG1zcbY?t=464

証明記述の例

palette CCC { parameter wire X, Y, Z node left-eval[X, Y] : (X, X⇒Y) → (Y) node decomp-prod[X, Y] : (X×Y) → (X, Y) node swap[X, Y] : (X, Y) → (Y, X) action LeftCurry[X, Y, Z] :: ((X, Y) → (Z)) ~~→ ((Y) → (X⇒Y)) // ...省略... parameter node…

カリー/ハワード対応と相互関係

型の圏(複圏、多圏もある)と命題の圏(複圏、多圏もある)との関係。カリー/ハワード/ランベック対応(むしろ、カリー/ハワード/ランベック・フレームワーク)があるので似てる。抽象化すれば同じになる。が、型コンテキストの圏の対象の上に命題の圏…

証明関係の画像

MP導出の図を向きを変える。 スタックとリストの関係と等式の証明 計算図 リーズニング図 紙芝居方式リーズニング図リーズニング図の同値変形 分岐合流紙芝居方式リーズニング図 線形証明とグラフ証明図とツリー証明図連言リストと宣言リスト、α, β は論域。…

過去のメモ編アーカイブから

面積問題への対策(あるいは無策) (A21) - (保存用) 檜山正幸のキマイラ飼育記 メモ編 2019-01-08 意味不明な言葉達 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 2018-11-15 お絵描き証明の例 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 2016-02-24 $`\v…

論文からの切り抜き画像

随時追加変更 Submitted: 1 May 2013 Title: The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits Author: David I. Spivak URL: https://arxiv.org/abs/1305.0297 PDF: https://arxiv.…

ストリング図とコンポネント

img/pict/ ローカルパス C:\Users\m-hiyama\Work\Chimaira.org\root/img3/pict/component-block.gif ◯ Beanome Language C:\Users\m-hiyama\Work\Chimaira.org\root/img3/pict/CORBA_Component.gif ◯ C:\Users\m-hiyama\Work\Chimaira.org\root/img3/pict/So…

hugoのタクソノミー

だいぶ昔、たぶん Caty+Graphviz で描いた。画像しか残ってない。

書誌情報の構造

これは役に立つ。https://www.jstage.jst.go.jp/article/jkg/60/9/60_KJ00006580299/_pdf/-char/ja( 典拠コントロールの現状と将来 / 渡邊 隆弘)より:http://harp.lib.hiroshima-u.ac.jp/haul/wp-content/uploads/2015/04/091204watanabe.pdf も参考にな…

射としてのコンビネーション

https://arxiv.org/abs/1505.00048 "PROPs for Linear Systems"(2015) by Simon Wadsley, Nick Woods より

米田の「よ」の使い方

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

ニセの和

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

Windows Terminalの背景画像

GMO VPSサーバーにいることを忘れないように。

じょうご

*1 *1:https://www.monotaro.com/p/3578/6974/

Attribute-Entity-Relationship-Reference図

写像柱から関手柱

写像柱の類似として関手柱を定義しして、左右の拡張を関手柱圏からの関手とみる。 https://en.wikipedia.org/wiki/Mapping_cylinder https://ncatlab.org/nlab/show/mapping+cylinder *1*2 *1:記事: https://link.springer.com/article/10.1007/s00454-013-…

タグ分類システム(絵だけ)

デジタルデータがもうなくて、紙に印刷した絵だけ残っていたからスキャンした。いつ頃かは分からない。2013リリースのブログシステムhugoの分類システム〈taxonomy system〉がこんな感じだった気がする。画像