基本情報

協力講座

• 情報学研究科, 知能情報学専攻 メディア応用, 准教授

学内兼務

• 学際融合教育研究推進センター, モビリティ基盤数理研究ユニット, 構成員

所属学協会

• ＥＡＴＣＳ
• 電子情報通信学会
• 情報処理学会
• EATCS
• Information and Communication Engineers
• The Institute of Electronics
• Information Processing Society of Japan

学位

• 修士（工学）(九州大学)
• 博士（工学）(九州大学)

出身大学院・研究科等

• 九州大学, 大学院システム情報科学研究科博士後期課程情報工学専攻（転研究科）, 修了
• 九州大学, 大学院工学研究科修士課程情報工学専攻, 修了

出身学校・専攻等

• 九州大学, 工学部情報工学科, 卒業

出身高等学校

• 出身高等学校

  宮崎県立宮崎西高等学校, みやざきにしこうとうがっこう

経歴

• 自 2022年04月, 至 現在

  兵庫県立大学, 情報科学研究科, 教授
• 自 2007年04月, 至 2022年03月

  京都大学, 学術情報メディアセンター, 准教授
• 自 2002年04月, 至 2007年03月

  京都大学, 学術情報メディアセンター, 助教授
• 自 1998年04月, 至 2002年03月

  京都大学, 大学院情報学研究科, 助手

使用言語

• 英語

ID,URL

• J-Global ID

  200901042786776786

• 外部リンク

  https://www.net.ist.i.kyoto-u.ac.jp/members/shuichi/index-j.html

関連Webサイト

• https://www.net.ist.i.kyoto-u.ac.jp/members/shuichi/index-j.html
• https://www.net.ist.i.kyoto-u.ac.jp/members/shuichi/index.html

researchmap URL

• https://researchmap.jp/ShuichiMiyazaki

研究

研究テーマ・研究概要

• 研究テーマ

  効率の良いアルゴリズムの開発。問題の難しさの証明。

• 研究概要

  組み合わせアルゴリズムの開発とその効率の解析、問題の複雑さの研究。特に近似アルゴリズムやオンラインアルゴリズム。

研究キーワード

• 安定マッチング
• オンラインアルゴリズム
• 近似アルゴリズム
• 計算複雑性
• アルゴリズム理論

研究分野

• 情報通信, 情報学基礎論

論文

• Hardness of Instance Generation with Optimal Solutions for the Stable Marriage Problem

  Yuki Matsuyama; Shuichi Miyazaki

  Journal of Information Processing, 2021年02月, 査読有り, 責任著者

  
• Competitive Analysis for Two Variants of Online Metric Matching Problem

  Toshiya Itoh; Shuichi Miyazaki; Makoto Satake

  Combinatorial Optimization and Applications (COCOA 2020) Lecture Notes in Computer Science book series (LNCS, volume 12577), 2020年, 査読有り

  
• Strongly Stable and Maximum Weakly Stable Noncrossing Matchings

  Koki Hamada; Shuichi Miyazaki; Kazuya Okamoto

  Combinatorial Algorithms. IWOCA 2020. Lecture Notes in Computer Science, vol 12126, 2020年, 査読有り

  
• Identifying Link Layer Home Network Topologies Using HTIP.

  Yoshiyuki Mihara; Shuichi Miyazaki; Yasuo Okabe; Tetsuya Yamaguchi; Manabu Okamoto

  IEICE Trans. Inf. Syst., 2020年, 査読有り

  
• On Computational Complexity of Pipe Puzzles.

  Takumu Shirayama; Takuto Shigemura; Yota Otachi; Shuichi Miyazaki; Ryuhei Uehara

  IEICE Transactions, 2019年09月, 査読有り

  
• Finding and analysing the minimum set of driver nodes required to control multilayer networks

  Jose C. Nacher; Masayuki Ishitsuka; Shuichi Miyazaki; Tatsuya Akutsu

  Scientific Reports, 2019年01月, 査読有り

  
• An Improved Fixed-Parameter Algorithm for Max-Cut Parameterized by Crossing Number.

  Yasuaki Kobayashi; Yusuke Kobayashi 0001; Shuichi Miyazaki; Suguru Tamaki

  Combinatorial Algorithms - 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019, Proceedings, 2019年, 査読有り

  
• Jointly stable matchings.

  Shuichi Miyazaki; Kazuya Okamoto

  J. Comb. Optim., 2019年, 査読有り

  
• Strategy-Proof Approximation Algorithms for the Stable Marriage Problem with Ties and Incomplete Lists.

  Koki Hamada; Shuichi Miyazaki; Hiroki Yanagisawa

  30th International Symposium on Algorithms and Computation, ISAAC 2019, December 8-11, 2019, Shanghai University of Finance and Economics, Shanghai, China., 2019年, 査読有り

  
• Competitive buffer management for multi-queue switches in QoS networks using packet buffering algorithms

  Koji M. Kobayashi; Shuichi Miyazaki; Yasuo Okabe

  THEORETICAL COMPUTER SCIENCE, 2017年05月, 査読有り

  
• Jointly Stable Matchings.

  Shuichi Miyazaki; Kazuya Okamoto

  28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand, 2017年, 査読有り

  
• Identifying Link Layer Home Network Topologies Using HTIP

  Yoshiyuki Mihara; Shuichi Miyazaki; Yasuo Okabe; Tetsuya Yamaguchi; Manabu Okamoto

  2017 14TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2017年, 査読有り

  
• Better bounds for online k-frame throughput maximization in network switches

  Jun Kawahara; Koji M. Kobayashi; Shuichi Miyazaki

  THEORETICAL COMPUTER SCIENCE, 2017年01月, 査読有り

  
• Stable Marriage with Ties and Incomplete Lists.

  Kazuo Iwama; Shuichi Miyazaki

  Encyclopedia of Algorithms 2016, 2016年, 査読有り

  
• Total Stability in Stable Matching Games.

  Sushmita Gupta; Kazuo Iwama; Shuichi Miyazaki

  15th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2016, June 22-24, 2016, Reykjavik, Iceland, 2016年, 査読有り

  
• The Hospitals/Residents Problem with Lower Quotas

  Koki Hamada; Kazuo Iwama; Shuichi Miyazaki

  ALGORITHMICA, 2016年01月, 査読有り

  
• Approximability of Two Variants of Multiple Knapsack Problems

  Shuichi Miyazaki; Naoyuki Morimoto; Yasuo Okabe

  ALGORITHMS AND COMPLEXITY (CIAC 2015), 2015年, 査読有り

  
• A Tight Approximation Bound for the Stable Marriage Problem with Restricted Ties.

  Chien-Chung Huang; Kazuo Iwama; Shuichi Miyazaki; Hiroki Yanagisawa

  Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2015, August 24-26, 2015, Princeton, NJ, USA, 2015年, 査読有り

  
• Finding witnesses for stability in the hospitals/residents problem

  Minseon Lee; Shuichi Miyazaki; Kazuo Iwama

  Journal of Information Processing, 2015年, 査読有り

  
• On the advice complexity of online bipartite matching and online stable marriage

  Shuichi Miyazaki

  INFORMATION PROCESSING LETTERS, 2014年12月, 査読有り

  
• A 25/17-Approximation Algorithm for the Stable Marriage Problem with One-Sided Ties

  Kazuo Iwama; Shuichi Miyazaki; Hiroki Yanagisawa

  ALGORITHMICA, 2014年03月, 査読有り

  
• Improving man-optimal stable matchings by minimum change of preference lists

  Takao Inoshita; Robert W. Irving; Kazuo Iwama; Shuichi Miyazaki; Takashi Nagase

  Algorithms, 2013年06月, 査読有り

  
• Better bounds for online k-frame throughput maximization in network switches

  Jun Kawahara; Koji M. Kobayashi; Shuichi Miyazaki

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013年, 査読有り

  
• 年頭のご挨拶

  宮崎 修一; RobertW. Irving; 宮崎 修一; 岩間 一雄; 永瀬 高志

  まてりあ, 2013年

  
• Improved approximation bounds for the Student-Project Allocation problem with preferences over projects

  Kazuo Iwama; Shuichi Miyazaki; Hiroki Yanagisawa

  Journal of Discrete Algorithms, 2012年05月, 査読有り

  
• Special section on foundations of computer science-mathematical foundations and applications of algorithms and computer science

  S. Miyazaki

  IEICE Transactions on Information and Systems, 2011年, 査読有り

  
• The hospitals/residents problem with quota lower bounds

  K. Hamada; K. Iwama; S. Miyazaki

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011年, 査読有り

  
• Design and implementation of a certified document delivery system without a trusted intermediate authority

  Satoshi Ishibashi; Shuichi Miyazaki; Yasuo Okabe

  Proceedings - 11th IEEE/IPSJ International Symposium on Applications and the Internet, SAINT 2011, 2011年, 査読有り

  
• Improved approximation bounds for the student-project allocation problem with preferences over projects

  K. Iwama; S. Miyazaki; H. Yanagisawa

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011年, 査読有り

  
• Improving the Competitive Ratios of the Seat Reservation Problem.

  Shuichi Miyazaki; Kazuya Okamoto

  Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, 2010年, 査読有り

  
• Approximation algorithms for the sex-equal stable marriage problem.

  Kazuo Iwama; Shuichi Miyazaki; Hiroki Yanagisawa

  ACM Trans. Algorithms, 2010年, 査読有り

  
• A 25/17-approximation algorithm for the stable marriage problem with one-sided ties

  K. Iwama; S. Miyazaki; H. Yanagisawa

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010年, 査読有り

  
• Weighted nearest neighbor algorithms for the graph exploration problem on cycles

  Yuichi Asahiro; Eiji Miyano; Shuichi Miyazaki; Takuro Yoshimuta

  INFORMATION PROCESSING LETTERS, 2010年01月, 査読有り

  
• Improving the competitive ratio of the online OVSF code assignment problem

  Shuichi Miyazaki; Kazuya Okamoto

  Algorithms, 2009年09月, 査読有り

  
• The Online Graph Exploration Problem on Restricted Graphs

  Shuichi Miyazaki; Naoyuki Morimoto; Yasuo Okabe

  IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2009年09月, 査読有り

  
• An improved approximation lower bound for finding almost stable maximum matchings

  Koki Hamada; Kazuo Iwama; Shuichi Miyazaki

  INFORMATION PROCESSING LETTERS, 2009年08月, 査読有り

  
• Computational Complexities of University Interview Timetabling

  Naoyuki Kamiyama; Yuuki Kiyonari; Eiji Miyano; Shuichi Miyazaki; Katsuhisa Yamanaka

  IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2009年02月, 査読有り

  
• Competitive Buffer Management for Multi-Queue Switches in QoS Networks Using Packet Buffering Algorithms

  Koji Kobayashi; Shuichi Miyazaki; Yasuo Okabe

  SPAA'09: PROCEEDINGS OF THE TWENTY-FIRST ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, 2009年, 査読有り

  
• Design and implementation of a certified mail exchange system using simultaneous secret exchange

  K. Shimizu; S. Miyazaki; Y. Okabe

  Proceedings - 2009 9th Annual International Symposium on Applications and the Internet, SAINT 2009, 2009年, 査読有り

  
• A Tight Upper Bound on Online Buffer Management for Multi-Queue Switches with Bicodal Buffers

  Koji Kobayashi; Shuichi Miyazaki; Yasuo Okabe

  IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2008年12月, 査読有り

  
• A tight bound on online buffer management for two-port shared-memory switches

  Koji Kobayashi; Shuichi Miyazaki; Yasuo Okabe

  IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2008年08月, 査読有り

  
• A (2 - c1/√N)-approximation algorithm for the stable marriage problem

  K. Iwama; S. Miyazaki; N. Yamauchi

  Algorithmica (New York), 2008年07月, 査読有り

  
• A (2-c1/root N)-approximation algorithm for the stable marriage problem

  Kazuo Iwama; Shuichi Miyazaki; Naoya Yamauchi

  ALGORITHMICA, 2008年07月, 査読有り

  
• A survey of the stable marriage problem and its variants

  Kazuo Iwama; Shuichi Miyazaki

  INTERNATIONAL CONFERENCE ON INFORMATICS EDUCATION AND RESEARCH FOR KNOWLEDGE-CIRCULATING SOCIETY, PROCEEDINGS, 2008年, 査読有り

  
• Improving the competitive ratio of the online OVSF code assignment problem

  S. Miyazaki; K. Okamoto

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008年, 査読有り

  
• Privacy oriented attribute exchange in shibboleth using magic protocols

  Toshihiro Takagi; Takaaki Komura; Shuichi Miyazaki; Yasuo Okabe

  Proceedings - 2008 International Symposium on Applications and the Internet, SAINT 2008, 2008年, 査読有り

  
• Improved approximation results for the stable marriage problem

  Magnús M. Halldórsson; Kazuo Iwama; Shuichi Miyazaki; Hiroki Yanagisawa

  ACM Transactions on Algorithms, 2007年08月01日, 査読有り

  
• Approximation Algorithms for the Sex-Equal Stable Marriage Problem

  Iwama K; Miyazaki S; Yanagisawa H

  Proc. 10th Workshop on Algorithms and Data Structures (WADS 2007), (Lecture Notes in Computer Science 4619), pp. 201-213, 2007年, 査読有り

  
• A 1.875-Approximation Algorithm for the Stable Marriage Problem

  Iwama, K; Miyazaki, S; Yamauchi, N

  Proc. 18th ACM-SIAM Symposium on Discrete Algorithms (SODA 2007) pp. 288-297, Jan., 2007., 2007年, 査読有り

  
• A tight bound on online buffer management for two-port shared-memory switches

  K. Kobayashi; S. Miyazaki; Y. Okabe

  Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2007年, 査読有り

  
• Weighted nearest neighbor algorithms for the graph exploration problem on cycles

  Y. Asahiro; E. Miyano; S. Miyazaki; T. Yoshimuta

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007年, 査読有り

  
• A (2-c logN/N)-approximation algorithm for the stable marriage problem

  Kazuo Iwama; Shuichi Miyazaki; Kazuya Okamoto

  IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2006年08月, 査読有り

  
• Cheat-proof Serverless Network Games

  Kato, S; Miyazaki, S; Nishimura, Y; Okabe, Y

  5th International Conference on Computers and Games (CG 2006) (Lecture Notes in Computer Science 4630), pp. 234-243, May 2006., 2006年, 査読有り

  
• A (2 - c1/√N)-approximation algorithm for the stable marriage problem

  K. Iwama; S. Miyazaki; N. Yamauchi

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005年, 査読有り

  
• A (2-c*(1/sqrt(N)))-Approximation Algorithm for the Stable Marriage Problem.

  Kazuo Iwama; Shuichi Miyazaki; Naoya Yamauchi

  Algorithms and Computation, 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings, 2005年, 査読有り

  
• Randomized approximation of the stable marriage problem

  MM Halldorsson; K Iwama; S Miyazaki; H Yanagisawa

  THEORETICAL COMPUTER SCIENCE, 2004年10月, 査読有り

  
• A (2 - C log N/N)-approximation algorithm for the stable marriage problem

  K. Iwama; S. Miyazaki; K. Okamoto

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004年, 査読有り

  
• Approximability results for stable marriage problems with ties

  MM Halldorsson; RW Irving; K Iwama; DF Manlove; S Miyazaki; Y Morita; S Scott

  THEORETICAL COMPUTER SCIENCE, 2003年09月, 査読有り

  
• 安全なギガビットネットワークシステムKUINS-IIIの構成とセキュリティ対策(ネットワーク管理)(<特集>インターネットアーキテクチャ技術論文)

  高倉 弘喜; 江原 康生; 宮崎 修一; 沢田 篤史; 中村 基典; 岡部 寿男

  電子情報通信学会論文誌. B, 通信, 2003年08月, 査読有り

  
• Improved approximation of the stable marriage problem

  M.M. Halldórsson; K. Iwama; S. Miyazaki; H. Yanagisawa

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003年, 査読有り

  
• Randomized approximation of the stable marriage problem

  M. Halldórsson; K. Iwama; S. Miyazaki; H. Yanagisawa

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003年, 査読有り

  
• Parallelizing local search for CNF satisfiability using vectorization and PVM

  Kazuo Iwama; Daisuke Kawai; Shuichi Miyazaki; Yasuo Okabe; Jun Umemoto

  Journal of Experimental Algorithmics, 2002年12月31日, 査読有り

  
• Online independent sets

  MM Halldorsson; K Iwama; S Miyazaki; S Taketomi

  THEORETICAL COMPUTER SCIENCE, 2002年10月, 査読有り

  
• Hard variants of stable marriage

  DF Manlove; RW Irving; K Iwama; S Miyazaki; Y Morita

  THEORETICAL COMPUTER SCIENCE, 2002年04月, 査読有り

  
• Inapproximability results on stable marriage problems

  M Halldorsson; K Iwama; S Miyazaki; Y Morita

  LATIN 2002: THEORETICAL INFORMATICS, 2002年, 査読有り

  
• SATに対する局所探索法のベクトル化

  河合大輔; 宮崎修一; 岡部寿男; 岩間一雄

  情報処理学会論文誌, 2001年04月, 査読有り

  
• Parallelizing local search for CNF satisfiability using vectorization and PVM

  K. Iwama; D. Kawai; S. Miyazaki; Y. Okabe; J. Umemoto

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001年, 査読有り

  
• Online independent sets

  MM Halldorsson; K Iwama; S Miyazaki; S Taketomi

  COMPUTING AND COMBINATORICS, PROCEEDINGS, 2000年, 査読有り

  
• Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM.

  Kazuo Iwama; Daisuke Kawai; Shuichi Miyazaki; Yasuo Okabe; Jun Umemoto

  Algorithm Engineering, 4th International Workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000, Proceedings, 2000年, 査読有り

  
• Approximation of coNP sets by NP-complete sets and its applications.

  Shuichi Miyazaki; Kazuo Iwama

  Systems and Computers in Japan, 1999年, 査読有り

  
• Stable marriage with incomplete lists and ties

  K. Iwama; D. Manlove; S. Miyazaki; Y. Morita

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1999年, 査読有り

  
• Tree-Like Resolution Is Superpolynomially Slower Than DAG-Like Resolution for the Pigeonhole Principle.

  Kazuo Iwama; Shuichi Miyazaki

  Algorithms and Computation, 10th International Symposium, ISAAC '99, Chennai, India, December 16-18, 1999, Proceedings, 1999年, 査読有り

  
• Approximation of coNP Sets by NP-Complete Sets and Its Application.

  宮崎修一; 岩間一雄

  電子情報通信学会論文誌 D-1, 1998年06月, 査読有り

  
• Local search algorithms for partial MAXSAT

  Byungki Cha; Kazuo Iwama; Yahiko Kambayashi; Shuichi Miyazaki

  Proceedings of the National Conference on Artificial Intelligence, 1997年, 査読有り

  
• Database Queries as Combinatorial Optimization Problems

  Miyazaki, S; Iwama, K; Kambayashi, Y

  Proc. International Symposium on Cooperative Database Systems for Advanced Applications (CODAS'96), pp.448-454, 1996., 1996年, 査読有り

  
• Approximation of coNP sets by NP-complete sets

  K Iwama; S Miyazaki

  COMPUTING AND COMBINATORICS, 1995年, 査読有り

  
• SAT-VARIABLE COMPLEXITY OF HARD COMBINATORIAL PROBLEMS

  K IWAMA; S MIYAZAKI

  INFORMATION PROCESSING '94, VOL I, 1994年, 査読有り

  

MISC

• 同一の送受信アドレスを持つ大量メールの効率判定手法 (インターネットアーキテクチャ)

  津﨑 善晴; 松本 亮介; 小谷 大祐; 宮崎 修一; 岡部 寿男

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2014年02月

  
• An FPT Algorithm for Max-Cut Parameterized by Crossing Number.

  Yasuaki Kobayashi; Yusuke Kobayashi; Shuichi Miyazaki; Suguru Tamaki

  CoRR, 2019年

  
• 複数希望リスト安定結婚問題に対するNP完全性の改良

  岡本和也; 宮崎修一

  2018年度情報処理学会関西支部支部大会, 2018年09月

  
• 希望リストを複数持つ安定マッチング問題 (システム数理と応用)

  岡本 和也; 宮崎 修一

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2017年11月16日

  
• 希望リストを複数持つ安定マッチング問題 (回路とシステム)

  岡本 和也; 宮崎 修一

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2017年11月16日

  
• Finding Witnesses for Stability in the Hospitals/Residents Problem (Preprint)

  Minseon Lee; Shuichi Miyazaki; Kazuo Iwama

  情報処理学会論文誌, 2015年02月15日

  
• Stable Nash Equilibria in the Gale-Shapley Matching Game.

  Sushmita Gupta; Kazuo Iwama; Shuichi Miyazaki

  CoRR, 2015年

  
• オンラインフレーム転送量最大化問題における競合比の改良 (Theoretical Foundations of Computing)

  小林 浩二; 川原 純; 宮崎 修一

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2014年04月24日

  
• 希望リスト変更による男性最良安定マッチングの改善

  井下貴雄; Robert W. Irving; 宮崎修一; 岩間一雄; 永瀬高志

  電子情報通信学会2013年総合大会 DS-1-1, 2013年03月

  
• A Mail Transfer System Selectively Restricting A Huge Amount of E-mails

  Yoshiharu Tsuzaki; Ryosuke Matsumoto; Daisuke Kotani; Shuichi Miyazaki; Yasuo Okabe

  2013 INTERNATIONAL CONFERENCE ON SIGNAL-IMAGE TECHNOLOGY & INTERNET-BASED SYSTEMS (SITIS), 2013年, 査読有り

  
• 京都大学学術情報ネットワーク システム接続機器管理システム（KUINS-DB）の更新

  高見好男; 平田光英; 富浦雅雄; 西村知子; 四方敏明; 宮崎修一; 岡部寿男

  第34 回全国共同利用情報基盤センター研究開発連合 発表会, 2012年

  
• 京都大学術情報ネッ トワークシステム接続機器管理システム（KUINS-DB）の構築

  高見好男; 平田光英; 富浦雅雄; 西村知子; 四方敏明; 宮崎修一; 古村隆明; 岡部寿男

  京都大学技術職員研修発表（第6 専門技術群： 情報系）, 2012年

  
• Improving Man-Optimal Stable Matchings by Minimum Change of Preference Lists

  Takao Inoshita; Robert W. Irving; Kazuo Iwama; Shuichi Miyazaki; Takashi Nagase

  Proceedings of the 7th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications (HJ 2011) pp. 309-313,, 2011年05月

  
• 分散型電源を持つ電力ネットワークにおける資源配分問題

  森本尚之; 宮崎修一; 岡部寿男

  情報処理学会関西支部支部大会講演論文集(CD-ROM), 2011年

  
• 座席予約問題における競合比の上下限の改良

  岡本和也; 宮崎修一

  電子情報通信学会技術研究報告, 2010年11月26日

  
• 第三者機関の仲介を必要としない配達証明付き電子メールシステムの設計

  石橋聡; 宮崎修一; 岡部寿男

  電子情報通信学会技術研究報告, 2010年11月17日

  
• 片方のみがタイを持つ安定結婚問題に対する25/17近似アルゴリズム (アルゴリズムと計算機科学の数理的基盤とその応用)

  柳澤 弘揮; 宮崎 修一; 岩間 一雄

  数理解析研究所講究録, 2010年06月

  
• BS-8-11 2部グラフ上での分担供給可能な割当て制限付き資源配分問題(BS-8.情報通信とエネルギー管理の統合技術,シンポジウムセッション)

  森本 尚之; 宮崎 修一; 岡部 寿男

  電子情報通信学会総合大会講演論文集, 2010年03月02日

  
• 枝コストに制限を加えたｋ‐Ｃａｎａｄｉａｎ Ｔｒａｖｅｌｌｅｒ Ｐｒｏｂｌｅｍの競合比解析

  福田剛士; 宮崎修一; 岡部寿男

  電子情報通信学会技術研究報告, 2010年01月18日

  
• 枝コストに制限を加えたk-Canadian Traveler Problem に対する競合比解析

  福田剛士; 宮崎修一; 岡部寿男

  信学技報,Vol.109, No. 391, CQMP2009-39:( 電子情報通信学会コンピュテーション研究会) pp. 1-8, 2010 年1 月., 2010年

  
• 安定マッチング問題に関する最近の話題

  宮崎修一

  電子情報通信学会技術研究報告, 2009年09月18日

  
• 配属人数下限付き研修医配属問題 (理論計算機科学の深化と応用)

  濱田 浩気; 宮崎 修一; 岩間 一雄

  数理解析研究所講究録, 2009年05月

  
• DS-1-6 オンラインOVSF符号割当問題における競合比の上下限の改良(DS-1. COMP学生シンポジウム,シンポジウムセッション)

  岡本 和也; 宮崎 修一

  電子情報通信学会総合大会講演論文集, 2009年03月04日

  
• コンピュテーション研究の最前線-安定マッチング問題の研究動向-

  宮崎修一

  電子情報通信学会情報・ システムソサイェティ誌第14 巻第2 号, pp. 6-7, 2009-8., 2009年

  
• オンラインOVSF 符合割当問題における競合比の上下限の改良

  岡本和也; 宮崎修一

  電子盾報通信学会総合大会DS-1-6, 2009-3., 2009年

  
• 段階的秘密交換プロトコルを利用した配達内容証明が可能な電子メール配送システム設計上の検討

  清水敬太; 宮崎修一; 岡部寿男

  電子情報通信学会技術研究報告, 2008年10月29日

  
• Improved Competitive Ratios of Online Buffer Management Algorithms for Multi-Queue Switches in QoS Networks

  KOBAYASHI Koji; MIYAZAKI Shuichi; OKABE Yasuo

  電子情報通信学会技術研究報告, 2008年09月04日

  
• マジックプロトコル利用によるプライバシーに配慮したＳｈｉｂｂｏｌｅｔｈ属性交換の拡張

  高木俊宏; 古村隆明; 宮崎修一; 岡部寿男

  情報処理学会研究報告, 2008年03月06日

  
• Approximation Algorithms for the Sex-Equal Stable Marriage Problem

  YANAGISAWA Hiroki; MIYAZAKI Shuichi; IWAMA Kazuo

  電子情報通信学会技術研究報告, 2008年03月03日

  
• 段階的秘密交換プロトコルを利用した配達内容証明が可能な電子メールプロトコルの設計上の検討

  清水敬太; 宮崎修一; 岡部寿男

  信学技報, vol. 108, no. 275, IA2008-42, pp. 7-12, 2008-11., 2008年

  
• An Optimal Online Algorithm for the Graph Eχploration Problem on Cycles,

  Shuichi Miyazaki; Naoyuki Morimoto; Yasuo Okabe

  Proc. 1st Asian Association for Algorithms and Computation (AAAC), p.42, 2008-4., 2008年, 査読有り

  
• Inapproximability of Stable Roommates Problem with Triple Room

  Iwama. K; Miyazaki. S; Okamoto. K

  Proc. 1st Asian Association for Algorithms and Computation (AAAC), p.30, 2008-4., 2008年, 査読有り

  
• NP-Completeness of the Stable Roommates Problem with Triple Rooms

  OKAMOTO Kazuya; MIYAZAKI Shuichi; IWAMA Kazuo

  電子情報通信学会技術研究報告, 2007年10月09日

  
• サイクル上でのグラフ探索問題に対する最適なオンラインアルゴリズム

  森本尚之; 宮崎修一; 岡部寿男

  電子情報通信学会技術研究報告, 2007年09月13日

  
• A Tight Upper Bound on Online Buffer Management for Two-port Shared-Memory Switches

  KOBAYASHI Koji; MIYAZAKI Shuichi; OKABE Yasuo

  電子情報通信学会技術研究報告, 2007年06月22日

  
• DS-1-3 安定結婚問題に対する1.8-近似アルゴリズム(DS-1.COMP-NHC学生シンポジウム,シンポジウム)

  山内 直哉; 宮崎 修一; 岩間 一雄

  電子情報通信学会総合大会講演論文集, 2007年03月07日

  
• 離散数学のすすめ第6 回「安定結婚問題」

  宮崎修一

  理系への数学(現代数学社),pp. 49-54, 2007年 9 月号, 2007年

  
• サイクルグラフ上でのグラフ探索問題に対する最適なオンラインアルゴリズム

  森本尚之; 宮崎修一; 岡部寿男

  信学技報,Ｖｏｌ.107 ,No.219, CQMP2007-39, (電 子 晴報通 信 学会コ ンピュ テ ーショ ン 研 究会),pp. 51-57, 2007-9., 2007年

  
• “Stable Roommates Problem with Triple Rooms,"

  Iwama, K; Miyazaki, S; Okamoto, K

  Proc. 10th KOREAJAPAN Joint Workshop on Algorithms and Computation (WAAC 2007), pp. 105-112, 2007年, 査読有り

  
• 安定結婚問題に対する1.8-近似アルゴリズム

  山内直哉; 宮崎修一; 岩間一雄

  電子情報通信学会 総合大会DS-1-3, 2007-3., 2007年

  
• サイクルグラフ上での地図作成問題に対する最適なオンラインアルゴリスム

  森本尚之; 宮崎修一; 岡部寿男

  2007 年夏のLA シンポジウム予稿(LA シンポジウム), 2007-7, 2007年

  
• 試問予定表作成問題の制約付きモデルに対するNP 困難性

  清成悠貴; 宮野英次; 宮崎修一

  平成19 年度 第60 回電気関係学会九州支部連合大会, 09-1A-04, p.87, 2007-9., 2007年

  
• サイクルグラフ上での地図作成問題に対する重み付き最近傍アルゴリズム

  朝廣雄一; 宮野英次; 宮崎修一; 吉牟田拓朗

  電子情報通信学会技術研究報告, 2006年11月27日

  
• 安定結婚問題に対する1.875-近似アルゴリズム

  山内 直哉; 宮崎 修一; 岩間 一雄

  電子情報通信学会技術研究報告. COMP, コンピュテーション, 2006年11月

  
• 試問予定表作成問題の計算複雑さ

  清成悠貴; 宮野英次; 宮崎修一

  電子情報通信学会技術研究報告, 2006年06月16日

  
• マルチキュースイッチにおけるオンラインバッファ管理アルゴリズムの競合比の改良(計算理論とアルゴリズムの新展開)

  小林 浩二; 宮崎 修一; 岡部 寿男

  数理解析研究所講究録, 2006年05月

  
• ルータ上のバッファ管理問題に対するオンラインアルゴリズム

  宮崎修一

  電子情報通信学会誌, 2006年04月01日

  
• “オンラインTSP アルゴリズムに対する下限について,”

  吉牟田拓朗; 宮野英次; 宮崎修一

  平成18 年 度第59 回電気関係学会九州支部連合大会10-2A-07, 2006-9, 2006年

  
• マルチキュースイッチにおけるオンラインバッファ管理アルゴリ ズムの競合比の改良

  小林浩二; 宮崎修一; 岡部寿男

  2005 年度冬のLA シンポジウム, [14], 2006-1., 2006年

  
• Computational Complexity Issues in University Interview Timetabling

  Kiyonari, Y; Miyano, E; Miyazaki, S

  Proc. of The 6th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2006). pp. 448-453, August 2006., 2006年, 査読有り

  
• ＫＵＩＮＳ接続機器登録データベースの概要

  宮崎修一; 久保浩史; 高見好男; 四方敏明; 櫻井恒正; 山元伸幸; 河野典; 江原康生; 高倉弘喜; 沢田篤史; 中村素典; 岡部寿男; 北野正雄

  全国共同利用情報基盤センター研究開発論文集, 2005年10月

  
• 共有メモリ型スイッチにおけるオンラインバッファ管理アルゴリズムの競合比の改良

  小林浩二; 宮崎修一; 岡部寿男

  電子情報通信学会技術研究報告, 2005年06月17日

  
• 安定結婚問題に対する局所探索近似アルゴリズムの改良

  山内直哉; 宮崎修一; 岩間一雄

  電子情報通信学会技術研究報告, 2005年05月13日

  
• 安定結婚問題

  宮崎 修一

  電子情報通信学会誌, 2005年03月01日

  
• 局所探索法による安定結婚問題の近似

  岡本和也; 宮崎修一; 岩間一雄

  電子情報通信学会技術研究報告, 2004年04月22日

  
• D-1-2 安定結婚問題に対する局所探索近似アルゴリズム(D-1. コンピュテーション)

  岡本 和也; 宮崎 修一; 岩間 一雄

  電子情報通信学会総合大会講演論文集, 2004年03月08日

  
• 安定結婚問題に対する局所探索近似アルゴリズム

  岡本和也; 宮崎修一; 岩間一雄

  電子情報通信学会大会講演論文集, 2004年03月08日

  
• 不正を検出できるネットワーク軍人将棋

  加藤俊策; 宮崎修一; 岡部寿男

  電子情報通信学会技術研究報告, 2003年12月15日

  
• 安全なギガビットネットワーク(KUINS-3)の構築と運用

  江原 康生; 高倉 弘喜; 宮崎 修一

  シンポジウム報告集, 2003年03月

  
• 安全なギガビットネットワーク KUINS-IIIの構築と運用（共著）

  宮崎 修一

  分散システム／インターネット運用技術シンポジウム2003,pp.19-24, 2003年

  
• 長さ２のタイを含む安定結婚問題に対する近似アルゴリズム

  柳沢弘揮; 宮崎修一; 岩間一雄; HALLDORSSON M

  電子情報通信学会技術研究報告, 2002年12月19日

  
• ランダムタイブレークによる安定マッチングの導出

  柳沢弘揮; 宮崎修一; 岩間一雄; HALLDORSSON M

  情報科学技術フォーラム, 2002年09月13日, 査読有り

  
• LA-7 ランダムタイブレークによる安定マッチングの導出(A. アルゴリズム・基礎)

  柳澤 弘揮; 宮崎 修一; 岩間 一雄; ハルダースソン マグナス

  情報技術レターズ, 2002年09月

  
• 最大化および最小化アルゴリズムにおける近似度の関係

  宮武和史; 宮崎修一; 岩間一雄

  電子情報通信学会大会講演論文集, 2001年03月07日

  
• 条件を緩和した安定結婚問題に対する確立近似アルゴリズム（共著）

  宮崎 修一

  2001年夏のLAシンポジュム予稿（LAシンポジュウム）,/,4.1-4.11, 2001年

  
• 最大化および最小化アルゴリズムにおける近似度の関係(共著)

  宮崎 修一

  電子情報通信学会総合大会,D-1-4/,, 2001年

  
• Inapproximability of Stable Marriage Problems

  Halldorsson, M. M; Iwama, K; Miyazaki, S; Morita, Y

  Proc. KOREA-JAPAN Joint Workshop on Algorithms and Computation (WAAC 2001),/,59-66, 2001年

  
• 一般化されたオンライン独立頂点集合問題の競合比

  武富史郎; 宮崎修一; 岩間一雄; HALLDORSSON M M

  電子情報通信学会技術研究報告, 2000年04月26日

  
• 安定結婚問題の近似可能性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)

  盛田 保文; 宮崎 修一; 岩間 一雄; ハルダースソン マグナス

  数理解析研究所講究録, 2000年04月

  
• PVMによるSAT並列局所探索プログラム

  梅本 潤; 宮崎 修一; 岡部 寿男; 岩間 一雄

  情報処理学会研究報告. [ハイパフォーマンスコンピューティング], 2000年03月02日

  
• ＳＡＴに対する局所探索法のベクトル化

  河合大輔; 宮崎修一; 岡部寿男; 岩間一雄

  電子情報通信学会技術研究報告, 2000年01月19日

  
• Parallelizing Local Search for CNF Satisfiability Using PVM

  Iwama, K; Kawai, D; Miyazaki, S; Okabe, Y; Umemoto, J

  Proc. The AAAI-2000 workshop on parallel and distributed search for reasoning,, 2000年

  
• SATに対する局所探索法のベクトル化

  宮崎 修一

  並列処理シンポジウム(JSPP2000),/,43-50, 2000年, 査読有り

  
• オンライン独立頂点集合問題に対する一般化されたオンラインアルゴリズムの性能評価（共著）

  宮崎 修一

  第60回(平成12年後期)情処全国大会講演論文集,1/,193, 2000年

  
• 断線したネットワークの復旧問題に対する近似アルゴリズム（共著）

  宮崎 修一

  第60回(平成12年後期)情処全国大会講演論文集,/,199, 2000年

  
• 安定結婚問題の近似可能性について（共著）

  宮崎 修一

  京都大学数理解析研究所講究録「計算機科学の基礎理論:21世紀の計算パラダイムを目指して」,/,124-129, 2000年

  
• PVM によるSATアルゴリズムの高速化（共著）

  宮崎 修一

  第60回(平成12年後期)情処全国大会講演論文集,/,177, 2000年

  
• 鳩の巣原理に対する木状導出原理の証明サイズの上下限の改良 (新しいパラダイムとしてのアルゴリズム工学)

  宮崎 修一; 岩間 一雄

  数理解析研究所講究録, 1999年12月

  
• On the Size of the Tree-Like Resolution for the Pigeonhole Principle.

  MIYAZAKI S; IWAMA K

  電子情報通信学会技術研究報告, 1999年09月03日

  
• On the Analysis of the Complexity of Online Problems.

  UCHIDA A; MIYAZAKI S; IWAMA K

  電子情報通信学会技術研究報告, 1999年04月23日

  
• 条件を緩和した安定結婚問題の複雑さ

  盛田 保文; 宮崎 修一; 岩間 一雄

  情報処理学会研究報告. AL, アルゴリズム研究会報告, 1999年03月15日

  
• 1L-2 オンライン問題のクラス分け

  内田 敦; 宮崎 修一; 岩間 一雄

  全国大会講演論文集, 1999年03月09日

  
• 1L-2 オンライン問題のクラス分け

  内田 敦; 宮崎 修一; 岩間 一雄

  全国大会講演論文集, 1999年03月09日

  
• Hardest Ontine Problem

  Iwama, K; Miyazaki, S; Uchida, A

  Proc. Korea-Japan Joint Workshop on Algorithms and Computation,/,59-66, 1999年

  
• On the NP-Completeness of Weakly Stable Marriage.

  MIYAZAKI S; IWAMA K

  電子情報通信学会技術研究報告, 1998年11月20日

  
• 部分MAXSATを利用した大学情報処理の自動化

  盛田 保文; 宮崎 修一; 岩間 一雄

  情報処理学会研究報告. データベース・システム研究会報告, 1998年07月09日

  
• バックトラック法を用いた導出原理の複雑さの解析について(共著)

  宮崎 修一

  情報基礎理論ワークショップ98,/,13-18, 1998年

  
• 部分最適化問題の完全性

  宮崎修一; 岩間一雄

  電子情報通信学会技術研究報告, 1997年11月14日

  
• 部分最適化問題の完全性について

  宮崎 修一; 岩間 一雄

  全国大会講演論文集, 1997年09月24日

  
• 近似解をも考慮に入れた多項式時間変換(計算モデルと計算の複雑さに関する研究)

  宮崎 修一; 岩間 一雄

  数理解析研究所講究録, 1996年05月

  
• 近似をも考慮に入れた多項式時間変換(共著)

  宮崎 修一

  京都大学数理解析研究所講究録950 「計算モデルと計算の複雑さに関する研究」,/,240-245, 1996年

  
• SATを利用した時間割作成問題の解法(共著)

  宮崎 修一

  平成8年度 第49回電気関係学会九州支部連合大会講演論文集,/,674, 1996年

  
• NP完全集合によるcoNP集合の近似とその応用(共著)

  宮崎 修一

  情報基礎理論ワークショップ95,/,91-96, 1995年

  
• SATへの変換を利用したグラフ問題の難しさの評価方法について(計算量理論)

  宮崎 修一; 岩間 一雄

  数理解析研究所講究録, 1994年05月

  
• ハミルトン閉路問題からSATへの効率の良い帰着法について(共著)

  宮崎 修一

  平成6年度 第47回電気関係学会九州支部連合大会講演論文集,/,886, 1994年

  
• k-クリーク問題からSATへの効率の良い変換方法について(共著)

  宮崎 修一

  電子情報通信学会1994年春期大会講演論文集94,D-15, 1994年

  
• グラフの色ぬり分け問題からSATへの効率の良い変換方法とその評価

  宮崎 修一; 岩間 一雄

  全国大会講演論文集, 1993年09月27日

  
• CNF論理式に対する局所探索法の各種例題集合に対する性能評価

  宮崎 修一

  全国大会講演論文集, 1993年03月01日

  
• グラフの色ぬり分け問題からSATへの効率の良い変換方法について(共著)

  宮崎 修一

  情報基礎理論ワークショップ93,/,28-33, 1993年

  
• CNF論理式に対する局所探索法の評価(共著)

  宮崎 修一

  情報研報,93/24,97-104, 1993年

  
• CNF論理式の充足解に対する改良されたランダム探索法(共著)

  宮崎 修一

  平成4年度 第45回電気関係学会九州支部連合大会講演論文集,/,792, 1992年

  
• PVMによるSAT並列局所探索プログラム

  梅本 潤; 宮崎 修一; 岡部 寿男; 岩間 一雄

  情報処理学会研究報告. 計算機アーキテクチャ研究会報告

  

書籍等出版物

• アルゴリズム理論の基礎

  宮崎 修一, 単著

  森北出版株式会社, 2019年05月, 査読無し

  
• 安定マッチングの数理とアルゴリズム

  宮崎 修一, 単著

  現代数学社, 2018年05月, 査読無し

  
• アルゴリズム図鑑 ～絵で見てわかる26のアルゴリズム～

  石田 保輝; 宮崎 修一, 共著

  翔泳社, 2017年06月, 査読無し

  
• Stable Marriage Problem

  宮崎 修一, 分担執筆, Chapter 17 of Handbook of Graph Theory, Combinatorial Optimization, and Algorithms, pp. 403-418

  CRC Press, 2015年12月, 査読無し

  
• グラフ理論入門 ～基本とアルゴリズム～

  宮崎 修一, 単著

  森北出版株式会社, 2015年06月, 査読無し

  
• 数理工学事典

  宮崎修一, 分担執筆, 第V章 4.3節「分割統治法(pp. 433-434)」, 4.4節「乱択アルゴリズム(pp. 435-436)」

  朝倉書店, 2011年10月, 査読無し

  京大の蔵書を調べる：

  
• Stable Marriage with Ties and Incomplete Lists

  Iwama, K; Miyazaki, S, 分担執筆

  Encyclopedia of Algorithms, Springer, pp. 883-885, June 2008., 2008年, 査読無し

  
• 安定結婚問題

  宮崎修一, 分担執筆

  アルゴリズム工学 － 計算困難問題への挑戦 －，第6.24節 「安定結婚問題」, 杉原厚吉, 茨木俊秀, 浅野孝夫, 山下雅史編 (他章の著者62名), 共立出版, pp. 264-265, 2001., 2001年, 査読無し

  

受賞

• 2006年04月

  電子情報通信学会, 猪瀬賞
• 2019年08月

  30th International Workshop on Combinatorial Algorithms (IWOCA 2019) , Best paper award
• 0000年

  電子情報通信学会, ISSソサイエティ活動功労賞

外部資金：科学研究費補助金

• 不完全情報に伴って生じる最悪の場合を回避する乱化技術と平均化技術の研究

  基盤研究(C)

  小区分60010:情報学基礎論関連

  京都大学

  岩間 一雄

  自 2021年04月01日, 至 2024年03月31日, 留保

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K11754/
• 安定マッチング問題の拡張とアルゴリズム開発

  基盤研究(C)

  小区分60010:情報学基礎論関連

  京都大学

  宮崎 修一

  自 2020年04月01日, 至 2024年03月31日, 交付

  安定マッチング;アルゴリズム理論;計算複雑性;NP困難性;近似アルゴリズム;例題生成;希望リスト;非交差マッチング;配属システム;モデル化

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20K11677/
• 安定マッチングを利用した配属アルゴリズムの開発研究

  基盤研究(C)

  京都大学

  宮崎 修一

  自 2016年04月01日, 至 2020年03月31日, 完了

  安定マッチング;配属問題;アルゴリズム理論;多項式時間アルゴリズム;近似アルゴリズム;計算複雑性;NP困難性;耐戦略性;希望リスト;例題生成;非交差マッチング;NP完全性;最適化問題;アルゴリズム;安定結婚問題;ゲーム理論;情報基礎;モデル化;計算複雑さ

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16K00017/
• 入力データが不完全なアルゴリズムで重要となる乱化技術の研究

  基盤研究(B)

  京都大学

  岩間 一雄

  自 2016年04月01日, 至 2021年03月31日, 交付

  アルゴリズムの設計と解析;計算量理論;乱化技術;オンラインアルゴリズム;乱拓計算;平均解析;乱化アルゴリズム;平均計算量;乱択アルゴリズム;計算量の下限;ソーティング

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16H02782/
• データの巨大化から生じる不完全情報への対処に主眼をおいた近似計算

  基盤研究(A)

  京都大学

  岩間 一雄

  自 2013年04月01日, 至 2016年03月31日, 完了

  アルゴリズム;計算困難問題;情報の補填;数理モデル化;理論的性能保証

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25240002/
• 安定マッチング問題の合理的なモデル化とアルゴリズム開発

  基盤研究(C)

  京都大学

  宮崎 修一

  自 2012年04月01日, 至 2016年03月31日, 完了

  アルゴリズム理論;安定マッチング;近似アルゴリズム;安定結婚問題;研修医配属問題;オンラインアルゴリズム;計算困難性;近似困難性;電力供給マッチング;近似度;同順位リスト;不完全リスト;Gale-Shapleyアルゴリズム;NP完全;アドバイス複雑度;耐戦略性;NP困難性;貪欲アルゴリズム;NP困難;APX困難

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500013/
• 空間的な情報補填を可能にするアルゴリズムの研究

  基盤研究(A)

  京都大学

  岩間 一雄

  自 2010年04月01日, 至 2013年03月31日, 完了

  アルゴリズム理論;グラフ問題;アルゴリズム的ゲーム理論;乱化計算;アルゴリズム;計算困難問題;情報の補填;数理モデル化;理論的性能保証;劣線形時間;乱化アルゴリズム;分散アルゴリズム;准線形時間

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22240001/
• 段階的秘密交換プロトコルを利用した配達内容証明可能な電子メールシステム

  挑戦的萌芽研究

  京都大学

  岡部 寿男

  完了

  インターネット;電子メール;配達内容証明;マジックプロトコル;段階的秘密交換プロトコル;暗号;一方向関数;インターネット高度化;計算機システム;高信頼性ネットワーク;秘密交換;情報セキュリティ;通信プロトコル;マルチパーティープロトコル;段階的秘密交換;セキュリティ;Trusted Third Party (TTP)

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21650016/
• 実社会に即した安定マッチング問題の定式化とその解法研究

  若手研究(B)

  京都大学

  宮崎 修一

  完了

  アルゴリズム;組み合わせ問題;最適化問題;近似アルゴリズム;安定マッチング;研修医配属;近似困難性;安定マッチング問題;研修医配属問題;多項式時間アルゴリズム;Gale-shapleyアルゴリズム;NP困難性;近似度;組み合わせアルゴリズム;NP困難問題;Gale-Shapleyアルゴリズム;整数計画問題;線形計画緩和;安定結婚問題;最適化;線形計画問題;安定ルームメイト問題

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20700009/
• HIPに基づく開放型ユビキタスネットワークアーキテクチャ

  基盤研究(B)

  京都大学

  岡部 寿男

  自 2008年04月08日, 至 2013年03月31日, 完了

  ユビキタスネットワーク;ロケーションプライバシ;ネットワークセキュリティ;Host Identity Protocol;認証連携;ロケーションプライバシー;セキュア・ネットワーク;プライバシ保護;位置情報;SAML (Security Assertion Markup Language);モバイルネットワーク技術;セキュリティ;Security Assertion Markup Language;SAML(Security Assertion Markup Language;Host ldentity Protocol;Host Identyty Protocol;プライバシ;匿名性;IP mobility;IPv6

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20300028/
• 情報補填を可能にするアルゴリズムの設計と解析

  基盤研究(A)

  京都大学

  岩間 一雄

  完了

  アルゴリズム理論;理論的性能保証;アルゴリズム;計算困難問題;情報の補填;数理モデル化;ロバスト計算;確率アルゴリズム;性質検査

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19200001/
• 各種配属問題への安定マッチングの応用

  若手研究(B)

  京都大学

  宮崎 修一

  完了

  安定結婚問題;安定マッチング;安定ルームメイト問題;男女平等安定マッチング;研修医配属;近似アルゴリズム;近似困難性;NP困難性;同順位リスト;不完全リスト;近似不可能性;NP困難問題

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17700015/
• 不正を許さないサーバレスネットワークゲーム

  萌芽研究

  京都大学

  岡部 寿男

  完了

  ネットワークゲーム;peer-to-peer;不正防止;マルチパーティプロトコル;暗号;マジックプロトコル;認証連携;Shibbolleth;サーバレス;モデル化;秘密分散;軍人将棋

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17650016/
• 工学的評価基準に基づく離散アルゴリズムの品質保証技術に関する研究

  基盤研究(B)

  京都大学

  岩間 一雄

  完了

  離散アルゴリズム;工学的評価基準;離散最適化;ネットワークアルゴリズム;列挙アルゴリズム;マッチングアルゴリズム;SATアルゴリズム;近似アルゴリズム;孤立クリーク;最小頂点被覆問題;マッチング;NP完全問題, Discrete Algorithm;Quality for Engineering;Discrete Optimization;Network Algorithm;Enumeration Algorithm;Matching Algorithm;SAT Algorithm;Approximation Algorithm

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16300002/
• ネットワーク問題のモデル化とアルゴリズムの研究

  特定領域研究

  理工系

  京都大学

  伊藤 大雄

  完了

  アルゴリズム;情報基礎;モデル化;ネットワーク;高信頼性ネットワーク;表計算;罫線描画;k枝連結性;プロパティテスト;安定マッチング問題;近似アルゴリズム;P2Pネットワーク;耐故障;最大被覆供給点配置問題;クラスタリング;合意最大化問題;k-連結性;プロパティテスティング;無線ネットワーク;TDMAスケジューリング;グラフアルゴリズム;スパニングツリー;平均ストレッチ;クリーク発見問題;単位円盤グラフ;供給点配置問題;耐故障性;自己安定アルゴリズム;最小頂点被覆問題;コンパクトルーティング;伸張度削減問題;タスクスケジュール;自己安定プロトコル

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16092215/
• 多様な局面に適合した安足マッチング問題の解法研究

  若手研究(B)

  京都大学

  宮崎 修一

  完了

  安定結婚問題;研修医配属問題;安定マッチング;希望リスト;同順位リスト;不完全リスト;NP困難問題;近似アルゴリズム

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15700010/
• 工学的評価基準による離散アルゴリズムの高品質化に関する研究

  基盤研究(B)

  京都大学

  岩間 一雄

  完了

  離散アルゴリズム;離散最適化;結婚安定問題;近似アルゴリズム;オンラインアルゴリズム;充足可能性問題;計算量理論;ネットワークアルゴリズム;工学的評価基準;安定結婚問題;ネットワークルーティング;レンタルスキー問題;平均的競合比;最悪競合比;インターネット;経路ループ回避;コンパクトルーティング;格子状ネットワーク;伸張係数;安定マッチング;確率アルゴリズム, Discrete Algorithms;Discrete Optimization;Stable Marriage Problems;Approximation Algorithms;Online Algorithms;Satisfiability Problems;Computational Complexity;Network Algorithms

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13480081/
• 実世界組み合わせ問題に対する実行可能近似解の高速探求

  基盤研究(B)

  京都大学

  岩間 一雄

  完了

  実世界問題;最適化問題;充足可能性問題;局所探索法;並列;分散;PVM;大規模クラスタ;時間割作成;http通信;MAX SAT;ベクトル計算機;並列計算;学生配属問題;安定結婚問題;同順位リスト;不完全リスト;NP完全性;NP困難性, real world problem;optimization problem;CNF Satisfiability;local search algorithm;parallelization;PVM;cluster;time scheduling problem

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10558044/
• 適応化と確率化による高速ラウティングアルゴリズムの開発

  特定領域研究(B)

  京都大学

  岩間 一雄

  完了

  メッシュ型計算機;全置換ラウティング;無情報ラウティング;適応化;確率化;キューサイズ;ビット反転置換;2次元メッシュネットワーク;メッシュ計算機;ラウティング;ラウティングテーブル;コンパクトラウティング, mesh computers;permutation routing;oblivious routing;adaptation;randomization;queue size;bit reversal permutation

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10205215/
• 高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法

  基盤研究(B)

  京都大学

  岩間 一雄

  完了

  実世界問題;充足可能性問題;部分MAXSAT;学生配属問題;局所探索アルゴリズム;並列化;ベクトル化;PVM;最適化問題;多項式時間変換;SAT;組合せ問題;NP完全性, real-world problems;CNF Satisfiability;Partial MAXSAT;student assignment;local search algorithms;parallelization;vectorization;PVM

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09480055/

教育

担当科目

• 自 2002年, 至 2009年

  論理回路

  前期, 工学部
• 自 2007年

  アルゴリズム、計算量、離散数学（ポケゼミ）

  前期, 全学
• 自 2011年04月, 至 2012年03月

  アルゴリズム入門

  前期, 全学
• 自 2002年

  マルチメディア通信

  後期, 情報学研究科
• 自 2011年04月, 至 2012年03月

  Advanced Study in IST I

  通年, 情報学研究科
• 自 2011年04月, 至 2012年03月

  Advanced Study in IST II

  通年, 情報学研究科
• 自 2011年04月, 至 2012年03月

  知能情報学特殊研究１

  通年, 情報学研究科
• 自 2011年04月, 至 2012年03月

  知能情報学特殊研究２

  通年, 情報学研究科
• 自 2011年04月, 至 2012年03月

  アルゴリズム、計算量、離散数学

  前期, 全学共通科目
• 自 2011年04月, 至 2012年03月

  アルゴリズム入門

  前期, 全学共通科目
• 自 2012年04月, 至 2013年03月

  アルゴリズム入門

  前期, 全学共通科目
• 自 2012年04月, 至 2013年03月

  グラフ理論

  後期, 工学部
• 自 2012年04月, 至 2013年03月

  知能情報学特殊研究２

  通年, 情報学研究科
• 自 2012年04月, 至 2013年03月

  知能情報学特殊研究１

  通年, 情報学研究科
• 自 2012年04月, 至 2013年03月

  アルゴリズム、計算量、離散数学

  前期, 全学共通科目
• 自 2012年04月, 至 2013年03月

  マルチメディア通信

  後期, 情報学研究科
• 自 2013年04月, 至 2014年03月

  グラフ理論

  後期, 工学部
• 自 2013年04月, 至 2014年03月

  知能情報学特殊研究１

  通年, 情報学研究科
• 自 2013年04月, 至 2014年03月

  知能情報学特殊研究２

  通年, 情報学研究科
• 自 2013年04月, 至 2014年03月

  マルチメディア通信

  後期, 情報学研究科
• 自 2013年04月, 至 2014年03月

  アルゴリズム入門

  前期, 全学共通科目
• 自 2013年04月, 至 2014年03月

  アルゴリズム、計算量、離散数学

  前期, 全学共通科目
• 自 2014年04月, 至 2015年03月

  グラフ理論

  後期, 工学部
• 自 2014年04月, 至 2015年03月

  知能情報学特殊研究 I

  通年, 情報学研究科
• 自 2014年04月, 至 2015年03月

  知能情報学特殊研究１

  通年, 情報学研究科
• 自 2014年04月, 至 2015年03月

  知能情報学特殊研究２

  通年, 情報学研究科
• 自 2014年04月, 至 2015年03月

  マルチメディア通信

  後期, 情報学研究科
• 自 2014年04月, 至 2015年03月

  メディア応用特別セミナー

  後期, 情報学研究科
• 自 2014年04月, 至 2015年03月

  アルゴリズム入門

  前期, 全学共通科目
• 自 2014年04月, 至 2015年03月

  Advanced Study in IST I

  通年, 情報学研究科
• 自 2014年04月, 至 2015年03月

  Advanced Study in IST II

  通年, 情報学研究科
• 自 2015年04月, 至 2016年03月

  Advanced Study in IST I

  通年, 情報学研究科
• 自 2015年04月, 至 2016年03月

  Advanced Study in IST II

  通年, 情報学研究科
• 自 2015年04月, 至 2016年03月

  アルゴリズム入門

  前期, 全学共通科目
• 自 2015年04月, 至 2016年03月

  メディア応用特別セミナー

  後期, 情報学研究科
• 自 2015年04月, 至 2016年03月

  グラフ理論

  後期, 工学部
• 自 2015年04月, 至 2016年03月

  知能情報学特殊研究２

  通年, 情報学研究科
• 自 2015年04月, 至 2016年03月

  知能情報学特殊研究１

  通年, 情報学研究科
• 自 2015年04月, 至 2016年03月

  知能情報学特殊研究 I

  通年, 情報学研究科
• 自 2015年04月, 至 2016年03月

  マルチメディア通信

  後期, 情報学研究科
• 自 2016年04月, 至 2017年03月

  Advanced Study in IST I

  通年, 情報学研究科
• 自 2016年04月, 至 2017年03月

  Advanced Study in IST II

  通年, 情報学研究科
• 自 2016年04月, 至 2017年03月

  アルゴリズム入門

  前期, 全学共通科目
• 自 2016年04月, 至 2017年03月

  メディア応用特別セミナー

  後期, 情報学研究科
• 自 2016年04月, 至 2017年03月

  グラフ理論

  後期, 工学部
• 自 2016年04月, 至 2017年03月

  知能情報学特殊研究２

  通年, 情報学研究科
• 自 2016年04月, 至 2017年03月

  知能情報学特殊研究１

  通年, 情報学研究科
• 自 2016年04月, 至 2017年03月

  知能情報学特殊研究 I

  通年, 情報学研究科
• 自 2016年04月, 至 2017年03月

  マルチメディア通信

  後期, 情報学研究科
• 自 2017年04月, 至 2018年03月

  Advanced Study in IST I

  通年, 情報学研究科
• 自 2017年04月, 至 2018年03月

  Advanced Study in IST II

  通年, 情報学研究科
• 自 2017年04月, 至 2018年03月

  アルゴリズム入門

  前期, 全学共通科目
• 自 2017年04月, 至 2018年03月

  メディア応用特別セミナー

  後期, 情報学研究科
• 自 2017年04月, 至 2018年03月

  グラフ理論

  後期, 工学部
• 自 2017年04月, 至 2018年03月

  知能情報学特殊研究２

  通年, 情報学研究科
• 自 2017年04月, 至 2018年03月

  知能情報学特殊研究１

  通年, 情報学研究科
• 自 2017年04月, 至 2018年03月

  マルチメディア通信

  後期, 情報学研究科
• 自 2018年04月, 至 2019年03月

  アルゴリズム入門

  前期, 全学共通科目
• 自 2018年04月, 至 2019年03月

  グラフ理論

  後期, 工学部
• 自 2018年04月, 至 2019年03月

  マルチメディア通信

  後期, 情報学研究科
• 自 2019年04月, 至 2020年03月

  アルゴリズム入門

  前期, 全学共通科目
• 自 2019年04月, 至 2020年03月

  情報セキュリティ演習

  前期集中, 工学部
• 自 2019年04月, 至 2020年03月

  グラフ理論

  後期, 工学部
• 自 2019年04月, 至 2020年03月

  マルチメディア通信

  後期, 情報学研究科
• 自 2020年04月, 至 2021年03月

  アルゴリズム入門

  前期, 全学共通科目
• 自 2020年04月, 至 2021年03月

  情報セキュリティ演習

  前期集中, 工学部
• 自 2020年04月, 至 2021年03月

  グラフ理論（計算機）

  後期, 工学部
• 自 2020年04月, 至 2021年03月

  グラフ理論（電気電子）

  後期, 工学部
• 自 2020年04月, 至 2021年03月

  マルチメディア通信

  後期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  Seminar on IST III

  後期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  Seminar on IST II

  前期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  Seminar on IST I

  前期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  Seminar on IST IV

  後期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  アルゴリズム入門

  前期, 全学共通科目
• 自 2021年04月, 至 2022年03月

  情報セキュリティ演習

  前期集中, 工学部
• 自 2021年04月, 至 2022年03月

  グラフ理論（計算機）

  後期, 工学部
• 自 2021年04月, 至 2022年03月

  グラフ理論（電気電子）

  後期, 工学部
• 自 2021年04月, 至 2022年03月

  知能情報学セミナー III

  後期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  知能情報学セミナー II

  前期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  知能情報学セミナー I

  前期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  知能情報学セミナー IV

  後期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  マルチメディア通信

  後期, 情報学研究科

指導学生の業績：受賞

• 猪瀬賞（論文賞）

  岡本和也, 電子情報通信学会, 2006年
• 平成20年度電子情報通信学会 学術奨励賞

  岡本和也, 電子情報通信学会, 2009年
• 情報処理学会関西支部大会 学生奨励賞

  Minseon Lee, 情報処理学会, 2013年09月25日
• 情報処理学会 第82回全国大会 学生奨励賞 大会奨励賞

  佐竹誠, 情報処理学会, 2020年03月

非常勤講師

• 自 2000年, 至 2001年

  プログラミングII

  前期, 京都府立大学
• 自 2019年04月01日, 至 2019年09月30日

  社会情報科学のための数学

  前期, 兵庫県立大学
• 自 2020年04月01日, 至 2020年09月30日

  社会情報科学のための数学

  前期, 兵庫県立大学
• 自 2021年04月01日, 至 2021年09月30日

  社会情報科学のための数学

  前期, 兵庫県立大学

大学運営

全学運営(役職等)

• 自 2010年04月01日, 至 2010年09月30日

  吉田キャンパス整備専門委員会委員会 委員
• 自 2013年04月01日, 至 2015年03月31日

  学生生活委員会 委員

部局運営(役職等)

• KUINS運用委員会委員
• 広報教育委員会委員
• 各種仕様策定委員
• 至 2014年03月31日

  認証システム運用委員会委員
• 人権問題委員会委員　委員
• 自 2014年04月01日

  学術情報メディアセンター情報セキュリティ委員会委員　
• 自 2015年04月01日, 至 2018年03月31日

  学術情報メディアセンター及び情報環境機構安全衛生委員会委員長
• 自 2014年04月01日, 至 2016年03月31日

  将来構想委員会　委員
• 学術情報メディアセンター及び情報環境機構安全衛生委員会委員　委員
• 学術情報メディアセンター及び情報環境機構人権問題委員会　委員
• 学術情報メディアセンター企画・広報委員会　委員
• 本部等構内交通委員会委員