宮崎 修一

Last Update: 2019/05/17 18:40:49

Print

Name(Kanji/Kana/Abecedarium Latinum)
宮崎 修一/ミヤザキ シュウイチ/Miyazaki, Shuichi
Primary Affiliation(Org1/Job title)
Academic Center for Computing and Media Studies (ACCMS)/Associate Professor
Affiliated programs (koza)
Org1 Job title
Graduate Schools Informatics Associate Professor
Contact Address
Type Address(Japanese) Address(English)
Office 〒606-8501 京都府京都市左京区吉田本町  Yoshida Honmachi, Sakyo-ku, Kyoto 606-8501, JAPAN
Phone
Type Number
Office 075-753-7418
Academic Organizations You are Affiliated to in Japan
Organization name(Japanese) Organization name(English)
情報処理学会 Information Processing Society of Japan
電子情報通信学会 The Institute of Electronics, Information and Communication Engineers
Academic Organizations Overaseas You are Affiliated to
Organization name Country
European Association for Theoretical Computer Science (EATCS) ヨーロッパ
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
修士(工学) 九州大学
博士(工学) 九州大学
Graduate School
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(Japanese) Major(English) Degree
九州大学 大学院システム情報科学研究科博士後期課程情報工学専攻(転研究科) 修了
九州大学 大学院工学研究科修士課程情報工学専攻 修了
Undergraduate School / Major(s)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(s)(Japanese) Major(s)(English) Degree
九州大学 工学部情報工学科 卒業
High School
Highschool Kana
宮崎県立宮崎西高等学校 みやざきにしこうとうがっこう
Work Experience
Period Organization(Japanese) Organization(English) Job title(Japanese) Job title(English)
1998/04-2002/03 京都大学 情報学研究科 通信情報システム専攻 助手
2002/04-2007/03/ 京都大学 学術情報メディアセンター 助教授
2007/04/01- 京都大学 学術情報メディアセンター 准教授
Personal Profile
(Japanese)
平成10年、九州大学 大学院システム情報科学研究科 情報工学専攻 博士後期課程修了。博士(工学)。京都大学 大学院情報学研究科 助手を経て、平成14年4月より、京都大学 学術情報メディアセンター 助教授(現在は准教授)。アルゴリズム理論、計算量理論の研究に従事。所属学会は電子情報通信学会、情報処理学会、EATCS。
(English)
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.
Personal Website(s) (URL(s))
URL
http://www.lab2.kuis.kyoto-u.ac.jp/~shuichi/index-j.html
http://www.lab2.kuis.kyoto-u.ac.jp/~shuichi/index.html
researchmap URL
https://researchmap.jp/read0161044
Research Topics
(Japanese)
効率の良いアルゴリズムの開発。問題の難しさの証明。
(English)
Design and analysis of efficient combinatorial algorithms. Proving intractability of problems.
Overview of the research
(Japanese)
組み合わせアルゴリズムの開発とその効率の解析、問題の複雑さの研究。特に近似アルゴリズムやオンラインアルゴリズム。
(English)
Design and analysis of combinatorial algorithms, and intractability of problems. Specifically, approximation algorithms and online algorithms.
Fields of research (key words)
Key words(Japanese) Key words(English)
計算量理論 Computational Complexity
アルゴリズム Algorithms
Books etc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Publisher Publisher(Japanese) Publisher(English) Publication date Language Type Disclose
宮崎 修一 宮崎 修一 安定マッチングの数理とアルゴリズム 安定マッチングの数理とアルゴリズム 現代数学社 現代数学社 2018/05 Single Work Disclose to all
石田 保輝, 宮崎 修一 石田 保輝, 宮崎 修一 アルゴリズム図鑑 ~絵で見てわかる26のアルゴリズム~ アルゴリズム図鑑 ~絵で見てわかる26のアルゴリズム~ 翔泳社 翔泳社 2017/06 Joint Work Disclose to all
MIYAZAKI Shuichi 宮崎 修一 MIYAZAKI Shuichi Stable Marriage Problem Stable Marriage Problem Stable Marriage Problem CRC Press CRC Press CRC Press 2015/12 Contributor Disclose to all
宮崎 修一 宮崎 修一 グラフ理論入門 ~基本とアルゴリズム~ グラフ理論入門 ~基本とアルゴリズム~ 森北出版株式会社 森北出版株式会社 2015/06 Single Work Disclose to all
宮崎修一 宮崎修一 数理工学事典 数理工学事典 朝倉書店 朝倉書店 2011/10 Japanese Contributor Disclose to all
宮崎修一 宮崎修一 安定結婚問題 安定結婚問題 アルゴリズム工学 - 計算困難問題への挑戦 -,第6.24節 「安定結婚問題」, 杉原厚吉, 茨木俊秀, 浅野孝夫, 山下雅史編 (他章の著者62名), 共立出版, pp. 264-265, 2001. アルゴリズム工学 - 計算困難問題への挑戦 -,第6.24節 「安定結婚問題」, 杉原厚吉, 茨木俊秀, 浅野孝夫, 山下雅史編 (他章の著者62名), 共立出版, pp. 264-265, 2001. 2001 Japanese Contributor Disclose to all
Iwama, K. and Miyazaki, S. Iwama, K. and Miyazaki, S. 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. 2008 English Contributor Disclose to all
Title language:
Awards
Title(Japanese) Title(English) Organization name(Japanese) Organization name(English) Date
猪瀬賞 電子情報通信学会 2006/04
External funds: competitive funds and Grants-in-Aid for Scientific Research (Kakenhi)
Type Position Title(Japanese) Title(English) Period
若手研究(B) Representative 多様な局面に適合した安定マッチング問題の解法研究 2003-2004
若手研究(B) Representative 各種配属問題への安定マッチングの応用 2005-2007
若手研究(B) Representative 実社会に即した安定マッチング問題の定式化とその解法研究 2008-2011
基盤研究(C) Representative 安定マッチング問題の合理的なモデル化とアルゴリズム開発 2012-2015
基盤研究(C) Representative 安定マッチングを利用した配属アルゴリズムの開発研究 2016-2019
基盤研究(C) Representative 安定マッチングを利用した配属アルゴリズムの開発研究 (平成29年度分) 2017/04/01-2018/03/31
基盤研究(C) Representative 安定マッチングを利用した配属アルゴリズムの開発研究 (平成30年度分) 2018/04/01-2019/03/31
Teaching subject(s)
Name(Japanese) Name(English) Term Department Period
論理回路 前期 工学部 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

  • <<
  • >>
Awards received by supervised students
Student name Award title Giver Date
岡本和也 猪瀬賞(論文賞) 電子情報通信学会 2006
Minseon Lee 情報処理学会関西支部大会 学生奨励賞 情報処理学会 2013/09/25
Part-time lecturer (outside KU)
Cource name(Japanese) Cource name(English) Term University Department Period
プログラミングII 前期 京都府立大学 2000-2001
社会情報科学のための数学 前期 兵庫県立大学 2019/04/01-2019/09/30
School management (title, position)
Title Period
吉田キャンパス整備専門委員会委員会 委員 2010/04/01-2010/09/30
学生生活委員会 委員 2013/04/01-2015/03/31
Faculty management (title, position)
Title Period
KUINS運用委員会委員 -
広報教育委員会委員 -
各種仕様策定委員 -
認証システム運用委員会委員 -2014/03/31
人権問題委員会委員 委員 -
学術情報メディアセンター情報セキュリティ委員会委員  2014/04/01-
学術情報メディアセンター及び情報環境機構安全衛生委員会委員長 2015/04/01-2018/03/31
将来構想委員会 委員 2014/04/01-2016/03/31
学術情報メディアセンター及び情報環境機構安全衛生委員会委員 委員 -
学術情報メディアセンター及び情報環境機構人権問題委員会 委員 -
学術情報メディアセンター企画・広報委員会 委員 -

  • <<
  • >>
Academic organizations (administrative history with title(s), position(s), etc.)
Organization name(Japanese) Organization name(English) Title(Japanese) Title(English) Period
電子情報通信学会 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
Academic organizations (editor, editing team)
Organization name(Japanese) Organization name(English) Journal name(Japanese) Journal name(English) Title Period
電子情報通信学会 IEICE 電子情報通信学会 英文論文誌 理論計算機科学 小特集号 編集委員 0000/00/-
電子情報通信学会 IEICE 電子情報通信学会 英文論文誌 小特集「理論計算機科学」2010 編集委員長 2010-2010
電子情報通信学会 IEICE 情報システムソサイエティ誌 編集委員 2009/05/-2012/05/
電子情報通信学会 IEICE 情報システムソサイエティ誌 編集幹事 2012/05/-2014/05/
電子情報通信学会 IEICE 情報システムソサイエティ誌 編集特任幹事 2014/05/-
Academic organizaions (peer-reviewer)
Organization name(Japanese) Organization name(English) Journal name(Japanese) Journal name(English) Period
電子情報通信学会 IEICE 査読委員 2005-
Academic organizaions (conference administrator)
Organization name Group name Title Period
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

  • <<
  • >>
Other activities
Meeting Title Date
日本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

  • <<
  • >>
Other activities (awards)
Award name Organization name Date
ISSソサイエティ活動功労賞 電子情報通信学会 0000/00
Other activities (other)
Activity Misc Period
宮崎大宮高校出前授業 賢いアルゴリズムを使って、問題を高速に解こう ~アルゴリズム理論、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