米田郁生 Yoneda Ikuo 一般科目 准教授 博士（数学） 校務：1年3組担任 クラブ顧問：音楽部，卓球部 yoneda*tokuyama.ac.jp （*に@を代入して下さい）
研究分野は数理論理学，とくにモデル理論です。 モデル理論のアプローチで数学的構造の幾何的豊富度について研究しています。 幾何的豊富度は次元１の集合（平面曲線）の多様さで決まります。 例えばベクトル空間の曲線は直線だけなので豊富度１であり， 四則演算(＋,−,×,÷)がある数学的構造“体”はn次曲線（n=1,2,3,,,)があるので豊富度無限です。 有限グラフの極限グラフで与えられるGeneric構造の豊富度が２である事を院生時代，証明しました。 豊富度2は点，直線，平面の関係構造を持つ“擬空間”を排除する性質を持ちます。 私の論文タイトルにあるCM-trivialityとは豊富度２を表す専門用語です。 豊富度有限（2,3,4,…）の構造は人工的な数学的構造で未知な部分が多く， 未解決予想と関連するので，頑張って研究します！！！

授業科目

数学�TA（1年），数学�UＢ（土木２），数学�VA（情電３）

主な論文、著書、特許等

●査読付き論文 1. Around rosy CM-trivial theories, Proceedings of the 10th Asian logic conference, 387-393 (2010), World Scientific（単著） 2. Some remarks on CM-triviality, Journal of the mathematical society of Japan 61, 379-391 (2009)　（単著） 3. CM-triviality and relational structures, Annals of pure and applied logic 122, 175-194 (2003), Elsevier Science (Viktor Verbovskiyとの共著） 4. CM-triviality and generic structures, Archive for mathematical logic 42, 423-433 (2003), Springer-Verlag（単著） ●国際学会講演 1. On 3-ampleness, Model Theory Conference in Seoul, 2010 2. CM-triviality in rosy theories, The 10th Asian logic conference at Kobe, 2008 3. CM-triviality and geometric elimination of imaginaries, Logic Colloquium 2007, Wrocław, Poland ●特別講演 1. Generic構造の幾何的性質について　日本数学会年会　数学基礎論および歴史分科会　2005 ●校閲 1．新 基礎数学 大日本図書 2011年10月発行 大学・短大・高専数学教科書

技術相談の内容

【授業経験一覧】 基礎数学（高校数学総復習科目)，微分積分，線形代数，微分方程式， フーリエ級数・ラプラス変換，ベクトル解析，代数学序論，情報のための論理学特論

主な経歴

●学歴 平成9年3月　中央大学理工学部数学科 卒業 平成9年4月　筑波大学大学院博士課程数学研究科 入学 平成15年11月30日　筑波大学大学院博士課程数学研究科 修了 博士（数学） 博甲第3285号 ●職歴 平成15年12月　筑波大学博士特別研究員（1年間） 平成16年4月　東海大学理学部数学科所属　非常勤講師（平成21年3月まで） 平成19年4月　千葉工業大学教育センター所属　非常勤講師（平成21年3月まで） 平成20年9月　拓殖大学大学院工学研究科所属　非常勤講師（平成21年3月まで） ●所属学会 Association for Symbolic Logic, 日本数学会（数学基礎論および歴史分科会） ●学会活動 日本数学会・数学基礎論および歴史分科会 数学基礎論サマースクール2011 幹事