構造化された記述たちのルールたちの記述
話題
About: 記法
この記事の目次
- 開始コンテキスト
- ターゲットコンテキスト
- オリエンテーション
- 本体
- 1: 構造化された記述たちを求める動機
- 2: 命題たちの'構造化された記述'たちのルールたち
- 3: 定義たちの'構造化された記述'たちのルールたち
- 4: 発展途中のものである
開始コンテキスト
- なし
ターゲットコンテキスト
- 読者は、構造化された記述たちのルールたちの記述を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述たちを求める動機
私たちは、本シリーズ内の'記述'(または'自然言語記述')を読む時、フォーマットが、コンテンツを可能な限り速やかに理解するのに最適でないとしばしば感じ、読むのがもっと効率的なフォーマットがあるはずだと考え始めた。
最も重要なポイントは、記述たちが同一の構造にて表現されることであり、すると、何の情報にはどこを見れば良いかを知っていることになるだろう。
確かに、一部の人々は私たちのものとは違う構造を好むだろうが、彼らが私たちの構造を嫌ったとしても、それでも、彼らは、何の情報にはどこを見れば良いかを知っていることになるだろう。
1つのアイデアは、命題の中の全てのエンティティ(実体)は第1ブロック内にリストされ、ステートメント(言明)たちは第2ブロック内にリストされるということである。すると、どんなエンティティ(実体)たちが当該命題内に関わっているのかを私たちは用意に理解できるだろう。
各ブロックは視覚的に親切であるべきである。例えば、エンティティ(実体)たちは行単位でリストされるべきである、それは、読者がエンティティ(実体)たちを速やかに把握したり、ステートメント(言明)たちを見ている時にあるエンティティ(実体)を見つけ出したりするのに寄与するだろう; 2つのステートメント(言明)たちは同じ行内にあるべきでなく、それらの間の論理的接続子('
別のアイデアは、記法たちは簡潔で一貫しているということである。例えば、私たちは、"
最初は、著者は、命題たちの'構造化された記述'たちだけのことを考えていたが、それを定義たちの'構造化された記述'たちにも拡張した。確かに、多くの単純な定義たちは特に'構造化された記述'たちを必要としないが、一部の複雑な定義たちには有効になり得る。
'構造化された記述'は論理的に完全である、それが意味するのは、'自然言語記述'と比べて何の情報も欠如していない。
したがって、'構造化された記述'は'自然言語記述'無しでも自ら十分であり、少しの間、私たちは両方を示すかもしれないが、'自然言語記述'はそのうち放棄されるだろう、多分。
2: 命題たちの'構造化された記述'たちのルールたち
第1のルールとして、著者は、より良い可読性を実現するために一部のルールたちを破る裁量を持つ、なぜなら、目的の全体はより良い可読性であって、ルールたちを守ることではない。
以下は例である。
エンティティ(実体)たち:
//
ステートメント(言明)たち:
//
エンティティ(実体)たちは1行単位にリストされる。
場合によって、著者は、あるエンティティ(実体)を'エンティティ(実体)たち'ブロック内にリストするべきか思いまどう: 例えば、上記の
"
そこの"
"//"マークたちはブロックたちの終了たちを示す、それは、不要に思われるかもしれない、もしも、ブロックたちの間に何も挿入されず、ステートメント(言明)たちブロックの後の何かがステートメント(言明)たちブロックの一部であると混同されない保証があるのであれば、しかし、著者は、あるコメントがブロック間に挿入されるというようなケースたちを想定するので、マークたちは必要とされる。
上記のステートメント(言明)たちブロックは、1つのステートメント(言明)しか持たないが、複数のステートメント(言明)たちを持ちその内のいくつかは条件付きである時、それは以下のようになる。
ステートメント(言明)たち:
(
~
~
)
~
//
含意方向マーク"
任意の数の括弧たちが、曖昧さを避けるために使用できる。著者は常に"
3: 定義たちの'構造化された記述'たちのルールたち
定義たちの'構造化された記述'たちのルールたちはほとんど命題たちの'構造化された記述'たちのためのルールたちと同じである、しかし、いくつかの相違たちがある。
定義の'構造化された記述'は'コンディションたち'ブロックを持つ、'ステートメント(言明)たち'ブロックの代わりに。
以下は例である。
エンティティ(実体)たち:
//
コンディションたち:
以下を満たす
//
複数の関係エンティティ(実体)たちがあり得る中で、それらの内の1つだけが本当にの中で定義されているエンティティ(実体)であり、当該エンティティ(実体)は"*"で示されている。
4: 発展途中のものである
これは、定義たちおよび命題たちの記述たちがより速やかに理解されるようにする試みであり、ルールたちは、著者が記述たちを書き・読みするにつれて改善されるだろう。