教授

宮崎 裕 MIYAZAKI, Yutaka

教授

宮崎 裕 MIYAZAKI, Yutaka

学位
博士(情報科学)
最終学歴
北陸先端科学技術大学院大学情報科学研究科
研究分野
情報論理学(非古典論理学、様相論理、ユニバーサル代数、計算論、グラフ理論)
主な担当科目
数理論理学、ソフトウェア論、ハードウェア論

Message メッセージ

大学は、学生諸君が今後の人生においてふりかかるであろう幾多の問題に対して、それらを理詰めで解決する方法を身につけるところです。長いようで実は短い4年間のうちに、自分の頭で存分に考える癖をつけましょう。卒業後にさまざまな解決手法が使えるよう、いろんなことに興味を持って何でも体験し、引き出しを増やしておきましょう。

研究活動

研究分野

情報論理学(非古典論理学、様相論理、ユニバーサル代数、計算論、グラフ理論)

所属学会

日本数学会

学会報告

  1. Yutaka Miyazaki, On the variety of proximity algebras, Applications of Algebra in Logic and Computer Science in Institute of Mathematics and Computer Science of Jan Dlugosz University, Zakopane, Poland, March 2010.
  2. Yutaka Miyazaki, Unification problems in weakly transitive modal logics , 31st Logic Seminar at RCIS, JAIST in Feb 2011.
  3. Yutaka Miyazaki, Unification problems in non-weakly transitive modal logics, Applications of Algebra in Logic and Computer Science in Institute of Mathematics and Computer Science of Jan Dlugosz University, Zakopane, Poland, March 2012.

著書?論文

主な論文

  1. Yutaka Miyazaki, A splitting logic in Next(KTB), Studia Logica 85, 399-412 (2007)
  2. Tomasz Kowalski, Yutaka Miyazaki, All splitting logics in the lattice Next(KTB), Trends in Logic Vol. 27, 53 ? 67, (2008).
  3. Yutaka Miyazaki, Every variety of proximity algebras of a finite diameter is locally finite, Proceedings of the 7th Panhellenic Logic Symposium, 132-136, Patras University Press, Patras (2009)
  4. Yutaka Miyazaki, The structure of the lattice of normal extensions of modal logics with cyclic axioms, Advances in Modal Logic, Vol 11, 489 -- 502, College Publications (2016)
  5. J. Koussas, T. Kowalski, Y. Miyazaki, M. Stevens, Normal Extensions of KTB of Codimension 3, Advances in Modal Logic Vol.12, 447 ? 458, College Publications (2018).
松山 沙織
教員紹介一覧
矢野 哲也