教員紹介

教員紹介

教員詳細情報

検索結果に戻る  印刷する

氏名 石田 俊一
かな いしだ としかず(ISHIDA TOSHIKAZU)
所属 理工学部 情報科学科
職名 准教授
学位 博士(理学) 
ホーム
ページ
 
石田 俊一

専攻分野・研究テーマ

専攻分野
情報学基礎理論、 情報科学
研究テーマ
関係計算による情報基礎論、形式概念分析、eラーニング、情報セキュリティ、セルオートマトンの挙動解析

担当科目

離散数学、基礎数学、数学の世界

学生諸君へのメッセージ

大学生活では自分が欲し、行動することで様々な経験、知識を得ることができます。今後の人生の上でも大きな役割を持つ期間ですので、勉学だけに限らず積極的に課外活動などを行い、様々な方と触れ合う中で人間として大きく成長してください。そのとき困ったこと、悩むことがあれば相談に来てください。学生皆様の成長の手助けが出来ればと思います。

学歴

2003年3月
愛媛大学理学部数理科学科卒業
2005年3月
愛媛大学大学院数理科学研究科博士前期課程情報理学専攻修了
2009年3月
九州大学大学院システム情報科学府博士後期課程情報理学専攻修了(博士(理学))

研究業績

 著書

 論文

  • Propositional Logic and Cellular Automata on Monoids(Refereed Papers) 共著 2017年 Jarnal of CELLULAR AUTOMATA(12巻1-2号) Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara
  • Cellular Automata Associated with Σ-Algebras(Refereed Papers) 共著 2016年3月 IEICE Transactions on Information and Systems(E99-D巻3号) Shuichi Inokuchi, Toshikazu Ishida, Yasuo Kawahara
  • Cellular Automata and Formulae on Monoids(Refereed Papers) 共著 2014年9月 Proc. of 11th International Conference on Cellular Automata for Research and Industry, LNCS(8751巻) Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara 55-64
  • Continuity of Inverse Transition Relations of 2-Neighborhood Cellular Automata(Refereed Papers) 共著 2013年12月 Proceeding of 1st International Workshop on Applications and Fundamentals of Cellular Automata Toshikazu Ishida, Shuichi Inokushi
  • Continuous Relations and Richardson’s Theorem(Refereed Papers) 共著 2012年 Relational and Algebraic Methods in Computer Science LNCS(7560巻) Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara
  • Limit Cycle for Composited Cellar Automata(Refereed Papers) 共著 2012年 Proc. of 10th International Conference on Cellular Automata for Research and Inductry LNCS(7495巻) Toshikazu Ishida, Shuichi Inokuchi
  • Armstrong’s Inference Rules in Dedekind Categories(Refereed Papers) 共著 2009年11月 Relations and Kleene Algebra in Computer Science LNCS(5827巻) Toshikazu ishida, Kazumasa Honda, Yasuo Kawahara
  • IMPLICATION AND FUNCTIONAL DEPENDENCY IN INTENSIONAL CONTEXTS(Refereed Papers) 共著 2008年12月 Bulletin of Informatics and Cybernetics(40巻) Kazumasa Honda, Yasuo Kawahara
  • Formal Concepts in Dedekind Categories(Refereed Papers) 共著 2008年4月 Relations and Kleene Algebra in Computer Science LNCS(4988巻) Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara

検索結果に戻る  印刷する

ページの先頭へ