形式语义学的日文

• プログラム意味論

• "语义学" 日文翻译 :    〈語〉意味論.セマンティックス.
• "外延语义学" 日文翻译 :    がいえんてきいみろん
• "数据语义学" 日文翻译 :    データ意味論データいみろん
• "语义学评价" 日文翻译 :    いみろんてきなひょうか
• "形式语言" 日文翻译 :    形式言語
• "定量的模糊语义学" 日文翻译 :    ていりょうてきファジイいみろん
• "义学" 日文翻译 :    〈旧〉義塾.民間人が金を出し合い,または地方の公益金で開設された学費免除の学校.
• "形式" 日文翻译 :    （?内容 nèiróng ）形式. 艺术形式／芸術様式. 形式地看问题／問題を形式的にみる.
• "语义图" 日文翻译 :    かんりゃくずきごう
• "语义字" 日文翻译 :    いみご
• "语义网" 日文翻译 :    いみけつごうもう
• "交替式语句" 日文翻译 :    こうごけいしきステートメント
• "格式语句" 日文翻译 :    フォーマットステートメント
• "模式语句" 日文翻译 :    パターンステートメント
• "生成式语言" 日文翻译 :    せいせいげんご
• "函数程式语言" 日文翻译 :    関数型言語
• "博弈语义" 日文翻译 :    ゲーム意味論
• "指称语义" 日文翻译 :    表示的意味論
• "语义分析" 日文翻译 :    いみろんてきかいせきいみぶんせき
• "语义存储器" 日文翻译 :    いみメモリ
• "语义数据库" 日文翻译 :    いみろんてきデータベース
• "语义消解" 日文翻译 :    いみろんてきぶんかい
• "语义生成" 日文翻译 :    いみせいせい
• "语义程序" 日文翻译 :    いみづけけルーチンセマンティツクルーチン
• "形式记录" 日文翻译 :    けいしきレコード
• "形式逻辑" 日文翻译 :    〈論〉形式論理（学）.

• 形式语义学的英语：formal semantics of programming languages
• 形式语义学的法语：Sémantique des langages de programmation
• 形式语义学的俄语：Семантика (программирование)
• 形式语义学的阿拉伯语：علم الدلالة الشكلي;