モデル理論を群のような（グラフ理論においては木のような）数学的対象のクラスへ応用する最初のステップは、多くの場合は自明であるが、シグネチャ σ を選択することおよびその数学的対象を σ-構造で表現することである。次のステップは、そのクラスが初等クラス、すなわち、一階述語論理における公理化可能である（すなわち、σ-構造が理論Tを満足する場合のみ、クラス内にそのσ を含むような理論T が存在する）ことを示すことである。例えば、このステップは木では失敗する、連結性が一階述語論理内で表現できないためである。公理化可能性は、モデル理論が正当な対象について語ることができるのを保証する。量化記号消去法は、モデル理論がその対象について多くのことを言い過ぎないようにすることを保証する。理論 T は、T におけるすべてのモデルの下位構造（これもモデルである）が初等下位構造ならモデル完全と呼ばれる。
普遍代数がシグネチャの意味論を与える一方、論理は統語論を与える。恒等式および疑恒等式の項とともに、普遍代数はいくつかの限定的な統語論のツールも利用している。例えば、一階述語論理は量化を明確にし否定を取り入れた結果である。
有限モデル理論は、普遍代数と密接に関連しているモデル理論の領域である。普遍代数のいくつかの領域と同様に、またモデル理論の他の領域と反対に、有限モデル理論は主に有限代数またはより一般的にはシグネチャ σ の有限 σ-構造を対象としている。
非自明なモデルの文脈における統語論および意味論を含む基本的な関係を説明するために、統語論側でペアノの公理のような自然数についての適切な公理とその関連する理論から始めることができる。意味論側では、通常の連続数がモデルを構成する。1930年代、スコーレムはその公理を満たす別のモデル（算術の超準モデル）を開発した。これはある特定のモデルにおいて、言語または理論を解釈することによって何を意味するのかを説明する。より伝統的な例は、ある群によって与えられたモデルの文脈において、群のような特定の代数系の公理を解釈することである。
当制度導入による効果は覿面であり、宮里藍、藤田幸希、佐伯三貴、張娜、裵宰希、三塚優子、キム・ソヒ、原江里菜などをはじめ、多数の学生選手や、アジア・オセアニア圏を中心とする外国人ゴルファーの参入・活性化を具現し、日本女子ゴルフツアーの人気挽回に貢献、選手層の若年化や国際化に貢献した。その後、毎年常時50名以上のLPGA非会員登録者が在籍している。
TPD非会員登録制度（てぃぴぃでぃひかいいんとうろくせいど）は、日本女子プロゴルフ協会（JLPGA）が設ける、プロ選手登録制度の一種。「TPD特別登録」と称することもある。
白い仮面を着けた男たち2人によって、どこかの洋館に拉致監禁されてしまったヒロインの沙織は、目くるめく性の幻覚を見る。沙織が見る幻覚は、過激なシーンが多い。近親相姦は父娘や兄妹はもとより、巫女姉妹の同性愛も描かれる。また、大学においては後輩による先輩の調教や女性教師と男子生徒のセックス、職場においても上司とOLや男性警察官と女性警察官のセックスなどが描かれる。
ヒロインの放尿シーンから始まる本作は無修正グラフィックを売りとしていたが、京都府の男子中学生に万引きされたことから、フェアリーテールが世間の注目と非難を集めた末に摘発された事件が、後に言われるところの「沙織事件」である。日本のアダルトゲーム業界に衝撃を与えたこの事件は、コンピュータソフトウェア倫理機構設立の引き金となった。なお、無修正であること自体は当時珍しいことではなく、むしろ作中のシチュエーションが問題として提示されやすかった部分がある。
2005年と2006年に種子島宇宙センターからそれぞれ打ち上げられた運輸多目的衛星 (MTSAT) であるひまわり6号とひまわり7号を用いて、洋上やVHF通信のブラインドエリアを飛行している航空機との間で、各種データ通信を行えるようになった。そのため、レーダーでの追跡ができない洋上において、運航本数を増やせるようになった。MTSATを利用することで、飛行経路間隔（左右間隔）や航空路毎の管制縦間隔（前後間隔）の短縮が見込まれる。また、短縮垂直間隔 (RVSM) によって垂直管制間隔（上下間隔）を狭く、航法精度要件 (RNP) を満たす航空機の場合であれば、広域航法 (RNAV) により航空路の保護空域の縮小により並行経路間隔を狭くして運航本数を増やせる。
航空路管制（こうくうろかんせい）は、計器飛行方式 (IFR) で主に航空路を飛行中の航空機に対する航空交通管制である。形態は国によって異なるため、この項目では主として日本の航空路管制について説明する。
宮川春水の門人。画姓に勝川または勝を称す。作画期は寛保の頃で、江戸日本橋の本銀町四丁目に住む。『新増補浮世絵類考』には、宮川長春の画系図のなかに「勝 薪水」としてその名が見られる。
日詰正文（ひづめ まさふみ、1965年7月20日 - ）は、日本の言語聴覚士、作家。教員免許を所持している。長野県千曲市出身、安曇野市在住。金沢大学教育学部特殊教育特別専攻科卒業。
財政学の分野では、1960年代頃から、シカゴ学派はヴァージニア学派と呼ばれる財政学者グループと合流し、ジェームズ・ブキャナン（1986年ノーベル賞受賞）を中心に「シカゴ=ヴァージニア学派」と呼ばれる研究グループを形成した。彼らは、政治家や官僚が恣意的に公共事業を行うことが出来る「裁量的財政政策」を批判し、政治権力者の行動を制限するルールの必要性を主張した。このような議会制や官僚制のもとでの財政に関する政治的決定プロセスをミクロ経済学的枠組みで分析するシカゴ=ヴァージニア学派の理論体系は公共選択理論 (英: Public Choice Theoryと呼ばれるため、彼らは一般には「公共選択学派」と呼ばれる。1980年代後半からは非協力ゲーム理論の新しい分析手法が取り入れられたことによりめざましい学術的成果を生み出し、公共選択理論は現実の政策形成に一定の説明力を発揮した。こうした背景から、今日ではこうした一連の研究が「新政治経済学（英: New Political Economy）」などと呼ばれることも多い。