「アルゴリズム」に関するサイレントキーワード「設計検証」が含まれる科研費採択研究1件 【研究名】プログラム・スライシングに基づくハードウェア設計記述支援環境 【研究代表者】岩井原 瑞穂 九州大学 大学院システム情報科学研究科 助教授 https://nrid.nii.ac.jp/ja/nrid/1000040253538/