三浦克宜

Miura Katsunori

所属機関・部署：

研究分野 (2件)：ソフトコンピューティング , 知能情報学

研究キーワード (3件)：等価変換理論 , プログラム合成 , クラウドコンピューティング

競争的資金等の研究課題 (8件)：

全件表示

論文 (28件)：

Katsunori Miura, Kiyoshi Akama. Automatic Proof of Logical Equivalences belonging to the ES Class using Confluence Search incorporating Slicing. International Journal of Innovative Computing, Information and Control. 2023. 19. 6. 1827-1845
Courtney Powell, Katsunori Miura, Masaharu Munetomo. Many-Constraint and Many-Objective optimization with Bias Index for Intercloud Multi-Workflow Resource Provisioning. Proceedings of 12th International Conference on Soft Computing and Intelligent Systems and 23rd International Symposium on Advanced Intelligent Systems (SCIS&ISIS). 2022. 1-8
Katsunori Miura, Courtney Powell, Masaharu Munetomo. Optimal answer generation by equivalent transformation incorporating multi-objective genetic algorithm. Soft Computing. 2022. 26. 19. 10535-10546
Katsunori Miura, Kiyoshi Akama. Generation of Logical Equivalences belonging to the C2LE Class applied to Program Synthesis based on Equivalent Transformation. International Journal of Innovative Computing, Information and Control. 2021. 17. 4. 1119-1135
Courtney Powell, Katsunori Miura, Masaharu Munetomo. Constrained Multi-objective Optimization Method for Practical Scientific Workflow Resource Selection. Proceedings of 10th International Conference on Evolutionary Multi-Criterion Optimization (EMO2019). 2019. 683-694

MISC (4件)：

玉家武博, 齋藤篤志, 三浦克宜, 棟朝雅晴. インタークラウド環境における仮想システム構築の最適化サービスに関する検討. 第77回全国大会講演論文集. 2015. 2015. 1. 177-178
平島慶典, 三浦克宜, 棟朝雅晴. Hadoop環境上で動作する研究分野判定ツールの試作. 全国大会講演論文集. 2013. 2013. 1. 563-565
三浦克宜, 石川貴彦, 赤間清. ルールの逐次蓄積を支援するETプログラミング学習ツール. 日本教育工学会大会講演論文集. 2004. 20. 717-718
齋藤健司, 三浦克宜, 齋藤一, 前田隆. 大規模マルチエージェントシステムにおける並列処理法の考察. 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 2004. 103. 582. 1-6

講演・口頭発表等 (8件)：

多目的遺伝的アルゴリズムを用いる等価変換計算による解探索の効率化
(CloudWeek2018@Hokkaido University 2018)
等価変換アルゴリズムと多目的遺伝的アルゴリズムによるクラウド資源選択手法の提案
(CloudWeek2017@Hokkaido University 2017)
述語論理によるシステム要件記述法とクラウドリソース選択法の検討
(CloudWeek2016@Hokkaido University 2016)
述語論理式による仕様記述に基づくクラウドブローキングの提案
(第105回MPS研究発表会 2015)
クラウドブローキングのための述語論理式によるシステム記述について
(CloudWeek2015@Hokkaido University 2015)

学歴 (5件)：

学位 (1件)：

経歴 (9件)：

全件表示

受賞 (3件)：

所属学会 (2件)：

日本教育工学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

三浦 克宜