形式・言語の英語

マイケル・ポランニーの区別に従い、ここでは、「暗黙知」とは、特定状況に関する個人的な知識であり、形式化したり他人に伝えたりするのが困難な知識のことを、「形式知」とは、形式的・論理的言語によって伝達できる知識のことをいう（野中・竹内（1996））。例文帳に追加

Based on the distinction made by Michael Polanyi, "tacit knowledge" signifies personal knowledge about a specific situation that is difficult to be formalized or conveyed to others, while "explicit knowledge" signifies knowledge that can be communicated to others by formal and logical languages (Nonaka and Takeuchi (1996)). - 経済産業省

任意に定義可能なタグを使用するメタ言語（例えば、ＸＭＬ）形式の文書の表現形式等を規定するスタイル・シートを好適に管理する。例文帳に追加

To properly manage a style sheet to specify an expression form or the like of a document adopting a meta language (e.g. XML) using a tag that is optionally defined. - 特許庁

グラフィック・プログラミング言語オブジェクトは、コンフィギュレーション・ファイルとしてオフライン・データベースで使用されるフォーマット形式で格納され、報告文書の生成及びコンフィギュレーション・データベースとの共用のために異なるフォーマット形式にマップされる。例文帳に追加

The graphical programming language object is stored as a configuration file in a format used by the off-line database, and is mapped to a different format type for generating reporting documentation and sharing the configuration file with a configuration database. - 特許庁

ＰＬＣ１は、リーダライタ３がＩＣカード５に対して読み書きするプログラム言語・データ等の情報処理形式とＰＬＣ１で処理するプログラム言語・データ等の情報処理形式とが一致するように情報を変換する変換テーブルを備えるＰＬＣ用ＩＣカードアクセス制御機器１０とした。例文帳に追加

This IC card access control unit 10 is used for a PLC 1 comprising a conversion table for converting the information so that the information processing format of a program language/data and the like read and written to the IC card 5, and the information processing format of the program language/data and the like processed by the PLC 1 are agreed with each other. - 特許庁

セマンティック・ウェブについて次に求められる要素はウェブ・オントロジ言語であり、これはウェブ文書で使われるクラスとプロパティの意味論を形式的に記述できるものである。例文帳に追加

The next element required for the Semantic Web is a Web ontology language which can formally describe the semantics of classes and properties used in web documents.発音を聞く  - コンピューター用語辞典

関係型データベースは簡略化されたトピックマップ形式で表現することもできるが、TMQL（トピックマップ問合せ言語）はもっとずっと複雑なデータ・リポジトリを動かそうとする必要があるだろう。例文帳に追加

A relational database may be expressed in terms of a simplified Topic Map, but TMQL will need to work with a much more complex data repository.発音を聞く  - コンピューター用語辞典

ゾーン１０進数形式の変数へのアクセスを有する言語のバイナリコードを最適化する方法、並びにその最適化装置及びコンピュータ・プログラム例文帳に追加

METHOD FOR OPTIMIZING BINARY CODE OF LANGUAGE HAVING ACCESS TO VARIABLE OF ZONE DECIMAL NUMBER FORM, DEVICE FOR OPTIMIZING THE SAME AND COMPUTER PROGRAM - 特許庁

各種取引データを収集し、統一化した構造化言語のデータ形式に変換・蓄積し、該データで経営指標の随時算出を可能にし、財務諸表の勘定科目に関する原取引データとの連係を可能とする会計情報収集・分析システムを提供する。例文帳に追加

To provide an accounting information collection and analysis system, capable of performing as-needed calculation of a management index and linkage thereof with original transaction data related to an account title of financial statements by use of various transaction data collected and converted/accumulated into a data format of a unified structured language. - 特許庁