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

DEVICE AND METHOD FOR FORMAL LOGIC VERIFICATION例文帳に追加

形式的論理検証装置および形式的論理検証方法 - 特許庁

METHOD OF STORING POLYVINYL FORMAL RESIN POROUS MATERIAL AND STORAGE STRUCTURE例文帳に追加

ポリビニルホルマール樹脂多孔質体の保存方法及び保存構造 - 特許庁

in formal logic, a method of reasoning, called disjunctive syllogism 例文帳に追加

形式論理学において,選言的三段論法という論法 - EDR日英対訳辞書

a type of formal logic which has a proposition logic method 例文帳に追加

形式論理学において,ホーン節という,命題論理式の節形式 - EDR日英対訳辞書

This is the most common knotting method and can also be used for formal dress. 例文帳に追加

もっとも一般的な結びかたで、礼装の場合にも用いられる。 - Wikipedia日英京都関連文書対訳コーパス

In an implementation, a method includes generating a formal license for content.例文帳に追加

一実施形態では、方法は、コンテンツの正式ライセンスを生成するステップを含む。 - 特許庁

The editor prompts the user regarding the formal parameters of a function or a method in the context where the function or method is called. 例文帳に追加

エディタでは、関数またはメソッドが呼び出されているコンテキストで、関数またはメソッドの仮パラメータに関するプロンプトが表示されます。 - NetBeans

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

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

To provide a method for storing a cyclic formal which can suitably be used as a monomer for producing polyoxymethylene copolymers.例文帳に追加

ポリオキシメチレン共重合体の製造用モノマーとして好適に使用できる環状ホルマールの保存方法を提供する。 - 特許庁

This method for producing the cyclic formal comprises adding a multivalent metal compound to the generated discharged water for insolubilizing COD components to be separated when distilling the cyclic formal containing formaldehyde in the presence of an alkaline substance.例文帳に追加

アルカリ性物質の存在下に、ホルムアルデヒドを含む環状ホルマールを蒸留するに際して、生成する排水に多価金属化合物を添加し、ＣＯＤ成分を不溶化し分離する環状ホルマールの製造方法。 - 特許庁

To provide a method capable of producing a formal compound or a ketal compound to which hydroxymethyl group is added under mild conditions.例文帳に追加

温和な条件下で、ヒドロキシメチル基が付加したホルマール化合物又はケタール化合物を製造できる方法を提供する。 - 特許庁

This method for recovering ditrimethylolpropane comprises adding an acid and an agent for collecting decomposition products to the distillation residues to decompose formal compounds and then recovering ditrimethylolpropane.例文帳に追加

蒸留釜残に酸および分解生成物捕集剤を添加してホルマール化合物を分解した後、ジトリメチロールプロパンを回収する。 - 特許庁

To provide a device and a method providing determination of whether a piece of E-mail is formal or informal by data analysis of an E-mal server log.例文帳に追加

電子メールサーバログのデータ解析により、電子メールがフォーマルかインフォーマルかを判定可能とした装置および方法を提供する。 - 特許庁

To provide a method capable of producing a formal compound or a ketal compound to which H-(OCH_2)_n group is added under mild conditions.例文帳に追加

温和な条件下で、Ｈ−（ＯＣＨ_2）_n−基が付加したホルマール化合物又はケタール化合物を製造できる方法を提供する。 - 特許庁

To provide a method for roll hemming process and it's apparatus, of which the rollers comprise a pre-bending roller and a formal bending roller, and which are supported by a robot without changing the rollers, enables pre- bending and formal bending substantially at the same time.例文帳に追加

ローラを予備曲げローラと本曲げローラで構成して、ロボットにこれら両ローラを支持させてローラの持ち替えをすることなく、予備曲げと本曲げを略同時に行うことを可能にしたロールヘミング加工方法及びその装置を提供する。 - 特許庁

To provide a method for producing 5-hydroxy-1,3-dioxane (α,α'-isomer of glycerol formal) suitable as a raw material for a branched glycerol.例文帳に追加

分岐型グリセロールの原料として好適な５−ヒドロキシ−１，３−ジオキサン（グリセロールホルマールのα，α’−異性体）を製造する方法の提供。 - 特許庁

To provide a method for steadily producing a new polyoxymethylene having high cyclic formal concentration using a self-cleaning type biaxial stirring mixer.例文帳に追加

２軸のセルフクリーニング型攪拌混合機を用いて、環状ホルマール濃度の高い新規なポリオキシメチレンを安定して製造する方法を提供する。 - 特許庁

Purple was used in the color combinations for court attire, and in Yamashina school (a school of the dressing method of the formal attire in those days), for example, the attire's outside was medium purple and the liner was blue - or, the outside was purple and the liner was white. 例文帳に追加

重ねの色目にも採用されており、表が中紫で裏は青、あるいは表が紫で裏は白（山科流）。 - Wikipedia日英京都関連文書対訳コーパス

To provide a text analysis device and a text analysis method that can complement an abbreviation included in a text document with a formal name by a relatively simple structure.例文帳に追加

比較的簡単な構成で、テキスト文章中に含まれる省略語を正式名称に補完できるテキスト解析装置、テキスト解析方法を提供する。 - 特許庁

To provide a method for personnel employment support which correctly decides the aptitude of a person who has been informally designated as an employee before formal employment of this person.例文帳に追加

就職内定者を本採用する前にその適性を正しく判定することができるようにした人事採用支援方法を提供する。 - 特許庁

This method for producing the highly pure ditrimethylolpropane comprises first applying a crystallization operation using an organic solvent to the distillation residues, decomposing formal compounds in a distillate with an acid, and again applying a crystallization treatment to the product.例文帳に追加

蒸留釜残に対して先ず有機溶媒を用いて晶析操作を行い、ホルマール化合物を酸分解した後、再び晶析操作を行う。 - 特許庁

To provide a simple and industrially advantageous method for treating discharged water generated in producing a cyclic formal, as the column bottom liquid of a distillation column.例文帳に追加

環状ホルマールを製造するに際して、生成する蒸留塔の塔底液の排水処理を簡潔で工業的に有利な方法を提供する。 - 特許庁

To provide a communication device registering method and its device for registering items necessary for secure authentication of formal users, especially, identification information of communication devices.例文帳に追加

正式ユーザの確実な認証に必要な項目、特に、通信装置の識別情報を登録する通信装置登録方法およびその装置を提供すること。 - 特許庁

The method explained in this text is formal, and therefore, one pointing device can be used for both two-dimensional inputs and one-dimensional inputs.例文帳に追加

本文中に説明した方法は形式上のものであり、そのために、同じポインティングデバイスを、２次元と１次元入力の両方に用いることができる。 - 特許庁

This method for producing highly pure ditrimethylolpropane comprises decomposing with an acid formal compounds in a distillate obtained by removing components having higher boiling points than that of ditrimethylolpropane from the distillation residues, and then crystallizing the product with a solvent.例文帳に追加

蒸留釜残からジトリメチロールプロパンよりも高沸点の成分を除去した留分中のホルマール化合物を酸分解した後、溶媒を用いて晶析する。 - 特許庁

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 an etching method capable of forming a large hollow or a space having a complicated configuration with high formal accuracy by etching a sacrificial layer through a very small etching opening.例文帳に追加

微細なエッチング開口からの犠牲層のエッチングにより、大きな中空部や複雑な構成の空間部を形状精度良好に形成できるエッチング方法を提供する。 - 特許庁

To provide a method to automatically generate a parser which is a combined parser of a formal language processing parser and a character string processing function other than FP, for example a natural language processing parser.例文帳に追加

形式言語処理パーサーにFP以外の文字列処理関数、例えば、自然言語処理パーサーを組み合わせたパーサーを自動的に生成する手法を提供する。 - 特許庁

This method for recovering highly pure ditrimethylolpropane comprises adding an acid to the distillation residues to decompose formal compounds, removing the components having higher boiling points than that of ditrimethylolpropane and then crystallizing ditrimethylolpropane with a solvent.例文帳に追加

蒸留釜残に酸を添加してホルマール化合物を分解した後、ジトリメチロールプロパンよりも高沸点の成分を除去し、溶媒を用いて晶析を行う。 - 特許庁

In the method for repairing the electrically semiconductive belt containing electrically conductive substances in a resin, the part having formal defect in the electrically semiconductive belt is flattened by heating processing.例文帳に追加

樹脂中に導電性物質を含有する半導電性ベルトの形状的な欠陥部分を加熱処理して平坦化させる半導電性ベルトの修正方法。 - 特許庁

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique.例文帳に追加

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。 - 特許庁

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.例文帳に追加

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

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.例文帳に追加

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

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 for retrieving/displaying name of station for automatic ticket issuing machine and an automatic ticket issuing machine, with which a user can easily buy a train ticket even without rightly remembering the formal name of a target station.例文帳に追加

利用者が目的とする駅の正式名称を正しく覚えていなくとも、容易に乗車券を購入できる自動券売機の駅名検索・表示方法及びその自動券売機。 - 特許庁

The method for producing the polyacetal copolymer comprises the steps of: mixing (a) trioxane, (b) cyclic ether and/or cyclic formal and (c) a tertiary amine compound; and adding a polymerization catalyst to the obtained mixture.例文帳に追加

(a）トリオキサンと、（b）環状エーテル及び／又は環状ホルマール及び(c)三級アミン化合物を混合した後、重合触媒を添加することを特徴とするポリアセタール共重合体の製造方法。 - 特許庁

In the method of producing polyacetal copolymer, the acetal copolymer can be provided by copolymerizing cyclic ether and/or cyclic formal which contains 1,4-dioxane of 200 ppm or less, in the range of 0.1 to 2.0 wt.% with respect to trioxane.例文帳に追加

１，４−ジオキサンを２００ｐｐｍ以下含有する環状エーテル及び／又は環状ホルマールを、トリオキサンに対して０．１〜２．０重量％の範囲で共重合して得られるポリアセタールコポリマーの製造方法。 - 特許庁

To provide the grinding method and device for a crankpin improved its roundness by trial-grinding a crankpin in at least one cut in process and formal-grinding by the correction data based on its error.例文帳に追加

クランクピンを少なくとも１つの切り込み工程で試し研削し、その誤差に基づく補正データにより正規の研削を行うことにより、真円度の向上したクランクピンの研削方法及び研削装置を提供する。 - 特許庁

The method for producing a branched polyoxymethylene copolymer comprises copolymerizing trioxane (a), a monofunctional glycidyl compound (b), and cyclic ether and/or cyclic formal (c) by using a cationic polymerization catalyst, wherein the cationic polymerization catalyst is added to a mixture obtained by previously mixing the monofunctional glycidyl compound (b), the cyclic ether and/or cyclic formal (c) and the trioxane (a) and polymerization is performed.例文帳に追加

トリオキサン（ａ）、単官能グリシジル化合物（ｂ）、環状エーテル及び／又は環状ホルマール（ｃ）をカチオン重合触媒を用いて共重合するに際し、単管能グリシジル化合物（ｂ）と環状エーテル及び／又は環状ホルマール（ｃ）及びトリオキサン（ａ）をあらかじめ混合した混合物にカチオン重合触媒を添加して重合することを特徴とする分岐ポリオキシメチレン共重合体の製造方法。 - 特許庁

To provide a method for producing a polyacetal copolymer capable of stable and continuous production with high polymerization yield for a long period, concerning a method for producing a polyacetal copolymer by copolymerizing trioxane, cyclic ether, and/or cyclic formal.例文帳に追加

トリオキサンと環状エーテルおよび／または環状ホルマールとを共重合してポリアセタール共重合体を製造する方法において、高重合収率で且つ長期間安定して連続生産することができるポリアセタール共重合体の製造方法を提供する。 - 特許庁

To provide a data processor which can recognize the name of music and an album by voice recognition without completely pronouncing formal name of the music and the album, and to provide a control method, a control program, and a recording medium.例文帳に追加

曲名やアルバム名の正式名称の読み仮名を完全に発音することなく、曲名やアルバム名を音声認識で認識させることのできるデータ処理装置、その制御方法、制御プログラム及び記録媒体を提供する。 - 特許庁

To provide a method for repairing an electrically semiconductive belt, by which the electrically semiconductive belt can be amended by flattening to a state of no practical problem even when a part having formal defect occurs in a manufacturing stage or the like, and thereby improving the manufacturing yield.例文帳に追加

製造段階等で形状的な欠陥部分が生じても、それを平坦化して実使用上問題ない状態に修正でき、製造の歩留りを向上することができる半導電性ベルトの修正方法を提供する。 - 特許庁

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.例文帳に追加

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

To provide a taping method using a tape pasting machine capable of conducting a formal seal surely from the beginning, thereby dispensing with an unnecessary loss of an adhesive tape, increasing productivity and reducing a manufacturing cost.例文帳に追加

必ず初回から本式の封緘処理を行うことができ、その結果、粘着テープの不必要なロスを無くすことができると共に、生産性を高めることができて、製造コストを低減することができる、テープ貼り機を用いたテーピング方法を提供する。 - 特許庁

To provide practical and safety processing equipment for stabilizing morphology of textile products and method of the processing imparting wrinkle resistance and shrink resistance with a resin finishing liquid not containg a formal debyde component after treating with ammonia.例文帳に追加

繊維製品に防皺性や防縮性を付与する形態安定化加工装置及び加工方法に関し、アンモニアガスを付与したあとホルマリン成分を含まない樹脂加工液で処理する安全で実用的な上記装置及び方法を提供する。 - 特許庁