ホーム



Hiroyuki Miyata (宮田 洋行)
Assistant Professor, Nakano Laboratory,
Department of Computer Science, Gunma University
Email: hmiyata (at) cs.gunma-u.ac.jp
 




CV
  Education:
  • Graduated from Takaoka High School, 2003.
  • Bachelor of Science (Department of Information Science), The University of Tokyo, 2007. 
  • Master of Information Science and Technology, The University of Tokyo, 2009.
  • Ph. D. of Information Science and Technology, The University of Tokyo, 2012.
  Employment:
  • Research Fellow of the Japan Society for the Promotion of Science (DC1) (2009--2012)
  • Assistant Professor, Graduate School of Information Sciences, Tohoku University (2012--2015)
  • Assistant Professor, Department of Computer Science, Gunma University (2015--)
  Visiting researcher:
  • Institute for Operations Research, ETH Zurich (Feburary 2011--April 2011)
  Teaching:
  • Teaching assistant, Exercises in Information and Science I (Discrete Mathematics), University of Tokyo, 2007.4--9 (with Sonoko Moriyama).
  • Teaching assistant, Exercises in Information and Science I (Discrete Mathematics), University of Tokyo, 2008.4--9 (with Sonoko Moriyama). 
  • Teaching assistant, Exercises in Information and Science I (Discrete Mathematics), University of Tokyo, 2009.4--9 (with Jun Hasegawa). 
  • Lecture, Special Lecture III on Information Sciences , Tohoku University, 2013.4--9 (with Takehisa Hasegawa, Keiji Miura and Etsuo Segawa)
    - polytope theory, linear programming, enumeration algorithms.
  • Lecture, Special Lecture I on Information Sciences , Tohoku University, 2014.4--9 (with Takehisa Hasegawa, Keiji Miura and Etsuo Segawa)
    - generating functions, Ehrhart theory, counting complexity.
  • Intensive lectures, Tohoku University, 2014.8.7--8.
    - Gröbner bases and their applications to invariant theory and combinatorial theory.
  • Lecture, Laboratory on Informatics II (Hardware experiments), Gunma University, 2015.10--2016.3 (with Toru Araki)
  • Lecture, Laboratory on Informatics I (Hardware experiments), Gunma University, 2016.4--2016.9 (with Ken'ichi Kawanishi)
  • Lecture, Laboratory on Informatics II (Hardware experiments), Gunma University, 2016.10--2017.3 (with Toru Araki)
  • Lecture, Laboratory on Informatics I (Hardware experiments), Gunma University, 2017.4--2017.9 (with Hiromasa Oku)
 
Research project pages:
 

Preprints:
  1. Hiroyuki Miyata, 
    On symmetry groups of oriented matroids,
    http://arxiv.org/abs/1301.645148 pages.
  2. Hiroyuki Miyata,
    On Combinatorial Properties of Points and Polynomial Curves,
    https://arxiv.org/abs/1703.04963, 14 pages. New!
 
Journal papers:
  1. Hiroyuki Miyata, Sonoko Moriyama and Hiroshi Imai,
    Deciding non-realizability of oriented matroids by semidefinite programming,
    Pacific Journal of Optimization, Volume 5, Number 2, pp. 211--224, 2009.
  2. Antoine Deza, Hiroyuki Miyata, Sonoko Moriyama and Feng Xie,
    Hyperplane Arrangements with Large Average Diameter: a Computational Approach,
    Advanced Studies in Pure Mathematics, Volume 62, pp. 59--74, 2012.
  3. David Avis, Hiroyuki Miyata and Sonoko Moriyama,
    Families of polytopal digraphs that do not satisfy the shelling property,
    Computational Geometry: Theory and Applications, vol. 46, issue 3, pp. 382--393, 2013.
  4. Komei Fukuda, Hiroyuki Miyata and Sonoko Moriyama
    Complete Enumeration of Small Realizable Oriented Matroids,
    Discrete and Computational Geometry, Volume 49, Issue 2, pp. 359--381, 2013.
  5. Lorenz Klaus and Hiroyuki Miyata, 
    Enumeration of PLCP-orientations of the 4-cube,
    European Journal of Combinatorics, Volume 50, Special Issue in Memory of Michel Las Vergnas, pp. 138--151, 2015.
  6. Hiroyuki Miyata and Arnau Padrol, 
    Enumerating neighborly polytopes and oriented matroids, 
    Experimental Mathematics, Volume 24, Issue 4, pp.489--505, 2015.
 
 
Refereed conference papers:
  1. Hiroyuki Miyata, Sonoko Moriyama and Hiroshi Imai,
    Determining the non-realizability of oriented matroids by semidefinite programming,
    Proceedings of Kyoto International Conference on Computational Geometry and Graph Theory, 2007.
  2. David Avis, Hiroyuki Miyata and Sonoko Moriyama,
    A family of polytopal digraphs that do not satisfy the shelling property,
    Proceedings of the 6th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications, pp.236--246, 2009.
  3. Hiroyuki Miyata, Sonoko Moriyama and Komei Fukuda,
    Complete enumeration of small realizable oriented matroids,
    Proceedings of the 22nd Canadian Conference on Computational Geometry, pp.143--146, 2010.
 
 
Talks:

  International (or abroad):
  1. Hiroyuki Miyata, Sonoko Moriyama and Hiroshi Imai,
    Determining the non-realizability of oriented matroids by semidefinite programming,
    Kyoto International Conference on Computational Geometry and Graph Theory (KyotoCGGT2007), Kyoto, Japan, 2007.6.11--15.
  2. Sonoko Moriyama, Hiroyuki Miyata and Hiroshi Imai,
    Approach to the realizability problem of oriented matroids by seminidefinite programming,
    Second Mathematical Programming Society International Conference on Continuous Optimization ICCOPT II & MOPTA-07, Hamilton, Ontario, Canada, 2007.8.13--16.
  3. Hiroyuki Miyata, Sonoko Moriyama and Hiroshi Imai,
    Analyzing Geometric Realizability Problems by Semidefinite Programming,
    Kyoto RIMS Workshop on Computational Geometry and Discrete Mathematics, Kyoto, Japan, 2008.10.16--18.
  4. David Avis, Hiroyuki Miyata and Sonoko Moriyama,
    A family of polytopal digraphs that do not satisfy the shelling property,
    6th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications,Budapest, Hungary, 2009.5.16--19.
  5. Hiroyuki Miyata, Sonoko Moriyama and Komei Fukuda,
    Realizations of oriented matroids by extended solvability sequence method,
    Canada-Japan Workshop on Discrete and Computational Geometry, Tokyo, Japan, 2009.7.13--15.
  6. Hiroyuki Miyata, Sonoko Moriyama and Komei Fukuda,
    Complete enumeration of small realizable oriented matroids, the 22nd Canadian
    Conference on Computational Geometry (CCCG 2010), Winnipeg, Canada, 2010.8.9--11.
  7. Hiroyuki Miyata, Sonoko Moriyama and Komei Fukuda,
    Database of point configurations and polytopes, and classification software,
    The Third International Congress on Mathematical Software (ICMS 2010), Kobe, Japan, 2010.9.13--17 (poster presentation).
  8. Hiroyuki Miyata,
    Complete enumeration of small realizable oriented matroids,
    Combinatorial Geometry and Optimization Seminar, EPFL, Lausanne, Switzerland, 2011.3.17.
  9. Hiroyuki Miyata,
    Complete enumeration of small realizable oriented matroids,
    Discrete Geometry Seminar, FU Berlin, Berlin, Germany, 2011.12.1.
  10. Hiroyuki Miyata,
    On symmetry groups of oriented matroids,
    The First ETH-Japan Workshop on Science and Computing, Engelberg, Switzerlnd, 2012.3.11--14.
  11. Komei Fukuda, Hiroyuki Miyata and Sonoko Moriyama,
    Complete Enumeration of Small Realizable Oriented Matroids,
    Combinatorial Geometries: matroids, oriented matroids and applications, Marseille-Luminy, 2013.4.2--6.
  12. Hiroyuki Miyata
    Studying combinatorial geometry using databases,
    Tunisian Japanese Symposium on Science, Society and Technology (TJASSST 2013), Hammamet, Tunisia, 2013.11.15--18. 
  13. Hiroyuki Miyata
    Enumeration of combinatorial structures using oriented matroids,
    The 20th Conference of the International Federation of Operational Research Societies (IFORS 2014), Barcelona, Spain, 2014.7.13--18. 
  14. Hiroyuki Miyata
    On Classes of Orienetd Matroids That Admit 2-dimensional Topological Representations,
    The fifth International Conference on Continuous Optimization (ICCOPT 2016), Tokyo, Japan, 2016.8.6--11.
  15. Hiroyuki Miyata
    Enumerating geometric partitions using oriented matroids,
    The 21st Conference of the International Federation of Operational Research Societies (IFORS 2017), Québec City, Canada, 2017.7.17--21. 
 Domestic:
  1. 森山園子, 宮田洋行, 今井浩:
    有向マトロイドの実現不可能性問題における半正定値計画問題の有用性,
    応用数理学会研究部会連合発表会(離散システム研究部会), 首都大学東京, 2008年3月8日~9日.
  2. 宮田洋行, 森山園子, 福田公明:
    小さな有向マトロイドの実現可能性の完全な分類,
    電子情報通信学コンピュテーション研究会, 立命館大学, 2010年4月22日.
    (信学技報, vol. 110, no. 12, COMP2010-4, pp. 25--31)
  3. 宮田洋行:
    多面体の組合せ構造の列挙,
    組合せ数学セミナー(COMAゼミ)特別編, 東京大学, 2010年7月23日.
  4. 宮田洋行:
    マトロイド・有向マトロイドの対称性に関する考察,
    組合せ論セミナー, 東北大学, 2012年6月27日.
  5. 宮田洋行:
    有向マトロイドの自己同型群の分類,
    2012年組合せ論サマースクール, 島根, 2012年8月28日~31日.
  6. 宮田洋行:
    多面体の組合せ構造の列挙とその周辺,
    九州大学マス・フォア・インダストリ研究所 短期共同研究「学習理論における組合せ論」, 九州大学, 2012年9月18日~20日.
  7. Yoshikazu Aoshima, Hiroyuki Miyata and Sonoko Moriyama,
    On classes of polytopes whose LP-orientations can be characterized by the shelling property,
    電子情報通信学コンピュテーション研究会, 東北大学, 2012年10月31日.
    (信学技報, vol. 112, no. 272, COMP2012-41, pp. 45--51)
  8. Komei Fukuda, Lorenz Klaus and Hiroyuki Miyata,
    Enumeration of PLCP-orientations on the 4-cube,
    電子情報通信学コンピュテーション研究会, 九州大学, 2012年12月10日.
    (信学技報, vol. 112, no. 340, COMP2012-50, pp. 41--48)
  9. Komei Fukuda, Lorenz Klaus and Hiroyuki Miyata,
    A New Subclass of P-matrix Linear Complementarity Problems,
    電子情報通信学コンピュテーション研究会, 小樽商科大学, 2013年5月17~18日.
    (信学技報, vol. 113, no. 50, COMP2013-10, pp. 25--32)
  10. 宮田 洋行:
    多面体・近傍的多面体の組合せ型の列挙,
    大阪組合せ論セミナー, 大阪市立大学, 2013年12月13日.
  11. Hiroyuki Miyata and Arnau Padrol,
    Enumeration of neighborly polytopes and oriented matroids,
    電子情報通信学コンピュテーション研究会, 明治大学, 2014年3月10日.
    (信学技報, vol. 113, no. 488, COMP2013-66, pp. 43--50)
  12. 宮田 洋行:
    列挙に基づいた近傍的多面体の研究および関連する代数的問題,
    第31回代数的組合せ論シンポジウム, 東北大学, 2014年6月19~20日.
    (「近傍的多面体の組合せ型の列挙とその周辺」, 第31回代数的組合せ論シンポジウム報告集, pp. 87--98)
  13. 福田 俊, Bernd Gärtner, Lorenz Klaus, 宮田 洋行, 森山 園子:
    線形回のピボット操作で解ける線形相補性問題のクラスについて,
    日本オペレーションズ・リサーチ学会 2014年秋季研究発表会, 北海道大学, 2014年8月28日~29日.
  14. 福田 俊, Bernd Gärtner, Lorenz Klaus, 宮田 洋行, 森山 園子:
    P行列線形相補性問題における局所一様向き付けについて,
    第13回情報科学技術フォーラム(FIT 2014), 筑波大学, 2014年9月3日~5日.
  15. Hiroyuki Miyata:
    Towards Higher-Order Oriented Matroid Theory -- Topological Representation Theorem --
    電子情報通信学コンピュテーション研究会, 大阪大学, 2015年12月1日.
    (信学技報, vol. 115, no. 344, COMP2015-30, pp. 1--8)
  16. 中川 幸一,堀山 貴史,宮田 洋行, 中野 眞一:
    0/1-多面体の0/1-同値類の数え上げについて,
    アルゴリズム研究会, 石川, 2016年6月24~25日.
  17. Hiroyuki Miyata:
     A 2-dimensional topological representation theorem for rank 4 matroid polytopes,
    電子情報通信学コンピュテーション研究会, 富山県立大学, 2016年9月6日.
    (信学技報, vol. 116, no. 211, COMP2016-21, pp. 45--52.)
  18. 小池 優, 赤木 俊裕, 宮田 洋行, 中野 眞一:
    弱l-多様性問題を解く3近似アルゴリズム,
    第15回情報科学技術フォーラム(FIT 2016), 富山大学, 2016年9月7日~9日.
  19. 宮田 洋行:
    有向マトロイドのトポロジー的表現定理およびその低次元化について,
    第28回RAMPシンポジウム(RAMP 2016), 新潟大学, 2016年10月13~14日.
  20. 小川 航平, 赤木 俊裕, 宮田 洋行, 中野 眞一:
    直線上のmin-sum r-cellular Clustering
    情報処理学会第79回全国大会, 名古屋大学, 2017年3月16日~18日. 
  21. 宮田 洋行:
    有向マトロイドの幾何的・トポロジー的表現について,
    Japanese Conference on Combinatorics and its Applications (JCCA- 2017)  ミニシンポジウム「幾何学的・トポロジー的組合せ論」,
    熊本大学, 2017年8月17日~19日.
  22. 宮田 洋行:
    有向マトロイドのトポロジー的表現について,
    水戸数学・情報数理研究会2017, 水戸中央ビル, 2017年8月20日.
     Other talks:
  1. 宮田 洋行:
    線形相補性問題に関する研究,
    SMART-CREST WORKSHOP "数学と諸分野との連携研究の探索", 東北大学, 2013年3月19日.
  2. 宮田 洋行:
    有向マトロイドによる様々な組合せ構造の理解に向けた研究,
    第3回 数学と諸分野との連携研究の探索, 東北大学, 2014年1月31日.
  3. 宮田 洋行:
    双曲幾何を用いて得られる「具体的」な結果について,
    SMARTプログラム「数学と諸分野との連携探索:夏のセミナー合宿」, 諏訪, 照光寺, 2014年9月1日~3日. 
  4. 宮田 洋行:
    凸多面体の組合せ構造のさらなる理解に向けて,
    第4回 数学と諸分野との連携研究の探索, 東北大学, 2015年2月24日.
  5. 宮田 洋行:
    凸多面体列挙の周辺の紹介,
    第21回列挙アルゴリズムセミナー, 群馬大学, 2015年3月5日~7日.
  6. 宮田 洋行:
    高階有向マトロイド理論へ向けて ~トポロジー的表現定理~
    数学連携セミナー, 東北大学, 2015年12月18日.
 
Grants:
  1. 「数値最適化による有向マトロイドの構造解析とその実代数幾何アルゴリズムへの展開」
    科研費 特別研究員奨励費 (平成21年度~平成23年度), 研究代表者.
  2. 「有向マトロイドの実現可能性分類のさまざまな応用可能性の探求」
    東京大学大学院情報理工学系研究科 海外派遣プログラム (平成23年2月~4月)
  3. 「有向マトロイド的構造データベースの拡張および高階有向マトロイドへの展開」
    科研費 若手研究(B) (平成26年度~平成28年度), 研究代表者.

Misc:
Links: