教育研究活動データベース

日本語に切り替えるswitch to english

宮崎 修一

ミヤザキ シュウイチ

学術情報メディアセンター ネットワーク研究部門 准教授

宮崎 修一
list
    Last Updated :2022/05/14

    基本情報

    協力講座

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

    学内兼務

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

    所属学協会

    • EATCS
    • 電子情報通信学会
    • 情報処理学会
    • 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

    関連Webサイト

    researchmap URL

    list
      Last Updated :2022/05/14

      研究

      研究テーマ・研究概要

      • 研究テーマ

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

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

      研究キーワード

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

      研究分野

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

      論文

      • 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日
      • 枝コストに制限を加えたk‐Canadian Traveller Problemの競合比解析
        福田剛士; 宮崎修一; 岡部寿男
        電子情報通信学会技術研究報告, 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日
      • マジックプロトコル利用によるプライバシーに配慮したShibboleth属性交換の拡張
        高木俊宏; 古村隆明; 宮崎修一; 岡部寿男
        情報処理学会研究報告, 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年
      • サイクルグラフ上でのグラフ探索問題に対する最適なオンラインアルゴリズム
        森本尚之; 宮崎修一; 岡部寿男
        信学技報,Vol.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年, 査読有り
      • KUINS接続機器登録データベースの概要
        宮崎修一; 久保浩史; 高見好男; 四方敏明; 櫻井恒正; 山元伸幸; 河野典; 江原康生; 高倉弘喜; 沢田篤史; 中村素典; 岡部寿男; 北野正雄
        全国共同利用情報基盤センター研究開発論文集, 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年
      • 長さ2のタイを含む安定結婚問題に対する近似アルゴリズム
        柳沢弘揮; 宮崎修一; 岩間一雄; 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日
      • SATに対する局所探索法のベクトル化
        河合大輔; 宮崎修一; 岡部寿男; 岩間一雄
        電子情報通信学会技術研究報告, 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日, 留保
      • 安定マッチング問題の拡張とアルゴリズム開発
        基盤研究(C)
        小区分60010:情報学基礎論関連
        京都大学
        宮崎 修一
        自 2020年04月01日, 至 2024年03月31日, 交付
        安定マッチング;アルゴリズム理論;計算複雑性;NP困難性;近似アルゴリズム;例題生成;希望リスト;非交差マッチング;配属システム;モデル化
      • 安定マッチングを利用した配属アルゴリズムの開発研究
        基盤研究(C)
        京都大学
        宮崎 修一
        自 2016年04月01日, 至 2020年03月31日, 完了
        安定マッチング;配属問題;アルゴリズム理論;多項式時間アルゴリズム;近似アルゴリズム;計算複雑性;NP困難性;耐戦略性;希望リスト;例題生成;非交差マッチング;NP完全性;最適化問題;アルゴリズム;安定結婚問題;ゲーム理論;情報基礎;モデル化;計算複雑さ
      • 入力データが不完全なアルゴリズムで重要となる乱化技術の研究
        基盤研究(B)
        京都大学
        岩間 一雄
        自 2016年04月01日, 至 2021年03月31日, 交付
        アルゴリズムの設計と解析;計算量理論;乱化技術;オンラインアルゴリズム;乱拓計算;平均解析;乱化アルゴリズム;平均計算量;乱択アルゴリズム;計算量の下限;ソーティング
      • データの巨大化から生じる不完全情報への対処に主眼をおいた近似計算
        基盤研究(A)
        京都大学
        岩間 一雄
        自 2013年04月01日, 至 2016年03月31日, 完了
        アルゴリズム;計算困難問題;情報の補填;数理モデル化;理論的性能保証
      • 安定マッチング問題の合理的なモデル化とアルゴリズム開発
        基盤研究(C)
        京都大学
        宮崎 修一
        自 2012年04月01日, 至 2016年03月31日, 完了
        アルゴリズム理論;安定マッチング;近似アルゴリズム;安定結婚問題;研修医配属問題;オンラインアルゴリズム;計算困難性;近似困難性;電力供給マッチング;近似度;同順位リスト;不完全リスト;Gale-Shapleyアルゴリズム;NP完全;アドバイス複雑度;耐戦略性;NP困難性;貪欲アルゴリズム;NP困難;APX困難
      • 空間的な情報補填を可能にするアルゴリズムの研究
        基盤研究(A)
        京都大学
        岩間 一雄
        自 2010年04月01日, 至 2013年03月31日, 完了
        アルゴリズム理論;グラフ問題;アルゴリズム的ゲーム理論;乱化計算;アルゴリズム;計算困難問題;情報の補填;数理モデル化;理論的性能保証;劣線形時間;乱化アルゴリズム;分散アルゴリズム;准線形時間
      • 段階的秘密交換プロトコルを利用した配達内容証明可能な電子メールシステム
        挑戦的萌芽研究
        京都大学
        岡部 寿男
        完了
        インターネット;電子メール;配達内容証明;マジックプロトコル;段階的秘密交換プロトコル;暗号;一方向関数;インターネット高度化;計算機システム;高信頼性ネットワーク;秘密交換;情報セキュリティ;通信プロトコル;マルチパーティープロトコル;段階的秘密交換;セキュリティ;Trusted Third Party (TTP)
      • 実社会に即した安定マッチング問題の定式化とその解法研究
        若手研究(B)
        京都大学
        宮崎 修一
        完了
        アルゴリズム;組み合わせ問題;最適化問題;近似アルゴリズム;安定マッチング;研修医配属;近似困難性;安定マッチング問題;研修医配属問題;多項式時間アルゴリズム;Gale-shapleyアルゴリズム;NP困難性;近似度;組み合わせアルゴリズム;NP困難問題;Gale-Shapleyアルゴリズム;整数計画問題;線形計画緩和;安定結婚問題;最適化;線形計画問題;安定ルームメイト問題
      • 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
      • 情報補填を可能にするアルゴリズムの設計と解析
        基盤研究(A)
        京都大学
        岩間 一雄
        完了
        アルゴリズム理論;理論的性能保証;アルゴリズム;計算困難問題;情報の補填;数理モデル化;ロバスト計算;確率アルゴリズム;性質検査
      • 各種配属問題への安定マッチングの応用
        若手研究(B)
        京都大学
        宮崎 修一
        完了
        安定結婚問題;安定マッチング;安定ルームメイト問題;男女平等安定マッチング;研修医配属;近似アルゴリズム;近似困難性;NP困難性;同順位リスト;不完全リスト;近似不可能性;NP困難問題
      • 不正を許さないサーバレスネットワークゲーム
        萌芽研究
        京都大学
        岡部 寿男
        完了
        ネットワークゲーム;peer-to-peer;不正防止;マルチパーティプロトコル;暗号;マジックプロトコル;認証連携;Shibbolleth;サーバレス;モデル化;秘密分散;軍人将棋
      • 工学的評価基準に基づく離散アルゴリズムの品質保証技術に関する研究
        基盤研究(B)
        京都大学
        岩間 一雄
        完了
        離散アルゴリズム;工学的評価基準;離散最適化;ネットワークアルゴリズム;列挙アルゴリズム;マッチングアルゴリズム;SATアルゴリズム;近似アルゴリズム;孤立クリーク;最小頂点被覆問題;マッチング;NP完全問題, Discrete Algorithm;Quality for Engineering;Discrete Optimization;Network Algorithm;Enumeration Algorithm;Matching Algorithm;SAT Algorithm;Approximation Algorithm
      • ネットワーク問題のモデル化とアルゴリズムの研究
        特定領域研究
        理工系
        京都大学
        伊藤 大雄
        完了
        アルゴリズム;情報基礎;モデル化;ネットワーク;高信頼性ネットワーク;表計算;罫線描画;k枝連結性;プロパティテスト;安定マッチング問題;近似アルゴリズム;P2Pネットワーク;耐故障;最大被覆供給点配置問題;クラスタリング;合意最大化問題;k-連結性;プロパティテスティング;無線ネットワーク;TDMAスケジューリング;グラフアルゴリズム;スパニングツリー;平均ストレッチ;クリーク発見問題;単位円盤グラフ;供給点配置問題;耐故障性;自己安定アルゴリズム;最小頂点被覆問題;コンパクトルーティング;伸張度削減問題;タスクスケジュール;自己安定プロトコル
      • 多様な局面に適合した安足マッチング問題の解法研究
        若手研究(B)
        京都大学
        宮崎 修一
        完了
        安定結婚問題;研修医配属問題;安定マッチング;希望リスト;同順位リスト;不完全リスト;NP困難問題;近似アルゴリズム
      • 工学的評価基準による離散アルゴリズムの高品質化に関する研究
        基盤研究(B)
        京都大学
        岩間 一雄
        完了
        離散アルゴリズム;離散最適化;結婚安定問題;近似アルゴリズム;オンラインアルゴリズム;充足可能性問題;計算量理論;ネットワークアルゴリズム;工学的評価基準;安定結婚問題;ネットワークルーティング;レンタルスキー問題;平均的競合比;最悪競合比;インターネット;経路ループ回避;コンパクトルーティング;格子状ネットワーク;伸張係数;安定マッチング;確率アルゴリズム, Discrete Algorithms;Discrete Optimization;Stable Marriage Problems;Approximation Algorithms;Online Algorithms;Satisfiability Problems;Computational Complexity;Network Algorithms
      • 実世界組み合わせ問題に対する実行可能近似解の高速探求
        基盤研究(B)
        京都大学
        岩間 一雄
        完了
        実世界問題;最適化問題;充足可能性問題;局所探索法;並列;分散;PVM;大規模クラスタ;時間割作成;http通信;MAX SAT;ベクトル計算機;並列計算;学生配属問題;安定結婚問題;同順位リスト;不完全リスト;NP完全性;NP困難性, real world problem;optimization problem;CNF Satisfiability;local search algorithm;parallelization;PVM;cluster;time scheduling problem
      • 適応化と確率化による高速ラウティングアルゴリズムの開発
        特定領域研究(B)
        京都大学
        岩間 一雄
        完了
        メッシュ型計算機;全置換ラウティング;無情報ラウティング;適応化;確率化;キューサイズ;ビット反転置換;2次元メッシュネットワーク;メッシュ計算機;ラウティング;ラウティングテーブル;コンパクトラウティング, mesh computers;permutation routing;oblivious routing;adaptation;randomization;queue size;bit reversal permutation
      • 高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法
        基盤研究(B)
        京都大学
        岩間 一雄
        完了
        実世界問題;充足可能性問題;部分MAXSAT;学生配属問題;局所探索アルゴリズム;並列化;ベクトル化;PVM;最適化問題;多項式時間変換;SAT;組合せ問題;NP完全性, real-world problems;CNF Satisfiability;Partial MAXSAT;student assignment;local search algorithms;parallelization;vectorization;PVM
      list
        Last Updated :2022/05/14

        教育

        担当科目

        • 自 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月
          知能情報学特殊研究1
          通年, 情報学研究科
        • 自 2011年04月, 至 2012年03月
          知能情報学特殊研究2
          通年, 情報学研究科
        • 自 2011年04月, 至 2012年03月
          アルゴリズム、計算量、離散数学
          前期, 全学共通科目
        • 自 2011年04月, 至 2012年03月
          アルゴリズム入門
          前期, 全学共通科目
        • 自 2012年04月, 至 2013年03月
          アルゴリズム入門
          前期, 全学共通科目
        • 自 2012年04月, 至 2013年03月
          グラフ理論
          後期, 工学部
        • 自 2012年04月, 至 2013年03月
          知能情報学特殊研究2
          通年, 情報学研究科
        • 自 2012年04月, 至 2013年03月
          知能情報学特殊研究1
          通年, 情報学研究科
        • 自 2012年04月, 至 2013年03月
          アルゴリズム、計算量、離散数学
          前期, 全学共通科目
        • 自 2012年04月, 至 2013年03月
          マルチメディア通信
          後期, 情報学研究科
        • 自 2013年04月, 至 2014年03月
          グラフ理論
          後期, 工学部
        • 自 2013年04月, 至 2014年03月
          知能情報学特殊研究1
          通年, 情報学研究科
        • 自 2013年04月, 至 2014年03月
          知能情報学特殊研究2
          通年, 情報学研究科
        • 自 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月
          知能情報学特殊研究1
          通年, 情報学研究科
        • 自 2014年04月, 至 2015年03月
          知能情報学特殊研究2
          通年, 情報学研究科
        • 自 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月
          知能情報学特殊研究2
          通年, 情報学研究科
        • 自 2015年04月, 至 2016年03月
          知能情報学特殊研究1
          通年, 情報学研究科
        • 自 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月
          知能情報学特殊研究2
          通年, 情報学研究科
        • 自 2016年04月, 至 2017年03月
          知能情報学特殊研究1
          通年, 情報学研究科
        • 自 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月
          知能情報学特殊研究2
          通年, 情報学研究科
        • 自 2017年04月, 至 2018年03月
          知能情報学特殊研究1
          通年, 情報学研究科
        • 自 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日
          社会情報科学のための数学
          前期, 兵庫県立大学
        list
          Last Updated :2022/05/14

          大学運営

          全学運営(役職等)

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

          ページ上部へ戻る