三浦　克宜 (ミウラ　カツノリ)

研究者情報

所属

• 社会情報学科

職名

• 准教授

学位

• 博士(情報科学)（北海道大学）

J-Global ID

• 201801006765763904

プロフィール

• プログラム合成方式，クラウド資源選択方式，ウェブアプリケーション開発に関する研究に従事する．

研究キーワード

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

研究分野

• 情報通信 / ソフトコンピューティング
• 情報通信 / 知能情報学

経歴

• 2024年10月 - 現在  小樽商科大学教育研究評議会評議員
• 2024年10月 - 現在  小樽商科大学商学部 社会情報学科教授
• 2018年04月 - 現在  小樽商科大学情報総合センター副センター長
• 2018年04月 - 2024年09月  小樽商科大学商学部 社会情報学科准教授
• 2012年04月 - 2018年03月  北見工業大学情報処理センター講師
• 2011年10月 - 2012年03月  北海道大学情報基盤センター博士研究員
• 2011年04月 - 2011年09月  北海道大学情報基盤センター研究支援推進員
• 2009年04月 - 2011年09月  札幌学院大学社会情報学部非常勤講師
• 2009年04月 - 2011年03月  北海道大学情報基盤センター専門研究員

学歴

• 2005年04月 - 2009年03月   北海道大学大学院   情報科学研究科   複合情報学専攻 博士後期課程
• 2004年04月 - 2005年03月   北海道大学   情報基盤センター   研究生
• 2001年04月 - 2004年03月   北海道情報大学大学院   経営情報学研究科   経営情報学専攻 修士課程
• 1997年04月 - 2001年03月   北海道電子計算機専門学校   情報システム研究科
• 1997年04月 - 2001年03月   北海道情報大学   通信教育部 経営情報学部   情報学科

所属学協会

• 情報処理学会   

研究活動情報

論文

• 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月 [査読有り]
   研究論文（学術雑誌）
• 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) 1 - 8 2022年11月 [査読有り]
   研究論文（国際会議プロシーディングス）
• 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月 [査読有り]
   研究論文（学術雑誌）
• 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月 [査読有り]
   研究論文（学術雑誌）
• 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月 [査読有り]
   研究論文（国際会議プロシーディングス）
• 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月 [査読有り]
   研究論文（国際会議プロシーディングス）
• 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月 [査読有り]
   研究論文（国際会議プロシーディングス）
• 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月 [査読有り]
   研究論文（国際会議プロシーディングス）
• 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月 [査読有り]
   研究論文（その他学術会議資料等）
• 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) 172 - 177 2016年 [査読有り]
   研究論文（国際会議プロシーディングス）
• 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) 2097 - 2102 2016年 [査読有り]
   研究論文（国際会議プロシーディングス）
• ET-based Bidirectional Search for proving Formulas in the Class ES

  Katsunori Miura; Kiyoshi Akama

  International Journal of Innovative Computing, Information and Control 10 6 1999 - 2009 ICIC International 2014年12月 [査読有り]
   研究論文（学術雑誌）
• Proof of Unsatisfiability of Atom Sets based on Computation by Equivalent Transformation Rules

  K. Miura; K. Akama; H. Koike; H. Mabuchi

  International Journal of Innovative Computing, Information and Control 9 11 4419 - 4439 ICIC International 2013年11月 [査読有り]
   研究論文（学術雑誌）
• Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalence for Program Synthesis

  K. Miura; K. Akama; H. Mabuchi; H. Koike

  International Journal of Innovative Computing, Information and Control 9 6 2635 - 2650 ICIC International 2013年06月 [査読有り]
   研究論文（学術雑誌）
• 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月 [査読有り]
   研究論文（国際会議プロシーディングス）
• GENERATING FUNCTIONALITY-BASED RULES FOR PROGRAM CONSTRUCTION

  Katsunori Miura; Kiyoshi Akama; Hiroshi Mabuchi

  INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL 5 9 2463 - 2479 2009年09月 [査読有り]
   研究論文（学術雑誌）
• CREATION OF ET RULES FROM LOGICAL FORMULAS REPRESENTING EQUIVALENT RELATIONS

  Katsunori Miura; Kiyoshi Akama; Hiroshi Mabuchi

  INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL 5 2 263 - 277 2009年02月 [査読有り]
   研究論文（学術雑誌）
• 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年 [査読有り]
   研究論文（学術雑誌）
• 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月 [査読有り]
   研究論文（国際会議プロシーディングス）
• Creation of ET Rules via Logical Equivalence

  K. Miura; K. Akama; H. Mabuchi

  Proceedings of the 2nd International Conference on ICIC 2007 2007年09月 [査読有り]
   研究論文（国際会議プロシーディングス）
• 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年 [査読有り]
   研究論文（学術雑誌）
• 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年 [査読有り]
   研究論文（学術雑誌）
• 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月 [査読有り]
   研究論文（国際会議プロシーディングス）
• Web教材作成支援システムの開発とその利用による教育方法の変化

  石川貴彦; 赤間清; 三浦克宜

  日本教育工学会論文誌 30 Suppl. 121 - 124 日本教育工学会 2006年 [査読有り]
   研究論文（学術雑誌）
• 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年 研究論文（国際会議プロシーディングス）
• 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月 [査読有り]
   研究論文（国際会議プロシーディングス）
• コンセプトマップを利用した学習評価支援システムの検討

  野村学; 三浦克宜; 斎藤一; 齋藤健司; 前田隆

  教育システム情報学会誌 21 2 101 - 110 2004年04月 [査読有り]
   研究論文（学術雑誌）
• 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月 [査読有り]
   研究論文（国際会議プロシーディングス）

講演・口頭発表等

• 多目的遺伝的アルゴリズムを用いる等価変換計算による解探索の効率化

  三浦克宜

  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月
• ルールの逐次蓄積を支援するETプログラミング学習ツール

  三浦 克宜; 石川 貴彦; 赤間 清 日本教育工学会大会講演論文集 20 717 -718 2004年09月
• 大規模マルチエージェントシステムにおける並列処理法の考察

  齋藤 健司; 三浦 克宜; 齋藤 一; 前田 隆 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 103 (582) 1 -6 2004年01月

受賞

• 2004年03月 北海道情報大学 優秀学生賞
   

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

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

  受賞者: 三浦克宜

共同研究・競争的資金等の研究課題

• 地域課題解決に向けた映像AIの活用

  東日本電信電話株式会社（NTT東日本）：

  研究期間 : 2023年01月 -2023年06月 

  代表者 : 大津晶; 沼澤政信; 三浦克宜
• 最適資源選択技術に関する研究（インタークラウドを活用したアプリケーション中心型オーバーレイクラウド技術に関する研究）

  JST CREST

  研究期間 : 2015年10月 -2021年03月 

  代表者 : 棟朝雅晴; 三浦克宜
• 述語論理で定義された仕様記述に基づくインタークラウドブロケージ手法の確立

  平成28年度北海道大学情報基盤センター共同研究

  研究期間 : 2016年04月 -2017年03月 

  代表者 : 三浦克宜
• インタークラウドにおける多目的最適化手法を用いた、ITサービスの継続的最適配置

  SCSK株式会社：

  研究期間 : 2015年09月 -2016年03月 

  代表者 : 棟朝雅晴; 三浦克宜
• インタークラウドにおける抽象的システム構成記述とブローキング方法の検討

  平成27年度北海道大学情報基盤センター共同研究

  研究期間 : 2015年04月 -2016年03月 

  代表者 : 三浦克宜
• セマンティックWebの構築技術に関する研究

  日本学術振興会：基盤研究(B)

  研究期間 : 2013年04月 -2016年03月 

  代表者 : 赤間清; 三浦克宜
• プログラム合成のための論理等価式の生成システムの構築

  平成26年度北海道大学情報基盤センター共同研究

  研究期間 : 2014年04月 -2015年03月 

  代表者 : 三浦克宜
• 帰納法を使った論理等価式の証明に基づくプログラムの構成部品の自動生成

  平成25年度北海道大学情報基盤センター共同研究

  研究期間 : 2013年04月 -2014年03月 

  代表者 : 三浦克宜

担当経験のある科目

情報ネットワーク演習(2)  (札幌学院大学社会情報学部) 
情報通信ネットワーク論(2)  (札幌学院大学社会情報学部) 
情報科学概論演習  (北見工業大学工学部) 
情報科学概論  (北見工業大学工学部) 
情報システム論II  (小樽商科大学大学院商学研究科) 
基礎ゼミナール  (小樽商科大学商学部) 
情報処理(夜間主)  (小樽商科大学商学部) 
情報システム構築論  (小樽商科大学商学部) 
情報システム管理論  (小樽商科大学商学部) 
社会情報入門I  (小樽商科大学商学部) 
応用情報論I  (小樽商科大学商学部) 
社会情報入門(夜間主)  (小樽商科大学商学部) 

社会貢献活動

• 進化計算シンポジウム2022実行委員会 委員
• 情報処理学会 数理モデル化と問題解決研究会 令和2,3,4,5年度TOM編集委員会 編集委員
• 情報処理学会 数理モデル化と問題解決研究会 平成28,29,30年度, 令和元年度運営委員会 運営委員
• 情報処理学会北海道支部 平成29,30年度運営委員 幹事

その他のリンク

researchmap

https://researchmap.jp/miurakatsunori