順不同。 選言ボックスと二面ノード - (新) 檜山正幸のキマイラ飼育記 メモ編 選言ボックスと二面ノード デカルト閉復圏とラムダ計算 - (新) 檜山正幸のキマイラ飼育記 メモ編 ラムダ図 これはいいぞ！ ラムダハウス - (新) 檜山正幸のキマイラ飼育記 メモ編…

TypeScriptと比較する。 TypeScript Tenjin MEDL 備考 スクリプト ノートパッド 使い捨て モジュール アーティクル .medl.md ファイル パッケージ パッケージ 同じNPM構造 名前空間 デビジョン division インターフェイス 指標 signature 総称クラス 構成手…

declare は実はどこに書いてもいい。.d.tsファイルじゃなくてもいい。が、アンビエント宣言だけ切り離してまとめておいたほうがいいので、.d.tsファイルがある。.d.ts ファイルに関する特別な扱いの規約・メカニズムも整備されている。 declare var -- 変数…

従来： システム組み込み ユーザー定義 ワイヤー 公理 仮説、仮言、仮定 ケーブル 公理系 仮説、仮言、仮定 ノード 公理、推論規則 定理 オペレータ 推論規則 ？ 同値性 ？ ？ 今後： システム組み込み ユーザー定義 ワイヤー 命題 命題 ケーブル 構造化命題…

真偽値 述語（述語関数、述語記号） 論理式 閉じた論理式 命題論理、述語論理を区別する形容詞 命題を論理文とも呼ぶ。

(1) (2) なんか面白い、作者 Fuzzyma〈Ulrich-Matthias Schäfer〉の発想が面白い。 WantToDo指向 「何をするか／したいか」に注目する発想をWantToDo指向とでも呼べば、FuzzymaはWantToDo指向で、次のToDo〈Doing〉を設定している。 creating オブジェクトを…

https://svgjs.dev/docs/3.0/events/ を読んで。文書を読むと次のように読める。null = {null}。 signature Element { sort self operation click: (self, ClickHandler) → self operation click: (self, null) → self }同じような方式で、dblclick, mousedo…

暫定！ $`\newcommand{\derive}{ \vdash }% \newcommand{\deduce}{ \mathop{\|\!-} }% \newcommand{\afford}{ \mathrel{\|} }% \newcommand{\Sign}[1]{ \mathscr{#1} } \newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\In}{ \text{ in } } \newcommand{\…