機能と考え方
情報の意味と関係を明示的に扱うための言語。Taiperの情報整理を支える基盤ツール。
語や表現の意味を明示し、解釈に使う定義を扱うための基盤です。
解釈に使う対象、採用する定義、根拠、時点を明らかにして情報を扱います。
意味が解決した結果と追加の判断が必要な状態を区別します。解釈結果そのものは外部操作の許可にはなりません。