宮崎 修一

最終更新日時: 2019/10/07 14:40:05

印刷する

氏名(漢字/フリガナ/アルファベット表記)
宮崎 修一/ミヤザキ シュウイチ/Miyazaki, Shuichi
所属部署・職名(部局/所属/講座等/職名)
学術情報メディアセンター/ネットワーク研究部門/准教授
協力講座
部局 所属 講座等 職名
情報学研究科 知能情報学専攻 メディア応用 准教授
連絡先住所
種別 住所(日本語) 住所(英語)
職場 〒606-8501 京都府京都市左京区吉田本町  Yoshida Honmachi, Sakyo-ku, Kyoto 606-8501, JAPAN
連絡先電話番号
種別 番号
職場 075-753-7418
所属学会(国内)
学会名(日本語) 学会名(英語)
情報処理学会 Information Processing Society of Japan
電子情報通信学会 The Institute of Electronics, Information and Communication Engineers
所属学会(海外)
学会名(英語) 国名
European Association for Theoretical Computer Science (EATCS) ヨーロッパ
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(工学) 九州大学
博士(工学) 九州大学
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
九州大学 大学院システム情報科学研究科博士後期課程情報工学専攻(転研究科) 修了
九州大学 大学院工学研究科修士課程情報工学専攻 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
九州大学 工学部情報工学科 卒業
出身高等学校
高等学校名 ふりがな
宮崎県立宮崎西高等学校 みやざきにしこうとうがっこう
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
1998/04〜2002/03 京都大学 情報学研究科 通信情報システム専攻 助手
2002/04〜2007/03/ 京都大学 学術情報メディアセンター 助教授
2007/04/01〜 京都大学 学術情報メディアセンター 准教授
プロフィール
(日本語)
平成10年、九州大学 大学院システム情報科学研究科 情報工学専攻 博士後期課程修了。博士(工学)。京都大学 大学院情報学研究科 助手を経て、平成14年4月より、京都大学 学術情報メディアセンター 助教授(現在は准教授)。アルゴリズム理論、計算量理論の研究に従事。所属学会は電子情報通信学会、情報処理学会、EATCS。
(英語)
Shuichi Miyazaki received BE, ME, and Ph.D. degrees from Kyushu University in 1993, 1995, and 1998, respectively. He is currently an associate professor of Academic Center for Computing and Media Studies, Kyoto University. His research interests include algorithms and computational complexity theory. He is a member of IEICE, IPSJ, and EATCS.
個人ホームページ
URL
http://www.lab2.kuis.kyoto-u.ac.jp/~shuichi/index-j.html
http://www.lab2.kuis.kyoto-u.ac.jp/~shuichi/index.html
ORCID ID
https://orcid.org/0000-0003-0369-1970
researchmap URL
https://researchmap.jp/read0161044
研究テーマ
(日本語)
効率の良いアルゴリズムの開発。問題の難しさの証明。
(英語)
Design and analysis of efficient combinatorial algorithms. Proving intractability of problems.
研究概要
(日本語)
組み合わせアルゴリズムの開発とその効率の解析、問題の複雑さの研究。特に近似アルゴリズムやオンラインアルゴリズム。
(英語)
Design and analysis of combinatorial algorithms, and intractability of problems. Specifically, approximation algorithms and online algorithms.
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
計算量理論 Computational Complexity
アルゴリズム Algorithms
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
Jose C. Nacher, Masayuki Ishitsuka, Shuichi Miyazaki, Tatsuya Akutsu Jose C. Nacher, Masayuki Ishitsuka, Shuichi Miyazaki, Tatsuya Akutsu Jose C. Nacher, Masayuki Ishitsuka, Shuichi Miyazaki, Tatsuya Akutsu Finding and analysing the minimum set of driver nodes required to control multilayer networks Finding and analysing the minimum set of driver nodes required to control multilayer networks Finding and analysing the minimum set of driver nodes required to control multilayer networks Scientific Reports, 9 Scientific Reports, 9 Scientific Reports, 9 2019/01 英語 研究論文(学術雑誌) 公開
Shuichi Miyazaki, Kazuya Okamoto Shuichi Miyazaki, Kazuya Okamoto Shuichi Miyazaki, Kazuya Okamoto Jointly stable matchings. Jointly stable matchings. Jointly stable matchings. J. Comb. Optim., 38, 2, 646-665 J. Comb. Optim., 38, 2, 646-665 J. Comb. Optim., 38, 2, 646-665 2019 英語 研究論文(学術雑誌) 公開
Yasuaki Kobayashi,Yusuke Kobayashi,Shuichi Miyazaki,Suguru Tamaki Yasuaki Kobayashi,Yusuke Kobayashi,Shuichi Miyazaki,Suguru Tamaki Yasuaki Kobayashi,Yusuke Kobayashi,Shuichi Miyazaki,Suguru Tamaki An Improved Fixed-Parameter Algorithm for Max-Cut Parameterized by Crossing Number. An Improved Fixed-Parameter Algorithm for Max-Cut Parameterized by Crossing Number. An Improved Fixed-Parameter Algorithm for Max-Cut Parameterized by Crossing Number. Combinatorial Algorithms - 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019, Proceedings, 327-338 Combinatorial Algorithms - 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019, Proceedings, 327-338 Combinatorial Algorithms - 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019, Proceedings, 327-338 2019 英語 研究論文(国際会議プロシーディングス) 公開
Jun Kawahara,Koji M. Kobayashi,Shuichi Miyazaki Jun Kawahara,Koji M. Kobayashi,Shuichi Miyazaki Jun Kawahara,Koji M. Kobayashi,Shuichi Miyazaki Better bounds for online k-frame throughput maximization in network switches. Better bounds for online k-frame throughput maximization in network switches. Better bounds for online k-frame throughput maximization in network switches. Theor. Comput. Sci., 657, 173-190 Theor. Comput. Sci., 657, 173-190 Theor. Comput. Sci., 657, 173-190 2017 英語 研究論文(学術雑誌) 公開
Koji M. Kobayashi,Shuichi Miyazaki,Yasuo Okabe Koji M. Kobayashi,Shuichi Miyazaki,Yasuo Okabe Koji M. Kobayashi,Shuichi Miyazaki,Yasuo Okabe Competitive buffer management for multi-queue switches in QoS networks using packet buffering algorithms. Competitive buffer management for multi-queue switches in QoS networks using packet buffering algorithms. Competitive buffer management for multi-queue switches in QoS networks using packet buffering algorithms. Theor. Comput. Sci., 675, 27-42 Theor. Comput. Sci., 675, 27-42 Theor. Comput. Sci., 675, 27-42 2017 英語 研究論文(学術雑誌) 公開
Yoshiyuki Mihara,Shuichi Miyazaki,Yasuo Okabe,Tetsuya Yamaguchi,Manabu Okamoto Yoshiyuki Mihara,Shuichi Miyazaki,Yasuo Okabe,Tetsuya Yamaguchi,Manabu Okamoto Yoshiyuki Mihara,Shuichi Miyazaki,Yasuo Okabe,Tetsuya Yamaguchi,Manabu Okamoto Identifying link layer home network topologies using HTIP. Identifying link layer home network topologies using HTIP. Identifying link layer home network topologies using HTIP. 14th IEEE Annual Consumer Communications & Networking Conference, CCNC 2017, Las Vegas, NV, USA, January 8-11, 2017, 891-898 14th IEEE Annual Consumer Communications & Networking Conference, CCNC 2017, Las Vegas, NV, USA, January 8-11, 2017, 891-898 14th IEEE Annual Consumer Communications & Networking Conference, CCNC 2017, Las Vegas, NV, USA, January 8-11, 2017, 891-898 2017 英語 研究論文(国際会議プロシーディングス) 公開
Shuichi Miyazaki,Kazuya Okamoto Shuichi Miyazaki,Kazuya Okamoto Shuichi Miyazaki,Kazuya Okamoto Jointly Stable Matchings. Jointly Stable Matchings. Jointly Stable Matchings. 28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand, 56:1-56:12 28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand, 56:1-56:12 28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand, 56:1-56:12 2017 英語 研究論文(国際会議プロシーディングス) 公開
Koki Hamada,Kazuo Iwama,Shuichi Miyazaki Koki Hamada,Kazuo Iwama,Shuichi Miyazaki Koki Hamada,Kazuo Iwama,Shuichi Miyazaki The Hospitals/Residents Problem with Lower Quotas. The Hospitals/Residents Problem with Lower Quotas. The Hospitals/Residents Problem with Lower Quotas. Algorithmica, 74, 1, 440-465 Algorithmica, 74, 1, 440-465 Algorithmica, 74, 1, 440-465 2016 英語 研究論文(学術雑誌) 公開
Sushmita Gupta,Kazuo Iwama,Shuichi Miyazaki Sushmita Gupta,Kazuo Iwama,Shuichi Miyazaki Sushmita Gupta,Kazuo Iwama,Shuichi Miyazaki Total Stability in Stable Matching Games. Total Stability in Stable Matching Games. Total Stability in Stable Matching Games. 15th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2016, June 22-24, 2016, Reykjavik, Iceland, 23:1-23:12 15th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2016, June 22-24, 2016, Reykjavik, Iceland, 23:1-23:12 15th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2016, June 22-24, 2016, Reykjavik, Iceland, 23:1-23:12 2016 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama,Shuichi Miyazaki Kazuo Iwama,Shuichi Miyazaki Kazuo Iwama,Shuichi Miyazaki Stable Marriage with Ties and Incomplete Lists. Stable Marriage with Ties and Incomplete Lists. Stable Marriage with Ties and Incomplete Lists. Encyclopedia of Algorithms 2016, 2071-2075 Encyclopedia of Algorithms 2016, 2071-2075 Encyclopedia of Algorithms 2016, 2071-2075 2016 英語 公開
Minseon Lee,Shuichi Miyazaki,Kazuo Iwama Minseon Lee,Shuichi Miyazaki,Kazuo Iwama Minseon Lee,Shuichi Miyazaki,Kazuo Iwama Finding Witnesses for Stability in the Hospitals/Residents Problem. Finding Witnesses for Stability in the Hospitals/Residents Problem. Finding Witnesses for Stability in the Hospitals/Residents Problem. JIP, 23, 2, 202-209 JIP, 23, 2, 202-209 JIP, 23, 2, 202-209 2015 英語 研究論文(学術雑誌) 公開
Chien-Chung Huang,Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa Chien-Chung Huang,Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa Chien-Chung Huang,Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa A Tight Approximation Bound for the Stable Marriage Problem with Restricted Ties. A Tight Approximation Bound for the Stable Marriage Problem with Restricted Ties. A Tight Approximation Bound for the Stable Marriage Problem with Restricted Ties. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2015, August 24-26, 2015, Princeton, NJ, USA, 361-380 Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2015, August 24-26, 2015, Princeton, NJ, USA, 361-380 Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2015, August 24-26, 2015, Princeton, NJ, USA, 361-380 2015 英語 研究論文(国際会議プロシーディングス) 公開
Shuichi Miyazaki,Naoyuki Morimoto,Yasuo Okabe Shuichi Miyazaki,Naoyuki Morimoto,Yasuo Okabe Shuichi Miyazaki,Naoyuki Morimoto,Yasuo Okabe Approximability of Two Variants of Multiple Knapsack Problems. Approximability of Two Variants of Multiple Knapsack Problems. Approximability of Two Variants of Multiple Knapsack Problems. Algorithms and Complexity - 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings, 365-376 Algorithms and Complexity - 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings, 365-376 Algorithms and Complexity - 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings, 365-376 2015 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa K. Iwama; S. Miyazaki; H. Yanagisawa A 25/17-Approximation Algorithm for the Stable Marriage Problem with One-Sided Ties. A 25/17-Approximation Algorithm for the Stable Marriage Problem with One-Sided Ties. A 25/17-approximation algorithm for the stable marriage problem with one-sided ties Algorithmica, 68, 3, 758-775 Algorithmica, 68, 3, 758-775 Algorithmica, 68, 3, 758-775 2014 英語 研究論文(学術雑誌) 公開
Shuichi Miyazaki Shuichi Miyazaki Shuichi Miyazaki On the advice complexity of online bipartite matching and online stable marriage. On the advice complexity of online bipartite matching and online stable marriage. On the advice complexity of online bipartite matching and online stable marriage. Inf. Process. Lett., 114, 12, 714-717 Inf. Process. Lett., 114, 12, 714-717 Inf. Process. Lett., 114, 12, 714-717 2014 英語 研究論文(学術雑誌) 公開
Takao Inoshita,Robert W. Irving,Kazuo Iwama,Shuichi Miyazaki,Takashi Nagase Takao Inoshita,Robert W. Irving,Kazuo Iwama,Shuichi Miyazaki,Takashi Nagase T. Inoshita; R.W. Irving; K. Iwama; S. Miyazaki; T. Nagase Improving Man-Optimal Stable Matchings by Minimum Change of Preference Lists. Improving Man-Optimal Stable Matchings by Minimum Change of Preference Lists. Improving man-optimal stable matchings by minimum change of preference lists Algorithms, 6, 2, 371-382 Algorithms, 6, 2, 371-382 Algorithms, 6, 2, 371-382 2013 英語 研究論文(学術雑誌) 公開
Jun Kawahara,Koji M. Kobayashi,Shuichi Miyazaki Jun Kawahara,Koji M. Kobayashi,Shuichi Miyazaki J. Kawahara; K.M. Kobayashi; S. Miyazaki Better Bounds for Online k-Frame Throughput Maximization in Network Switches. Better Bounds for Online k-Frame Throughput Maximization in Network Switches. Better bounds for online k-frame throughput maximization in network switches Algorithms and Computation - 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings, 8283 LNCS, 218-228 Algorithms and Computation - 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings, 8283 LNCS, 218-228 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8283 LNCS, 218-228 2013 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa K. Iwama; S. Miyazaki; H. Yanagisawa Improved approximation bounds for the Student-Project Allocation problem with preferences over projects. Improved approximation bounds for the Student-Project Allocation problem with preferences over projects. Improved approximation bounds for the Student-Project Allocation problem with preferences over projects J. Discrete Algorithms, 13, 59-66 J. Discrete Algorithms, 13, 59-66 Journal of Discrete Algorithms, 13, 59-66 2012 英語 研究論文(学術雑誌) 公開
K. Iwama; S. Miyazaki; H. Yanagisawa K. Iwama; S. Miyazaki; H. Yanagisawa K. Iwama; S. Miyazaki; H. Yanagisawa Improved approximation bounds for the student-project allocation problem with preferences over projects Improved approximation bounds for the student-project allocation problem with preferences over projects Improved approximation bounds for the student-project allocation problem with preferences over projects Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6648 LNCS, 440-451 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6648 LNCS, 440-451 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6648 LNCS, 440-451 2011 英語 研究論文(国際会議プロシーディングス) 公開
S. Ishibashi; S. Miyazaki; Y. Okabe S. Ishibashi; S. Miyazaki; Y. Okabe S. Ishibashi; S. Miyazaki; Y. Okabe Design and implementation of a certified document delivery system without a trusted intermediate authority Design and implementation of a certified document delivery system without a trusted intermediate authority Design and implementation of a certified document delivery system without a trusted intermediate authority Proceedings - 11th IEEE/IPSJ International Symposium on Applications and the Internet, SAINT 2011, 20-26 Proceedings - 11th IEEE/IPSJ International Symposium on Applications and the Internet, SAINT 2011, 20-26 Proceedings - 11th IEEE/IPSJ International Symposium on Applications and the Internet, SAINT 2011, 20-26 2011 英語 研究論文(国際会議プロシーディングス) 公開
K. Hamada; K. Iwama; S. Miyazaki K. Hamada; K. Iwama; S. Miyazaki K. Hamada; K. Iwama; S. Miyazaki The hospitals/residents problem with quota lower bounds The hospitals/residents problem with quota lower bounds The hospitals/residents problem with quota lower bounds Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6942 LNCS, 180-191 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6942 LNCS, 180-191 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6942 LNCS, 180-191 2011 英語 研究論文(国際会議プロシーディングス) 公開
Yuichi Asahiro,Eiji Miyano,Shuichi Miyazaki,Takuro Yoshimuta Yuichi Asahiro,Eiji Miyano,Shuichi Miyazaki,Takuro Yoshimuta Yuichi Asahiro,Eiji Miyano,Shuichi Miyazaki,Takuro Yoshimuta Weighted nearest neighbor algorithms for the graph exploration problem on cycles. Weighted nearest neighbor algorithms for the graph exploration problem on cycles. Weighted nearest neighbor algorithms for the graph exploration problem on cycles. Inf. Process. Lett., 110, 3, 93-98 Inf. Process. Lett., 110, 3, 93-98 Inf. Process. Lett., 110, 3, 93-98 2010/01/01 英語 研究論文(学術雑誌) 公開
K. Iwama; S. Miyazaki; H. Yanagisawa K. Iwama; S. Miyazaki; H. Yanagisawa K. Iwama; S. Miyazaki; H. Yanagisawa A 25/17-approximation algorithm for the stable marriage problem with one-sided ties A 25/17-approximation algorithm for the stable marriage problem with one-sided ties A 25/17-approximation algorithm for the stable marriage problem with one-sided ties Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6347 LNCS, PART 2, 135-146 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6347 LNCS, PART 2, 135-146 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6347 LNCS, PART 2, 135-146 2010 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa K. Iwama; S. Miyazaki; H. Yanagisawa Approximation algorithms for the sex-equal stable marriage problem. Approximation algorithms for the sex-equal stable marriage problem. Approximation algorithms for the sex-equal stable marriage problem ACM Trans. Algorithms, 7, 1, 2:1-2:17 ACM Trans. Algorithms, 7, 1, 2:1-2:17 ACM Transactions on Algorithms, 7, 1, 2:1-2:17 2010 英語 研究論文(学術雑誌) 公開
Shuichi Miyazaki,Kazuya Okamoto Shuichi Miyazaki,Kazuya Okamoto S. Miyazaki; K. Okamoto Improving the Competitive Ratios of the Seat Reservation Problem. Improving the Competitive Ratios of the Seat Reservation Problem. Improving the competitive ratios of the seat reservation problem 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, 323 AICT, 328-339 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, 323 AICT, 328-339 IFIP Advances in Information and Communication Technology, 323 AICT, 328-339 2010 英語 研究論文(国際会議プロシーディングス) 公開
Shuichi Miyazaki,Naoyuki Morimoto,Yasuo Okabe Shuichi Miyazaki,Naoyuki Morimoto,Yasuo Okabe Shuichi Miyazaki,Naoyuki Morimoto,Yasuo Okabe The Online Graph Exploration Problem on Restricted Graphs. The Online Graph Exploration Problem on Restricted Graphs. The Online Graph Exploration Problem on Restricted Graphs. IEICE Transactions, 92-D, 9, 1620-1627 IEICE Transactions, 92-D, 9, 1620-1627 IEICE Transactions, 92-D, 9, 1620-1627 2009/09 英語 研究論文(学術雑誌) 公開
Koki Hamada,Kazuo Iwama,Shuichi Miyazaki Koki Hamada,Kazuo Iwama,Shuichi Miyazaki Koki Hamada,Kazuo Iwama,Shuichi Miyazaki An improved approximation lower bound for finding almost stable maximum matchings. An improved approximation lower bound for finding almost stable maximum matchings. An improved approximation lower bound for finding almost stable maximum matchings. Inf. Process. Lett., 109, 18, 1036-1040 Inf. Process. Lett., 109, 18, 1036-1040 Inf. Process. Lett., 109, 18, 1036-1040 2009/08/31 英語 研究論文(学術雑誌) 公開
Naoyuki Kamiyama,Yuuki Kiyonari,Eiji Miyano,Shuichi Miyazaki,Katsuhisa Yamanaka Naoyuki Kamiyama,Yuuki Kiyonari,Eiji Miyano,Shuichi Miyazaki,Katsuhisa Yamanaka Naoyuki Kamiyama,Yuuki Kiyonari,Eiji Miyano,Shuichi Miyazaki,Katsuhisa Yamanaka Computational Complexities of University Interview Timetabling. Computational Complexities of University Interview Timetabling. Computational Complexities of University Interview Timetabling. IEICE Transactions, 92-D, 2, 130-140 IEICE Transactions, 92-D, 2, 130-140 IEICE Transactions, 92-D, 2, 130-140 2009/02 英語 研究論文(学術雑誌) 公開
K. Shimizu; S. Miyazaki; Y. Okabe K. Shimizu; S. Miyazaki; Y. Okabe K. Shimizu; S. Miyazaki; Y. Okabe Design and implementation of a certified mail exchange system using simultaneous secret exchange Design and implementation of a certified mail exchange system using simultaneous secret exchange Design and implementation of a certified mail exchange system using simultaneous secret exchange Proceedings - 2009 9th Annual International Symposium on Applications and the Internet, SAINT 2009, 37-42 Proceedings - 2009 9th Annual International Symposium on Applications and the Internet, SAINT 2009, 37-42 Proceedings - 2009 9th Annual International Symposium on Applications and the Internet, SAINT 2009, 37-42 2009 英語 研究論文(国際会議プロシーディングス) 公開
K. Kobayashi; S. Miyazaki; Y. Okabe K. Kobayashi; S. Miyazaki; Y. Okabe K. Kobayashi; S. Miyazaki; Y. Okabe Competitive buffer management for multi-queue switches in QoS networks using packet buffering algorithms Competitive buffer management for multi-queue switches in QoS networks using packet buffering algorithms Competitive buffer management for multi-queue switches in QoS networks using packet buffering algorithms Annual ACM Symposium on Parallelism in Algorithms and Architectures, 328-336 Annual ACM Symposium on Parallelism in Algorithms and Architectures, 328-336 Annual ACM Symposium on Parallelism in Algorithms and Architectures, 328-336 2009 英語 研究論文(国際会議プロシーディングス) 公開
Shuichi Miyazaki,Kazuya Okamoto Shuichi Miyazaki,Kazuya Okamoto S. Miyazaki; K. Okamoto Improving the Competitive Ratio of the Online OVSF Code Assignment Problem. Improving the Competitive Ratio of the Online OVSF Code Assignment Problem. Improving the competitive ratio of the online OVSF code assignment problem Algorithms, 2, 3, 953-972 Algorithms, 2, 3, 953-972 Algorithms, 2, 3, 953-972 2009 英語 研究論文(学術雑誌) 公開
Koji M. Kobayashi,Shuichi Miyazaki,Yasuo Okabe Koji M. Kobayashi,Shuichi Miyazaki,Yasuo Okabe Koji M. Kobayashi,Shuichi Miyazaki,Yasuo Okabe A Tight Upper Bound on Online Buffer Management for Multi-Queue Switches with Bicodal Buffers. A Tight Upper Bound on Online Buffer Management for Multi-Queue Switches with Bicodal Buffers. A Tight Upper Bound on Online Buffer Management for Multi-Queue Switches with Bicodal Buffers. IEICE Transactions, 91-D, 12, 2757-2769 IEICE Transactions, 91-D, 12, 2757-2769 IEICE Transactions, 91-D, 12, 2757-2769 2008/12 英語 研究論文(学術雑誌) 公開
Koji M. Kobayashi,Shuichi Miyazaki,Yasuo Okabe Koji M. Kobayashi,Shuichi Miyazaki,Yasuo Okabe Koji M. Kobayashi,Shuichi Miyazaki,Yasuo Okabe A Tight Bound on Online Buffer Management for Two-Port Shared-Memory Switches. A Tight Bound on Online Buffer Management for Two-Port Shared-Memory Switches. A Tight Bound on Online Buffer Management for Two-Port Shared-Memory Switches. IEICE Transactions, 91-D, 8, 2105-2114 IEICE Transactions, 91-D, 8, 2105-2114 IEICE Transactions, 91-D, 8, 2105-2114 2008/08 英語 研究論文(学術雑誌) 公開
K. Iwama; S. Miyazaki; N. Yamauchi K. Iwama; S. Miyazaki; N. Yamauchi K. Iwama; S. Miyazaki; N. Yamauchi A (2 - c1/√N)-approximation algorithm for the stable marriage problem A (2 - c1/√N)-approximation algorithm for the stable marriage problem A (2 - c1/√N)-approximation algorithm for the stable marriage problem Algorithmica (New York), 51, 3, 342-356 Algorithmica (New York), 51, 3, 342-356 Algorithmica (New York), 51, 3, 342-356 2008/07 英語 公開
T. Takagi; T. Komura; S. Miyazaki; Y. Okabe T. Takagi; T. Komura; S. Miyazaki; Y. Okabe T. Takagi; T. Komura; S. Miyazaki; Y. Okabe Privacy oriented attribute exchange in shibboleth using magic protocols Privacy oriented attribute exchange in shibboleth using magic protocols Privacy oriented attribute exchange in shibboleth using magic protocols Proceedings - 2008 International Symposium on Applications and the Internet, SAINT 2008, 293-296 Proceedings - 2008 International Symposium on Applications and the Internet, SAINT 2008, 293-296 Proceedings - 2008 International Symposium on Applications and the Internet, SAINT 2008, 293-296 2008 英語 研究論文(国際会議プロシーディングス) 公開
S. Miyazaki; K. Okamoto S. Miyazaki; K. Okamoto S. Miyazaki; K. Okamoto Improving the competitive ratio of the online OVSF code assignment problem Improving the competitive ratio of the online OVSF code assignment problem Improving the competitive ratio of the online OVSF code assignment problem Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5369 LNCS, 64-76 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5369 LNCS, 64-76 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5369 LNCS, 64-76 2008 英語 研究論文(国際会議プロシーディングス) 公開
K. Iwama; S. Miyazaki K. Iwama; S. Miyazaki K. Iwama; S. Miyazaki A survey of the stable marriage problem and its variants A survey of the stable marriage problem and its variants A survey of the stable marriage problem and its variants Proceedings - International Conference on Informatics Education and Research for Knowledge-Circulating Society, ICKS 2008, 131-136 Proceedings - International Conference on Informatics Education and Research for Knowledge-Circulating Society, ICKS 2008, 131-136 Proceedings - International Conference on Informatics Education and Research for Knowledge-Circulating Society, ICKS 2008, 131-136 2008 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama,Shuichi Miyazaki,Naoya Yamauchi Kazuo Iwama,Shuichi Miyazaki,Naoya Yamauchi Kazuo Iwama,Shuichi Miyazaki,Naoya Yamauchi A (2-c(1/sqrt(N)))-Approximation Algorithm for the Stable Marriage Problem. A (2-c(1/sqrt(N)))-Approximation Algorithm for the Stable Marriage Problem. A (2-c(1/sqrt(N)))-Approximation Algorithm for the Stable Marriage Problem. Algorithmica, 51, 3, 342-356 Algorithmica, 51, 3, 342-356 Algorithmica, 51, 3, 342-356 2008 英語 研究論文(学術雑誌) 公開
Kazuo Iwama,Shuichi Miyazaki Kazuo Iwama,Shuichi Miyazaki Iwama. K., Miyazaki. S., Stable Marriage with Ties and Incomplete Lists. Stable Marriage with Ties and Incomplete Lists. Stable Marriage with Ties and Incomplete Lists Encyclopedia of Algorithms - 2008 Edition Encyclopedia of Algorithms - 2008 Edition Encyclopedia of Algorithms, Springer, pp. 883-885, 2008-6 2008 英語 公開
Y. Asahiro; E. Miyano; S. Miyazaki; T. Yoshimuta Y. Asahiro; E. Miyano; S. Miyazaki; T. Yoshimuta Y. Asahiro; E. Miyano; S. Miyazaki; T. Yoshimuta Weighted nearest neighbor algorithms for the graph exploration problem on cycles Weighted nearest neighbor algorithms for the graph exploration problem on cycles Weighted nearest neighbor algorithms for the graph exploration problem on cycles Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4362 LNCS, 164-175 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4362 LNCS, 164-175 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4362 LNCS, 164-175 2007 英語 研究論文(国際会議プロシーディングス) 公開
K. Kobayashi; S. Miyazaki; Y. Okabe K. Kobayashi; S. Miyazaki; Y. Okabe K. Kobayashi; S. Miyazaki; Y. Okabe A tight bound on online buffer management for two-port shared-memory switches A tight bound on online buffer management for two-port shared-memory switches A tight bound on online buffer management for two-port shared-memory switches Annual ACM Symposium on Parallelism in Algorithms and Architectures, 358-364 Annual ACM Symposium on Parallelism in Algorithms and Architectures, 358-364 Annual ACM Symposium on Parallelism in Algorithms and Architectures, 358-364 2007 英語 研究論文(国際会議プロシーディングス) 公開
Iwama, K., Miyazaki, S. and Yamauchi, N. Iwama, K., Miyazaki, S. and Yamauchi, N. Iwama, K., Miyazaki, S. and Yamauchi, N. A 1.875-Approximation Algorithm for the Stable Marriage Problem A 1.875-Approximation Algorithm for the Stable Marriage Problem A 1.875-Approximation Algorithm for the Stable Marriage Problem Proc. 18th ACM-SIAM Symposium on Discrete Algorithms (SODA 2007) pp. 288-297, Jan., 2007. Proc. 18th ACM-SIAM Symposium on Discrete Algorithms (SODA 2007) pp. 288-297, Jan., 2007. Proc. 18th ACM-SIAM Symposium on Discrete Algorithms (SODA 2007) pp. 288-297, Jan., 2007. 2007 英語 研究論文(国際会議プロシーディングス) 公開
Iwama K., Miyazaki S. and Yanagisawa H. Iwama K., Miyazaki S. and Yanagisawa H. Iwama K., Miyazaki S. and Yanagisawa H. Approximation Algorithms for the Sex-Equal Stable Marriage Problem Approximation Algorithms for the Sex-Equal Stable Marriage Problem Approximation Algorithms for the Sex-Equal Stable Marriage Problem Proc. 10th Workshop on Algorithms and Data Structures (WADS 2007), (Lecture Notes in Computer Science 4619), pp. 201-213, 4619 LNCS, 201-213 Proc. 10th Workshop on Algorithms and Data Structures (WADS 2007), (Lecture Notes in Computer Science 4619), pp. 201-213, 4619 LNCS, 201-213 Proc. 10th Workshop on Algorithms and Data Structures (WADS 2007), (Lecture Notes in Computer Science 4619), pp. 201-213, 4619 LNCS, 201-213 2007 英語 研究論文(国際会議プロシーディングス) 公開
Magnús M. Halldórsson,Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa Magnús M. Halldórsson,Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa M.M. Halldórsson; K. Iwama; S. Miyazaki; H. Yanagisawa Improved approximation results for the stable marriage problem. Improved approximation results for the stable marriage problem. Improved approximation results for the stable marriage problem ACM Trans. Algorithms, 3, 3, 30 ACM Trans. Algorithms, 3, 3, 30 ACM Transactions on Algorithms, 3, 3, 30 2007 英語 研究論文(学術雑誌) 公開
Kazuo Iwama,Shuichi Miyazaki,Kazuya Okamoto Kazuo Iwama,Shuichi Miyazaki,Kazuya Okamoto Kazuo Iwama,Shuichi Miyazaki,Kazuya Okamoto A (2 - clog N/N)-Approximation Algorithm for the Stable Marriage Problem. A (2 - clog N/N)-Approximation Algorithm for the Stable Marriage Problem. A (2 - clog N/N)-Approximation Algorithm for the Stable Marriage Problem. IEICE Transactions, 89-D, 8, 2380-2387 IEICE Transactions, 89-D, 8, 2380-2387 IEICE Transactions, 89-D, 8, 2380-2387 2006/08 英語 研究論文(学術雑誌) 公開
Kato, S., Miyazaki, S., Nishimura, Y. and Okabe, Y. Kato, S., Miyazaki, S., Nishimura, Y. and Okabe, Y. Kato, S., Miyazaki, S., Nishimura, Y. and Okabe, Y. Cheat-proof Serverless Network Games Cheat-proof Serverless Network Games Cheat-proof Serverless Network Games 5th International Conference on Computers and Games (CG 2006) (Lecture Notes in Computer Science 4630), pp. 234-243, May 2006. 5th International Conference on Computers and Games (CG 2006) (Lecture Notes in Computer Science 4630), pp. 234-243, May 2006. 5th International Conference on Computers and Games (CG 2006) (Lecture Notes in Computer Science 4630), pp. 234-243, May 2006. 2006 英語 研究論文(国際会議プロシーディングス) 公開
K. Iwama; S. Miyazaki; N. Yamauchi K. Iwama; S. Miyazaki; N. Yamauchi K. Iwama; S. Miyazaki; N. Yamauchi A (2 - c1/√N)-approximation algorithm for the stable marriage problem A (2 - c1/√N)-approximation algorithm for the stable marriage problem A (2 - c1/√N)-approximation algorithm for the stable marriage problem Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3827, 902-914 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3827, 902-914 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3827, 902-914 2005 英語 公開
Kazuo Iwama,Shuichi Miyazaki,Naoya Yamauchi Kazuo Iwama,Shuichi Miyazaki,Naoya Yamauchi Kazuo Iwama,Shuichi Miyazaki,Naoya Yamauchi A (2-c*(1/sqrt(N)))-Approximation Algorithm for the Stable Marriage Problem. A (2-c*(1/sqrt(N)))-Approximation Algorithm for the Stable Marriage Problem. A (2-c*(1/sqrt(N)))-Approximation Algorithm for the Stable Marriage Problem. Algorithms and Computation, 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings, 902-914 Algorithms and Computation, 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings, 902-914 Algorithms and Computation, 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings, 902-914 2005 英語 研究論文(国際会議プロシーディングス) 公開
Magnús M. Halldórsson,Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa Magnús M. Halldórsson,Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa Magnús M. Halldórsson,Kazuo Iwama,Shuichi Miyazaki,Hiroki Yanagisawa Randomized approximation of the stable marriage problem. Randomized approximation of the stable marriage problem. Randomized approximation of the stable marriage problem. Theor. Comput. Sci., 325, 3, 439-465 Theor. Comput. Sci., 325, 3, 439-465 Theor. Comput. Sci., 325, 3, 439-465 2004/10/06 英語 研究論文(学術雑誌) 公開
K. Iwama; S. Miyazaki; K. Okamoto K. Iwama; S. Miyazaki; K. Okamoto K. Iwama; S. Miyazaki; K. Okamoto A (2 - C log N/N)-approximation algorithm for the stable marriage problem A (2 - C log N/N)-approximation algorithm for the stable marriage problem A (2 - C log N/N)-approximation algorithm for the stable marriage problem Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3111, 349-361 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3111, 349-361 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3111, 349-361 2004 英語 研究論文(国際会議プロシーディングス) 公開
Magnús M. Halldórsson,Robert W. Irving,Kazuo Iwama,David F. Manlove,Shuichi Miyazaki,Yasufumi Morita,Sandy Scott Magnús M. Halldórsson,Robert W. Irving,Kazuo Iwama,David F. Manlove,Shuichi Miyazaki,Yasufumi Morita,Sandy Scott Magnús M. Halldórsson,Robert W. Irving,Kazuo Iwama,David F. Manlove,Shuichi Miyazaki,Yasufumi Morita,Sandy Scott Approximability results for stable marriage problems with ties. Approximability results for stable marriage problems with ties. Approximability results for stable marriage problems with ties. Theor. Comput. Sci., 306, 1-3, 431-447 Theor. Comput. Sci., 306, 1-3, 431-447 Theor. Comput. Sci., 306, 1-3, 431-447 2003/09 英語 研究論文(学術雑誌) 公開
高倉 弘喜;江原 康生;宮崎 修一;沢田 篤史;中村 基典;岡部 寿男 高倉 弘喜;江原 康生;宮崎 修一;沢田 篤史;中村 基典;岡部 寿男 安全なギガビットネットワークシステムKUINS-IIIの構成とセキュリティ対策(ネットワーク管理)(<特集>インターネットアーキテクチャ技術論文) 安全なギガビットネットワークシステムKUINS-IIIの構成とセキュリティ対策(ネットワーク管理)(<特集>インターネットアーキテクチャ技術論文) 電子情報通信学会論文誌. B, 通信, 86, 8, 1494-1501 電子情報通信学会論文誌. B, 通信, 86, 8, 1494-1501 , 86, 8, 1494-1501 2003/08 日本語 研究論文(学術雑誌) 公開
M. Halldórsson; K. Iwama; S. Miyazaki; H. Yanagisawa M. Halldórsson; K. Iwama; S. Miyazaki; H. Yanagisawa M. Halldórsson; K. Iwama; S. Miyazaki; H. Yanagisawa Randomized approximation of the stable marriage problem Randomized approximation of the stable marriage problem Randomized approximation of the stable marriage problem Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2697, 339-350 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2697, 339-350 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2697, 339-350 2003 英語 研究論文(国際会議プロシーディングス) 公開
M.M. Halldórsson; K. Iwama; S. Miyazaki; H. Yanagisawa M.M. Halldórsson; K. Iwama; S. Miyazaki; H. Yanagisawa M.M. Halldórsson; K. Iwama; S. Miyazaki; H. Yanagisawa Improved approximation of the stable marriage problem Improved approximation of the stable marriage problem Improved approximation of the stable marriage problem Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2832, 266-277 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2832, 266-277 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2832, 266-277 2003 英語 研究論文(国際会議プロシーディングス) 公開
Magnús M. Halldórsson,Kazuo Iwama,Shuichi Miyazaki,Shiro Taketomi Magnús M. Halldórsson,Kazuo Iwama,Shuichi Miyazaki,Shiro Taketomi Magnús M. Halldórsson,Kazuo Iwama,Shuichi Miyazaki,Shiro Taketomi Online independent sets. Online independent sets. Online independent sets. Theor. Comput. Sci., 289, 2, 953-962 Theor. Comput. Sci., 289, 2, 953-962 Theor. Comput. Sci., 289, 2, 953-962 2002/10/30 英語 研究論文(学術雑誌) 公開
David F. Manlove,Robert W. Irving,Kazuo Iwama,Shuichi Miyazaki,Yasufumi Morita David F. Manlove,Robert W. Irving,Kazuo Iwama,Shuichi Miyazaki,Yasufumi Morita David F. Manlove,Robert W. Irving,Kazuo Iwama,Shuichi Miyazaki,Yasufumi Morita Hard variants of stable marriage. Hard variants of stable marriage. Hard variants of stable marriage. Theor. Comput. Sci., 276, 1-2, 261-279 Theor. Comput. Sci., 276, 1-2, 261-279 Theor. Comput. Sci., 276, 1-2, 261-279 2002/04 英語 研究論文(学術雑誌) 公開
Halldorsson, M; Iwama, K; Miyazaki, S; Morita, Y Halldorsson, M; Iwama, K; Miyazaki, S; Morita, Y Halldorsson, M; Iwama, K; Miyazaki, S; Morita, Y Inapproximability results on stable marriage problems Inapproximability results on stable marriage problems Inapproximability results on stable marriage problems LATIN 2002: THEORETICAL INFORMATICS, 2286, 554-568 LATIN 2002: THEORETICAL INFORMATICS, 2286, 554-568 LATIN 2002: THEORETICAL INFORMATICS, 2286, 554-568 2002 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama,Daisuke Kawai,Shuichi Miyazaki,Yasuo Okabe,Jun Umemoto Kazuo Iwama,Daisuke Kawai,Shuichi Miyazaki,Yasuo Okabe,Jun Umemoto Iwama, K., Kawai, D., Miyazaki, S., Okabe, Y. and Umemoto, J. Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM. Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM. Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM ACM Journal of Experimental Algorithmics, 7, 2 ACM Journal of Experimental Algorithmics, 7, 2 The ACM Journal of Experimental Algorithmics, Volume 7, Article 2, 2002., 7, 2 2002 英語 研究論文(学術雑誌) 公開
河合大輔,宮崎修一,岡部寿男,岩間一雄 河合大輔,宮崎修一,岡部寿男,岩間一雄 SATに対する局所探索法のベクトル化 SATに対する局所探索法のベクトル化 情報処理学会論文誌, 42, 4, 754-761 情報処理学会論文誌, 42, 4, 754-761 , 42, 4, 754-761 2001/04 日本語 研究論文(学術雑誌) 公開
K. Iwama; D. Kawai; S. Miyazaki; Y. Okabe; J. Umemoto K. Iwama; D. Kawai; S. Miyazaki; Y. Okabe; J. Umemoto K. Iwama; D. Kawai; S. Miyazaki; Y. Okabe; J. Umemoto Parallelizing local search for CNF satisfiability using vectorization and PVM Parallelizing local search for CNF satisfiability using vectorization and PVM Parallelizing local search for CNF satisfiability using vectorization and PVM Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1982 LNCS, 123-134 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1982 LNCS, 123-134 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1982 LNCS, 123-134 2001 英語 研究論文(国際会議プロシーディングス) 公開
Halldorsson, MM; Iwama, K; Miyazaki, S; Taketomi, S Halldorsson, MM; Iwama, K; Miyazaki, S; Taketomi, S Halldorsson, MM; Iwama, K; Miyazaki, S; Taketomi, S Online independent sets Online independent sets Online independent sets COMPUTING AND COMBINATORICS, PROCEEDINGS, 1858, 202-209 COMPUTING AND COMBINATORICS, PROCEEDINGS, 1858, 202-209 COMPUTING AND COMBINATORICS, PROCEEDINGS, 1858, 202-209 2000 英語 研究論文(国際会議プロシーディングス) 公開
Kazuo Iwama,Daisuke Kawai,Shuichi Miyazaki,Yasuo Okabe,Jun Umemoto Kazuo Iwama,Daisuke Kawai,Shuichi Miyazaki,Yasuo Okabe,Jun Umemoto Kazuo Iwama,Daisuke Kawai,Shuichi Miyazaki,Yasuo Okabe,Jun Umemoto Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM. Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM. Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM. Algorithm Engineering, 4th International Workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000, Proceedings, 123-134 Algorithm Engineering, 4th International Workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000, Proceedings, 123-134 Algorithm Engineering, 4th International Workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000, Proceedings, 123-134 2000 英語 研究論文(国際会議プロシーディングス) 公開
K. Iwama; D. Manlove; S. Miyazaki; Y. Morita K. Iwama; D. Manlove; S. Miyazaki; Y. Morita K. Iwama; D. Manlove; S. Miyazaki; Y. Morita Stable marriage with incomplete lists and ties Stable marriage with incomplete lists and ties Stable marriage with incomplete lists and ties Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1644 LNCS, 443-452 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1644 LNCS, 443-452 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1644 LNCS, 443-452 1999 英語 研究論文(国際会議プロシーディングス) 公開
Shuichi Miyazaki,Kazuo Iwama Shuichi Miyazaki,Kazuo Iwama S. Miyazaki; K. Iwama Approximation of coNP sets by NP-complete sets and its applications. Approximation of coNP sets by NP-complete sets and its applications. Approximation of coNP Sets by NP-complete Sets and Its Applications Systems and Computers in Japan, 30, 7, 47-54 Systems and Computers in Japan, 30, 7, 47-54 Systems and Computers in Japan, 30, 7, 47-54 1999 英語 研究論文(学術雑誌) 公開
Kazuo Iwama,Shuichi Miyazaki Kazuo Iwama,Shuichi Miyazaki Kazuo Iwama,Shuichi Miyazaki Tree-Like Resolution Is Superpolynomially Slower Than DAG-Like Resolution for the Pigeonhole Principle. Tree-Like Resolution Is Superpolynomially Slower Than DAG-Like Resolution for the Pigeonhole Principle. Tree-Like Resolution Is Superpolynomially Slower Than DAG-Like Resolution for the Pigeonhole Principle. Algorithms and Computation, 10th International Symposium, ISAAC '99, Chennai, India, December 16-18, 1999, Proceedings, 133-142 Algorithms and Computation, 10th International Symposium, ISAAC '99, Chennai, India, December 16-18, 1999, Proceedings, 133-142 Algorithms and Computation, 10th International Symposium, ISAAC '99, Chennai, India, December 16-18, 1999, Proceedings, 133-142 1999 英語 研究論文(国際会議プロシーディングス) 公開
宮崎修一;岩間一雄 宮崎修一;岩間一雄 Approximation of coNP Sets by NP-Complete Sets and Its Application. Approximation of coNP Sets by NP-Complete Sets and Its Application. 電子情報通信学会論文誌 D-1, J81-D-1, 6, 677-684 電子情報通信学会論文誌 D-1, J81-D-1, 6, 677-684 , J81-D-1, 6, 677-684 1998/06 日本語 研究論文(学術雑誌) 公開
Byungki Cha; Kazuo Iwama; Yahiko Kambayashi; Shuichi Miyazaki Byungki Cha; Kazuo Iwama; Yahiko Kambayashi; Shuichi Miyazaki Byungki Cha; Kazuo Iwama; Yahiko Kambayashi; Shuichi Miyazaki Local search algorithms for partial MAXSAT Local search algorithms for partial MAXSAT Local search algorithms for partial MAXSAT Proceedings of the National Conference on Artificial Intelligence, 263-268 Proceedings of the National Conference on Artificial Intelligence, 263-268 Proceedings of the National Conference on Artificial Intelligence, 263-268 1997 英語 公開
Miyazaki, S., Iwama, K. and Kambayashi, Y., Miyazaki, S., Iwama, K. and Kambayashi, Y., Miyazaki, S., Iwama, K. and Kambayashi, Y., Database Queries as Combinatorial Optimization Problems Database Queries as Combinatorial Optimization Problems Database Queries as Combinatorial Optimization Problems Proc. International Symposium on Cooperative Database Systems for Advanced Applications (CODAS'96), pp.448-454, 1996. Proc. International Symposium on Cooperative Database Systems for Advanced Applications (CODAS'96), pp.448-454, 1996. Proc. International Symposium on Cooperative Database Systems for Advanced Applications (CODAS'96), pp.448-454, 1996. 1996 英語 公開
Iwama, K; Miyazaki, S Iwama, K; Miyazaki, S Iwama, K; Miyazaki, S Approximation of coNP sets by NP-complete sets Approximation of coNP sets by NP-complete sets Approximation of coNP sets by NP-complete sets OMPUTING AND COMBINATORICS, 959, 11-20 OMPUTING AND COMBINATORICS, 959, 11-20 COMPUTING AND COMBINATORICS, 959, 11-20 1995 英語 公開
Kazuo Iwama,Shuichi Miyazaki Kazuo Iwama,Shuichi Miyazaki Kazuo Iwama,Shuichi Miyazaki SAT-Varible Complexity of Hard Combinatorial Problems. SAT-Varible Complexity of Hard Combinatorial Problems. SAT-Varible Complexity of Hard Combinatorial Problems. Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994, 253-258 Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994, 253-258 Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994, 253-258 1994 英語 研究論文(国際会議プロシーディングス) 公開
S. Miyazaki S. Miyazaki Special section on foundations of computer science-mathematical foundations and applications of algorithms and computer science Special section on foundations of computer science-mathematical foundations and applications of algorithms and computer science IEICE Transactions on Information and Systems, E94-D, 2, 181- , E94-D, 2, 181- IEICE Transactions on Information and Systems, E94-D, 2, 181- 2011 英語 公開

  • <<
  • >>
  • 表示
タイトル言語:
Misc
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
Yasuaki Kobayashi,Yusuke Kobayashi,Shuichi Miyazaki,Suguru Tamaki Yasuaki Kobayashi,Yusuke Kobayashi,Shuichi Miyazaki,Suguru Tamaki Yasuaki Kobayashi,Yusuke Kobayashi,Shuichi Miyazaki,Suguru Tamaki An FPT Algorithm for Max-Cut Parameterized by Crossing Number. An FPT Algorithm for Max-Cut Parameterized by Crossing Number. An FPT Algorithm for Max-Cut Parameterized by Crossing Number. CoRR, abs/1904.05011 CoRR, abs/1904.05011 CoRR, abs/1904.05011 2019 公開
Koki Hamada,Shuichi Miyazaki,Hiroki Yanagisawa Koki Hamada,Shuichi Miyazaki,Hiroki Yanagisawa Koki Hamada,Shuichi Miyazaki,Hiroki Yanagisawa Strategy-Proof Approximation Algorithms for the Stable Marriage Problem with Ties and Incomplete Lists. Strategy-Proof Approximation Algorithms for the Stable Marriage Problem with Ties and Incomplete Lists. Strategy-Proof Approximation Algorithms for the Stable Marriage Problem with Ties and Incomplete Lists. CoRR, abs/1902.05678 CoRR, abs/1902.05678 CoRR, abs/1902.05678 2019 公開
Sushmita Gupta,Kazuo Iwama,Shuichi Miyazaki Sushmita Gupta,Kazuo Iwama,Shuichi Miyazaki Sushmita Gupta,Kazuo Iwama,Shuichi Miyazaki Stable Nash Equilibria in the Gale-Shapley Matching Game. Stable Nash Equilibria in the Gale-Shapley Matching Game. Stable Nash Equilibria in the Gale-Shapley Matching Game. CoRR, abs/1509.04344 CoRR, abs/1509.04344 CoRR, abs/1509.04344 2015 公開
井下貴雄, Robert W. Irving, 宮崎修一, 岩間一雄, 永瀬高志 井下貴雄, Robert W. Irving, 宮崎修一, 岩間一雄, 永瀬高志 希望リスト変更による男性最良安定マッチングの改善 希望リスト変更による男性最良安定マッチングの改善 電子情報通信学会2013年総合大会 DS-1-1 電子情報通信学会2013年総合大会 DS-1-1 2013/03 日本語 公開
高見好男,平田光英,富浦雅雄,西村知子,四方敏明,宮崎修一,古村隆明,岡部寿男 高見好男,平田光英,富浦雅雄,西村知子,四方敏明,宮崎修一,古村隆明,岡部寿男 京都大学術情報ネッ トワークシステム接続機器管理システム(KUINS-DB)の構築 京都大学術情報ネッ トワークシステム接続機器管理システム(KUINS-DB)の構築 京都大学技術職員研修発表(第6 専門技術群: 情報系) 京都大学技術職員研修発表(第6 専門技術群: 情報系) 2012 日本語 公開
高見好男,平田光英,富浦雅雄,西村知子,四方敏明,宮崎修一,岡部寿男 高見好男,平田光英,富浦雅雄,西村知子,四方敏明,宮崎修一,岡部寿男 京都大学学術情報ネットワーク システム接続機器管理システム(KUINS-DB)の更新 京都大学学術情報ネットワーク システム接続機器管理システム(KUINS-DB)の更新 第34 回全国共同利用情報基盤センター研究開発連合 発表会 第34 回全国共同利用情報基盤センター研究開発連合 発表会 2012 日本語 公開
森本尚之;宮崎修一;岡部寿男 森本尚之;宮崎修一;岡部寿男 分散型電源を持つ電力ネットワークにおける資源配分問題 分散型電源を持つ電力ネットワークにおける資源配分問題 情報処理学会関西支部支部大会講演論文集(CD-ROM), 2011, ROMBUNNO.F-14 情報処理学会関西支部支部大会講演論文集(CD-ROM), 2011, ROMBUNNO.F-14 , 2011, ROMBUNNO.F-14 2011 日本語 公開
Shuichi Miyazaki Shuichi Miyazaki Shuichi Miyazaki Foreword. Foreword. Foreword. IEICE Transactions, 94-D, 2, 181 IEICE Transactions, 94-D, 2, 181 IEICE Transactions, 94-D, 2, 181 2011 公開
岡本和也;宮崎修一 岡本和也;宮崎修一 座席予約問題における競合比の上下限の改良 座席予約問題における競合比の上下限の改良 電子情報通信学会技術研究報告, 110, 325(COMP2010 39-46), 45-51 電子情報通信学会技術研究報告, 110, 325(COMP2010 39-46), 45-51 , 110, 325(COMP2010 39-46), 45-51 2010/11/26 日本語 公開
石橋聡;宮崎修一;岡部寿男 石橋聡;宮崎修一;岡部寿男 第三者機関の仲介を必要としない配達証明付き電子メールシステムの設計 第三者機関の仲介を必要としない配達証明付き電子メールシステムの設計 電子情報通信学会技術研究報告, 110, 304(IA2010 51-57), 19-24 電子情報通信学会技術研究報告, 110, 304(IA2010 51-57), 19-24 , 110, 304(IA2010 51-57), 19-24 2010/11/17 日本語 公開
柳澤 弘揮,宮崎 修一,岩間 一雄 柳澤 弘揮,宮崎 修一,岩間 一雄 片方のみがタイを持つ安定結婚問題に対する25/17近似アルゴリズム (アルゴリズムと計算機科学の数理的基盤とその応用) 片方のみがタイを持つ安定結婚問題に対する25/17近似アルゴリズム (アルゴリズムと計算機科学の数理的基盤とその応用) 数理解析研究所講究録, 1691, 136-141 数理解析研究所講究録, 1691, 136-141 , 1691, 136-141 2010/06 日本語 公開
森本 尚之,宮崎 修一,岡部 寿男 森本 尚之,宮崎 修一,岡部 寿男 BS-8-11 2部グラフ上での分担供給可能な割当て制限付き資源配分問題(BS-8.情報通信とエネルギー管理の統合技術,シンポジウムセッション) BS-8-11 2部グラフ上での分担供給可能な割当て制限付き資源配分問題(BS-8.情報通信とエネルギー管理の統合技術,シンポジウムセッション) 電子情報通信学会総合大会講演論文集, 2010, 2, "S-154"-"S-155" 電子情報通信学会総合大会講演論文集, 2010, 2, "S-154"-"S-155" , 2010, 2, "S-154"-"S-155" 2010/03/02 日本語 公開
福田剛士;宮崎修一;岡部寿男 福田剛士;宮崎修一;岡部寿男 枝コストに制限を加えたk‐Canadian Traveller Problemの競合比解析 枝コストに制限を加えたk‐Canadian Traveller Problemの競合比解析 電子情報通信学会技術研究報告, 109, 391(COMP2009 39-48), 1-8 電子情報通信学会技術研究報告, 109, 391(COMP2009 39-48), 1-8 , 109, 391(COMP2009 39-48), 1-8 2010/01/18 日本語 公開
福田剛士, 宮崎修一, 岡部寿男 福田剛士, 宮崎修一, 岡部寿男 枝コストに制限を加えたk-Canadian Traveler Problem に対する競合比解析 枝コストに制限を加えたk-Canadian Traveler Problem に対する競合比解析 信学技報,Vol.109, No. 391, CQMP2009-39:( 電子情報通信学会コンピュテーション研究会) pp. 1-8, 2010 年1 月. 信学技報,Vol.109, No. 391, CQMP2009-39:( 電子情報通信学会コンピュテーション研究会) pp. 1-8, 2010 年1 月. 2010 日本語 公開
宮崎修一 宮崎修一 安定マッチング問題に関する最近の話題 安定マッチング問題に関する最近の話題 電子情報通信学会技術研究報告, 109, 211(AI2009 9-18), 19-22 電子情報通信学会技術研究報告, 109, 211(AI2009 9-18), 19-22 , 109, 211(AI2009 9-18), 19-22 2009/09/18 日本語 公開
濱田 浩気,宮崎 修一,岩間 一雄 濱田 浩気,宮崎 修一,岩間 一雄 配属人数下限付き研修医配属問題 (理論計算機科学の深化と応用) 配属人数下限付き研修医配属問題 (理論計算機科学の深化と応用) 数理解析研究所講究録, 1649, 73-80 数理解析研究所講究録, 1649, 73-80 , 1649, 73-80 2009/05 日本語 公開
岡本 和也,宮崎 修一 岡本 和也,宮崎 修一 DS-1-6 オンラインOVSF符号割当問題における競合比の上下限の改良(DS-1. COMP学生シンポジウム,シンポジウムセッション) DS-1-6 オンラインOVSF符号割当問題における競合比の上下限の改良(DS-1. COMP学生シンポジウム,シンポジウムセッション) 電子情報通信学会総合大会講演論文集, 2009, 1, "S-31"-"S-32" 電子情報通信学会総合大会講演論文集, 2009, 1, "S-31"-"S-32" , 2009, 1, "S-31"-"S-32" 2009/03/04 日本語 公開
岡本和也,宮崎修一 岡本和也,宮崎修一 オンラインOVSF 符合割当問題における競合比の上下限の改良 オンラインOVSF 符合割当問題における競合比の上下限の改良 電子盾報通信学会総合大会DS-1-6, 2009-3. 電子盾報通信学会総合大会DS-1-6, 2009-3. 2009 日本語 公開
宮崎修一 宮崎修一 コンピュテーション研究の最前線-安定マッチング問題の研究動向- コンピュテーション研究の最前線-安定マッチング問題の研究動向- 電子情報通信学会情報・ システムソサイェティ誌第14 巻第2 号, pp. 6-7, 2009-8. 電子情報通信学会情報・ システムソサイェティ誌第14 巻第2 号, pp. 6-7, 2009-8. 2009 日本語 公開
清水敬太;宮崎修一;岡部寿男 清水敬太;宮崎修一;岡部寿男 段階的秘密交換プロトコルを利用した配達内容証明が可能な電子メール配送システム設計上の検討 段階的秘密交換プロトコルを利用した配達内容証明が可能な電子メール配送システム設計上の検討 電子情報通信学会技術研究報告, 108, 275(IA2008 41-46), 7-12 電子情報通信学会技術研究報告, 108, 275(IA2008 41-46), 7-12 , 108, 275(IA2008 41-46), 7-12 2008/10/29 日本語 公開
KOBAYASHI Koji;MIYAZAKI Shuichi;OKABE Yasuo KOBAYASHI Koji;MIYAZAKI Shuichi;OKABE Yasuo Improved Competitive Ratios of Online Buffer Management Algorithms for Multi-Queue Switches in QoS Networks Improved Competitive Ratios of Online Buffer Management Algorithms for Multi-Queue Switches in QoS Networks 電子情報通信学会技術研究報告, 108, 206(COMP2008 23-33), 71-78 電子情報通信学会技術研究報告, 108, 206(COMP2008 23-33), 71-78 , 108, 206(COMP2008 23-33), 71-78 2008/09/04 日本語 公開
高木俊宏;古村隆明;宮崎修一;岡部寿男 高木俊宏;古村隆明;宮崎修一;岡部寿男 マジックプロトコル利用によるプライバシーに配慮したShibboleth属性交換の拡張 マジックプロトコル利用によるプライバシーに配慮したShibboleth属性交換の拡張 情報処理学会研究報告, 2008, 23(DSM-48 QAI-26), 37-42 情報処理学会研究報告, 2008, 23(DSM-48 QAI-26), 37-42 , 2008, 23(DSM-48 QAI-26), 37-42 2008/03/06 日本語 公開
YANAGISAWA Hiroki;MIYAZAKI Shuichi;IWAMA Kazuo YANAGISAWA Hiroki;MIYAZAKI Shuichi;IWAMA Kazuo Approximation Algorithms for the Sex-Equal Stable Marriage Problem Approximation Algorithms for the Sex-Equal Stable Marriage Problem 電子情報通信学会技術研究報告, 107, 537(COMP2007 55-67), 1-8 電子情報通信学会技術研究報告, 107, 537(COMP2007 55-67), 1-8 , 107, 537(COMP2007 55-67), 1-8 2008/03/03 日本語 公開
清水敬太, 宮崎修一, 岡部寿男 清水敬太, 宮崎修一, 岡部寿男 段階的秘密交換プロトコルを利用した配達内容証明が可能な電子メールプロトコルの設計上の検討 段階的秘密交換プロトコルを利用した配達内容証明が可能な電子メールプロトコルの設計上の検討 信学技報, vol. 108, no. 275, IA2008-42, pp. 7-12, 2008-11. 信学技報, vol. 108, no. 275, IA2008-42, pp. 7-12, 2008-11. 2008 日本語 公開
OKAMOTO Kazuya;MIYAZAKI Shuichi;IWAMA Kazuo OKAMOTO Kazuya;MIYAZAKI Shuichi;IWAMA Kazuo NP-Completeness of the Stable Roommates Problem with Triple Rooms NP-Completeness of the Stable Roommates Problem with Triple Rooms 電子情報通信学会技術研究報告, 107, 258(COMP2007 41-47), 1-6 電子情報通信学会技術研究報告, 107, 258(COMP2007 41-47), 1-6 , 107, 258(COMP2007 41-47), 1-6 2007/10/09 日本語 公開
森本尚之;宮崎修一;岡部寿男 森本尚之;宮崎修一;岡部寿男 サイクル上でのグラフ探索問題に対する最適なオンラインアルゴリズム サイクル上でのグラフ探索問題に対する最適なオンラインアルゴリズム 電子情報通信学会技術研究報告, 107, 219(COMP2007 32-40), 51-57 電子情報通信学会技術研究報告, 107, 219(COMP2007 32-40), 51-57 , 107, 219(COMP2007 32-40), 51-57 2007/09/13 日本語 公開
KOBAYASHI Koji;MIYAZAKI Shuichi;OKABE Yasuo KOBAYASHI Koji;MIYAZAKI Shuichi;OKABE Yasuo A Tight Upper Bound on Online Buffer Management for Two-port Shared-Memory Switches A Tight Upper Bound on Online Buffer Management for Two-port Shared-Memory Switches 電子情報通信学会技術研究報告, 107, 127(COMP2007 18-31), 63-70 電子情報通信学会技術研究報告, 107, 127(COMP2007 18-31), 63-70 , 107, 127(COMP2007 18-31), 63-70 2007/06/22 日本語 公開
山内 直哉,宮崎 修一,岩間 一雄 山内 直哉,宮崎 修一,岩間 一雄 DS-1-3 安定結婚問題に対する1.8-近似アルゴリズム(DS-1.COMP-NHC学生シンポジウム,シンポジウム) DS-1-3 安定結婚問題に対する1.8-近似アルゴリズム(DS-1.COMP-NHC学生シンポジウム,シンポジウム) 電子情報通信学会総合大会講演論文集, 2007, 1, "S-5"-"S-6" 電子情報通信学会総合大会講演論文集, 2007, 1, "S-5"-"S-6" , 2007, 1, "S-5"-"S-6" 2007/03/07 日本語 公開
清成悠貴, 宮野英次, 宮崎修一 清成悠貴, 宮野英次, 宮崎修一 試問予定表作成問題の制約付きモデルに対するNP 困難性 試問予定表作成問題の制約付きモデルに対するNP 困難性 平成19 年度 第60 回電気関係学会九州支部連合大会, 09-1A-04, p.87, 2007-9. 平成19 年度 第60 回電気関係学会九州支部連合大会, 09-1A-04, p.87, 2007-9. 2007 日本語 公開
森本尚之, 宮崎修一, 岡部寿男 森本尚之, 宮崎修一, 岡部寿男 サイクルグラフ上での地図作成問題に対する最適なオンラインアルゴリスム サイクルグラフ上での地図作成問題に対する最適なオンラインアルゴリスム 2007 年夏のLA シンポジウム予稿(LA シンポジウム), 2007-7 2007 年夏のLA シンポジウム予稿(LA シンポジウム), 2007-7 2007 日本語 公開
山内直哉,宮崎修一,岩間一雄 山内直哉,宮崎修一,岩間一雄 安定結婚問題に対する1.8-近似アルゴリズム 安定結婚問題に対する1.8-近似アルゴリズム 電子情報通信学会 総合大会DS-1-3, 2007-3. 電子情報通信学会 総合大会DS-1-3, 2007-3. 2007 日本語 公開
森本尚之, 宮崎修一, 岡部寿男 森本尚之, 宮崎修一, 岡部寿男 サイクルグラフ上でのグラフ探索問題に対する最適なオンラインアルゴリズム サイクルグラフ上でのグラフ探索問題に対する最適なオンラインアルゴリズム 信学技報,Vol.107 ,No.219, CQMP2007-39, (電 子 晴報通 信 学会コ ンピュ テ ーショ ン 研 究会),pp. 51-57, 2007-9. 信学技報,Vol.107 ,No.219, CQMP2007-39, (電 子 晴報通 信 学会コ ンピュ テ ーショ ン 研 究会),pp. 51-57, 2007-9. 2007 日本語 公開
宮崎修一 宮崎修一 離散数学のすすめ第6 回「安定結婚問題」 離散数学のすすめ第6 回「安定結婚問題」 理系への数学(現代数学社),pp. 49-54, 2007年 9 月号 理系への数学(現代数学社),pp. 49-54, 2007年 9 月号 2007 日本語 公開
朝廣雄一;宮野英次;宮崎修一;吉牟田拓朗 朝廣雄一;宮野英次;宮崎修一;吉牟田拓朗 サイクルグラフ上での地図作成問題に対する重み付き最近傍アルゴリズム サイクルグラフ上での地図作成問題に対する重み付き最近傍アルゴリズム 電子情報通信学会技術研究報告, 106, 405(COMP2006 41-49), 15-22 電子情報通信学会技術研究報告, 106, 405(COMP2006 41-49), 15-22 , 106, 405(COMP2006 41-49), 15-22 2006/11/27 日本語 公開
山内 直哉,宮崎 修一,岩間 一雄 山内 直哉,宮崎 修一,岩間 一雄 安定結婚問題に対する1.875-近似アルゴリズム 安定結婚問題に対する1.875-近似アルゴリズム 電子情報通信学会技術研究報告. COMP, コンピュテーション, 106, 405, 49-56 電子情報通信学会技術研究報告. COMP, コンピュテーション, 106, 405, 49-56 , 106, 405, 49-56 2006/11 日本語 公開
清成悠貴;宮野英次;宮崎修一 清成悠貴;宮野英次;宮崎修一 試問予定表作成問題の計算複雑さ 試問予定表作成問題の計算複雑さ 電子情報通信学会技術研究報告, 106, 128(COMP2006 17-24), 7-14 電子情報通信学会技術研究報告, 106, 128(COMP2006 17-24), 7-14 , 106, 128(COMP2006 17-24), 7-14 2006/06/16 日本語 公開
小林 浩二,宮崎 修一,岡部 寿男 小林 浩二,宮崎 修一,岡部 寿男 マルチキュースイッチにおけるオンラインバッファ管理アルゴリズムの競合比の改良(計算理論とアルゴリズムの新展開) マルチキュースイッチにおけるオンラインバッファ管理アルゴリズムの競合比の改良(計算理論とアルゴリズムの新展開) 数理解析研究所講究録, 1489, 91-97 数理解析研究所講究録, 1489, 91-97 , 1489, 91-97 2006/05 日本語 公開
宮崎修一 宮崎修一 ルータ上のバッファ管理問題に対するオンラインアルゴリズム ルータ上のバッファ管理問題に対するオンラインアルゴリズム 電子情報通信学会誌, 89, 4, 299-303 電子情報通信学会誌, 89, 4, 299-303 , 89, 4, 299-303 2006/04/01 日本語 公開
小林浩二, 宮崎修一, 岡部寿男 小林浩二, 宮崎修一, 岡部寿男 マルチキュースイッチにおけるオンラインバッファ管理アルゴリ ズムの競合比の改良 マルチキュースイッチにおけるオンラインバッファ管理アルゴリ ズムの競合比の改良 2005 年度冬のLA シンポジウム, [14], 2006-1. 2005 年度冬のLA シンポジウム, [14], 2006-1. 2006 日本語 公開
吉牟田拓朗, 宮野英次, 宮崎修一 吉牟田拓朗, 宮野英次, 宮崎修一 “オンラインTSP アルゴリズムに対する下限について,” “オンラインTSP アルゴリズムに対する下限について,” 平成18 年 度第59 回電気関係学会九州支部連合大会10-2A-07, 2006-9 平成18 年 度第59 回電気関係学会九州支部連合大会10-2A-07, 2006-9 2006 日本語 公開
宮崎修一;久保浩史;高見好男;四方敏明;櫻井恒正;山元伸幸;河野典;江原康生;高倉弘喜;沢田篤史;中村素典;岡部寿男;北野正雄 宮崎修一;久保浩史;高見好男;四方敏明;櫻井恒正;山元伸幸;河野典;江原康生;高倉弘喜;沢田篤史;中村素典;岡部寿男;北野正雄 KUINS接続機器登録データベースの概要 KUINS接続機器登録データベースの概要 全国共同利用情報基盤センター研究開発論文集, 27, 47-51 全国共同利用情報基盤センター研究開発論文集, 27, 47-51 , 27, 47-51 2005/10 日本語 公開
小林浩二;宮崎修一;岡部寿男 小林浩二;宮崎修一;岡部寿男 共有メモリ型スイッチにおけるオンラインバッファ管理アルゴリズムの競合比の改良 共有メモリ型スイッチにおけるオンラインバッファ管理アルゴリズムの競合比の改良 電子情報通信学会技術研究報告, 105, 144(COMP2005 18-27), 17-22 電子情報通信学会技術研究報告, 105, 144(COMP2005 18-27), 17-22 , 105, 144(COMP2005 18-27), 17-22 2005/06/17 日本語 公開
山内直哉;宮崎修一;岩間一雄 山内直哉;宮崎修一;岩間一雄 安定結婚問題に対する局所探索近似アルゴリズムの改良 安定結婚問題に対する局所探索近似アルゴリズムの改良 電子情報通信学会技術研究報告, 105, 72(COMP2005 9-17), 45-51 電子情報通信学会技術研究報告, 105, 72(COMP2005 9-17), 45-51 , 105, 72(COMP2005 9-17), 45-51 2005/05/13 日本語 公開
宮崎 修一 宮崎 修一 安定結婚問題 安定結婚問題 電子情報通信学会誌, 88, 3, 195-199 電子情報通信学会誌, 88, 3, 195-199 , 88, 3, 195-199 2005/03/01 日本語 公開
岡本和也;宮崎修一;岩間一雄 岡本和也;宮崎修一;岩間一雄 局所探索法による安定結婚問題の近似 局所探索法による安定結婚問題の近似 電子情報通信学会技術研究報告, 104, 16(COMP2004 1-8), 53-60 電子情報通信学会技術研究報告, 104, 16(COMP2004 1-8), 53-60 , 104, 16(COMP2004 1-8), 53-60 2004/04/22 日本語 公開
岡本和也;宮崎修一;岩間一雄 岡本和也;宮崎修一;岩間一雄 安定結婚問題に対する局所探索近似アルゴリズム 安定結婚問題に対する局所探索近似アルゴリズム 電子情報通信学会大会講演論文集, 2004, 2 電子情報通信学会大会講演論文集, 2004, 2 , 2004, 2 2004/03/08 日本語 公開
岡本 和也,宮崎 修一,岩間 一雄 岡本 和也,宮崎 修一,岩間 一雄 D-1-2 安定結婚問題に対する局所探索近似アルゴリズム(D-1. コンピュテーション) D-1-2 安定結婚問題に対する局所探索近似アルゴリズム(D-1. コンピュテーション) 電子情報通信学会総合大会講演論文集, 2004, 1 電子情報通信学会総合大会講演論文集, 2004, 1 , 2004, 1 2004/03/08 日本語 公開
加藤俊策;宮崎修一;岡部寿男 加藤俊策;宮崎修一;岡部寿男 不正を検出できるネットワーク軍人将棋 不正を検出できるネットワーク軍人将棋 電子情報通信学会技術研究報告, 103, 499(ISEC2003 84-95), 1-6 電子情報通信学会技術研究報告, 103, 499(ISEC2003 84-95), 1-6 , 103, 499(ISEC2003 84-95), 1-6 2003/12/15 日本語 公開
江原 康生,高倉 弘喜,宮崎 修一 江原 康生,高倉 弘喜,宮崎 修一 安全なギガビットネットワーク(KUINS-3)の構築と運用 安全なギガビットネットワーク(KUINS-3)の構築と運用 シンポジウム報告集, 1, 20-26 シンポジウム報告集, 1, 20-26 , 1, 20-26 2003/03 日本語 公開
宮崎 修一 他 宮崎 修一 他 安全なギガビットネットワーク KUINS-IIIの構築と運用(共著) 安全なギガビットネットワーク KUINS-IIIの構築と運用(共著) 分散システム/インターネット運用技術シンポジウム2003,pp.19-24 分散システム/インターネット運用技術シンポジウム2003,pp.19-24 2003 日本語 公開
柳沢弘揮;宮崎修一;岩間一雄;HALLDORSSON M 柳沢弘揮;宮崎修一;岩間一雄;HALLDORSSON M 長さ2のタイを含む安定結婚問題に対する近似アルゴリズム 長さ2のタイを含む安定結婚問題に対する近似アルゴリズム 電子情報通信学会技術研究報告, 102, 522(COMP2002 53-61), 41-47 電子情報通信学会技術研究報告, 102, 522(COMP2002 53-61), 41-47 , 102, 522(COMP2002 53-61), 41-47 2002/12/19 日本語 公開
柳沢弘揮;宮崎修一;岩間一雄;HALLDORSSON M 柳沢弘揮;宮崎修一;岩間一雄;HALLDORSSON M ランダムタイブレークによる安定マッチングの導出 ランダムタイブレークによる安定マッチングの導出 情報科学技術フォーラム, FIT 2002, 13-14 情報科学技術フォーラム, FIT 2002, 13-14 , FIT 2002, 13-14 2002/09/13 日本語 公開
柳澤 弘揮,宮崎 修一,岩間 一雄,ハルダースソン マグナス 柳澤 弘揮,宮崎 修一,岩間 一雄,ハルダースソン マグナス LA-7 ランダムタイブレークによる安定マッチングの導出(A. アルゴリズム・基礎) LA-7 ランダムタイブレークによる安定マッチングの導出(A. アルゴリズム・基礎) 情報技術レターズ, 1, 13-14 情報技術レターズ, 1, 13-14 , 1, 13-14 2002/09 日本語 公開
宮武和史;宮崎修一;岩間一雄 宮武和史;宮崎修一;岩間一雄 最大化および最小化アルゴリズムにおける近似度の関係 最大化および最小化アルゴリズムにおける近似度の関係 電子情報通信学会大会講演論文集, 2001, 4 電子情報通信学会大会講演論文集, 2001, 4 , 2001, 4 2001/03/07 日本語 公開
宮崎 修一 他 宮崎 修一 他 最大化および最小化アルゴリズムにおける近似度の関係(共著) 最大化および最小化アルゴリズムにおける近似度の関係(共著) 電子情報通信学会総合大会,D-1-4/, 電子情報通信学会総合大会,D-1-4/, 2001 日本語 公開
宮崎 修一 他 宮崎 修一 他 条件を緩和した安定結婚問題に対する確立近似アルゴリズム(共著) 条件を緩和した安定結婚問題に対する確立近似アルゴリズム(共著) 2001年夏のLAシンポジュム予稿(LAシンポジュウム),/,4.1-4.11 2001年夏のLAシンポジュム予稿(LAシンポジュウム),/,4.1-4.11 2001 日本語 公開
武富史郎;宮崎修一;岩間一雄;HALLDORSSON M M 武富史郎;宮崎修一;岩間一雄;HALLDORSSON M M 一般化されたオンライン独立頂点集合問題の競合比 一般化されたオンライン独立頂点集合問題の競合比 電子情報通信学会技術研究報告, 100, 25(COMP2000 1-5), 25-32 電子情報通信学会技術研究報告, 100, 25(COMP2000 1-5), 25-32 , 100, 25(COMP2000 1-5), 25-32 2000/04/26 日本語 公開
盛田 保文,宮崎 修一,岩間 一雄,ハルダースソン マグナス 盛田 保文,宮崎 修一,岩間 一雄,ハルダースソン マグナス 安定結婚問題の近似可能性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 安定結婚問題の近似可能性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して) 数理解析研究所講究録, 1148, 124-129 数理解析研究所講究録, 1148, 124-129 , 1148, 124-129 2000/04 日本語 公開
梅本 潤,宮崎 修一,岡部 寿男,岩間 一雄 梅本 潤,宮崎 修一,岡部 寿男,岩間 一雄 PVMによるSAT並列局所探索プログラム PVMによるSAT並列局所探索プログラム 情報処理学会研究報告. [ハイパフォーマンスコンピューティング], 2000, 23, 95-100 情報処理学会研究報告. [ハイパフォーマンスコンピューティング], 2000, 23, 95-100 , 2000, 23, 95-100 2000/03/02 日本語 公開
河合大輔;宮崎修一;岡部寿男;岩間一雄 河合大輔;宮崎修一;岡部寿男;岩間一雄 SATに対する局所探索法のベクトル化 SATに対する局所探索法のベクトル化 電子情報通信学会技術研究報告, 99, 549(COMP99 69-78), 49-56 電子情報通信学会技術研究報告, 99, 549(COMP99 69-78), 49-56 , 99, 549(COMP99 69-78), 49-56 2000/01/19 日本語 公開
宮崎 修一 他 宮崎 修一 他 PVM によるSATアルゴリズムの高速化(共著) PVM によるSATアルゴリズムの高速化(共著) 第60回(平成12年後期)情処全国大会講演論文集,/,177 第60回(平成12年後期)情処全国大会講演論文集,/,177 2000 日本語 公開
宮崎 修一 他 宮崎 修一 他 安定結婚問題の近似可能性について(共著) 安定結婚問題の近似可能性について(共著) 京都大学数理解析研究所講究録「計算機科学の基礎理論:21世紀の計算パラダイムを目指して」,/,124-129 京都大学数理解析研究所講究録「計算機科学の基礎理論:21世紀の計算パラダイムを目指して」,/,124-129 2000 日本語 公開
宮崎 修一 他 宮崎 修一 他 断線したネットワークの復旧問題に対する近似アルゴリズム(共著) 断線したネットワークの復旧問題に対する近似アルゴリズム(共著) 第60回(平成12年後期)情処全国大会講演論文集,/,199 第60回(平成12年後期)情処全国大会講演論文集,/,199 2000 日本語 公開
宮崎 修一 他 宮崎 修一 他 オンライン独立頂点集合問題に対する一般化されたオンラインアルゴリズムの性能評価(共著) オンライン独立頂点集合問題に対する一般化されたオンラインアルゴリズムの性能評価(共著) 第60回(平成12年後期)情処全国大会講演論文集,1/,193 第60回(平成12年後期)情処全国大会講演論文集,1/,193 2000 日本語 公開
宮崎 修一 他 宮崎 修一 他 SATに対する局所探索法のベクトル化 SATに対する局所探索法のベクトル化 並列処理シンポジウム(JSPP2000),/,43-50 並列処理シンポジウム(JSPP2000),/,43-50 2000 日本語 公開
宮崎 修一;岩間 一雄 宮崎 修一;岩間 一雄 鳩の巣原理に対する木状導出原理の証明サイズの上下限の改良 (新しいパラダイムとしてのアルゴリズム工学) 鳩の巣原理に対する木状導出原理の証明サイズの上下限の改良 (新しいパラダイムとしてのアルゴリズム工学) 数理解析研究所講究録, 1120, 51-57 数理解析研究所講究録, 1120, 51-57 , 1120, 51-57 1999/12 日本語 公開
MIYAZAKI S;IWAMA K MIYAZAKI S;IWAMA K On the Size of the Tree-Like Resolution for the Pigeonhole Principle. On the Size of the Tree-Like Resolution for the Pigeonhole Principle. 電子情報通信学会技術研究報告, 99, 288(COMP99 31-38), 15-22 電子情報通信学会技術研究報告, 99, 288(COMP99 31-38), 15-22 , 99, 288(COMP99 31-38), 15-22 1999/09/03 日本語 公開
UCHIDA A;MIYAZAKI S;IWAMA K UCHIDA A;MIYAZAKI S;IWAMA K On the Analysis of the Complexity of Online Problems. On the Analysis of the Complexity of Online Problems. 電子情報通信学会技術研究報告, 99, 30(COMP99 1-9), 57-64 電子情報通信学会技術研究報告, 99, 30(COMP99 1-9), 57-64 , 99, 30(COMP99 1-9), 57-64 1999/04/23 日本語 公開
盛田 保文,宮崎 修一,岩間 一雄 盛田 保文,宮崎 修一,岩間 一雄 条件を緩和した安定結婚問題の複雑さ 条件を緩和した安定結婚問題の複雑さ 情報処理学会研究報告. AL, アルゴリズム研究会報告, 99, 26, 15-22 情報処理学会研究報告. AL, アルゴリズム研究会報告, 99, 26, 15-22 , 99, 26, 15-22 1999/03/15 日本語 公開
内田 敦;宮崎 修一;岩間 一雄 内田 敦;宮崎 修一;岩間 一雄 1L-2 オンライン問題のクラス分け 1L-2 オンライン問題のクラス分け 全国大会講演論文集, 58, 1, "1-319"-"1-320" 全国大会講演論文集, 58, 1, "1-319"-"1-320" , 58, 1, "1-319"-"1-320" 1999/03/09 日本語 公開
内田 敦;宮崎 修一;岩間 一雄 内田 敦;宮崎 修一;岩間 一雄 1L-2 オンライン問題のクラス分け 1L-2 オンライン問題のクラス分け 全国大会講演論文集, 58, 1, "1-319"-"1-320" 全国大会講演論文集, 58, 1, "1-319"-"1-320" , 58, 1, "1-319"-"1-320" 1999/03/09 日本語 公開
MIYAZAKI S;IWAMA K MIYAZAKI S;IWAMA K On the NP-Completeness of Weakly Stable Marriage. On the NP-Completeness of Weakly Stable Marriage. 電子情報通信学会技術研究報告, 98, 432(COMP98 51-62), 33-40 電子情報通信学会技術研究報告, 98, 432(COMP98 51-62), 33-40 , 98, 432(COMP98 51-62), 33-40 1998/11/20 日本語 公開
盛田 保文,宮崎 修一,岩間 一雄 盛田 保文,宮崎 修一,岩間 一雄 部分MAXSATを利用した大学情報処理の自動化 部分MAXSATを利用した大学情報処理の自動化 情報処理学会研究報告. データベース・システム研究会報告, 98, 58, 335-342 情報処理学会研究報告. データベース・システム研究会報告, 98, 58, 335-342 , 98, 58, 335-342 1998/07/09 日本語 公開
宮崎 修一 他 宮崎 修一 他 バックトラック法を用いた導出原理の複雑さの解析について(共著) バックトラック法を用いた導出原理の複雑さの解析について(共著) 情報基礎理論ワークショップ98,/,13-18 情報基礎理論ワークショップ98,/,13-18 1998 日本語 公開
宮崎修一;岩間一雄 宮崎修一;岩間一雄 部分最適化問題の完全性 部分最適化問題の完全性 電子情報通信学会技術研究報告, 97, 375(COMP97 60-72), 73-79 電子情報通信学会技術研究報告, 97, 375(COMP97 60-72), 73-79 , 97, 375(COMP97 60-72), 73-79 1997/11/14 日本語 公開
宮崎 修一,岩間 一雄 宮崎 修一,岩間 一雄 部分最適化問題の完全性について 部分最適化問題の完全性について 全国大会講演論文集, 55, 1, 299-300 全国大会講演論文集, 55, 1, 299-300 , 55, 1, 299-300 1997/09/24 日本語 公開
宮崎 修一,岩間 一雄 宮崎 修一,岩間 一雄 近似解をも考慮に入れた多項式時間変換(計算モデルと計算の複雑さに関する研究) 近似解をも考慮に入れた多項式時間変換(計算モデルと計算の複雑さに関する研究) 数理解析研究所講究録, 950, 240-245 数理解析研究所講究録, 950, 240-245 , 950, 240-245 1996/05 日本語 公開
宮崎 修一 他 宮崎 修一 他 SATを利用した時間割作成問題の解法(共著) SATを利用した時間割作成問題の解法(共著) 平成8年度 第49回電気関係学会九州支部連合大会講演論文集,/,674 平成8年度 第49回電気関係学会九州支部連合大会講演論文集,/,674 1996 日本語 公開
宮崎 修一 他 宮崎 修一 他 近似をも考慮に入れた多項式時間変換(共著) 近似をも考慮に入れた多項式時間変換(共著) 京都大学数理解析研究所講究録950 「計算モデルと計算の複雑さに関する研究」,/,240-245 京都大学数理解析研究所講究録950 「計算モデルと計算の複雑さに関する研究」,/,240-245 1996 日本語 公開
宮崎 修一 他 宮崎 修一 他 NP完全集合によるcoNP集合の近似とその応用(共著) NP完全集合によるcoNP集合の近似とその応用(共著) 情報基礎理論ワークショップ95,/,91-96 情報基礎理論ワークショップ95,/,91-96 1995 日本語 公開
宮崎 修一;岩間 一雄 宮崎 修一;岩間 一雄 SATへの変換を利用したグラフ問題の難しさの評価方法について(計算量理論) SATへの変換を利用したグラフ問題の難しさの評価方法について(計算量理論) 数理解析研究所講究録, 871, 112-116 数理解析研究所講究録, 871, 112-116 , 871, 112-116 1994/05 日本語 公開
宮崎 修一 他 宮崎 修一 他 k-クリーク問題からSATへの効率の良い変換方法について(共著) k-クリーク問題からSATへの効率の良い変換方法について(共著) 電子情報通信学会1994年春期大会講演論文集94,D-15 電子情報通信学会1994年春期大会講演論文集94,D-15 1994 日本語 公開
宮崎 修一 他 宮崎 修一 他 ハミルトン閉路問題からSATへの効率の良い帰着法について(共著) ハミルトン閉路問題からSATへの効率の良い帰着法について(共著) 平成6年度 第47回電気関係学会九州支部連合大会講演論文集,/,886 平成6年度 第47回電気関係学会九州支部連合大会講演論文集,/,886 1994 日本語 公開
宮崎 修一,岩間 一雄 宮崎 修一,岩間 一雄 グラフの色ぬり分け問題からSATへの効率の良い変換方法とその評価 グラフの色ぬり分け問題からSATへの効率の良い変換方法とその評価 全国大会講演論文集, 47, 1, 79-80 全国大会講演論文集, 47, 1, 79-80 , 47, 1, 79-80 1993/09/27 日本語 公開
宮崎 修一 他 宮崎 修一 他 CNF論理式に対する局所探索法の各種例題集合に対する性能評価 CNF論理式に対する局所探索法の各種例題集合に対する性能評価 全国大会講演論文集, 46, 1, 89-90 全国大会講演論文集, 46, 1, 89-90 , 46, 1, 89-90 1993/03/01 日本語 公開
宮崎 修一 他 宮崎 修一 他 CNF論理式に対する局所探索法の評価(共著) CNF論理式に対する局所探索法の評価(共著) 情報研報,93/24,97-104 情報研報,93/24,97-104 1993 日本語 公開
宮崎 修一 他 宮崎 修一 他 グラフの色ぬり分け問題からSATへの効率の良い変換方法について(共著) グラフの色ぬり分け問題からSATへの効率の良い変換方法について(共著) 情報基礎理論ワークショップ93,/,28-33 情報基礎理論ワークショップ93,/,28-33 1993 日本語 公開
宮崎 修一 他 宮崎 修一 他 CNF論理式の充足解に対する改良されたランダム探索法(共著) CNF論理式の充足解に対する改良されたランダム探索法(共著) 平成4年度 第45回電気関係学会九州支部連合大会講演論文集,/,792 平成4年度 第45回電気関係学会九州支部連合大会講演論文集,/,792 1992 日本語 公開
梅本 潤,宮崎 修一,岡部 寿男,岩間 一雄 梅本 潤,宮崎 修一,岡部 寿男,岩間 一雄 PVMによるSAT並列局所探索プログラム PVMによるSAT並列局所探索プログラム 情報処理学会研究報告. 計算機アーキテクチャ研究会報告 情報処理学会研究報告. 計算機アーキテクチャ研究会報告 日本語 公開
Y. Tsuzaki; R. Matsumoto; D. Kotani; S. Miyazaki; Y. Okabe Y. Tsuzaki; R. Matsumoto; D. Kotani; S. Miyazaki; Y. Okabe A mail transfer system selectively restricting a huge amount of E-mails A mail transfer system selectively restricting a huge amount of E-mails Proceedings - 2013 International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2013, 896-900 , 896-900 Proceedings - 2013 International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2013, 896-900 2013 英語 公開
Takao Inoshita, Robert W. Irving, Kazuo Iwama, Shuichi Miyazaki, and Takashi Nagase Takao Inoshita, Robert W. Irving, Kazuo Iwama, Shuichi Miyazaki, and Takashi Nagase Improving Man-Optimal Stable Matchings by Minimum Change of Preference Lists Improving Man-Optimal Stable Matchings by Minimum Change of Preference Lists Proceedings of the 7th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications (HJ 2011) pp. 309-313, Proceedings of the 7th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications (HJ 2011) pp. 309-313, 2011/05 英語 公開
Iwama. K., Miyazaki. S., Okamoto. K., Iwama. K., Miyazaki. S., Okamoto. K., Inapproximability of Stable Roommates Problem with Triple Room Inapproximability of Stable Roommates Problem with Triple Room Proc. 1st Asian Association for Algorithms and Computation (AAAC), p.30, 2008-4. Proc. 1st Asian Association for Algorithms and Computation (AAAC), p.30, 2008-4. 2008 英語 公開
Shuichi Miyazaki, Naoyuki Morimoto, Yasuo Okabe, Shuichi Miyazaki, Naoyuki Morimoto, Yasuo Okabe, An Optimal Online Algorithm for the Graph Eχploration Problem on Cycles, An Optimal Online Algorithm for the Graph Eχploration Problem on Cycles, Proc. 1st Asian Association for Algorithms and Computation (AAAC), p.42, 2008-4. Proc. 1st Asian Association for Algorithms and Computation (AAAC), p.42, 2008-4. 2008 英語 公開
Iwama, K., Miyazaki, S. and Okamoto, K. Iwama, K., Miyazaki, S. and Okamoto, K. “Stable Roommates Problem with Triple Rooms," “Stable Roommates Problem with Triple Rooms," Proc. 10th KOREAJAPAN Joint Workshop on Algorithms and Computation (WAAC 2007), pp. 105-112 Proc. 10th KOREAJAPAN Joint Workshop on Algorithms and Computation (WAAC 2007), pp. 105-112 2007 英語 公開
Kiyonari, Y., Miyano, E. and Miyazaki, S. Kiyonari, Y., Miyano, E. and Miyazaki, S. Computational Complexity Issues in University Interview Timetabling Computational Complexity Issues in University Interview Timetabling Proc. of The 6th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2006). pp. 448-453, August 2006. Proc. of The 6th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2006). pp. 448-453, August 2006. 2006 英語 公開
Halldorsson, M. M., Iwama, K., Miyazaki, S. and Morita, Y. Halldorsson, M. M., Iwama, K., Miyazaki, S. and Morita, Y. Inapproximability of Stable Marriage Problems Inapproximability of Stable Marriage Problems Proc. KOREA-JAPAN Joint Workshop on Algorithms and Computation (WAAC 2001),/,59-66 Proc. KOREA-JAPAN Joint Workshop on Algorithms and Computation (WAAC 2001),/,59-66 2001 英語 公開
Iwama, K., Kawai, D., Miyazaki, S., Okabe, Y. and Umemoto, J. Iwama, K., Kawai, D., Miyazaki, S., Okabe, Y. and Umemoto, J. Parallelizing Local Search for CNF Satisfiability Using PVM Parallelizing Local Search for CNF Satisfiability Using PVM Proc. The AAAI-2000 workshop on parallel and distributed search for reasoning, Proc. The AAAI-2000 workshop on parallel and distributed search for reasoning, 2000 英語 公開
Iwama, K., Miyazaki, S. and Uchida, A. Iwama, K., Miyazaki, S. and Uchida, A. Hardest Ontine Problem Hardest Ontine Problem Proc. Korea-Japan Joint Workshop on Algorithms and Computation,/,59-66 Proc. Korea-Japan Joint Workshop on Algorithms and Computation,/,59-66 1999 英語 公開

  • <<
  • >>
  • 表示
タイトル言語:
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版社(日本語) 出版社(英語) 出版年月 記述言語 担当区分 公開
宮崎 修一 宮崎 修一 アルゴリズム理論の基礎 アルゴリズム理論の基礎 森北出版株式会社 森北出版株式会社 2019/05 単著 公開
宮崎 修一 宮崎 修一 安定マッチングの数理とアルゴリズム 安定マッチングの数理とアルゴリズム 現代数学社 現代数学社 2018/05 単著 公開
石田 保輝, 宮崎 修一 石田 保輝, 宮崎 修一 アルゴリズム図鑑 ~絵で見てわかる26のアルゴリズム~ アルゴリズム図鑑 ~絵で見てわかる26のアルゴリズム~ 翔泳社 翔泳社 2017/06 共著 公開
宮崎 修一 宮崎 修一 MIYAZAKI Shuichi Stable Marriage Problem Stable Marriage Problem Stable Marriage Problem CRC Press CRC Press CRC Press 2015/12 分担執筆 公開
宮崎 修一 宮崎 修一 グラフ理論入門 ~基本とアルゴリズム~ グラフ理論入門 ~基本とアルゴリズム~ 森北出版株式会社 森北出版株式会社 2015/06 単著 公開
宮崎修一 宮崎修一 数理工学事典 数理工学事典 朝倉書店 朝倉書店 2011/10 日本語 分担執筆 公開
Iwama, K. and Miyazaki, S. Iwama, K. and Miyazaki, S. Iwama, K. and Miyazaki, S. Stable Marriage with Ties and Incomplete Lists Stable Marriage with Ties and Incomplete Lists Stable Marriage with Ties and Incomplete Lists Encyclopedia of Algorithms, Springer, pp. 883-885, June 2008. Encyclopedia of Algorithms, Springer, pp. 883-885, June 2008. Encyclopedia of Algorithms, Springer, pp. 883-885, June 2008. 2008 英語 分担執筆 公開
宮崎修一 宮崎修一 安定結婚問題 安定結婚問題 アルゴリズム工学 - 計算困難問題への挑戦 -,第6.24節 「安定結婚問題」, 杉原厚吉, 茨木俊秀, 浅野孝夫, 山下雅史編 (他章の著者62名), 共立出版, pp. 264-265, 2001. アルゴリズム工学 - 計算困難問題への挑戦 -,第6.24節 「安定結婚問題」, 杉原厚吉, 茨木俊秀, 浅野孝夫, 山下雅史編 (他章の著者62名), 共立出版, pp. 264-265, 2001. 2001 日本語 分担執筆 公開
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
猪瀬賞 電子情報通信学会 2006/04
Best paper award 30th International Workshop on Combinatorial Algorithms (IWOCA 2019) 2019/08/
外部資金:競争的資金・科学研究費補助金
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
若手研究(B) 代表 多様な局面に適合した安定マッチング問題の解法研究 2003〜2004
若手研究(B) 代表 各種配属問題への安定マッチングの応用 2005〜2007
若手研究(B) 代表 実社会に即した安定マッチング問題の定式化とその解法研究 2008〜2011
基盤研究(C) 代表 安定マッチング問題の合理的なモデル化とアルゴリズム開発 2012〜2015
基盤研究(C) 代表 安定マッチングを利用した配属アルゴリズムの開発研究 2016〜2019
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
論理回路 前期 工学部 2002〜2009
アルゴリズム、計算量、離散数学(ポケゼミ) 前期 全学 2007〜
アルゴリズム入門 前期 全学 2011/04〜2012/03
マルチメディア通信 後期 情報学研究科 2002〜
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
アルゴリズム、計算量、離散数学 Algorithms, Computational Complexity, and Discrete 前期 全学共通科目 2011/04〜2012/03
アルゴリズム入門 Introduction to Algorithms 前期 全学共通科目 2011/04〜2012/03
アルゴリズム入門 Introduction to Algorithms 前期 全学共通科目 2012/04〜2013/03
グラフ理論 Graph Theory 後期 工学部 2012/04〜2013/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2012/04〜2013/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2012/04〜2013/03
アルゴリズム、計算量、離散数学 Algorithms, Computational Complexity, and Discrete Mathematics 前期 全学共通科目 2012/04〜2013/03
マルチメディア通信 Multimedia Communication 後期 情報学研究科 2012/04〜2013/03
グラフ理論 Graph Theory 後期 工学部 2013/04〜2014/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2013/04〜2014/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2013/04〜2014/03
マルチメディア通信 Multimedia Communication 後期 情報学研究科 2013/04〜2014/03
アルゴリズム入門 Introduction to Algorithms 前期 全学共通科目 2013/04〜2014/03
アルゴリズム、計算量、離散数学 Algorithms, Computational Complexity, and Discrete Mathematics 前期 全学共通科目 2013/04〜2014/03
グラフ理論 Graph Theory 後期 工学部 2014/04〜2015/03
知能情報学特殊研究 I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2014/04〜2015/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2014/04〜2015/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2014/04〜2015/03
マルチメディア通信 Multimedia Communication 後期 情報学研究科 2014/04〜2015/03
メディア応用特別セミナー Advanced Seminar on Application of Multimedia 後期 情報学研究科 2014/04〜2015/03
アルゴリズム入門 Introduction to Algorithms 前期 全学共通科目 2014/04〜2015/03
Advanced Study in IST I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2014/04〜2015/03
Advanced Study in IST II Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2014/04〜2015/03
Advanced Study in IST I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2015/04〜2016/03
Advanced Study in IST II Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2015/04〜2016/03
アルゴリズム入門 Introduction to Algorithms 前期 全学共通科目 2015/04〜2016/03
メディア応用特別セミナー Advanced Seminar on Application of Multimedia 後期 情報学研究科 2015/04〜2016/03
グラフ理論 Graph Theory 後期 工学部 2015/04〜2016/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2015/04〜2016/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2015/04〜2016/03
知能情報学特殊研究 I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2015/04〜2016/03
マルチメディア通信 Multimedia Communication 後期 情報学研究科 2015/04〜2016/03
Advanced Study in IST I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2016/04〜2017/03
Advanced Study in IST II Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2016/04〜2017/03
アルゴリズム入門 Introduction to Algorithms 前期 全学共通科目 2016/04〜2017/03
メディア応用特別セミナー Advanced Seminar on Application of Multimedia 後期 情報学研究科 2016/04〜2017/03
グラフ理論 Graph Theory 後期 工学部 2016/04〜2017/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2016/04〜2017/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2016/04〜2017/03
知能情報学特殊研究 I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2016/04〜2017/03
マルチメディア通信 Multimedia Communication 後期 情報学研究科 2016/04〜2017/03
Advanced Study in IST I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2017/04〜2018/03
Advanced Study in IST II Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2017/04〜2018/03
アルゴリズム入門 Introduction to Algorithms 前期 全学共通科目 2017/04〜2018/03
メディア応用特別セミナー Advanced Seminar on Application of Multimedia 後期 情報学研究科 2017/04〜2018/03
グラフ理論 Graph Theory 後期 工学部 2017/04〜2018/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2017/04〜2018/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2017/04〜2018/03
マルチメディア通信 Multimedia Communication 後期 情報学研究科 2017/04〜2018/03
アルゴリズム入門 Introduction to Algorithms 前期 全学共通科目 2018/04〜2019/03
グラフ理論 Graph Theory 後期 工学部 2018/04〜2019/03
マルチメディア通信 Multimedia Communication 後期 情報学研究科 2018/04〜2019/03
アルゴリズム入門 Introduction to Algorithms 前期 全学共通科目 2019/04〜2020/03
情報セキュリティ演習 Practice in Information Security 前期集中 工学部 2019/04〜2020/03
グラフ理論 Graph Theory 後期 工学部 2019/04〜2020/03
マルチメディア通信 Multimedia Communication 後期 情報学研究科 2019/04〜2020/03

  • <<
  • >>
  • 表示
指導学生の受賞
受賞した学生名 賞の名称 授与組織名 年月
岡本和也 猪瀬賞(論文賞) 電子情報通信学会 2006
Minseon Lee 情報処理学会関西支部大会 学生奨励賞 情報処理学会 2013/09/25
学外非常勤講師
講義名(日本語) 講義名(英語) 開講期 学校名 学部/研究科名 期間
プログラミングII 前期 京都府立大学 2000〜2001
社会情報科学のための数学 前期 兵庫県立大学 2019/04/01〜2019/09/30
全学運営(役職等)
役職名 期間
吉田キャンパス整備専門委員会委員会 委員 2010/04/01〜2010/09/30
学生生活委員会 委員 2013/04/01〜2015/03/31
部局運営(役職等)
役職名 期間
KUINS運用委員会委員
広報教育委員会委員
各種仕様策定委員
認証システム運用委員会委員 〜2014/03/31
人権問題委員会委員 委員
学術情報メディアセンター情報セキュリティ委員会委員  2014/04/01〜
学術情報メディアセンター及び情報環境機構安全衛生委員会委員長 2015/04/01〜2018/03/31
将来構想委員会 委員 2014/04/01〜2016/03/31
学術情報メディアセンター及び情報環境機構安全衛生委員会委員 委員
学術情報メディアセンター及び情報環境機構人権問題委員会 委員
学術情報メディアセンター企画・広報委員会 委員

  • <<
  • >>
  • 表示
学会活動:学会役員歴
学会名(日本語) 学会名(英語) 役職名(日本語) 役職名(英語) 期間
電子情報通信学会 IEICE コンピュテーション研究会幹事 2006/06/〜2008/06/
電子情報通信学会 IEICE コンピュテーション研究会専門委員 2008/06/〜
情報処理学会 IPSJ アルゴリズム研究会運営委員 2000〜2004
情報処理学会 IPSJ 関西支部幹事 2013/06/〜2015/06/
情報処理学会 IPSJ 関西支部委員 2015/06/〜2017/06/
情報処理学会 IPSJ 第77回全国大会実行委員会幹事 2014〜2015
学会活動:編集委員歴
学会名(日本語) 学会名(英語) ジャーナル名(日本語) ジャーナル名(英語) 役職名 期間
電子情報通信学会 IEICE 電子情報通信学会 英文論文誌 理論計算機科学 小特集号 編集委員 0000/00/〜
電子情報通信学会 IEICE 電子情報通信学会 英文論文誌 小特集「理論計算機科学」2010 編集委員長 2010〜2010
電子情報通信学会 IEICE 情報システムソサイエティ誌 編集委員 2009/05/〜2012/05/
電子情報通信学会 IEICE 情報システムソサイエティ誌 編集幹事 2012/05/〜2014/05/
電子情報通信学会 IEICE 情報システムソサイエティ誌 編集特任幹事 2014/05/〜
学会活動:査読委員歴
学会名(日本語) 学会名(英語) ジャーナル名(日本語) ジャーナル名(英語) 期間
電子情報通信学会 IEICE 査読委員 2005〜
学会活動:研究集会委員歴
学会名 研究集会名 役職名 期間
International Symposium on Algorithms and Computation (ISAAC) 2003 Organizing Committie 2003〜2003
The 9th Japan-Korea Joint Workshop on Algorithms and Computation Program Committie 2006〜2006
The 10th Korea-Japan Joint Workshop on Algorithms and Computation Program Committie 2007〜2007
The Kyoto International Conference on Computational Geometry and Graph Theory (KyotoCGGT2007) Organizing Committie 2007〜2007
電子情報通信学会 情報処理学会 FIT2007 プログラム編集委員 2007〜2007
電子情報通信学会 電子情報通信学会 2007総合大会 COMP-NHC学生シンポジウム実行委員 2007〜2007
電子情報通信学会 電子情報通信学会 2007総合大会 プログラム委員 2007〜2007
2nd International Workshop on Matching Under Preferences (MATCH-UP 2012) Program Committee 2012〜2012
3rd International Workshop on Matching Under Preferences (MACTH-UP 2015) Program Cmmittee 2014〜2015
18th Japan Conference on Discrete and Computational Geometry and Graphs (JCDCGG 2015) Organizing Committee 2015〜2015
5th International Workshop on Matching Under Preferences (MACTH-UP 2019) Program Committee 2018〜2019

  • <<
  • >>
  • 表示
その他活動:講演歴
会合名 講演タイトル 年月
日本OR学会離散アルゴリズム研究会(DAC) 「安定結婚問題に関する諸性質」 , 日本 OR 学会離散アルゴリズム研究会, 2001年9月27日. 2001
McGill University, Algorithms Seminar 2003 Approximability of Stable Marriage with Incomplete Lists and Ties, Algorithms Seminar 2003 , McGill University. 2003年3月6日. 2003
科学研究費補助金 基盤研究(C) 全体会議 「安定結婚問題の近似可能性と配属問題への応用」, 科学研究費補助金 基盤研究(C) 全体会議, 2003年9月2日. 2003
九州工業大学 特別講演 「安定結婚問題に対するアルゴリズム」, 特別講演 九州工業大学, 2005年11月7日. 2005
科学研究費補助金 特定領域研究(新世代の計算限界 -その解明と打破-) 全体会議 「安定結婚問題に対する1.875-近似アルゴリズム」, 科学研究費補助金 特定領域研究(新世代の計算限界 -その解明と打破-) 全体会議, 2006年11月18日. 2006
日本オペレーションズリサーチ学会 コンピュテーション研究部会 「修士論文公聴会スケジューリング問題の計算複雑さ」, 日本オペレーションズリサーチ学会 コンピュテーション研究部会, 2007年8月3日. 2007
九州工業大学 特別講演 「離散数学におけるエレガントな問題」, 特別講演 九州工業大学, 2008年11月14日. 2008
京都大学学術情報メディアセンターセミナー 「安定マッチング問題に対する近似アルゴリズム」, 京都大学学術情報メディアセンターセミナー, 2009年1月27日. 2009
National Institute for Mathematical Sciences (NIMS) Approximation Algorithms for Stable Marriage Problems, NIMS seminar, National Institute for Mathematical Sciences (NIMS), 2010年10月14日. 2010
Korea Advanced Institute of Science and Technology (KAIST) Approximation Algorithms for Finding Maximum Stable Matchings, KAIST Discrete Math Seminar, Korea Advanced Institute of Science and Technology (KAIST), 2010年10月15日. 2010
National Institute for Mathematical Sciences (NIMS) Competitive Analysis of Online Algorithms, NIMS seminar, National Institute for Mathematical Sciences (NIMS), 2010年10月19日. 2010
日本オペレーションズリサーチ学会 九州支部 「最大安定マッチングを求める近似アルゴリズム」, 日本オペレーションズリサーチ学会 九州支部総会, 九州大学 創造パビリオン, 2010年12月4日 2010
Summer Workshop on Economic Theory (SWET 2013) 安定マッチング問題に対するアルゴリズム論的アプローチ 2013/08/09
第25回RAMPシンポジウム 安定マッチング問題に対する近似アルゴリズム 2013/10/29
京都大学経済研究所 ミクロ・ゲーム理論研究会 近似アルゴリズムと安定マッチング 2014/04/03

  • <<
  • >>
  • 表示
その他活動:各種受賞歴
賞の名称 授与組織名 年月
ISSソサイエティ活動功労賞 電子情報通信学会 0000/00
その他活動:その他
活動名 内容 期間
宮崎大宮高校出前授業 賢いアルゴリズムを使って、問題を高速に解こう ~アルゴリズム理論、P≠NP予想、安定結婚問題~ 2014/10/04〜2014/10/04
京都大学サマースクール コンピュータサイエンスの数学 ~アルゴリズム理論、安定結婚問題、P≠NP予想~ 2015/08/20〜2015/08/20
同上 同上 2016/08/19〜2016/08/19
同上 同上 2017/08/11〜2017/08/11