意味 | 例文 (5件) |
formal methodsとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 形式手法(けいしきしゅほう、英: formal methods)は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。
「formal methods」の部分一致の例文検索結果
該当件数 : 5件
critical principles and methods in formal education発音を聞く 例文帳に追加
批判的教育学という,教育上の立場 - EDR日英対訳辞書
Additionally, they do not call them their creative cuisine, but traditional and formal Japanese cooking methods, and thus it is problematic that wrong Japanese culture is spread among foreigners who are not familiar with Japanese foods.発音を聞く 例文帳に追加
しかも自分の創作和食と紹介せず日本の伝統的で正式な料理方法と題しているため、日本食に詳しくない外国人に間違った日本文化を植えつけているのが問題になった。 - Wikipedia日英京都関連文書対訳コーパス
Blending two different painting style perfectly - the Oriental traditional painting one using drawing technique for describing eboshi (formal headwear for court nobles) and clothes and the Western style of shadowing and coloring methods for describing facial expression - succeeded in producing a high-quality picture that also expressed the inside of the character.発音を聞く 例文帳に追加
烏帽子と服は線描を使った東洋の伝統的な画法、相貌は西洋の陰影法や彩色法を使うという対照的な技法を用いながら、全く違和感なく融合させ人物の内面まで感じさせる高い完成度をもつ。 - Wikipedia日英京都関連文書対訳コーパス
If it is difficult to immediately disseminate such information by formal correspondence methods, such as internal notices in writing, it is necessary to do so with the use of an internal information and telecommunications network,etc. (emails, posting on an E-forum, etc.).発音を聞く 例文帳に追加
文書による内部通達等正式な連絡方法では直ちに周知を行うことが困難な場合は、FAX、組織内情報通信ネットワーク(電子メール、電子フォーラム等への掲示等)の利用等により、直ちに周知を行う必要がある。 - 財務省
During the Meiji period, Bujutsu was considered to be difficult and harmful in school education, but in 1898 "gekiken" (kenjutsu, swordplay) and jujutsu were introduced as an extra lesson in the junior high schools of the old education system through the improvement of pedagogical methods such as the method of mass education or the unification of the basic skills of judo (jujutsu) and kenjutsu by the Kodokan Judo Institute and Dainippon Butoku-kai (Great Japan Federation of Martial Arts), and the lessons were called "budo," "kendo" and "judo" as compulsory, formal subjects.発音を聞く 例文帳に追加
学校教育において明治期には武術は教育に教育困難でかつ有害であるとされていたが、講道館や大日本武徳会による柔道(柔術)、剣術の統一の基本技制定や集団教育法など教授法改良により明治44年(1898年)に旧制中学校の課外授業に撃剣(剣術)と柔術が導入され、名称は武道、剣道、柔道とされ、必修の正課になった。 - Wikipedia日英京都関連文書対訳コーパス
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
ウィキペディア英語版での「formal methods」の意味 |
Formal methods
出典:『Wikipedia』 (2011/07/15 21:06 UTC 版)
意味 | 例文 (5件) |
formal methodsのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのFormal methods (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「formal methods」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |