状態、ポイント

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

文脈(曖昧性解決タグ)を指定すると

  • [+状態@射] 射としての
  • [+ポイント@射] 射としての
  • [+述語@射] 射としての
  • [+状態@スナップショット] スナップショットと同義の