「ゲーム意味論」を解説文に含む見出し語の検索結果(1～10/50件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/21 22:25 UTC 版)「ゲーム意味論」の記事における「直観論理、表示的意味論、線形論理」の解説ローレンツェンと...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/21 22:25 UTC 版)「ゲーム意味論」の記事における「量化子」の解説ゲーム意味論の基礎研究はヤーッコ・ヒンティ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/21 22:25 UTC 版)「ゲーム意味論」の記事における「古典論理」の解説最も単純なゲーム意味論の応用として、命題...
ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱し...
ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱し...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/13 15:15 UTC 版)「モデル検査」の記事における「モデル検査ツール」の解説EmbeddedValidator...
ヨハネス・フランシスカス・アブラハム・カレル・ファン・ベンタム（Johannes Franciscus Abraham Karel van Benthem、1949年6月12日 - ）は、オランダの論...
ヨハネス・フランシスカス・アブラハム・カレル・ファン・ベンタム（Johannes Franciscus Abraham Karel van Benthem、1949年6月12日 - ）は、オランダの論...
ヨハネス・フランシスカス・アブラハム・カレル・ファン・ベンタム（Johannes Franciscus Abraham Karel van Benthem、1949年6月12日 - ）は、オランダの論...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/30 16:28 UTC 版)「表示的意味論」の記事における「完全抽象化」の解説プログラムの表示的意味論と操作的意味論...
< 前の結果 | 次の結果 >