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

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

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

the philosophical theory that all of mathematics can be derived from formal logic発音を聞く 例文帳に追加

数学のすべては形式論理学から導かれるという哲学理論 - 日本語WordNet

The other theory says that nigiri-meshi or onigiri has older history and omusubi is its word of court ladies or a formal word.発音を聞く 例文帳に追加

握り飯またはおにぎりの方が歴史の古いという説もあり、それの女房言葉、もしくは丁寧語としておむすびという説もある。 - Wikipedia日英京都関連文書対訳コーパス

In the early days of the Edo period, tomesode (formal black kimono) did not have furiyatsuguchi, leading to the theory that once kimono with open furiyatsuguchi-style sleeves appeared, it came to be called furisode; according to this theory, the practice of calling kimono with long dangling sleeves "furisode" must have started only after tomesode sleeves began to be made in the furiyatsuguchi style during the Edo period.発音を聞く 例文帳に追加

江戸時代の初期、留袖には振八つ口がなく、「振八つ口が開いている服」を振袖と呼んでいたという説があり、この説によれば、袖丈が長い和服を振袖と呼ぶようになった時期は、江戸時代に留袖に振八つ口を作るようになった後であるとされる。 - Wikipedia日英京都関連文書対訳コーパス

the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications発音を聞く 例文帳に追加

形式的（論理的数学的）な所説は意味を持たないが、その象徴（物理的な存在と考えられる）は、有益な教訓を示しているという哲学的理論 - 日本語WordNet