搜尋結果
セーリング （ 英: sailing ）/セイリングあるいは 帆走 （はんそう）とは、 帆 （セイル）を利用して進むこと。. 主に水上の乗り物に関して使われており、セイルの操作術、帆船の操船術、帆船による航海や航海術も指す。. だが陸上の乗り物に関しても ...
昇鎖条件および降鎖条件それ自体は、いかなる 半順序集合 に対しても意味を持つような、抽象的な形式で表すことができる。この考え方は Gabriel–Rentschler による抽象代数の次元に関する理論において有用である。
前後即因果の誤謬 （ぜんごそくいんがのごびゅう、 ラテン語: post hoc ergo propter hoc 、 英: post hoc [1] ）とは、ある事象が別の事象の後に起きたことを捉えて、前の事象が原因となって後の事象が起きたと判断する 誤謬 （因果の誤謬）である。前後関係と因果関係の混同。相関関係の順序があまり ...
自動進路制御装置 （じどうしんろせいぎょそうち、通称 PRC : Programmed Route Control）とは、 信号 や 分岐器 を自動操作するシステムの一つで、 列車運行管理システム (PTC) の一部として用いられている。
スケジューリング. 計算機科学 において スケジューリング （ 英: scheduling ）は、 スレッド や プロセス やデータの流れについて、システム資源（例えば、プロセッサ時間、通信帯域など）へのアクセスを与える方法である。. システムを効果的に 負荷分散 ...
逐次一貫性 （ちくじいっかんせい、 英語: sequential consistency ）、 順次整合性 （じゅんじせいごうせい）、 逐次整合性 （ちくじせいごうせい）は 並行プログラミング における 一貫性モデル の一種である。「どのような実行結果も、すべてのプロセッサがある順序で逐次的に実行した結果と ...
完備束. 数学 の一分野 順序論 （ 英語版 ） における 完備束 （ 英: complete lattice ）とは部分集合が常に上限と下限を持つ 半順序集合 のことである。. 完備束は 束 の重要な例で順序集合論及び 普遍代数 の研究対象であり、数学及び 計算機科学 に多くの応用 ...
