三石貴志

ミツイシタカシ | Mitsuishi Takashi

所属機関・部署：
職名：教授

研究分野 (2件)：知能情報学 , 数理解析学

研究キーワード (2件)：ファジィ理論 , 最適制御

競争的資金等の研究課題 (3件)：

論文 (65件)：

三石貴志. 絶対値関数で表される左右対称な区分型線形関数の性質. 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

MISC (36件)：

三石貴志. 二等辺三角形型および等脚台形型メンバシップ関数の重心法を用いた非ファジィ化値. Proc. of the Technical Symposium and General Assembly of Mizar JAPAN (December2022). 2022. 17. 1. 1-8
三石貴志. 区分的線形関数型メンバシップ関数の重心法による非ファジィ化計算の形式化. 令和4年度電気・電子・情報関係学会四国支部連合大会講演論文集. 2022. 1-9. 9-9
三石貴志. 重心法を用いた非ファジィ化計算のMizarによる形式化. 電子情報通信学会技術研究報告 CS2022-26(2022-07)). 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

学歴 (5件)：

学位 (1件)：

経歴 (15件)：

全件表示

所属学会 (2件)：

IEEE , 電子情報通信学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

三石 貴志