ポインティング対象（始対象または単位対象）からの射を[!状態]または[!ポイント]と呼ぶ。 真偽対象への射を[!述語]と呼ぶ。 ポインティング対象への射を[!余ポイント]。 真偽対象からの射はあまり問題にしない。 時間的に変動するナニカの時点スナップショ…

ボキャブラリー（タームの集まり） タームが多義語だから笑っちゃう スキーマ オントロジー レキシコン ディクショナリ シソーラス コーパス タクソノミー ノーメンクレイチャー

データベースへの操作で： 用法その1 update ： レコードの値を変更する modification ： update, create, delete 用法その2 update ： modification, create, delete modification ： レコードの値を変更する ちなみに、modification は 2-transfor だし。

MacOS向けインストール手順 Windows向けインストール手順 が分岐の具体例。記述単位〈モジュール〉の入り口条件として、 事実・自体が成立するか 知っているか、分かっているか 何かを実行したか、その結果、ある状態になっているか 練習問題を解いたか など…