「"形式的意味"」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

漢文において,文法上の形式的意味を表す文字例文帳に追加

in Chinese writings, characters that are used to represent grammatical meanings  - EDR日英対訳辞書

「言語学」を言語の系統的な学問を意味するものとするならば、形式的意味論は言語学における最も古い分枝の一つである。例文帳に追加

If we take "linguistics" to mean any systematic study of language, then formal semantics is one of the oldest branches within linguistics.  - コンピューター用語辞典

意味仕様から所望のプログラムコードを検索すること可能にするためにプログラムにその形式的意味仕様を，またプログラムの正しさ（仕様充足性）を保証するために仕様を満たすことの検査可能な形式的証明を，プログラムに同時に蓄積する。例文帳に追加

To enable retrieval of a desired program code from a semantic specification, formal semantic specifications of programs and formal certifications capable of inspecting whether the programs satisfy specifications for assuring the validation of programs (specification satisfying property) are simultaneously accumulated in the programs. - 特許庁