例文 (5件) |
formal theoryの部分一致の例文一覧と使い方
該当件数 : 5件
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
例文 (5件) |
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2024 License. All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.License |
本サービスで使用している「Wikipedia日英京都関連文書対訳コーパス」はWikipediaの日本語文を独立行政法人情報通信研究機構が英訳したものを、Creative Comons Attribution-Share-Alike License 3.0による利用許諾のもと使用しております。詳細はhttp://creativecommons.org/licenses/by-sa/3.0/ および http://alaginrc.nict.go.jp/WikiCorpus/ をご覧下さい。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |