Researchers Information System

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

Miyazaki, Shuichi

Academic Center for Computing and Media Studies (ACCMS) Associate Professor

Miyazaki, Shuichi
list
    Last Updated :2022/05/14

    Basic Information

    Affiliated programs (koza)

    • Graduate School of Informatics, 知能情報学専攻 メディア応用, 准教授

    Concurrent Affiliation

    • Center for the Promotion of Interdisciplinary Education and Research (C-PiER), モビリティ基盤数理研究ユニット, 構成員

    Professional Memberships

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

    Academic Degree

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

    Academic Resume (Graduate Schools)

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

    Academic Resume (Undergraduate School/Majors)

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

    High School

    • High School

      宮崎県立宮崎西高等学校

    Research History

    • From Apr. 2022, To Present
      University of Hyogo, Graduate School of Information Science, Professor
    • From Apr. 2007, To Mar. 2022
      Kyoto University, Academic Center for Computing and Media Studies, Associate Professor
    • From Apr. 2002, To Mar. 2007
      Kyoto University, Academic Center for Computing and Media Studies, Associate Professor
    • From Apr. 1998, To Mar. 2002
      Kyoto University, Graduate School of Informatics, Research Associate

    Language of Instruction

    • English

    ID,URL

    Website(s) (URL(s))

    researchmap URL

    list
      Last Updated :2022/05/14

      Research

      Research Topics, Overview of the research

      • Research Topics

        Design and analysis of efficient combinatorial algorithms. Proving intractability of problems.
      • Overview of the research

        Design and analysis of combinatorial algorithms, and intractability of problems. Specifically, approximation algorithms and online algorithms.

      Research Interests

      • stable matching
      • online algorithm
      • approximation algorithm
      • computational complexity
      • algorithm theory

      Research Areas

      • Informatics, Information theory

      Papers

      • Hardness of Instance Generation with Optimal Solutions for the Stable Marriage Problem
        Yuki Matsuyama; Shuichi Miyazaki
        Journal of Information Processing, Feb. 2021, Peer-reviewed, Corresponding author
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • Identifying Link Layer Home Network Topologies Using HTIP.
        Yoshiyuki Mihara; Shuichi Miyazaki; Yasuo Okabe; Tetsuya Yamaguchi; Manabu Okamoto
        IEICE Trans. Inf. Syst., 2020, Peer-reviewed
      • On Computational Complexity of Pipe Puzzles.
        Takumu Shirayama; Takuto Shigemura; Yota Otachi; Shuichi Miyazaki; Ryuhei Uehara
        IEICE Transactions, Sep. 2019, Peer-reviewed
      • 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, Jan. 2019, Peer-reviewed
      • 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, Peer-reviewed
      • Jointly stable matchings.
        Shuichi Miyazaki; Kazuya Okamoto
        J. Comb. Optim., 2019, Peer-reviewed
      • 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, Peer-reviewed
      • Competitive buffer management for multi-queue switches in QoS networks using packet buffering algorithms
        Koji M. Kobayashi; Shuichi Miyazaki; Yasuo Okabe
        THEORETICAL COMPUTER SCIENCE, May 2017, Peer-reviewed
      • Jointly Stable Matchings.
        Shuichi Miyazaki; Kazuya Okamoto
        28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand, 2017, Peer-reviewed
      • 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, Peer-reviewed
      • Better bounds for online k-frame throughput maximization in network switches
        Jun Kawahara; Koji M. Kobayashi; Shuichi Miyazaki
        THEORETICAL COMPUTER SCIENCE, Jan. 2017, Peer-reviewed
      • Stable Marriage with Ties and Incomplete Lists.
        Kazuo Iwama; Shuichi Miyazaki
        Encyclopedia of Algorithms 2016, 2016, Peer-reviewed
      • 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, Peer-reviewed
      • The Hospitals/Residents Problem with Lower Quotas
        Koki Hamada; Kazuo Iwama; Shuichi Miyazaki
        ALGORITHMICA, Jan. 2016, Peer-reviewed
      • Approximability of Two Variants of Multiple Knapsack Problems
        Shuichi Miyazaki; Naoyuki Morimoto; Yasuo Okabe
        ALGORITHMS AND COMPLEXITY (CIAC 2015), 2015, Peer-reviewed
      • 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, Peer-reviewed
      • Finding witnesses for stability in the hospitals/residents problem
        Minseon Lee; Shuichi Miyazaki; Kazuo Iwama
        Journal of Information Processing, 2015, Peer-reviewed
      • On the advice complexity of online bipartite matching and online stable marriage
        Shuichi Miyazaki
        INFORMATION PROCESSING LETTERS, Dec. 2014, Peer-reviewed
      • A 25/17-Approximation Algorithm for the Stable Marriage Problem with One-Sided Ties
        Kazuo Iwama; Shuichi Miyazaki; Hiroki Yanagisawa
        ALGORITHMICA, Mar. 2014, Peer-reviewed
      • Improving man-optimal stable matchings by minimum change of preference lists
        Takao Inoshita; Robert W. Irving; Kazuo Iwama; Shuichi Miyazaki; Takashi Nagase
        Algorithms, Jun. 2013, Peer-reviewed
      • 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, Peer-reviewed
      • DS-1-1 IMPROVING MAN-OPTIMAL STABLE MATCHING BY CHANGING PREFERENCE LISTS
        Inoshita Takao; Irving RobertW.; Miyazaki Shuichi; Iwama Kazuo; Nagase Takashi
        Bulletin of the Japan Institute of Metals, 2013
      • Improved approximation bounds for the Student-Project Allocation problem with preferences over projects
        Kazuo Iwama; Shuichi Miyazaki; Hiroki Yanagisawa
        Journal of Discrete Algorithms, May 2012, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • Improving the competitive ratios of the seat reservation problem
        S. Miyazaki; K. Okamoto
        IFIP Advances in Information and Communication Technology, 2010, Peer-reviewed
      • Approximation algorithms for the sex-equal stable marriage problem
        K. Iwama; S. Miyazaki; H. Yanagisawa
        ACM Transactions on Algorithms, 2010, Peer-reviewed
      • 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, Peer-reviewed
      • Weighted nearest neighbor algorithms for the graph exploration problem on cycles
        Yuichi Asahiro; Eiji Miyano; Shuichi Miyazaki; Takuro Yoshimuta
        INFORMATION PROCESSING LETTERS, Jan. 2010, Peer-reviewed
      • Improving the competitive ratio of the online OVSF code assignment problem
        Shuichi Miyazaki; Kazuya Okamoto
        Algorithms, Sep. 2009, Peer-reviewed
      • The Online Graph Exploration Problem on Restricted Graphs
        Shuichi Miyazaki; Naoyuki Morimoto; Yasuo Okabe
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, Sep. 2009, Peer-reviewed
      • An improved approximation lower bound for finding almost stable maximum matchings
        Koki Hamada; Kazuo Iwama; Shuichi Miyazaki
        INFORMATION PROCESSING LETTERS, Aug. 2009, Peer-reviewed
      • Computational Complexities of University Interview Timetabling
        Naoyuki Kamiyama; Yuuki Kiyonari; Eiji Miyano; Shuichi Miyazaki; Katsuhisa Yamanaka
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, Feb. 2009, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Dec. 2008, Peer-reviewed
      • 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, Aug. 2008, Peer-reviewed
      • A (2-c1/root N)-approximation algorithm for the stable marriage problem
        Kazuo Iwama; Shuichi Miyazaki; Naoya Yamauchi
        ALGORITHMICA, Jul. 2008, Peer-reviewed
      • A (2-c1/root N)-approximation algorithm for the stable marriage problem
        Kazuo Iwama; Shuichi Miyazaki; Naoya Yamauchi
        ALGORITHMICA, Jul. 2008, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • Improved approximation results for the stable marriage problem
        Magnús M. Halldórsson; Kazuo Iwama; Shuichi Miyazaki; Hiroki Yanagisawa
        ACM Transactions on Algorithms, 01 Aug. 2007, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • A (2-c logN/N)-approximation algorithm for the stable marriage problem
        Kazuo Iwama; Shuichi Miyazaki; Kazuya Okamoto
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, Aug. 2006, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • Randomized approximation of the stable marriage problem
        MM Halldorsson; K Iwama; S Miyazaki; H Yanagisawa
        THEORETICAL COMPUTER SCIENCE, Oct. 2004, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Sep. 2003, Peer-reviewed
      • Structure and Security Strategy of a Secure Gigabit Network System , KUINs-III
        TAKAKURA Hiroki; EBARA Yasuo; MIYAZAKI Shuichi; SAWADA Atsushi; NAKAMURA Motonori; OKABE Yasuo
        The IEICE transactions on communications B, Aug. 2003, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • Parallelizing local search for CNF satisfiability using vectorization and PVM
        Kazuo Iwama; Daisuke Kawai; Shuichi Miyazaki; Yasuo Okabe; Jun Umemoto
        Journal of Experimental Algorithmics, 31 Dec. 2002, Peer-reviewed
      • Online independent sets
        MM Halldorsson; K Iwama; S Miyazaki; S Taketomi
        THEORETICAL COMPUTER SCIENCE, Oct. 2002, Peer-reviewed
      • Hard variants of stable marriage
        DF Manlove; RW Irving; K Iwama; S Miyazaki; Y Morita
        THEORETICAL COMPUTER SCIENCE, Apr. 2002, Peer-reviewed
      • Inapproximability results on stable marriage problems
        M Halldorsson; K Iwama; S Miyazaki; Y Morita
        LATIN 2002: THEORETICAL INFORMATICS, 2002, Peer-reviewed
      • SATに対する局所探索法のベクトル化
        河合大輔; 宮崎修一; 岡部寿男; 岩間一雄
        情報処理学会論文誌, Apr. 2001, Peer-reviewed
      • 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, Peer-reviewed
      • Online independent sets
        MM Halldorsson; K Iwama; S Miyazaki; S Taketomi
        COMPUTING AND COMBINATORICS, PROCEEDINGS, 2000, Peer-reviewed
      • 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, Peer-reviewed
      • Approximation of coNP Sets by NP-complete Sets and Its Applications
        S. Miyazaki; K. Iwama
        Systems and Computers in Japan, 1999, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • Approximation of coNP Sets by NP-Complete Sets and Its Application.
        宮崎修一; 岩間一雄
        電子情報通信学会論文誌 D-1, Jun. 1998, Peer-reviewed
      • Local search algorithms for partial MAXSAT
        Byungki Cha; Kazuo Iwama; Yahiko Kambayashi; Shuichi Miyazaki
        Proceedings of the National Conference on Artificial Intelligence, 1997, Peer-reviewed
      • 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, Peer-reviewed
      • Approximation of coNP sets by NP-complete sets
        K Iwama; S Miyazaki
        COMPUTING AND COMBINATORICS, 1995, Peer-reviewed
      • SAT-VARIABLE COMPLEXITY OF HARD COMBINATORIAL PROBLEMS
        K IWAMA; S MIYAZAKI
        INFORMATION PROCESSING '94, VOL I, 1994, Peer-reviewed

      Misc.

      • An Efficient Judging Method of a Large Amount of E-mails Having the Same Sender and Recipient Addresses
        TSUZAKI Yoshiharu; MATSUMOTO Ryosuke; KOTANI Daisuke; MIYAZAKI Shuichi; OKABE Yasuo
        IEICE technical report. Internet Architecture, Feb. 2014
      • An FPT Algorithm for Max-Cut Parameterized by Crossing Number.
        Yasuaki Kobayashi; Yusuke Kobayashi; Shuichi Miyazaki; Suguru Tamaki
        CoRR, 2019
      • 複数希望リスト安定結婚問題に対するNP完全性の改良
        岡本和也; 宮崎修一
        2018年度情報処理学会関西支部支部大会, Sep. 2018
      • 希望リストを複数持つ安定マッチング問題 (システム数理と応用)
        岡本 和也; 宮崎 修一
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 16 Nov. 2017
      • 希望リストを複数持つ安定マッチング問題 (回路とシステム)
        岡本 和也; 宮崎 修一
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 16 Nov. 2017
      • Finding Witnesses for Stability in the Hospitals/Residents Problem
        Minseon Lee; Shuichi Miyazaki; Kazuo Iwama
        IPSJ Journal, 15 Feb. 2015
      • Stable Nash Equilibria in the Gale-Shapley Matching Game.
        Sushmita Gupta; Kazuo Iwama; Shuichi Miyazaki
        CoRR, 2015
      • Improved bounds for online k-frame throughput maximization in network switches
        KOBAYASHI Koji M.; KAWAHARA Jun; MIYAZAKI Shuichi
        IEICE technical report. Theoretical foundations of Computing, 24 Apr. 2014
      • 希望リスト変更による男性最良安定マッチングの改善
        井下貴雄; Robert W. Irving; 宮崎修一; 岩間一雄; 永瀬高志
        電子情報通信学会2013年総合大会 DS-1-1, Mar. 2013
      • 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, Peer-reviewed
      • 京都大学学術情報ネットワーク システム接続機器管理システム(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,, May 2011
      • 分散型電源を持つ電力ネットワークにおける資源配分問題
        森本尚之; 宮崎修一; 岡部寿男
        情報処理学会関西支部支部大会講演論文集(CD-ROM), 2011
      • 座席予約問題における競合比の上下限の改良
        岡本和也; 宮崎修一
        電子情報通信学会技術研究報告, 26 Nov. 2010
      • 第三者機関の仲介を必要としない配達証明付き電子メールシステムの設計
        石橋聡; 宮崎修一; 岡部寿男
        電子情報通信学会技術研究報告, 17 Nov. 2010
      • 片方のみがタイを持つ安定結婚問題に対する25/17近似アルゴリズム (アルゴリズムと計算機科学の数理的基盤とその応用)
        柳澤 弘揮; 宮崎 修一; 岩間 一雄
        数理解析研究所講究録, Jun. 2010
      • BS-8-11 2部グラフ上での分担供給可能な割当て制限付き資源配分問題(BS-8.情報通信とエネルギー管理の統合技術,シンポジウムセッション)
        森本 尚之; 宮崎 修一; 岡部 寿男
        電子情報通信学会総合大会講演論文集, 02 Mar. 2010
      • 枝コストに制限を加えたk‐Canadian Traveller Problemの競合比解析
        福田剛士; 宮崎修一; 岡部寿男
        電子情報通信学会技術研究報告, 18 Jan. 2010
      • 枝コストに制限を加えたk-Canadian Traveler Problem に対する競合比解析
        福田剛士; 宮崎修一; 岡部寿男
        信学技報,Vol.109, No. 391, CQMP2009-39:( 電子情報通信学会コンピュテーション研究会) pp. 1-8, 2010 年1 月., 2010
      • 安定マッチング問題に関する最近の話題
        宮崎修一
        電子情報通信学会技術研究報告, 18 Sep. 2009
      • 配属人数下限付き研修医配属問題 (理論計算機科学の深化と応用)
        濱田 浩気; 宮崎 修一; 岩間 一雄
        数理解析研究所講究録, May 2009
      • DS-1-6 オンラインOVSF符号割当問題における競合比の上下限の改良(DS-1. COMP学生シンポジウム,シンポジウムセッション)
        岡本 和也; 宮崎 修一
        電子情報通信学会総合大会講演論文集, 04 Mar. 2009
      • コンピュテーション研究の最前線-安定マッチング問題の研究動向-
        宮崎修一
        電子情報通信学会情報・ システムソサイェティ誌第14 巻第2 号, pp. 6-7, 2009-8., 2009
      • オンラインOVSF 符合割当問題における競合比の上下限の改良
        岡本和也; 宮崎修一
        電子盾報通信学会総合大会DS-1-6, 2009-3., 2009
      • 段階的秘密交換プロトコルを利用した配達内容証明が可能な電子メール配送システム設計上の検討
        清水敬太; 宮崎修一; 岡部寿男
        電子情報通信学会技術研究報告, 29 Oct. 2008
      • Improved Competitive Ratios of Online Buffer Management Algorithms for Multi-Queue Switches in QoS Networks
        KOBAYASHI Koji; MIYAZAKI Shuichi; OKABE Yasuo
        電子情報通信学会技術研究報告, 04 Sep. 2008
      • マジックプロトコル利用によるプライバシーに配慮したShibboleth属性交換の拡張
        高木俊宏; 古村隆明; 宮崎修一; 岡部寿男
        情報処理学会研究報告, 06 Mar. 2008
      • Approximation Algorithms for the Sex-Equal Stable Marriage Problem
        YANAGISAWA Hiroki; MIYAZAKI Shuichi; IWAMA Kazuo
        電子情報通信学会技術研究報告, 03 Mar. 2008
      • 段階的秘密交換プロトコルを利用した配達内容証明が可能な電子メールプロトコルの設計上の検討
        清水敬太; 宮崎修一; 岡部寿男
        信学技報, 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, Peer-reviewed
      • 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, Peer-reviewed
      • NP-Completeness of the Stable Roommates Problem with Triple Rooms
        OKAMOTO Kazuya; MIYAZAKI Shuichi; IWAMA Kazuo
        電子情報通信学会技術研究報告, 09 Oct. 2007
      • サイクル上でのグラフ探索問題に対する最適なオンラインアルゴリズム
        森本尚之; 宮崎修一; 岡部寿男
        電子情報通信学会技術研究報告, 13 Sep. 2007
      • A Tight Upper Bound on Online Buffer Management for Two-port Shared-Memory Switches
        KOBAYASHI Koji; MIYAZAKI Shuichi; OKABE Yasuo
        電子情報通信学会技術研究報告, 22 Jun. 2007
      • DS-1-3 安定結婚問題に対する1.8-近似アルゴリズム(DS-1.COMP-NHC学生シンポジウム,シンポジウム)
        山内 直哉; 宮崎 修一; 岩間 一雄
        電子情報通信学会総合大会講演論文集, 07 Mar. 2007
      • 離散数学のすすめ第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, Peer-reviewed
      • 安定結婚問題に対する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
      • サイクルグラフ上での地図作成問題に対する重み付き最近傍アルゴリズム
        朝廣雄一; 宮野英次; 宮崎修一; 吉牟田拓朗
        電子情報通信学会技術研究報告, 27 Nov. 2006
      • 安定結婚問題に対する1.875-近似アルゴリズム
        山内 直哉; 宮崎 修一; 岩間 一雄
        電子情報通信学会技術研究報告. COMP, コンピュテーション, Nov. 2006
      • 試問予定表作成問題の計算複雑さ
        清成悠貴; 宮野英次; 宮崎修一
        電子情報通信学会技術研究報告, 16 Jun. 2006
      • マルチキュースイッチにおけるオンラインバッファ管理アルゴリズムの競合比の改良(計算理論とアルゴリズムの新展開)
        小林 浩二; 宮崎 修一; 岡部 寿男
        数理解析研究所講究録, May 2006
      • ルータ上のバッファ管理問題に対するオンラインアルゴリズム
        宮崎修一
        電子情報通信学会誌, 01 Apr. 2006
      • “オンライン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, Peer-reviewed
      • KUINS接続機器登録データベースの概要
        宮崎修一; 久保浩史; 高見好男; 四方敏明; 櫻井恒正; 山元伸幸; 河野典; 江原康生; 高倉弘喜; 沢田篤史; 中村素典; 岡部寿男; 北野正雄
        全国共同利用情報基盤センター研究開発論文集, Oct. 2005
      • 共有メモリ型スイッチにおけるオンラインバッファ管理アルゴリズムの競合比の改良
        小林浩二; 宮崎修一; 岡部寿男
        電子情報通信学会技術研究報告, 17 Jun. 2005
      • 安定結婚問題に対する局所探索近似アルゴリズムの改良
        山内直哉; 宮崎修一; 岩間一雄
        電子情報通信学会技術研究報告, 13 May 2005
      • 安定結婚問題
        宮崎 修一
        電子情報通信学会誌, 01 Mar. 2005
      • 局所探索法による安定結婚問題の近似
        岡本和也; 宮崎修一; 岩間一雄
        電子情報通信学会技術研究報告, 22 Apr. 2004
      • D-1-2 安定結婚問題に対する局所探索近似アルゴリズム(D-1. コンピュテーション)
        岡本 和也; 宮崎 修一; 岩間 一雄
        電子情報通信学会総合大会講演論文集, 08 Mar. 2004
      • 安定結婚問題に対する局所探索近似アルゴリズム
        岡本和也; 宮崎修一; 岩間一雄
        電子情報通信学会大会講演論文集, 08 Mar. 2004
      • 不正を検出できるネットワーク軍人将棋
        加藤俊策; 宮崎修一; 岡部寿男
        電子情報通信学会技術研究報告, 15 Dec. 2003
      • 安全なギガビットネットワーク(KUINS-3)の構築と運用
        江原 康生; 高倉 弘喜; 宮崎 修一
        シンポジウム報告集, Mar. 2003
      • 安全なギガビットネットワーク KUINS-IIIの構築と運用(共著)
        宮崎 修一
        分散システム/インターネット運用技術シンポジウム2003,pp.19-24, 2003
      • 長さ2のタイを含む安定結婚問題に対する近似アルゴリズム
        柳沢弘揮; 宮崎修一; 岩間一雄; HALLDORSSON M
        電子情報通信学会技術研究報告, 19 Dec. 2002
      • ランダムタイブレークによる安定マッチングの導出
        柳沢弘揮; 宮崎修一; 岩間一雄; HALLDORSSON M
        情報科学技術フォーラム, 13 Sep. 2002, Peer-reviewed
      • LA-7 ランダムタイブレークによる安定マッチングの導出(A. アルゴリズム・基礎)
        柳澤 弘揮; 宮崎 修一; 岩間 一雄; ハルダースソン マグナス
        情報技術レターズ, Sep. 2002
      • 最大化および最小化アルゴリズムにおける近似度の関係
        宮武和史; 宮崎修一; 岩間一雄
        電子情報通信学会大会講演論文集, 07 Mar. 2001
      • 条件を緩和した安定結婚問題に対する確立近似アルゴリズム(共著)
        宮崎 修一
        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
        電子情報通信学会技術研究報告, 26 Apr. 2000
      • 安定結婚問題の近似可能性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
        盛田 保文; 宮崎 修一; 岩間 一雄; ハルダースソン マグナス
        数理解析研究所講究録, Apr. 2000
      • PVMによるSAT並列局所探索プログラム
        梅本 潤; 宮崎 修一; 岡部 寿男; 岩間 一雄
        情報処理学会研究報告. [ハイパフォーマンスコンピューティング], 02 Mar. 2000
      • SATに対する局所探索法のベクトル化
        河合大輔; 宮崎修一; 岡部寿男; 岩間一雄
        電子情報通信学会技術研究報告, 19 Jan. 2000
      • 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, Peer-reviewed
      • オンライン独立頂点集合問題に対する一般化されたオンラインアルゴリズムの性能評価(共著)
        宮崎 修一
        第60回(平成12年後期)情処全国大会講演論文集,1/,193, 2000
      • 断線したネットワークの復旧問題に対する近似アルゴリズム(共著)
        宮崎 修一
        第60回(平成12年後期)情処全国大会講演論文集,/,199, 2000
      • 安定結婚問題の近似可能性について(共著)
        宮崎 修一
        京都大学数理解析研究所講究録「計算機科学の基礎理論:21世紀の計算パラダイムを目指して」,/,124-129, 2000
      • PVM によるSATアルゴリズムの高速化(共著)
        宮崎 修一
        第60回(平成12年後期)情処全国大会講演論文集,/,177, 2000
      • 鳩の巣原理に対する木状導出原理の証明サイズの上下限の改良 (新しいパラダイムとしてのアルゴリズム工学)
        宮崎 修一; 岩間 一雄
        数理解析研究所講究録, Dec. 1999
      • On the Size of the Tree-Like Resolution for the Pigeonhole Principle.
        MIYAZAKI S; IWAMA K
        電子情報通信学会技術研究報告, 03 Sep. 1999
      • On the Analysis of the Complexity of Online Problems.
        UCHIDA A; MIYAZAKI S; IWAMA K
        電子情報通信学会技術研究報告, 23 Apr. 1999
      • 条件を緩和した安定結婚問題の複雑さ
        盛田 保文; 宮崎 修一; 岩間 一雄
        情報処理学会研究報告. AL, アルゴリズム研究会報告, 15 Mar. 1999
      • 1L-2 オンライン問題のクラス分け
        内田 敦; 宮崎 修一; 岩間 一雄
        全国大会講演論文集, 09 Mar. 1999
      • 1L-2 オンライン問題のクラス分け
        内田 敦; 宮崎 修一; 岩間 一雄
        全国大会講演論文集, 09 Mar. 1999
      • 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
        電子情報通信学会技術研究報告, 20 Nov. 1998
      • 部分MAXSATを利用した大学情報処理の自動化
        盛田 保文; 宮崎 修一; 岩間 一雄
        情報処理学会研究報告. データベース・システム研究会報告, 09 Jul. 1998
      • バックトラック法を用いた導出原理の複雑さの解析について(共著)
        宮崎 修一
        情報基礎理論ワークショップ98,/,13-18, 1998
      • 部分最適化問題の完全性
        宮崎修一; 岩間一雄
        電子情報通信学会技術研究報告, 14 Nov. 1997
      • 部分最適化問題の完全性について
        宮崎 修一; 岩間 一雄
        全国大会講演論文集, 24 Sep. 1997
      • 近似解をも考慮に入れた多項式時間変換(計算モデルと計算の複雑さに関する研究)
        宮崎 修一; 岩間 一雄
        数理解析研究所講究録, May 1996
      • 近似をも考慮に入れた多項式時間変換(共著)
        宮崎 修一
        京都大学数理解析研究所講究録950 「計算モデルと計算の複雑さに関する研究」,/,240-245, 1996
      • SATを利用した時間割作成問題の解法(共著)
        宮崎 修一
        平成8年度 第49回電気関係学会九州支部連合大会講演論文集,/,674, 1996
      • NP完全集合によるcoNP集合の近似とその応用(共著)
        宮崎 修一
        情報基礎理論ワークショップ95,/,91-96, 1995
      • SATへの変換を利用したグラフ問題の難しさの評価方法について(計算量理論)
        宮崎 修一; 岩間 一雄
        数理解析研究所講究録, May 1994
      • ハミルトン閉路問題からSATへの効率の良い帰着法について(共著)
        宮崎 修一
        平成6年度 第47回電気関係学会九州支部連合大会講演論文集,/,886, 1994
      • k-クリーク問題からSATへの効率の良い変換方法について(共著)
        宮崎 修一
        電子情報通信学会1994年春期大会講演論文集94,D-15, 1994
      • グラフの色ぬり分け問題からSATへの効率の良い変換方法とその評価
        宮崎 修一; 岩間 一雄
        全国大会講演論文集, 27 Sep. 1993
      • CNF論理式に対する局所探索法の各種例題集合に対する性能評価
        宮崎 修一
        全国大会講演論文集, 01 Mar. 1993
      • グラフの色ぬり分け問題からSATへの効率の良い変換方法について(共著)
        宮崎 修一
        情報基礎理論ワークショップ93,/,28-33, 1993
      • CNF論理式に対する局所探索法の評価(共著)
        宮崎 修一
        情報研報,93/24,97-104, 1993
      • CNF論理式の充足解に対する改良されたランダム探索法(共著)
        宮崎 修一
        平成4年度 第45回電気関係学会九州支部連合大会講演論文集,/,792, 1992
      • PVMによるSAT並列局所探索プログラム
        梅本 潤; 宮崎 修一; 岡部 寿男; 岩間 一雄
        情報処理学会研究報告. 計算機アーキテクチャ研究会報告

      Books and Other Publications

      • アルゴリズム理論の基礎
        宮崎 修一, Single work
        森北出版株式会社, May 2019, Not refereed
      • 安定マッチングの数理とアルゴリズム
        宮崎 修一, Single work
        現代数学社, May 2018, Not refereed
      • アルゴリズム図鑑 ~絵で見てわかる26のアルゴリズム~
        石田 保輝; 宮崎 修一, Joint work
        翔泳社, Jun. 2017, Not refereed
      • Stable Marriage Problem
        MIYAZAKI Shuichi, Contributor, Chapter 17 of Handbook of Graph Theory, Combinatorial Optimization, and Algorithms, pp. 403-418
        CRC Press, Dec. 2015, Not refereed
      • グラフ理論入門 ~基本とアルゴリズム~
        宮崎 修一, Single work
        森北出版株式会社, Jun. 2015, Not refereed
      • 数理工学事典
        宮崎修一, Contributor, 第V章 4.3節「分割統治法(pp. 433-434)」, 4.4節「乱択アルゴリズム(pp. 435-436)」
        朝倉書店, Oct. 2011, Not refereed
      • Stable Marriage with Ties and Incomplete Lists
        Iwama, K; Miyazaki, S, Contributor
        Encyclopedia of Algorithms, Springer, pp. 883-885, June 2008., 2008, Not refereed
      • 安定結婚問題
        宮崎修一, Contributor
        アルゴリズム工学 - 計算困難問題への挑戦 -,第6.24節 「安定結婚問題」, 杉原厚吉, 茨木俊秀, 浅野孝夫, 山下雅史編 (他章の著者62名), 共立出版, pp. 264-265, 2001., 2001, Not refereed

      Awards

      • Apr. 2006
        電子情報通信学会, 猪瀬賞
      • Aug. 2019
        30th International Workshop on Combinatorial Algorithms (IWOCA 2019) , Best paper award
      • 0000
        電子情報通信学会, ISSソサイエティ活動功労賞

      External funds: Kakenhi

      • 不完全情報に伴って生じる最悪の場合を回避する乱化技術と平均化技術の研究
        Grant-in-Aid for Scientific Research (C)
        Basic Section 60010:Theory of informatics-related
        Kyoto University
        岩間 一雄
        From 01 Apr. 2021, To 31 Mar. 2024, Suspended
      • Extensions of stable matching problems and algorithm design
        Grant-in-Aid for Scientific Research (C)
        Basic Section 60010:Theory of informatics-related
        Kyoto University
        宮崎 修一
        From 01 Apr. 2020, To 31 Mar. 2024, Granted
        安定マッチング;アルゴリズム理論;計算複雑性;NP困難性;近似アルゴリズム;例題生成;希望リスト;非交差マッチング;配属システム;モデル化
      • Research on designing assignment algorithms using stable matchings
        Grant-in-Aid for Scientific Research (C)
        Kyoto University
        Shuichi MIYAZAKI
        From 01 Apr. 2016, To 31 Mar. 2020, Project Closed
        安定マッチング;配属問題;アルゴリズム理論;多項式時間アルゴリズム;近似アルゴリズム;計算複雑性;NP困難性;耐戦略性;希望リスト;例題生成;非交差マッチング;NP完全性;最適化問題;アルゴリズム;安定結婚問題;ゲーム理論;情報基礎;モデル化;計算複雑さ
      • Randomization technologies for algorithms taking incomplete inputs
        Grant-in-Aid for Scientific Research (B)
        Kyoto University
        岩間 一雄
        From 01 Apr. 2016, To 31 Mar. 2021, Granted
        アルゴリズムの設計と解析;計算量理論;乱化技術;オンラインアルゴリズム;乱拓計算;平均解析;乱化アルゴリズム;平均計算量;乱択アルゴリズム;計算量の下限;ソーティング
      • Approximate Computing to Cope with Imperfect Information from Growing Data Size
        Grant-in-Aid for Scientific Research (A)
        Kyoto University
        KAZUO IWAMA
        From 01 Apr. 2013, To 31 Mar. 2016, Project Closed
        アルゴリズム;計算困難問題;情報の補填;数理モデル化;理論的性能保証
      • Reasonable modeling and algorithm developments of stable matching problems
        Grant-in-Aid for Scientific Research (C)
        Kyoto University
        Shuichi MIYAZAKI
        From 01 Apr. 2012, To 31 Mar. 2016, Project Closed
        アルゴリズム理論;安定マッチング;近似アルゴリズム;安定結婚問題;研修医配属問題;オンラインアルゴリズム;計算困難性;近似困難性;電力供給マッチング;近似度;同順位リスト;不完全リスト;Gale-Shapleyアルゴリズム;NP完全;アドバイス複雑度;耐戦略性;NP困難性;貪欲アルゴリズム;NP困難;APX困難
      • Studies on Algorithms for Insufficient Spatial Information
        Grant-in-Aid for Scientific Research (A)
        Kyoto University
        Kazuo IWAMA
        From 01 Apr. 2010, To 31 Mar. 2013, Project Closed
        アルゴリズム理論;グラフ問題;アルゴリズム的ゲーム理論;乱化計算;アルゴリズム;計算困難問題;情報の補填;数理モデル化;理論的性能保証;劣線形時間;乱化アルゴリズム;分散アルゴリズム;准線形時間
      • Contents-certified e-mail delivery systems using the Gradual Secret Exchange Protocol
        Grant-in-Aid for Challenging Exploratory Research
        Kyoto University
        Yasuo OKABE
        Project Closed
        インターネット;電子メール;配達内容証明;マジックプロトコル;段階的秘密交換プロトコル;暗号;一方向関数;インターネット高度化;計算機システム;高信頼性ネットワーク;秘密交換;情報セキュリティ;通信プロトコル;マルチパーティープロトコル;段階的秘密交換;セキュリティ;Trusted Third Party (TTP)
      • Research on Formalization and Algorithms for the Stable Matching Problems Adapted to Real World
        Grant-in-Aid for Young Scientists (B)
        Kyoto University
        Shuichi MIYAZAKI
        Project Closed
        アルゴリズム;組み合わせ問題;最適化問題;近似アルゴリズム;安定マッチング;研修医配属;近似困難性;安定マッチング問題;研修医配属問題;多項式時間アルゴリズム;Gale-shapleyアルゴリズム;NP困難性;近似度;組み合わせアルゴリズム;NP困難問題;Gale-Shapleyアルゴリズム;整数計画問題;線形計画緩和;安定結婚問題;最適化;線形計画問題;安定ルームメイト問題
      • Open Ubiquitous Network Architecture based on Host Identity Protocol
        Grant-in-Aid for Scientific Research (B)
        Kyoto University
        Yasuo OKABE
        From 08 Apr. 2008, To 31 Mar. 2013, Project Closed
        ユビキタスネットワーク;ロケーションプライバシ;ネットワークセキュリティ;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
      • Design and Analysis of Algorithms for Insufficient Information
        Grant-in-Aid for Scientific Research (A)
        Kyoto University
        Kazuo IWAMA
        Project Closed
        アルゴリズム理論;理論的性能保証;アルゴリズム;計算困難問題;情報の補填;数理モデル化;ロバスト計算;確率アルゴリズム;性質検査
      • 各種配属問題への安定マッチングの応用
        Grant-in-Aid for Young Scientists (B)
        Kyoto University
        宮崎 修一
        Project Closed
        安定結婚問題;安定マッチング;安定ルームメイト問題;男女平等安定マッチング;研修医配属;近似アルゴリズム;近似困難性;NP困難性;同順位リスト;不完全リスト;近似不可能性;NP困難問題
      • 不正を許さないサーバレスネットワークゲーム
        Grant-in-Aid for Exploratory Research
        Kyoto University
        岡部 寿男
        Project Closed
        ネットワークゲーム;peer-to-peer;不正防止;マルチパーティプロトコル;暗号;マジックプロトコル;認証連携;Shibbolleth;サーバレス;モデル化;秘密分散;軍人将棋
      • Studies on Diarete Algorithms with Guaranteed Quality based on Engineering Criteria
        Grant-in-Aid for Scientific Research (B)
        Kyoto University
        Kazuo IWAMA
        Project Closed
        離散アルゴリズム;工学的評価基準;離散最適化;ネットワークアルゴリズム;列挙アルゴリズム;マッチングアルゴリズム;SATアルゴリズム;近似アルゴリズム;孤立クリーク;最小頂点被覆問題;マッチング;NP完全問題, Discrete Algorithm;Quality for Engineering;Discrete Optimization;Network Algorithm;Enumeration Algorithm;Matching Algorithm;SAT Algorithm;Approximation Algorithm
      • Research on modeling and algorithms for network problems
        Grant-in-Aid for Scientific Research on Priority Areas
        Science and Engineering
        Kyoto University
        Hiro ITO
        Project Closed
        アルゴリズム;情報基礎;モデル化;ネットワーク;高信頼性ネットワーク;表計算;罫線描画;k枝連結性;プロパティテスト;安定マッチング問題;近似アルゴリズム;P2Pネットワーク;耐故障;最大被覆供給点配置問題;クラスタリング;合意最大化問題;k-連結性;プロパティテスティング;無線ネットワーク;TDMAスケジューリング;グラフアルゴリズム;スパニングツリー;平均ストレッチ;クリーク発見問題;単位円盤グラフ;供給点配置問題;耐故障性;自己安定アルゴリズム;最小頂点被覆問題;コンパクトルーティング;伸張度削減問題;タスクスケジュール;自己安定プロトコル
      • 多様な局面に適合した安足マッチング問題の解法研究
        Grant-in-Aid for Young Scientists (B)
        Kyoto University
        宮崎 修一
        Project Closed
        安定結婚問題;研修医配属問題;安定マッチング;希望リスト;同順位リスト;不完全リスト;NP困難問題;近似アルゴリズム
      • High Quality Discrete Algorithms Based on Engineering Criteria
        Grant-in-Aid for Scientific Research (B)
        Kyoto University
        Kazuo IWAMA
        Project Closed
        離散アルゴリズム;離散最適化;結婚安定問題;近似アルゴリズム;オンラインアルゴリズム;充足可能性問題;計算量理論;ネットワークアルゴリズム;工学的評価基準;安定結婚問題;ネットワークルーティング;レンタルスキー問題;平均的競合比;最悪競合比;インターネット;経路ループ回避;コンパクトルーティング;格子状ネットワーク;伸張係数;安定マッチング;確率アルゴリズム, Discrete Algorithms;Discrete Optimization;Stable Marriage Problems;Approximation Algorithms;Online Algorithms;Satisfiability Problems;Computational Complexity;Network Algorithms
      • A fast search of approximate feasible solutions for real-world combinatorial problems
        Grant-in-Aid for Scientific Research (B).
        KYOTO UNIVERSITY
        Kazuo IWAMA
        Project Closed
        実世界問題;最適化問題;充足可能性問題;局所探索法;並列;分散;PVM;大規模クラスタ;時間割作成;http通信;MAX SAT;ベクトル計算機;並列計算;学生配属問題;安定結婚問題;同順位リスト;不完全リスト;NP完全性;NP困難性, real world problem;optimization problem;CNF Satisfiability;local search algorithm;parallelization;PVM;cluster;time scheduling problem
      • Development of fast routing algorithms using adaptation and randomization
        Grant-in-Aid for Scientific Research on Priority Areas (B)
        Kyoto University
        Kazuo IWAMA
        Project Closed
        メッシュ型計算機;全置換ラウティング;無情報ラウティング;適応化;確率化;キューサイズ;ビット反転置換;2次元メッシュネットワーク;メッシュ計算機;ラウティング;ラウティングテーブル;コンパクトラウティング, mesh computers;permutation routing;oblivious routing;adaptation;randomization;queue size;bit reversal permutation
      • Solving Real-World Combinatorial Problems using High-Speed SAT-Algorithms
        Grant-in-Aid for Scientific Research (B)
        KYOTO UNIVERSITY
        Kazuo IWAMA
        Project Closed
        実世界問題;充足可能性問題;部分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

        Education

        Teaching subject(s)

        • From 2002, To 2009
          論理回路
          Spring, 工学部
        • From 2007
          アルゴリズム、計算量、離散数学(ポケゼミ)
          Spring, 全学
        • From Apr. 2011, To Mar. 2012
          アルゴリズム入門
          Spring, 全学
        • From 2002
          マルチメディア通信
          Fall, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          Advanced Study in IST I
          Year-long, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          Advanced Study in IST II
          Year-long, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          知能情報学特殊研究1
          Year-long, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          知能情報学特殊研究2
          Year-long, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          Algorithms, Computational Complexity, and Discrete
          Spring, 全学共通科目
        • From Apr. 2011, To Mar. 2012
          Introduction to Algorithms
          Spring, 全学共通科目
        • From Apr. 2012, To Mar. 2013
          Introduction to Algorithms
          Spring, 全学共通科目
        • From Apr. 2012, To Mar. 2013
          Graph Theory
          Fall, 工学部
        • From Apr. 2012, To Mar. 2013
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Algorithms, Computational Complexity, and Discrete Mathematics
          Spring, 全学共通科目
        • From Apr. 2012, To Mar. 2013
          Multimedia Communication
          Fall, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Graph Theory
          Fall, 工学部
        • From Apr. 2013, To Mar. 2014
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Multimedia Communication
          Fall, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Introduction to Algorithms
          Spring, 全学共通科目
        • From Apr. 2013, To Mar. 2014
          Algorithms, Computational Complexity, and Discrete Mathematics
          Spring, 全学共通科目
        • From Apr. 2014, To Mar. 2015
          Graph Theory
          Fall, 工学部
        • From Apr. 2014, To Mar. 2015
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Multimedia Communication
          Fall, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Advanced Seminar on Application of Multimedia
          Fall, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Introduction to Algorithms
          Spring, 全学共通科目
        • From Apr. 2014, To Mar. 2015
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Introduction to Algorithms
          Spring, 全学共通科目
        • From Apr. 2015, To Mar. 2016
          Advanced Seminar on Application of Multimedia
          Fall, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Graph Theory
          Fall, 工学部
        • From Apr. 2015, To Mar. 2016
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Multimedia Communication
          Fall, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Introduction to Algorithms
          Spring, 全学共通科目
        • From Apr. 2016, To Mar. 2017
          Advanced Seminar on Application of Multimedia
          Fall, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Graph Theory
          Fall, 工学部
        • From Apr. 2016, To Mar. 2017
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Multimedia Communication
          Fall, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Introduction to Algorithms
          Spring, 全学共通科目
        • From Apr. 2017, To Mar. 2018
          Advanced Seminar on Application of Multimedia
          Fall, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Graph Theory
          Fall, 工学部
        • From Apr. 2017, To Mar. 2018
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Multimedia Communication
          Fall, 情報学研究科
        • From Apr. 2018, To Mar. 2019
          Introduction to Algorithms
          Spring, 全学共通科目
        • From Apr. 2018, To Mar. 2019
          Graph Theory
          Fall, 工学部
        • From Apr. 2018, To Mar. 2019
          Multimedia Communication
          Fall, 情報学研究科
        • From Apr. 2019, To Mar. 2020
          Introduction to Algorithms
          Spring, 全学共通科目
        • From Apr. 2019, To Mar. 2020
          Practice in Information Security
          Spring, 工学部
        • From Apr. 2019, To Mar. 2020
          Graph Theory
          Fall, 工学部
        • From Apr. 2019, To Mar. 2020
          Multimedia Communication
          Fall, 情報学研究科
        • From Apr. 2020, To Mar. 2021
          Introduction to Algorithms
          Spring, 全学共通科目
        • From Apr. 2020, To Mar. 2021
          Practice in Information Security
          Spring, 工学部
        • From Apr. 2020, To Mar. 2021
          Graph Theory
          Fall, 工学部
        • From Apr. 2020, To Mar. 2021
          Graph Theory
          Fall, 工学部
        • From Apr. 2020, To Mar. 2021
          Multimedia Communication
          Fall, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology III
          Fall, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology II
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology I
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology IV
          Fall, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Introduction to Algorithms
          Spring, 全学共通科目
        • From Apr. 2021, To Mar. 2022
          Practice in Information Security
          Spring, 工学部
        • From Apr. 2021, To Mar. 2022
          Graph Theory
          Fall, 工学部
        • From Apr. 2021, To Mar. 2022
          Graph Theory
          Fall, 工学部
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology III
          Fall, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology II
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology I
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology IV
          Fall, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Multimedia Communication
          Fall, 情報学研究科

        Student achievements: Awards

        • 猪瀬賞(論文賞)
          岡本和也, 電子情報通信学会, 2006
        • 平成20年度電子情報通信学会 学術奨励賞
          岡本和也, 電子情報通信学会, 2009
        • 情報処理学会関西支部大会 学生奨励賞
          Minseon Lee, 情報処理学会, 25 Sep. 2013
        • 情報処理学会 第82回全国大会 学生奨励賞 大会奨励賞
          佐竹誠, 情報処理学会, Mar. 2020

        Part-time lecturer

        • From 2000, To 2001
          プログラミングII
          前期, 京都府立大学
        • From 01 Apr. 2019, To 30 Sep. 2019
          社会情報科学のための数学
          前期, 兵庫県立大学
        • From 01 Apr. 2020, To 30 Sep. 2020
          社会情報科学のための数学
          前期, 兵庫県立大学
        • From 01 Apr. 2021, To 30 Sep. 2021
          社会情報科学のための数学
          前期, 兵庫県立大学
        list
          Last Updated :2022/05/14

          Administration

          School management (title, position)

          • From 01 Apr. 2010, To 30 Sep. 2010
            吉田キャンパス整備専門委員会委員会 委員
          • From 01 Apr. 2013, To 31 Mar. 2015
            学生生活委員会 委員

          Faculty management (title, position)

          • KUINS運用委員会委員
          • 広報教育委員会委員
          • 各種仕様策定委員
          • To 31 Mar. 2014
            認証システム運用委員会委員
          • 人権問題委員会委員 委員
          • From 01 Apr. 2014
            学術情報メディアセンター情報セキュリティ委員会委員 
          • From 01 Apr. 2015, To 31 Mar. 2018
            学術情報メディアセンター及び情報環境機構安全衛生委員会委員長
          • From 01 Apr. 2014, To 31 Mar. 2016
            将来構想委員会 委員
          • 学術情報メディアセンター及び情報環境機構安全衛生委員会委員 委員
          • 学術情報メディアセンター及び情報環境機構人権問題委員会 委員
          • 学術情報メディアセンター企画・広報委員会 委員
          • 本部等構内交通委員会委員

          ページ上部へ戻る