2022-07-16から1日間の記事一覧
大小関係、最小限と足し算との協調性 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 を再掲。 証明要求： Γ |-? ∃a.∀x.a≦x BEGIN ∀-BOX var u 0 + u = u --[●∃導入 t:←左辺のu] ∃t.0 + t = u 0 ≦ u --[●∀導入 x:←u] ∀x.(0 ≦ x) END ∀x.(0 ≦ x) --[●∃導入 a:←0…
導出： false-elim ＝ initial : ⊥ → P true-intro ＝ final : P → T forall-elim ＝ instantiate ＝ projection : ∀x∈X.P(x) → P(a) exists-intro ＝ uninstantiate = injection ： P(a) → ∃x∈X.P(x) リーズニング： Forall-Intro-Right :: (x∈X. φ(x):A→P(…
全ての道はRomeへ続くのか - これからのJavascript開発を考える に、Rome の情報あり。そこにあったツールの分類： トランスパイラ（Babel,esbuild,SWC） バンドラ（webapck,Parcel,rollup） 型チェック（Typescript,flow） リンター（ESLint） フォーマッタ…
DOMツリーが完了しないと、DOM操作はうまくいかないが、この程度だとbodyの最後にscriptを書けば問題ないようだ。 <html> <head><title>SVG Test</title></head> <body> <h1>Hello SVG</h1> <script> const svgNS = "http://www.w3.org/2000/svg"; var body = (document.getElementsByTagName("body"))[0]; var svg = </body></html>…
