宮崎 修一

最終更新日時: 2018/05/22 16:34:20

印刷する

氏名(漢字/フリガナ/アルファベット表記)
宮崎 修一/ミヤザキ シュウイチ/Shuichi Miyazaki
所属部署・職名(部局/所属/講座等/職名)
学術情報メディアセンター/ネットワーク研究部門/准教授
協力講座
部局 所属 講座等 職名
情報学研究科 知能情報学専攻 メディア応用 准教授
連絡先住所
種別 住所(日本語) 住所(英語)
職場 〒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
研究テーマ
(日本語)
効率の良いアルゴリズムの開発。問題の難しさの証明。
(英語)
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
研究分野(科研費分類コード)
科研費分類コード
情報学基礎
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版年月 記述言語 担当区分 公開
石田 保輝, 宮崎 修一 石田 保輝, 宮崎 修一 アルゴリズム図鑑 ~絵で見てわかる26のアルゴリズム~ アルゴリズム図鑑 ~絵で見てわかる26のアルゴリズム~ 翔泳社 2017/06 共著 公開
宮崎 修一 宮崎 修一 グラフ理論入門 ~基本とアルゴリズム~ グラフ理論入門 ~基本とアルゴリズム~ 森北出版株式会社 2015/06 単著 公開
宮崎修一 宮崎修一 数理工学事典 数理工学事典 朝倉書店 2011/10 日本語 分担執筆 公開
宮崎修一 宮崎修一 安定結婚問題 安定結婚問題 「離散数学のすすめ」(第17章を担当), 伊藤大雄, 宇野裕之 編著, 現代数学社, 2010年5月15日刊行. 2010 日本語 公開
宮崎修一 宮崎修一 安定結婚問題 安定結婚問題 アルゴリズム工学 - 計算困難問題への挑戦 -,第6.24節 「安定結婚問題」, 杉原厚吉, 茨木俊秀, 浅野孝夫, 山下雅史編 (他章の著者62名), 共立出版, pp. 264-265, 2001. 2001 日本語 公開
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. 2008 英語 公開
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
猪瀬賞 電子情報通信学会 2006/04
外部資金:競争的資金・科学研究費補助金
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
若手研究(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

  • <<
  • >>
  • 表示
指導学生の受賞
受賞した学生名 賞の名称 授与組織名 年月
岡本和也 猪瀬賞(論文賞) 電子情報通信学会 2006
Minseon Lee 情報処理学会関西支部大会 学生奨励賞 情報処理学会 2013/09/25
学外非常勤講師
講義名(日本語) 講義名(英語) 開講期 学校名 学部/研究科名 期間
プログラミングII 前期 京都府立大学 2000〜2001
全学運営(役職等)
役職名 期間
吉田キャンパス整備専門委員会委員会 委員 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
その他活動:講演歴
会合名 講演タイトル 年月
日本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
京都大学サマースクール2015 コンピュータサイエンスの数学 ~アルゴリズム理論、安定結婚問題、P≠NP予想~ 2015/08/20〜2015/08/20