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

【研究名】量的情報流の正確な検証
【研究代表者】寺内 多智弘  名古屋大学   情報科学研究科   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000070447150/	
【研究名】並行論理プログラミングに基づく広域分散計算パラダイムの構築
【研究代表者】上田 和紀  早稲田大学   理工学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000010257206/