「人工知能(AI)」に関するサイレントキーワード「実行可能仕様」が含まれる科研費採択研究1件

【研究名】様相論理とその実時間制御及び人工知能への応用
【研究代表者】中島 玲二  京都大学   数理解析研究所   教授 	https://nrid.nii.ac.jp/ja/nrid/1000060109080/	 
【研究分担者】
服部 隆志  京都大学  数理解析研究所  助手
桜川 貴司  京都大学  数理解析研究所  助手  	https://nrid.nii.ac.jp/ja/nrid/1000060196136/	
萩谷 昌己  京都大学  数理解析研究所  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000030156252/	
立木 秀樹  京都大学  数理解析研究所  助手  	https://nrid.nii.ac.jp/ja/nrid/1000010211377/