コンパクト要素は、領域理論と呼ばれる意味論的アプローチによる計算機科学において重要である。領域理論において、コンパクト要素はある種の原始的な要素だと考えられる:コンパクト要素によって表現された情報は、その知識を持っていなければどのような近似をしても得られない。コンパクト要素は、それよりも厳密に小さな元によって近似することができない。一方で、コンパクトではないすべての要素がコンパクト要素の有向上限として得ることができる場合がある。これは望ましい状況である。なぜなら、コンパクト要素全体の集合は、しばしばもとの半順序集合よりも小さい(上に挙げた例がこのことを示している)。参考文献.順序理論と領域理論に挙げられた参考文献を参照。菱形立方八面体菱形二十・十二面体小菱形立方八面体大菱形立方八面体新ナニワ金融道青木雄二物語いとの森の家あらすじ.童話に登場するような森の家に暮らしいつもおいしいジャムやクッキーを振る舞ってくれるおばあさん・おハルさんは子どもたちの人気者で、加奈子にとっても特別な存在となるが、毎月行っている死刑囚への慰問がもとで大人たちの中にはおハルさんを疎んじる人がいることを知る。「なぜおハルさんは、死刑になるような人に会いに行くの?」と素朴な疑問を抱いた加奈子は、おハルさんからいろいろな話を聞くようになり、命の重みや死、生きていくことについて考えることで精神的な成長を遂げてゆく。テレビドラマ.遥あやね略歴.人物.奈良県出身。趣味・特技は、ジョギング・論文を書く・膣トレAV出演の動機は、色んな経験をしてみたかったから。館林ガス館林ガス株式会社(たてばやしガス)は、群馬県館林市に本社を置く、日本の都市ガス、プロパンガスを主力とするエネルギー販売会社である。概要.関連会社にプロパンガスを供給する館林液化ガス株式会社がある。関連会社.館林液化ガス阪神電気鉄道のダイヤ改正阪神電気鉄道のダイヤ改正(はんしんでんきてつどうのダイヤかいせい)は、阪神電気鉄道(阪神)が実施したダイヤ改正。参考文献や出典によって判明できるもののみ記載し、実施時期が不明なものは記述を割愛する。駅名・路線名・車両名については時系列で記載し、本線系のみならず、当時存在していた国道線系のダイヤ改正についても判明分のみ記述している。