Miura Katsunori

Affiliation and department：

Research field (2)： Soft computing , Intelligent informatics

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

Research theme for competitive and other funds (8)：

Show all

Papers (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

ｍore...

MISC (4)：

Lectures and oral presentations (8)：

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

ｍore...

Education (5)：

2005 - 2009 北海道大学大学院情報科学研究科複合情報学専攻博士後期課程
2004 - 2005 Hokkaido University Information Initiative Center
2001 - 2004 Hokkaido Information University Graduate School of Business Administration and Information Science
1997 - 2001 北海道電子計算機専門学校情報システム研究科
1997 - 2001 Hokkaido Information University Faculty of Business Administration and Information Science School of Distance / Satellite Education

Professional career (1)：

Work history (9)：

2024/10 - 現在 Otaru University of Commerce
2024/10 - 現在 Otaru University of Commerce Faculty of Commerce Department of Information and Management Science
2018/04 - 現在 Otaru University of Commerce Information and Communications Technology Center
2018/04 - 2024/09 Otaru University of Commerce Faculty of Commerce, Department of Information and Management Science
2012/04 - 2018/03 Kitami Institute of Technology Information Processing Center

Show all

Awards (3)：

Association Membership(s) (2)：

JAPAN SOCIETY FOR EDUCATIONAL TECHNOLOGY , INFORMATION PROCESSING SOCIETY OF JAPAN

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page