記号計算法の英語

モデルパラメータ決定プログラムは、変数およびモデルパラメータの初期値を用いて計算された変数、変数の微分値をモデルに対応する一階述語論理式に代入する手順と、代入後の論理式内の未知パラメータに仮定値を代入する手順と、その後の論理式に限定記号消去法を適用して誤差上限値を求める手順とを計算機に実行させる。例文帳に追加

A model parameter determination program causes a computer to execute; a procedure of substituting variables, variables calculated by initial values of model parameters, and differential values of variables into a first-order predicate logic formula; a procedures of substituting assumes values into unknown parameters in the logic formula after the substitution; and a procedure of applying a quantifier elimination method to the formula to obtain the error upper limit value. - 特許庁

ここで、プログラムとは、「電子計算機に対する指令であって、一の結果を得ることができるように組み合わされたもの」（同法第２条第８項）であり、ＩＤ・パスワード等は、単なる文字、数字、記号の羅列であって、プログラムには該当しない上、機器にも該当しない。例文帳に追加

As used herein, "programs" mean combination of structured orders, by which one can obtain certain results (Article 2, Paragraph 8 of the Unfair Competition Prevention Act). IDs/Passwords are simply strings of letters, numbers, or symbols, and constitute neither programs nor devices.発音を聞く  - 経済産業省

任意の順序での解答入力が可能となり、解答文字枠以外の領域に、メモや繰り上がりや繰り下がりの数字を自由に記入すること、計算過程における採点を可能にすること、ならびに繰り下がり記号や四捨五入記号を数字の上に記入することを可能とする筆算学習装置及び方法を提供する。例文帳に追加

To provide a device and method for calculation-on-paper learning that enable answer input in an arbitrary order, freely entering of a memo or a carried-up or carried-down number into an area other than an answer character frame, scoring in a calculation stage, and entering of a carrying-down off symbol or rounding off symbol above a number. - 特許庁

グラフイング計算機（１０）は、ユーザが勉強している数学的オブジェクトの構造を解析することを助けて代数及び微積分の記号的観点を学ぶことを補助するスクリーン・ディスプレイ（１００）上のユーザ・インフェイスと、これらのオブジェクトへ適用できる適法な変換（図２ｂ）と、その変換の結果と（図２ｅ）を含む。例文帳に追加

A graphing calculator (10) includes a user interface on a screen display (100) that assists the user to learn the symbolic aspects of algebra and calculus by helping them analyze the structure of the mathematical objects they are working with, the legal transformation (Fig. 2b) that can be applied to those objects and the result (Fig. 2e) of the transformation. - 特許庁

ここでプログラムとは、「電子計算機を機能させて一の結果を得ることができるようにこれに対する指令を組み合わせたものとして表現したもの」（同法第２条第１項第１０号の２）であり、ＩＤ・パスワード等は、単なる文字、数字、記号の羅列であって、プログラムには該当しない上、機器にも該当しない。例文帳に追加

Programs refer to "expression of combinations of instructions, by which one can operate a computer to obtain certain results" (Article 2, Paragraph 1, Item 10-2 of the Copyright Law). IDs/Passwords are simply strings of letters, numbers, or symbols, and constitute neither programs nor devices.発音を聞く  - 経済産業省

そこで、不正競争防止法は、第２条第９項においてドメイン名を「インターネットにおいて、個々の電子計算機を識別するために割り当てられる番号、記号又は文字の組合せに対応する文字、番号、記号その他の符号又はこれらの結合」とする定義規定を設け、同法第２条第１項第１２号において、①不正の利益を得る目的又は他人に損害を加える目的で、②他人の特定商品等表示と同一又は類似の、③ドメイン名を使用する権利を取得し、若しくは保有し又はそのドメイン名を使用する行為を「不正競争」として規制している。例文帳に追加

Paragraph 7, Article 2 of the Unfair Competition Prevention Law defines a domain name as "the characters, numerals, signs, or the combination of any of them corresponding to the characters, numerals, signs, or the combination of any of them assigned to each electronic computer on the Internet." Subparagraph 12, Paragraph 1, Article 2 of the law defines "unfair competition" as an act of (i) acquiring or holding the right to use a domain name or using a domain name; (ii) that is the identical with or similar to another party's specific trademark, service mark or the like; (iii) for the purpose of obtaining an illegal profit (profit-making purpose) or causing damage to a party (damage-causing purpose).発音を聞く  - 経済産業省

二　法人（前条第一項第一号又は第二号に掲げるものを含み、中小企業基本法（昭和三十八年法律第百五十四号）第二条第一項各号に掲げる中小企業者に該当する者であり、かつ、法第百九十三条の二第一項又は第二項の規定により監査証明を受けなければならない者以外の者その他これに類するものとしてあらかじめ定めて公表された範囲に属するものに限る。）の信用状態に関する評価として、主として当該法人の信用状態に関する客観的な指標に基づきあらかじめ定められた計算方法により算定した結果について、記号又は数字（前条第二項に規定する文章又は文字を含む。）を用いて表示した等級を提供し、又は閲覧に供する行為例文帳に追加

(ii) the act of providing or offering for inspection a grade represented by any mark or number (including text or characters as set forth in paragraph (2) of the preceding Article), as assigned to show the results of an assessment of the credit status of a juridical person (including a juridical person as set forth in item (i) or (ii), paragraph (1) of the preceding Article; and limited to a juridical person which falls under the category of a Small and Medium-sized Enterprise Operator as listed in the items of paragraph (1) of Article 2 of the Small and Medium-sized Enterprise Basic Act (Act No. 154 of 1963) and which also falls under the scope specified and disclosed in advance as persons not required to obtain an audit certification pursuant to the provisions of Article 193-2, paragraph (1) or (2) of the Act or any other persons similar thereto) derived primarily based on objective indicators of the credit status of said juridical person and in accordance with a formula given in advance.発音を聞く  - 日本法令外国語訳データベースシステム