「数理論理学」に関するサイレントキーワード「確率ゲーム」が含まれる科研費採択研究1件

【研究名】様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析
【研究代表者】田中 一之  東北大学   理学研究科   名誉教授 	https://nrid.nii.ac.jp/ja/nrid/1000070188291/	 
【研究分担者】
宮部 賢志  明治大学  理工学部  専任准教授  	https://nrid.nii.ac.jp/ja/nrid/1000000583866/	
鹿島 亮  東京工業大学  情報理工学院  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000010240756/	
木原 貴行  名古屋大学  情報学研究科  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000080722701/