検索結果
- 財務、線形計画法、経済学、コストモデリングにおける制約付き最適化 文学における制約された執筆 SHAKEやLINCSなどの制約アルゴリズム コンピュータサイエンスにおける制約の満足度 制約論理プログラミング ハミルトン力学におけるファーストクラスの制約 整合性制約 車両限界、エンジニアリングの制約…2キロバイト (328 語) - 2023年11月14日 (火) 06:08
- 並行制約プログラミング（へいこうせいやくプログラミング、英: Concurrent Constraint Programming）は、制約論理プログラミングの研究と並行論理プログラミングの研究とから生まれた、並行プログラミングのためのパラダイムである。並行制約プログラミングでは並行論理プログラミングをより一般化し、制約の出力(追加…20キロバイト (2,791 語) - 2023年9月10日 (日) 18:42
- 制約論理プログラミング（せいやくろんりプログラミング、英: constraint logic programming）は制約プログラミングの一種で、制約という問題表現・解決の考え方を導入することによって論理プログラミングを拡張したプログラミングパラダイムである。論理プログラミングの持っている宣言的な…22キロバイト (3,334 語) - 2023年6月28日 (水) 05:10
- 制約条件の理論（せいやくじょうけんのりろん、英：Theory of Constraints）もしくは制約理論（せいやくりろん）とは、イスラエルの物理学者であるエリヤフ・ゴールドラットが開発したマネジメント理論である。 自然科学で幅広く活用される「原因と結果（因果関係）」というコンセプトを、人が絡む組…40キロバイト (5,506 語) - 2023年11月14日 (火) 06:08
- 制約プログラミングにおける制約は様々である。制約充足問題での制約やシンプレックス法における制約などがある。制約は通常、プログラミング言語に埋め込まれているか別個のライブラリで提供される。 制約プログラミングは制約を論理プログラミングに埋め込んだ制約論理プログラミングが起源である。1987年、Jaffer…9キロバイト (1,158 語) - 2023年7月27日 (木) 22:58
- Object Constraint Language (オブジェクト制約言語からのリダイレクト)Constraint Language (OCL) は Meta-Object Facility などのモデルやメタモデルについて、図表の形式では表現できない制約やクエリを表現することができる正確なテキスト言語である。OCL は OMG のモデル変換に関する推奨標準 QVT 仕様の一部となっている。他の多くのモデル変換言語（ATLなど）も…6キロバイト (745 語) - 2020年11月30日 (月) 03:43
- CHECK制約（チェックせいやく、英: Check Constraint）とは、データベースにおいてデータを追加、更新する際の有効なデータを定義する規則のことをいう。チェック制約はテーブルの１つの列に複数つけることができ、条件に合う（True）かもしくは合わない(False)のいずれかの値を取る式でなければならない。…2キロバイト (249 語) - 2023年11月6日 (月) 13:29
- 一意性制約 （いちいせいせいやく、Unique Constraint）とは、データベースにおいてデータを追加、更新する際の制約の一つで、列あるいは列のグループに含まれるデータが、テーブル内のすべての行で一意（「他に同じデータがない」の意味）であることを要求する。なお、この一意性制約にNOT NULL制約…2キロバイト (248 語) - 2023年1月9日 (月) 05:28
- 外部キー（がいぶキー、英語: foreign key、FK）は、コンピュータの関係データベースの関係モデルの文脈において、2つの関係変数（表）の間の参照整合性制約をいう。 外部キーは、参照する側の関係変数で1つの属性（列、カラム）もしくは2つ以上の属性の集合を同定し、参照する側の関係変数は、参照される側の関係…10キロバイト (1,527 語) - 2023年11月6日 (月) 13:34
- ただし、主キーにはNULLの存在が許されないが、候補キーには許されるという差があるとする立場もある（レコードの追加、更新時の制約として主キーを考える場合、一意性制約にNOT NULL制約を加えたものが主キー制約であると考えることができる）。 関係に存在する候補キーが一つであるときは、その候補キーが当然に主キーとなる。…7キロバイト (1,107 語) - 2023年11月6日 (月) 13:33
- NOT NULL制約（NOT NULLせいやく、Not Null Constraint）とは、データベースにおいてデータを追加、更新する際の、列に対する制約の一つで、その列に必ず意味のある値が設定されることを要求する。 例えば、「従業員」テーブルにおいて、従業員氏名の定義を EMPNAME VARCHAR(20)…931バイト (131 語) - 2023年11月6日 (月) 13:33
- 制約充足問題（せいやくじゅうそくもんだい、英: Constraint satisfaction problem, CSP）は、複数の制約条件を満たすオブジェクトや状態を見つけるという数学の問題を指す。CSPは特に人工知能やオペレーションズ・リサーチで研究されている。多くのCSPでは、それなりの時間内…2キロバイト (194 語) - 2022年10月1日 (土) 00:24
- 氷河制約説（ひょうがせいやくせつ）というのは、サンゴ礁の、堡礁や環礁の成因に関する仮説である。いわゆる礁湖が、最終氷期の海水準変動によって生じたと説明する。 サンゴ礁は、大きく分けると海岸に沿って形成される裾礁（きょしょう）、海岸から一定距離を置いて配置する堡礁（ほしょう）、サンゴのみが環状の形にな…6キロバイト (931 語) - 2018年11月12日 (月) 16:04
- 予算制約線（よさんせいやくせん,英: budget constraint line）、あるいは単に予算線（よさんせん）とは、予算制約式を、財・サービスの消費量と財価格のグラフ上に描いた直線である。 この直線が無差別曲線と接する点(主体的均衡点または最適消費点と呼ぶ)において、消費者の効用が最大化される。…1キロバイト (222 語) - 2023年4月23日 (日) 08:16
- 運用制約（うんようせいやく）とは、コンピュータのソフトウェアにおいて不具合が確認された場合の対応方法のひとつ。「運用でカバーする」ともいう。 その不具合が、ある特定の操作を行うことによってのみ発生することが確認され、かつ不具合を修正するコストを捻出できない場合に、不具合を誘発する特定の操作を行わない…2キロバイト (336 語) - 2011年3月27日 (日) 16:30
- 制 約（せいやく） ある条件を付けて自由な活動を抑えること。 物事の成立に必要な条件。 サ行変格活用 制約-する 制約 (簡): 制约 (ピンイン:zhìyuē 注音符号:ㄓˋㄩㄝ 閩南語:chè-iok) 制約する 制約（제약） （日本語に同じ）制約