formal languagesとは 意味・読み方・使い方

The Chomsky hierarchy is a containment hierarchy of classes of formal grammars that generate formal languages.発音を聞く 例文帳に追加

チョムスキーの階層は、形式言語を生成する形式文法のクラスの束縛階層の一種である。 - コンピューター用語辞典

Petri net language theory is built on the theory of formal languages.発音を聞く 例文帳に追加

ペトリ・ネット言語理論は形式言語理論の上に築かれている。 - コンピューター用語辞典

Action Semantics is a framework for the formal description of programming languages.発音を聞く 例文帳に追加

アクション・セマンティクスはプログラミング言語の形式的記述のための枠組みの一つである。 - コンピューター用語辞典

PL/I was one of the first languages to have a formal semantic definition, using the Vienna Definition Language.発音を聞く 例文帳に追加

PL/Iは,形式意味論定義を持った最初の言語の一つであり,ウィーン定義言語(VDL)を使用している． - コンピューター用語辞典

The international trademark application shall be filed with the Hungarian Patent Office as Office of origin in compliance with the formal requirements, in the manner and – at the option of the applicant – in one of the languages prescribed by the Agreement.例文帳に追加

国際商標出願は，協定に定める方式要件に従い，協定に定める方法及び出願人の選択による1の言語で，本国官庁としてのハンガリー特許庁に対して行う。 - 特許庁

(2) The international patent application shall be filed with the Hungarian Patent Office as a receiving Office in compliance with the formal requirements and in the manner prescribed by the Treaty, in one of the languages accepted by the International Searching Authority chosen by the applicant.例文帳に追加

(2) 国際特許出願は，特許協力条約に定める方式要件及び態様に従い，国際調査機関が容認する言語の1であって出願人が選択するものにより，受理官庁としてのハンガリー特許庁に対して行う。 - 特許庁

Based on the distinction made by Michael Polanyi, "tacit knowledge" signifies personal knowledge about a specific situation that is difficult to be formalized or conveyed to others, while "explicit knowledge" signifies knowledge that can be communicated to others by formal and logical languages (Nonaka and Takeuchi (1996)).例文帳に追加

マイケル・ポランニーの区別に従い、ここでは、「暗黙知」とは、特定状況に関する個人的な知識であり、形式化したり他人に伝えたりするのが困難な知識のことを、「形式知」とは、形式的・論理的言語によって伝達できる知識のことをいう（野中・竹内（1996））。 - 経済産業省