「直観論理、表示的意味論、線形論理」を解説文に含む見出し語の検索結果(1~3/3件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/21 22:25 UTC 版)「ゲーム意味論」の記事における「直観論理、表示的意味論、線形論理」の解説ローレンツェンと...
ゲーム意味論(ゲームいみろん、Game Semantics)とは、ゲーム理論的概念(プレイヤーの勝利戦略の存在など)に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱し...
ゲーム意味論(ゲームいみろん、Game Semantics)とは、ゲーム理論的概念(プレイヤーの勝利戦略の存在など)に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱し...
< 前の結果 | 次の結果 >