「Formal system」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

a system of logic whose formal properties resemble certain moral and epistemological concepts 例文帳に追加

性質がある特定の倫理的、認識論的概念に似ている論理体系 - 日本語WordNet

a legal action that needs a particular system called formal act 例文帳に追加

要式行為という,一定の方式を必要とする法律行為 - EDR日英対訳辞書

FORMAL NAME DETERMINATION SYSTEM AND PROGRAM例文帳に追加

正式名称判定システム及び正式名称判定プログラム - 特許庁

This formal pledging system greatly influenced Japanese Buddhism, and the monks who went to China were treated also as formal Buddhist priests there. 例文帳に追加

このことは日本仏教に大きな影響を及ぼし、日本から大陸に渡った僧も一人前の比丘として扱われるようになった。 - Wikipedia日英京都関連文書対訳コーパス

The Jinja-Honcho has determined the system of dress that governs formal, ceremonial, and everyday attire; regulations differ according to the aforementioned status levels. 例文帳に追加

神社本庁では正装・礼装・常装の服制を定め、上記の身分別に規定がある。 - Wikipedia日英京都関連文書対訳コーパス

SYSTEM FOR IMPARTING FORMAL ADDRESS OR THE LIKE BY PRACTICALLY USING MOMENTARY AND TEMPORARY ADDRESS OR THE LIKE例文帳に追加

一時的な仮のアドレス等を活用して正式のアドレス等を付与するシステム - 特許庁

To automatically create an examination specification from system specification information such as formal model.例文帳に追加

形式モデル等のシステム仕様情報から試験仕様を自動的に生成することを目的とする。 - 特許庁

To provide a system for navigation capable of combining user data with formal data without concern.例文帳に追加

利用者データと公式データとを安心して組み合わせられるナビゲーションシステムを提供する。 - 特許庁

To provide a Western style formal wear and a formal wear system each facing character of each kind of courtesy and courtesies of various religions and sects, intended for offering possibility of selection in wearing a present one-way Western style formal wear, in view of pluralistic courtesy ideas of a Japanese society, on a base point of the Western style formal wear considering respect to Buddhism courtesy.例文帳に追加

日本社会の多元的な儀礼観念に鑑み、仏教儀礼への礼意に配慮された洋装礼服を基点として、各種儀礼の性格や諸宗教、諸宗派の儀礼に対峙した洋装礼服と礼服システムを構築し、現行の一元的な洋装礼服に対して着用選択の可能性を提供する。 - 特許庁

This event had such significance that his own governing system took on a formal attribute based on the Ritsuryo system (a system of centralized government based on the ritsuryo code). 例文帳に追加

それにより、自らの統治機構が律令制に基づく公的性格を帯びる意義を持ったことによる。 - Wikipedia日英京都関連文書対訳コーパス

However, clothing introduced from the continent became formal with the introduction of the political system based on the ritsuryo codes after the Asuka period, and were replaced by sokutai (formal male court clothing). 例文帳に追加

しかし飛鳥時代以降、律令制の導入により、衣料も大陸伝来の物が正統とされるようになっていき、束帯に位置を取って代わられた。 - Wikipedia日英京都関連文書対訳コーパス

Senji refers to the formal name of the documents to transmit orders of the emperor and Dajokan (Grand Council of State) in Japan in and after the period of ritsuryo system (the system of centralized government based on the ritsuryo code). 例文帳に追加

宣旨（せんじ）は、律令期以降の日本において天皇・太政官の命令を伝達する文書の形式名。 - Wikipedia日英京都関連文書対訳コーパス

During the period of the Emperor Monmu, with the establishment of Taihoryo (Taiho Code), the system of raifuku (formal court attire), chofuku and seifuku (uniform) was introduced. 例文帳に追加

文武天皇の時代に大宝令の制定とともに服飾も一新され、新たに礼服(宮中)（らいふく）・朝服・制服の制が定められた。 - Wikipedia日英京都関連文書対訳コーパス

Ezo province was not a formal area division under the ryosei system but a common area name, and Ryukyu province was not originally under the influence of Yamato Imperial Court. 例文帳に追加

蝦夷国は正式な令制国ではなく俗称であり、また琉球国は当初大和朝廷の影響が及んでいなかった。 - Wikipedia日英京都関連文書対訳コーパス

To provide a formal methodology used to realize a fail-safe start logical instruction set with reference to a power generation system.例文帳に追加

発電システムに対するフェイルセーフ開始論理命令セットを実現するための形式的方法論を提供する。 - 特許庁

The system and method provide a dependency mechanism for expressing relationships between properties in a formal manner.例文帳に追加

より具体的には、このシステムおよび方法は、プロパティ間の関係を形式的に表現する依存関係機構を提供する。 - 特許庁

By participating in the system at the time point of the temporary list, a time until the registration as the formal list can be effectively used.例文帳に追加

仮リストの時点で、本システムに参加することにより正式リストとして登録するまでの時間を有効に使えるようにする。 - 特許庁

To provide the simple authentication system of equipment suitable for personal equipment where a link to the start of a formal authentication operation or a storage memory size is restricted.例文帳に追加

正式な認証の運用開始までのつなぎや保持メモリサイズに制限のあるパーソナル機器に適した機器の簡易認証方式を提供する。 - 特許庁

To provide a learning community system, capable of giving a user formal knowledge and tacit knowledge which are operative corresponding to the user's attribute.例文帳に追加

ユーザの属性に応じて有効な形式知及び暗黙知をユーザに付与することができるラーニングコミュニティシステムを提供する。 - 特許庁

This data collection system has a rule holding means 102 distinguishing between a formal rule 106 and a temporary rule 107 and holding them, as the rule definition.例文帳に追加

データ収集システムは、ルール定義として、正式ルール１０６と仮ルール１０７とを区別して保持するルール保持手段１０２を備える。 - 特許庁

A doctrine development and amendment system is provided with a rule base integration editing support device 4 to be used for editing a doctrine rule in a formal language, a doctrine rule base 5 for preserving the doctrine rule of the formal language which is edited with the device 4, and a formal language/natural language conversion support device 11 for converting the doctrine rule into a natural language doctrine.例文帳に追加

形式言語でドクトリンルールを編集するために使用されるルールベース統合編集支援装置４と、ルールベース統合編集支援装置４で編集された形式言語のドクトリンルールを保存するドクトリンルールベース５と、ドクトリンルールを自然言語のドクトリンに変換する形式言語・自然言語変換支援装置１１をドクトリン開発改変システムが備える。 - 特許庁

According to Article one of the Special Case of the National Uniform System, the color of Joi for the national uniform on occasions of not being worn as the formal clothes was not specified, and the colors of Joi and overcoat of the national uniform on the occasion of being worn as formal clothes may be any of dark brown, black, navy blue, or white. 例文帳に追加

国民服制式特例の第1条により、礼装しない場合の国民服の上衣の色の指定はなくなり、礼装する場合の国民服の上衣と外套の色は、茶褐色、黒色、濃紺色、または白色のいずれかでよいとされた。 - Wikipedia日英京都関連文書対訳コーパス

Kaiho Rei for Meiji Government at that time was not abolition of the class system based on the philosophy of "shimin byodo" but only a formal abolition of the class system enacted just to proceed "chiso choshu (collection of land tax)". 例文帳に追加

当時の明治政府にとって解放令とは、「四民平等」理念による身分解放ではなく、「地租徴収」実施のためだけに出された形だけの身分解放に他ならなかった。 - Wikipedia日英京都関連文書対訳コーパス

An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness.例文帳に追加

システムの要求を捉え、その要求を形式仕様へと変換し、その正しさと完全性についてヴァリデートする、自動ソフトウエア作成システムを提供する。 - 特許庁

The automated software production system 202 is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness.例文帳に追加

システムの要求を捉え、その要求を形式仕様へと変換し、その正しさと完全性についてヴァリデートする、自動ソフトウエア作成システムを提供する。 - 特許庁

The formal address allocation method of a network system includes a step for successively connecting terminal equipment along a wiring path to a central control unit and a step for successively allocating formal addresses to the terminal equipment connected to the central control unit.例文帳に追加

本発明によるネットワークシステムの正式アドレス割当て方法は、各々の前記端末装置が前記配線経路に沿って順次に前記中央制御装置に接続する段階と、前記中央制御装置で、接続される前記端末装置に前記正式アドレスを順次に割当てる段階を含むことを特徴とする。 - 特許庁

In the network system, (1) the client terminal apparatus holds a temporary address and data relative to the address, (2) the client terminal performs communication to the address assigning server by using the address and the data, and (3) the address assigning server determines a formal address to the client terminal apparatus and data relative to the formal address and performs responding.例文帳に追加

そこで、（１）クライアント端末機が、仮のアドレス及びそれに関連するデータを保有し、（２）クライアント端末機は、上記のアドレス及びそれに関連するデータを利用して、アドレス割当サーバと通信し、（３）アドレス割当サーバは、クライアント端末機に対する正式のアドレス及びそれに関連するデータを決定して応答する。 - 特許庁

While the cabinet carried out as its main duty the general postwar settlements, including the formal signing of the Instrument of Surrender, disarmament, breaking up of the military authorities and democratization, it did not consider a large-scale reform of the old political system. 例文帳に追加

降伏文書の調印、武装解除・軍部解体、民主化など、敗戦処理全般を主たる任務としてこなしたが、一方で旧来の政治体制の大規模な変革までは考えていなかった。 - Wikipedia日英京都関連文書対訳コーパス

To provide a method for stably producing a polyacetal resin by polymerization of trioxane or copolymerization between trioxane and a cyclic formal in a homogeneous reaction system.例文帳に追加

トリオキサンの重合、もしくはトリオキサンと環状ホルマールとの共重合において、均一なる反応系で安定なポリアセタール樹脂を得る製造方法を提供する。 - 特許庁

To provide a very convenient article purchase system which decides formal purchase of an article within a certain period after the article to be purchased is ordered when a customer purchases the article.例文帳に追加

買物客が商品を購入する場合、購入する商品を発注後、一定期間内にその商品の正式購入を決定する利便性の高い商品購入システムを提供する。 - 特許庁

To provide an electronic construction planning system for executing free rough design/construction cost estimate, simply utilizable without a formal estimate request concerning a business program having a wide construction cost.例文帳に追加

本発明の課題は、幅広い工事費の事業計画に関して、正式な見積り依頼をしなくても簡単に利用することができる、無償の概略設計・工事費見積りを行う電子工事計画システムを提供することである。 - 特許庁

To solve a problem of becoming a factor in deteriorating reliability because of exclusively or distortedly treating a part of information by executing control and processing on a system with a truth value of a formal logical expression such as Boolean algebra as a reference.例文帳に追加

システムに関する制御及び処理等はブール代数等の形式論理式の真理値を基準に実行され情報の一部を除外もしくは歪曲して扱い、信頼度を低下する要因となっている。 - 特許庁

To provide a digital camera sales system for specifying a change to image quality or the like preferred by an ordering person and confirming the image quality or the like before formal ordering.例文帳に追加

注文者の好みの画質等に変更指定することができ、しかも正式注文前に予め画質等の確認が可能であるデジタルカメラ販売システムを提供する。 - 特許庁

To provide a telephone consultation charging system enabling a cellphone company to appropriately act as a proxy to collect a usage charge as a formal content even in a telephone consultation service.例文帳に追加

電話相談サービスであっても、公式コンテンツとして携帯電話会社が利用料を適切に回収代行することができる電話相談課金システムを提供する。 - 特許庁

In this system, a sentence input part 320 recognizes a prescription sentence described by a formal natural language and inputted by an input device 310 as a definition sentence, a classification sentence and a procedure sentence according to a pattern and is transferred to respective processing parts 330, 350, 360.例文帳に追加

入力装置３１０から入力された、形式的な自然言語記述である規定文は、文入力部３２０でパターンにより、定義文、分類文、手順文として認識され、それぞれの処理部（３３０，３５０，３６０）に渡される。 - 特許庁

To provide a method and system for evolving a program to the program suitable for specifications, namely, the provably correct program using formal specifications and evolutional algorithm in which desired behaviors of the program is defined.例文帳に追加

プログラムの所望の振る舞いを定義した形式仕様および進化的アルゴリズムを用いて、プログラムを仕様に合った、即ち正当性証明可能なプログラムに進化させる方法およびシステムを提供する。 - 特許庁

To provide a method and a system for processing both a digital document and a physical document and for operating a formal conversion and access easily without largely changing an operational practice by respective persons.例文帳に追加

人々が各自の作業習慣を大きく変更することなく、デジタル文書と物理的文書の両方を処理し、形式変換とアクセスを容易に操作可能な方法及びシステムを提供する。 - 特許庁

A member authentication issue system 120 issues specific user identification information to each formal member, and issues identical universal user identification information to a plurality of guest members.例文帳に追加

会員認証発行システム１２０は、正式会員にはそれぞれ固有のユーザ識別情報を発行し、ゲスト会員には複数人に同一の汎用ユーザ識別情報を発行する。 - 特許庁

In this value logical time series optimal matching processing system, a value logical expression being a logical expression capable of expressing 'ambiguity' is used for eliminating a limit in the control and the processing of the formal logical expression.例文帳に追加

価値論理的時系列最適マッチング処理システムにおいて“あいまいさ”を表現出来る論理式である価値論理式を形式論理式の制御及び処理等における限界を解消するために利用した。 - 特許庁

However, most of the reforms in other Asian countries were not successful, because they didn't understand that the Meiji Restoration was a comprehensive reform including an administration system, an educational system, industry, and finance, so these reforms were just formal or 'top-down' reforms looking at just one aspect of the Meiji Restoration. 例文帳に追加

ただし、その多くは明治維新が行政制度のみならず教育・産業・金融などを含めた総合的な改革であったという本質への理解には及ばず、形だけの改革や一面だけを捉えた「上からの改革」に終始したため、成功に至った例は少ない。 - Wikipedia日英京都関連文書対訳コーパス

With classified as a Kanpei Taisha (Imperial shrine) under the modern shrine ranking system in 1871, the shrine changed its formal name to 'Inari-jinja' to become 'Kanpei Taisha Inari-jinja', but in 1946, after the Second World War, it became a stand-alone religious corporation independent from the Association of Shinto Shrines and its name was changed to 'Fushimi Inari Taisha'. 例文帳に追加

1871年（明治4年）には近代社格制度のもとで官幣大社に列格するとともに、正式社名を「稲荷神社」とし、「官幣大社稲荷神社」となったが、戦後の1946年に神社本庁とは独立した単立宗教法人となり、「伏見稲荷大社」と改称した。 - Wikipedia日英京都関連文書対訳コーパス

Below the date of issuance, the rank and name of the messenger who carried the document to the receiver were written, and concluded with, 'Refer to the procedures of the formal fu in cases of reikoku and denfu (relay messenger system, or when a document had been sent via relay messenger to officials in various districts).' 例文帳に追加

発給年月日の下側にこの符を相手先に送付した使人の位署がされ、最後の行に「鈴剋　伝符亦准此（鈴剋（れいこく）・伝符（ともに駅伝制に用いられるもので、転じて駅伝を介して諸国の国司に送られてきた場合）もまた此れ（正規の符の手続）に准ぜよ）」と書かれて締め括られる。 - Wikipedia日英京都関連文書対訳コーパス

We will conduct a formal investigation, including on that matter. I have been told that transfers of donation money were particularly concentrated at a few of Mizuho Bank's numerous branches, leading to the system breakdown. 例文帳に追加

そういったことは、正式な調査をしますので、それを含めてやりますけれども、仄聞するところによると、（多数の店舗がある中）少ない（特定）の支店に地震の義援金がたくさん集中し、そのことがダウンに繋がったということは聞いております。 - 金融庁

Therefore, on Monday, March 28, the FSA notified Mizuho Bank that it will conduct an on-site inspection based on the Banking Act. We will require a formal report on the analysis of the cause of this system problem and the status of its risk management. 例文帳に追加

そういったところで、28日月曜日、みずほ銀行に対しまして、銀行法に基づいて立入検査を実施する旨の検査予告を行ったところでございまして、当該システムの障害の原因分析と当行のリスクの管理のあり方について正式に報告を求めます。 - 金融庁

To provide a network system including a central control unit and a plurality of terminal equipment successively connected from the central control unit along a predetermined wiring path for communicating with the central control unit, and provide its formal address allocation method.例文帳に追加

本発明は、中央制御装置と、前記中央制御装置から所定の配線経路に沿って、順次に連結され、前記中央制御装置と通信する複数の端末装置を含むネットワークシステム及びその正式アドレス割当て方法に関する。 - 特許庁