CONSTRAINT PROGRAMMING Meaning in Japanese - translations and usage examples

• 制約プログラミング

Examples of using Constraint programming in English and their translations into Japanese

Constraint Programming.
制約プログラミング。

Therefore Constraint Programming.
制約プログラミングそのため。

Constraint Programming.
論理プログラミング。

Europe Parallel Constraint Programming.
ヨーロッパ並列制約プログラミング。

Constraint Programming.
型制約プログラミング。

Information about constraint programming in English.
制約プログラミングに関する情報を日本語で提供しています。

Constraint Programming and Constraint Programming.
制約プログラミング、制約プログラミング。

It also features cutting-edge constraint programming technology in the tradition of Oz/Mozart.
また、Oz/Mozartの伝統の中で最先端の制約プログラミング技術も特徴として持っています。

Constraint Programming has the features as follows.
制約プログラミングには、以下のような特徴があると言えるでしょう。

Concurrent Constraint(Saraswat, 1994)-- is the formalization of Parallel Constraint Programming and the starting point of later researches.
ConcurrentConstraint(Saraswat,1994)--並列制約プログラミングの定式化を行ったものでその後の研究の出発点となりました。

Constraint programming can be combined with symbolic execution.
制約プログラミングは記号的実行(SymbolicExecution)と組み合わせることもできる。

Environments such as hardware were too poor to operate Constraint Programming and Constraint Programming was an"expensive" technology.
ハードウェアをはじめとする環境が、制約プログラミングを行うには貧弱すぎ、制約プログラミングは「高価な技術」だった。

Constraint programming is an embedding of constraints in a host language.
制約プログラミングはホストとなる言語に制約を埋め込む。

Finally, our open source optimization OR-tools platform won 4 gold medals at the 2018 Minizinc constraint programming competition.
最後に、Googleのオープンソースの最適化プラットフォームであるOR-toolsは、2018年のMinizinc制約プログラミングコンペティションで4つの金メダルを獲得しました。

What is Constraint Programming?
制約プログラミングとは。

Almost ten years have passed since commercial systems were sold. During that time, a lot of practical systems have been developed based on Constraint Programming and applied.
年代初頭に商用のシステムが販売されはじめて以来、数多くの実用システムが制約プログラミングに基づいて開発され、運用されてきました。

Parallel Constraint Programming.
並列制約プログラミング。

The researches for making multi-paradigm such as fusion with Functional Programming Language are made and moreover the research like Phase Transitions in Search is also carried. The importance of Constraint Programming seems to increase more and more in future.
また研究も、特に関数型言語との融合をはじめとする、マルチパラダイム化の研究のほか、探索における相転移のような研究も行われ、今後ますます、制約プログラミングの重要性は増していくものと思われます。

What is Constraint Programming?
制約プログラミングって何？

We had the difficult time to keep the information fresh because the contents could not be updated smoothly. On the other hand, the number of web pages on Constraint Programming has steadily increased for this one year. We feel keenly that we must follow such pages.
コンテンツの更新がなかなか捗らず、情報の鮮度を保つのが困難な時期もあり、一方でこの1年あまりの期間内でも、制約プログラミングに関連するWebのページは着実に増えており、それをきちんとフォローしていかなくては、と反省しております。

Constraint Programming has been researched actively from the 1980s around, and it entered the age of practical use in the 1990s.
制約プログラミングの研究はおおむね1980年代から盛んになり、1990年代に実用の時代に入り、現在も活発な研究・。

Therefore this site will take up not only Constraint Programming in a narrow sense but also paradigm for Constraint Satisfaction Problem(CSP) in a wide sense and Constraint Paradigm as possible.
従って、本サイトでは、狭義の制約プログラミングのみではなく、可能な限り、広義の制約充足問題（CSP）のパラダイム、制約パラダイムについても扱っていく方針です。

Constraint Programming is one of the basic technologies for developing various practical systems, and applicable for various fields.
制約プログラミングは、様々な実用的なシステムを開発するための基礎技術の一つであり、様々な分野への適用が可能です。

The performance of hardware makes rapid progress. At first, Constraint Programming could be used only on an expensive workstation. But now Constraint Programming can be used on the PC that exceeds the then workstations in performance and is low-priced.
ハードウェアの能力は飛躍的に向上し、当初は高価なワークステーション上でした利用できなかった制約プログラミングが、性能では当時のワークステーションを遥かに上回り、しかも安価なPC上で利用できるようになった。

Constraint Programming technology is still young. So the time from now when the conditions have been ready may be the age of real practical use.
まだ、制約プログラミング技術は若く、条件が整ってきたこれからが本格的な実用の時代といえるのではないでしょうか？

In Europe, Parallel Constraint Programming was researched especially as a part of ESPRIT Project and many results were obtained.
特にヨーロッパではESPRITプロジェクトの一環として、並列制約プログラミングの研究が行われ、多くの成果を挙げました。

Music constraint programming is style-independent and is well-suited for highly complex theories(e.g. a fully-fledged theory of harmony).
音楽制約プログラミングスタイル独立であり、非常に複雑な理論(例えば調和の本格的な理論)に適しています。

Temporal concurrent constraint programming(TCC) and non-deterministic temporal concurrent constraint programming(MJV) are variants of constraint programming that can deal with time.
時相並行制約プログラミング(TemporalConcurrentConstraintprogramming;TCC)や非決定性時相並行制約プログラミング（Non-deterministicTemporalConcurrentConstraintprogramming）は時を扱う制約プログラミングの一種である。

The temporary rush to commercialize Constraint Programming has passed. After that the results of developing practical applications based on Constraint Programming steadily accumulated and thus they especially grew to be one of the basic technologies for constructing the planning systems.
一時の商品化のラッシュの時期は過ぎましたが、その後も制約プログラミングに基づく実用的なアプリケーションの開発実績は地道に積み重ねられ、特に計画系システム構築の基本テクノロジーの一つに成長しました。

Constraint Programming is researched all over the world. In Japan, this research is one of the main themes in ICOT and plenty of processing systems have been developed and the research has met with many good results. It is said that ICOT greatly contributed to the development of Constraint Programming research.
制約プログラミング研究は世界中で行われていますが、日本では、ICOT（現AITEC）における主要な研究テーマの一つであり、数多くの処理系が開発されるなど、多くの研究成果を生み、制約プログラム研究の進展に大きく寄与したと言われています。