Rchr
J-GLOBAL ID：200901081354071523   Update date: Apr. 12, 2024

Mitsuishi Takashi

ミツイシ タカシ | Mitsuishi Takashi
Affiliation and department：
Nagano University Faculty of Business and Information Department of Business and Information

About Nagano University Faculty of Business and Information Department of Business and Information


Job title： Lecturer
Research field  (2)： Intelligent informatics ,  Mathematical analysis
Research keywords  (2)： Fuzzy ,  Optimal Control
Research theme for competitive and other funds  (3)：
  • 2012 - 2014 Polar Coordinates Transformation of Periodic Membership Function and Its Defuzzification
  • 2007 - 2009 Existence of optimal fuzzy feedback control and its successive approximations
  • 2003 - 2005 プルーフチェッカー(Mizar)を用いたファジィ制御における最適化問題の解析
Papers (65)：
  • Properties of Symmetrical Piecewise Linear Functions Composed by Absolute Value Function. Mechanized Mathematics and Its Applications, Works in Progress. 2024. 6. 2. 1-8
  • Takashi Mitsuishi. Formalization and Verification of Fuzzy Approximate Reasoning by Mizar. AI Technologies and Virtual Reality. 2024. 443-452
  • Takashi Mitsuishi. Symmetrical Piecewise Linear Functions Composed by Absolute Value Function. Formalized Mathematics. 2023. 31. 1. 299-308
  • Takashi Mitsuishi. Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method. Formalized Mathematics. 2023. 31. 1. 59-66
  • Takashi Mitsuishi. Study on Continuity of Defuzzification Using Density Moment Method. 2023 IEEE 13th Symposium on Computer Applications & Industrial Electronics (ISCAIE). 2023
ｍore...
MISC (36)：
  • 三石貴志. 二等辺三角形型および等脚台形型メンバシップ関数の重心法を用いた非ファジィ化値. Proc. of the Technical Symposium and General Assembly of Mizar JAPAN (December2022). 2022. 17. 1. 1-8
  • Formalization of Defuzzification for Piecewise Linear Function Using Centroid Method. 2022. 1-9. 9-9
  • Formalization of centroid method in fuzzy approximate reasoning by Mizar. 2022. 122. 110. 53-56
  • 重心法を用いた非ファジィ化計算の定義. Proc. of the Technical Symposium and General Assembly of Mizar JAPAN,TSGA2021-05. 2021. 1-6
  • メンバシップ関数集合と非ファジィ化計算の形式化-国内研究「ファジィ推論の形式化と社会インフラのライフサイクル知識管理への応用」報告-. 2021. 30. 1. 1-6
ｍore...
Education (5)：
  • 2001 - 2001 Shinshu University
  • 1998 - 2001 Shinshu University Graduate School of Science and Technology
  • 1996 - 1998 Shinshu University Graduate School of Science and Technology
  • 1995 - 1996 Shinshu University Faculty of Engineering
  • 1991 - 1995 Meiji University School of Science and Technology Department of Mathematics
Professional career (1)：
  • - (Shinshu University)
Work history (15)：
  • 2022/04 - 現在 流通科学大学 経済学部 非常勤講師
  • 2022/04 - 現在 Nagano University Faculty of Business and Information Department of Business and Information
  • 2015 - 2022 流通科学大学 経済学部経済情報学科情報システムコース 教授
  • 2020/09 - 2021/03 Miyagi University Graduate School of Business and Entrepreneurship
  • 2020/04 - 2020/09 Miyagi University School of Project Design
Show all
Association Membership(s) (2)：
IEEE ,  電子情報通信学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM