小窓モード


プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > 英和対訳 > formal methodsの意味・解説 

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

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳 形式手法(けいしきしゅほう、英: formal methods)は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。


Weblio英和対訳辞書での「formal methods」の意味

Formal methods

Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

「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日英京都関連文書対訳コーパス

>>例文の一覧を見る


調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

ウィキペディア英語版での「formal methods」の意味

「formal methods」の意味に関連した用語

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会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

このモジュールを今後表示しない
みんなの検索ランキング
閲覧履歴
無料会員登録をすると、
単語の閲覧履歴を
確認できます。
無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS