三石貴志

ミツイシタカシ | Mitsuishi Takashi

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

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

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

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

論文 (66件)：

Takashi Mitsuishi. Comparison of Operations in Fuzzy Approximate Reasoning and Centroid of Membership Function. 2024 2nd International Conference on Technology Innovation and Its Applications (ICTIIA). 2024. 1-5
三石貴志. 絶対値関数で表される左右対称な区分型線形関数の性質. Mechanized Mathematics and Its Applications, Works in Progress. 2024. 6. 2. 1-8
Takashi Mitsuishi. Formalization and Verification of Fuzzy Approximate Reasoning by Mizar. Smart Innovation, Systems and Technologies. 2024. 382. 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

MISC (38件)：

三石貴志. メンバシップ関数の拡大および平行移動と非ファジィ化値の変化に関する証明. 令和6年度電気・電子・情報関係学会四国支部連合大会講演論文集. 2024. 12-12
三石貴志. 左右対称なメンバシップ関数およびファジィ推論計算のMizarによる形式化. 電子情報通信学会技術研究報告(Web). 2024. 124. 78(MW2024 18-29)
三石貴志. 二等辺三角形型および等脚台形型メンバシップ関数の重心法を用いた非ファジィ化値. 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

学歴 (5件)：

学位 (1件)：

経歴 (15件)：

全件表示

所属学会 (2件)：

IEEE , 電子情報通信学会

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

三石 貴志