推論を次のように規定する。 推論には必ずプロファイルがある。 プロファイルは仮定命題リストと結論命題リストからなる。 推論はラベル付きのときもあれば、ラベル無しのときもある。 推論は組み込みのときもあれば、ユーザー定義のときもある。 組み込み推…

名詞 動詞能動態 形容詞-済み 形容詞-可能 証明 × × ○ 推論は- ○ 推論は-、命題は- 推論 ○ △ 仮定が結論を- × × リーズニング ○ ○ 上式が下式を- ○ 推論は- ○ 推論は- 言い方の候補： Γ infers Δ Γ concludes Δ Γ derives Δ Γ entailes Δ ξ reasons η ξ conc…

マルチスクリーンムービー ムービーフィルム フレーム（のコンテンツ） 絵コンテ〈ストーリーボード〉 {絵コンテの{コマ | シート} | {ストーリー}?シート} シーン {アクション}?コマンド スクリプト（ActionScriptは固有名詞） スクリプトのユーザー定義関…

なんかもう、ひたすら単語の選択と（必要なら）造語をしている。いいかげんウンザリはしている。全般的に、用語法において、関数と関数を表す式と関数値の区別が付いてない／付けてないことが分かる。これは普遍的（どこでも見いだせる）な現象だ。関数まわ…

思い付いたことを順不同にダダーっと箇条書きにする。後で整理する。まだごった煮。先に意味領域： 集合の集合がある。小さい具象圏の対象集合 ＝ Type ＝ |Sem| 0, 1 はType内にある。0, 1∈Type 型がAの個体〈individual〉とは、1からのAへの射のこと。 関…