グローバルナビゲーションへ

本文へ

バナーエリアへ

フッターへ




教育・研究

三石 貴志

三石 貴志

企業情報学部
企業情報学科 教授

【主な担当科目】
●アルゴリズムとデータ構造
●コンピュータアーキテクチャ
●情報セキュリティ ほか
【学位】
博士(工学)

【学歴・職歴】
明治大学理工学部数学科卒
信州大学大学院工学系研究科博士後期課程システム開発工学専攻修了
宮城大学助手、流通科学大学講師、准教授、教授
   
キーワード
ファジィ理論、形式化数学、最適化問題

研究テーマ
ファジィ推論に関する数学的考察
数学の定理証明の形式化

主な研究業績
・三石貴志,” メンバシップ関数集合の定義といくつかのメンバシップ関数の諸性質”, Mechanized Mathematics and Its Applications, Works in Progress, vol.3, no.2, pp. 1-16,2021/10.
・T. Mitsuishi, “Some Properties of Membership Functions Composed of Triangle Functions and Piecewise Linear Functions”, Journal of Formalized Mathematics, Vol. 29, No. 2, pp. 103-115, 2021/6.
・T. Mitsuishi, “Uncertain Defuzzified Value of Periodic Membership Function”, Proc. of the 2018 IEEE International Electrical Engineering Congress (iEECON), pp. 591-594, 2018/3.
・T. Mitsuishi, “Defects in the Defuzzification of Periodic Membership Functions on Orthogonal Coordinates and a Solution,” Proc. of North American Fuzzy Information Processing Society Annual Conference, P. Melin et al. (eds.), Fuzzy Logic in Intelligent System Design, Advances in Intelligent Systems and Computing 648, pp. 361-370, 2017/10.
・A. Grabowski, T. Mitsuishi, “Extending formal fuzzy sets with triangular norms and conforms”, Proc. of The 10th Conference of the European Society for Fuzzy Logic and Technology, J. Kacprzyk et al.(Eds.), Advances in Fuzzy Logic and Technology 2017, Advances in Intelligent Systems and Computing 642, pp. 176-187, 2017/9.

可能な共同・受託研究のテーマ
最適化問題、ファジィ推論を用いたシステム開発

高校生向け講義
オペレーションズ・リサーチとは

一般向け講義
ファジィ理論入門
  • 資料請求
  • 長野大学りんどう祭
  • 新型コロナウイルス感染症に関する対応について
  • カリキュラム・ウェブシラバス
  • 信州上田学
  • 学問のミニ講座
  • まちなかキャンパスうえだ

  1. ホーム
  2.  >  教育・研究
  3.  >  教員紹介
  4.  >  三石 貴志