「最適化」に関するサイレントキーワード「プログラム解析」が含まれる科研費採択研究2件

【研究名】アスペクト指向言語の基礎モデルとその応用
【研究代表者】増原 英彦  東京大学   大学院・総合文化研究科   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000040280937/	
【研究名】並行論理プログラミングにおける静的モード体系の応用的側面に関する研究
【研究代表者】上田 和紀  早稲田大学   理工学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000010257206/