- 2023 - 2023 地域課題解決に向けた映像AIの活用
- 2015 - 2021 最適資源選択技術に関する研究(インタークラウドを活用したアプリケーション中心型オーバーレイクラウド技術に関する研究)
- 2016 - 2017 述語論理で定義された仕様記述に基づくインタークラウドブロケージ手法の確立
- 2015 - 2016 インタークラウドにおける多目的最適化手法を用いた、ITサービスの継続的最適配置
- 2015 - 2016 インタークラウドにおける抽象的システム構成記述とブローキング方法の検討
- 2013 - 2016 セマンティックWebの構築技術に関する研究
- 2014 - 2015 プログラム合成のための論理等価式の生成システムの構築
- 2013 - 2014 帰納法を使った論理等価式の証明に基づくプログラムの構成部品の自動生成
全件表示