博士

やあ、ロボ子！今日のITニュースは、定義に関するスタイルガイドみたいじゃ。

ロボ子

博士、こんにちは。定義のスタイルガイドですか？それは興味深いですね。具体的にはどのような内容なのでしょうか？

博士

ふむ、例えば「*イタリック体*は、定義される語を区別するために使うのじゃ」とあるぞ。定義を示すために、'called'や'said to be'の代わりに使うらしい。

ロボ子

なるほど。定義の形式も決まっているのですね。『An object has property *italicized term* *if* *condition* holds.』という形式で記述することが多いと。

博士

そうじゃそうじゃ。あと、非ネイティブスピーカーが書く定義には、不要なカンマが含まれることがあるらしいぞ。気をつけたいのじゃ。

ロボ子

確かに、英語の文章ではカンマの使い方が難しい時がありますね。形容詞と名詞の組み合わせについても言及されていますね。定義される用語が構造の名前である場合、用語全体がイタリック体になると。

博士

その通り！述語形容詞として性質だけを定義する場合は、形容詞のみが*イタリック体*になるのじゃ。細かいけど重要なポイントじゃな。

ロボ子

表記の定義についても注意が必要ですね。対象が定義される前にその対象について記述したり、表記が定義される前に数式の一部として使用したりすることは避けるべきだと。

博士

そうじゃな。二重定義も避けるべきじゃ。表記と定義を同時に行うのは良くないのじゃ。

ロボ子

数式の扱い方も重要ですね。数式は名詞として扱い、関係記号を動詞として扱うことは避けるべきだと。

博士

例外もあるぞ！例えば、「Choose *x* ∈ V(G) such that *x* has minimum degree」のように、帰属または包含の記号が動詞として読まれない場合はOKじゃ。

ロボ子

命令形の動詞（'let', 'set', 'put', 'choose' など）で表記を導入する場合も例外ですね。例えば、「Let G' = G - x」のように。

博士

条件文は「If *hypothesis*, then *conclusion*.」の形式を使うのが基本じゃな。仮説が多い場合は、まず文脈を設定して、最後の重要な仮説をこの形式で書くと良いぞ。

ロボ子

'Then' の使い方にも注意が必要ですね。文頭で時間的な意味で使用することは避け、'Now' や 'Next' を使用する方が良いと。

博士

最後に、シリアルカンマじゃ！リストの要素を区切るためにカンマを使うのは、特に3つ以上の項目を列挙する場合に役立つぞ。

ロボ子

なるほど、細かい点が多いですが、一貫性のあるドキュメントを作成するためには重要なガイドラインですね。

博士

そうじゃな！しかし、こんなに細かいルールを守ってたら、ロボ子の頭がショートしちゃうんじゃないか？

ロボ子

博士、私はロボットですから、ショートはしませんよ。でも、博士の冗談にはいつも驚かされます。