「Predicate」に関連した英語例文の一覧と使い方(5ページ目) - Weblio英語例文検索

A classification part 80 classifies a plurality of query data into a first category according to the noun phrases as the keywords stored in the keyword storage part 50 and classifies a document belonging to the first category into a second category according to the predicate phrase matching the keyword based on the noun phrase stored in the co-occurrence expression storage part 70 to display it in a display part 3.例文帳に追加

分類部８０は、前記複数の問い合わせデータをキーワード記憶部５０に記憶された名詞句によるキーワードで第１カテゴリに分類し、かつ第１カテゴリに所属する文書を共起表現記憶部７０に記憶された前記名詞句によるキーワードに対応する述語句で第２カテゴリに分類し、表示装置３に表示する。 - 特許庁

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

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

The writing ports 31 receive register identifiers to identify one of the plural registers 160, receive a first signal (one bit of predicate data or a set signal or a reset signal, etc.), transmit the first signal and a decode signal to each of the registers 160, assert the decode signal to be transmitted to the register 160 to be identified by the register identifiers and deassert decode signals to be transmitted to other registers 160.例文帳に追加

該書込ポート(31)は、複数のレジスタ(160)の1つを識別するレジスタ識別子を受信し、第1の信号(1ビットの述語データ又はセット信号又はリセット信号等)を受信し、第1の信号及びデコード信号をレジスタ(160)の各々に送り、レジスタ識別子で識別されるレジスタ(160)へ送られるデコード信号をアサートし、他のレジスタ(160)に送られるデコード信号をデアサートする。 - 特許庁

Tanzania should continue to work on implementing its action plan to address these deficiencies, including by: (1) clarifying the remaining issues regarding the predicate offences for money laundering and criminalisation of terrorist financing; (2) establishing and implementing adequate procedures to identify and freeze terrorist assets as well as implementing the UNSCRs 1267 and 1373 through law, regulations or other enforceable means. 例文帳に追加

同国は、①資金洗浄の前提犯罪とテロ資金供与の犯罪化に関して残存する問題について明らかにすること、②テロリスト資産を特定し凍結するための適切な手続の構築・履行及び法律、規制又は他の強制力のある手段を通じた国連安保理決議1267、1373の履行を含む、資金洗浄・テロ資金供与対策上の欠陥に対応するためにアクションプランの履行への取組を継続すべきである。 - 財務省

Tanzania should continue to work on implementing its action plan to address these deficiencies, including by: (1) addressing predicate offences for money laundering; (2) adequately criminalising terrorist financing; (3) establishing and implementing adequate procedures to identify and freeze terrorist assets as well as implementing the UNSCRs 1267 and 1373 through law, regulations or other enforceable means; (4) establishing effective customer due diligence measures; (5) ensuring adequate record-keeping requirements; (6) establishing a fully operational and effectively functioning Financial Intelligence Unit. 例文帳に追加

同国は、①資金洗浄の前提犯罪への対処、②テロ資金供与の適切な犯罪化、③テロリスト資産を特定し凍結するための適切な手続きの構築・履行及び法律、規制又は他の強制力のある手段を通じた国連安保理決議1267、1373の履行、④効果的な顧客管理措置の構築、⑤適切な記録保存義務の確保、及び⑥完全にかつ効果的に機能する金融情報機関の構築を含む、資金洗浄・テロ資金供与対策上の欠陥に対応するためのアクションプランの履行への取り組みを継続すべきである。 - 財務省