Researcher Database

Miura Katsunori

Department of Information and Management Science Associate Professor

Last Updated :2024/12/21

Researcher Information

Affiliation

Department of Information and Management Science

Job Title

Associate Professor

J-Global ID

201801006765763904

Research Interests

等価変換理論プログラム合成クラウドコンピューティング

Research Areas

Informatics / Soft computing

Informatics / Intelligent informatics

Academic & Professional Experience

2024/10 - Today Otaru University of Commerce教育研究評議会評議員

2024/10 - Today Otaru University of CommerceFaculty of Commerce Department of Information and Management Science教授

2018/04 - Today Otaru University of CommerceInformation and Communications Technology Center副センター長

2018/04 - 2024/09 Otaru University of CommerceFaculty of Commerce, Department of Information and Management Science准教授

2012/04 - 2018/03 Kitami Institute of TechnologyInformation Processing Center講師

2011/10 - 2012/03 Hokkaido UniversityInformation Initiative Center博士研究員

2011/04 - 2011/09 Hokkaido UniversityInformation Initiative Center研究支援推進員

2009/04 - 2011/09 Sapporo Gakuin UniversityFaculty of Social Information非常勤講師

2009/04 - 2011/03 Hokkaido UniversityInformation Initiative Center専門研究員

Education

2005/04 - 2009/03 北海道大学大学院情報科学研究科複合情報学専攻博士後期課程

2004/04 - 2005/03 Hokkaido University Information Initiative Center 研究生

2001/04 - 2004/03 Hokkaido Information University Graduate School of Business Administration and Information Science 経営情報学専攻修士課程

1997/04 - 2001/03 北海道電子計算機専門学校情報システム研究科

1997/04 - 2001/03 Hokkaido Information University Faculty of Business Administration and Information Science School of Distance / Satellite Education 情報学科

Association Memberships

INFORMATION PROCESSING SOCIETY OF JAPAN

Published Papers

Automatic Proof of Logical Equivalences belonging to the ES Class using Confluence Search incorporating Slicing
Katsunori Miura; Kiyoshi Akama
International Journal of Innovative Computing, Information and Control 19 (6) 1827 - 1845 2023/12 [Reviewed]
Scientific journal

Many-Constraint and Many-Objective optimization with Bias Index for Intercloud Multi-Workflow Resource Provisioning
Courtney Powell; Katsunori Miura; Masaharu Munetomo
Proceedings of 12th International Conference on Soft Computing and Intelligent Systems and 23rd International Symposium on Advanced Intelligent Systems (SCIS&ISIS) IEEE 1 - 8 2022/11 [Reviewed]
International conference proceedings

Optimal answer generation by equivalent transformation incorporating multi-objective genetic algorithm.
Katsunori Miura; Courtney Powell; Masaharu Munetomo
Soft Computing 26 (19) 10535 - 10546 2022/03 [Reviewed]
Scientific journal

Generation of Logical Equivalences belonging to the C2LE Class applied to Program Synthesis based on Equivalent Transformation
Katsunori Miura; Kiyoshi Akama
International Journal of Innovative Computing, Information and Control 17 (4) 1119 - 1135 2021/08 [Reviewed]
Scientific journal

Constrained Multi-objective Optimization Method for Practical Scientific Workflow Resource Selection
Courtney Powell; Katsunori Miura; Masaharu Munetomo
Proceedings of 10th International Conference on Evolutionary Multi-Criterion Optimization (EMO2019) 683 - 694 2019/03 [Reviewed]
International conference proceedings

Optimal and Feasible Cloud Resource Configurations Generation Method for Genomic Analytics Applications
Katsunori Miura; Courtney Powell; Masaharu Munetomo
Proceedings of 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018) 137 - 144 2018/12 [Reviewed]
International conference proceedings

Towards a Small Diverse Pareto-optimal Solutions Set Generator for Multi-objective Optimization Problems
Courtney Powell; Katsunori Miura; Masaharu Munetomo
Proceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO 2018) 298 - 299 2018/07 [Reviewed]
International conference proceedings

Optimal Cloud Resource Selection Method Considering Hard and Soft Constraints and Multiple Conflicting Objectives
Courtney Powell; Katsunori Miura; Masaharu Munetomo
Proceedings of 11th IEEE International Conference on Cloud Computing (CLOUD 2018) 831 - 835 2018/07 [Reviewed]
International conference proceedings

Cloud Resource Selection based on PLS for deploying Optimal Infrastructures for Genomic Analytics Applications
Katsunori Miura; Courtney Powell; Masaharu Munetomo
ACM/IEEE SC17 Poster 2017/12 [Reviewed]
Research society

A Predicate Logic-defined Specification Method for Systems Deployed by Intercloud Brokerages
Katsunori Miura; Masaharu Munetomo
2016 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING WORKSHOP (IC2EW) IEEE 172 - 177 2016 [Reviewed]
International conference proceedings

Intercloud Brokerages based on PLS Method for deploying Infrastructures for Big Data Analytics
Katsunori Miura; Tazro Ohta; Courtney Powell; Masaharu Munetomo
2016 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA) IEEE 2097 - 2102 2016 [Reviewed]
International conference proceedings

ET-Based Bidirectional Search for Proving Formulas in the Class ES
Miura Katsunori; Akama Kiyoshi
International Journal of Innovative Computing, Information and Control ICIC International 10 (6) 1999 - 2009 2014/12 [Reviewed]
Scientific journal

PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES
Miura Katsunori; Akama Kiyoshi; Koike Hidekatsu; Mabuchi Hiroshi
International Journal of Innovative Computing, Information and Control ICIC International 9 (11) 4419 - 4439 2013/11 [Reviewed]
Scientific journal

THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS
Miura Katsunori; Akama Kiyoshi; Mabuchi Hiroshi; Koike Hidekatsu
International Journal of Innovative Computing, Information and Control ICIC International 9 (6) 2635 - 2650 2013/06 [Reviewed]
Scientific journal

Generation Method for Correct Parallel Programs based on Equivalent Transformation
H. Koike; K. Akama; K. Miura
Proceedings of 2nd International Conference on ICTA 2012 116 - 243 2012/11 [Reviewed]
International conference proceedings

GENERATING FUNCTIONALITY-BASED RULES FOR PROGRAM CONSTRUCTION
Katsunori Miura; Kiyoshi Akama; Hiroshi Mabuchi
INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL ICIC INTERNATIONAL 5 (9) 2463 - 2479 1349-4198 2009/09 [Reviewed]
Scientific journal

CREATION OF ET RULES FROM LOGICAL FORMULAS REPRESENTING EQUIVALENT RELATIONS
Katsunori Miura; Kiyoshi Akama; Hiroshi Mabuchi
INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL ICIC INTERNATIONAL 5 (2) 263 - 277 1349-4198 2009/02 [Reviewed]
Scientific journal

Generating Speq Rules based on Automatic Proof of Logical Equivalence
K. Miura; K. Akama; H. Mabuchi
International Journal of Computer Science 3 (3) 190 - 198 2008 [Reviewed]
Scientific journal

Construction of Equivalent Transformation Rules from Logical Equivalence
K. Miura; K. Akama; H. Mabuchi
Proceedings of the 8th International Conference on Intelligent Technologies 237 - 243 2007/12 [Reviewed]
International conference proceedings

Creation of ET Rules via Logical Equivalence
K. Miura; K. Akama; H. Mabuchi
Proceedings of the 2nd International Conference on ICIC 2007 2007/09 [Reviewed]
International conference proceedings

Constraint Solving Specialization for Equality on an Interval-Variable Domain
H. Mabuchi; K. Akama; K. Miura; T. Ishikawa
Journal of Advanced Computational Intelligence and Intelligent Informatics 11 (2) 210 - 219 2007 [Reviewed]
Scientific journal

Infinite Computation in the Equivalent Transformation Model
H. Mabuchi; K. Akama; H. Koike; K. Miura
Journal of Advanced Computational Intelligence and Intelligent Informatics 11 (2) 176 - 186 2007 [Reviewed]
Scientific journal

Construction of Equivalent Transformation Relations of Definite Clauses from Logical Equivalence
K. Miura; K. Akama; Y. Shigeta; H. Mabuchi
Proceedings of the 7th International Conference on Intelligent Technologies 174 - 182 2006/12 [Reviewed]
International conference proceedings

Development of Web Curriculum Design System and Transition of Teaching Method
ISHIKAWA Takahiko; AKAMA Kiyoshi; MIURA Katsunori
Japan Journal of Educational Technology Japan Society for Educational Technology 30 (Suppl.) 121 - 124 1349-8290 2006 [Reviewed]
Scientific journal

Developing an e-learning system which enhances students' academic motivation
Hidekatsu Koike; Takahiko Ishikawa; Kiyoshi Akama; Masaki Chiba; Katsunori Miura
Proceedings ACM SIGUCCS User Services Conference 147 - 150 2005 International conference proceedings

The squeeze method - A method for program construction in the equivalent transformation computation model
K. Akama; E. Nantajeewarawat; H. Koike; K. Miura
Proceedings of the 6th International Conference on Intelligent Technologies 198 - 206 2005/01 [Reviewed]
International conference proceedings

コンセプトマップを利用した学習評価支援システムの検討
野村学; 三浦克宜; 斎藤一; 齋藤健司; 前田隆
教育システム情報学会誌 21 (2) 101 - 110 2004/04 [Reviewed]
Scientific journal

On Visualization of Learning Process and Its Application to Collaborative Learning in e-Learning Environment
K. Miura; M. Nomura; H. Saito; K. Saito; T. Maeda
Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2003 892 - 893 2003/06 [Reviewed]
International conference proceedings

Conference Activities & Talks

多目的遺伝的アルゴリズムを用いる等価変換計算による解探索の効率化
三浦克宜
CloudWeek2018@Hokkaido University 2018/09

等価変換アルゴリズムと多目的遺伝的アルゴリズムによるクラウド資源選択手法の提案
三浦克宜; Powell Courtnely; 棟朝雅晴
CloudWeek2017@Hokkaido University 2017/09

述語論理によるシステム要件記述法とクラウドリソース選択法の検討
三浦克宜; 棟朝雅晴
CloudWeek2016@Hokkaido University 2016/08

述語論理式による仕様記述に基づくクラウドブローキングの提案
三浦克宜; 齋藤篤志; 棟朝雅晴
第105回MPS研究発表会 2015/09

クラウドブローキングのための述語論理式によるシステム記述について
三浦克宜; 棟朝雅晴
CloudWeek2015@Hokkaido University 2015/09

クラウドブローカーのための抽象的なシステム記述の検討
三浦克宜; 齋藤篤志; 玉家武博; 棟朝雅晴
第103回MPS・第42回BIO合同研究発表会 2015/06

Shibboleth認証を活用した大型プロッタ利用申請システムの開発
三浦克宜; 熊本慎也; 升井洋志
大学ICT推進協議会 2014年度年次大会 2014/12

クラウドシステムの連携を支援するツールの試作
三浦克宜; 相澤孝至; 棟朝雅晴
第18回NORTHインターネット・シンポジウム2012 2012/02

MISC

インタークラウド環境における仮想システム構築の最適化サービスに関する検討
玉家武博; 齋藤篤志; 三浦克宜; 棟朝雅晴第77回全国大会講演論文集 2015- (1) 177 -178 2015/03

Hadoop環境上で動作する研究分野判定ツールの試作
平島慶典; 三浦克宜; 棟朝雅晴全国大会講演論文集 2013- (1) 563 -565 2013/03

A Tool for ET Programming focused on Accumulation of Rules
MIURA Katsunori; ISHIKAWA Takahiko; AKAMA Kiyoshi 日本教育工学会大会講演論文集 20- 717 -718 2004/09

Parallel Proceccing Methods in a Large Scale Multi Agent Systems
SAITO Kenji; MIURA Katsunori; SAITO Hajime; MAEDA Takashi Technical report of IEICE. SS 103- (582) 1 -6 2004/01

Awards & Honors

2004/03 北海道情報大学優秀学生賞

受賞者: 三浦克宜

2004/03 情報処理学会北海道支部平成15年度電気関係学会北海道支部連合大会奨励賞
学習プロセスにおける注釈構造の表現と学習支援について
受賞者: 三浦克宜

2004/03 情報処理学会第66回全国大会学生奨励賞
注釈構造を用いた学習支援方法とそのツールについて
受賞者: 三浦克宜

Research Grants & Projects

地域課題解決に向けた映像AIの活用
東日本電信電話株式会社（NTT東日本）：
Date (from‐to) : 2023/01 -2023/06
Author : 大津晶; 沼澤政信; 三浦克宜

最適資源選択技術に関する研究（インタークラウドを活用したアプリケーション中心型オーバーレイクラウド技術に関する研究）
JST CREST
Date (from‐to) : 2015/10 -2021/03
Author : 棟朝雅晴; 三浦克宜

述語論理で定義された仕様記述に基づくインタークラウドブロケージ手法の確立
平成28年度北海道大学情報基盤センター共同研究
Date (from‐to) : 2016/04 -2017/03
Author : 三浦克宜

インタークラウドにおける多目的最適化手法を用いた、ITサービスの継続的最適配置
SCSK株式会社：
Date (from‐to) : 2015/09 -2016/03
Author : 棟朝雅晴; 三浦克宜

インタークラウドにおける抽象的システム構成記述とブローキング方法の検討
平成27年度北海道大学情報基盤センター共同研究
Date (from‐to) : 2015/04 -2016/03
Author : 三浦克宜

セマンティックWebの構築技術に関する研究
日本学術振興会：基盤研究(B)
Date (from‐to) : 2013/04 -2016/03
Author : 赤間清; 三浦克宜

プログラム合成のための論理等価式の生成システムの構築
平成26年度北海道大学情報基盤センター共同研究
Date (from‐to) : 2014/04 -2015/03
Author : 三浦克宜

帰納法を使った論理等価式の証明に基づくプログラムの構成部品の自動生成
平成25年度北海道大学情報基盤センター共同研究
Date (from‐to) : 2013/04 -2014/03
Author : 三浦克宜

Social Contribution

進化計算シンポジウム2022実行委員会委員

情報処理学会数理モデル化と問題解決研究会令和2,3,4,5年度TOM編集委員会編集委員

情報処理学会数理モデル化と問題解決研究会平成28,29,30年度, 令和元年度運営委員会運営委員

情報処理学会北海道支部平成29,30年度運営委員幹事

Other link

researchmap

https://researchmap.jp/miurakatsunori

Copyright © MEDIA FUSION Co.,Ltd. All rights reserved.