「探索」に関するサイレントキーワード「抽象化」が含まれる科研費採択研究1件

【研究名】抽象化を活用したプロセス計算の自動生成
【研究代表者】萩谷 昌己  東京大学   大学院情報理工学系研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030156252/