「GUI」に関するサイレントキーワード「プログラム意味論」が含まれる科研費採択研究1件

【研究名】線形論理上の集合論のプログラム記述と検証への応用
【研究代表者】白旗 優  慶應義塾大学   商学部   専任講師 	https://nrid.nii.ac.jp/ja/nrid/1000000286618/