中西 研究室 【研究者紹介】 ふりがな：なかにし やすお 氏 名： 中西 泰雄 ｷｬﾝﾊﾟｽ： 品川 所 属： 一般科 職 名： 准教授 学位等： 理学修士 【専門分野】 【講座・講習会のテーマ例】 ○ 発見的論理学 ○ 発見のための記号論理学 ○ 数学的発見のためのタブローの開発 ○ 論理的発見学 ○ 記号論理的手法の情報教育への応用 ○ 背理法を用いない証明法の研究 【研究・教育のキーワード】 ○ 発見タブロー ○ 自動証明 ○ 背理法 【研究業績等】 ○ 「節形式化と導出原理による自動証明の 新しい表現法」日本数学教育学会高専・大学 【相談可能なテーマ】 ○ 発見的数学教育 部会論文誌，Vol.10,No.1,2003,pp.59-64. ○ 「分析タブローの新しい書式について」 ○ 人工知能における記号論理的手法 日本数学教育学会高専・大学部会論文誌， ○ 記号論理による情報科学教育 Vol.12,No.1,2005,pp.53-58. ○ 「証明図の新しい書式について」 【利用可能機器・施設】 日本数学教育学会高専・大学部会論文誌， Vol.15,No.1,2008,pp.39-50 【連絡先】 TEL：03-3471-6331 【その他参考事項（現在の研究活動・コメント等）】 FAX：03-3471-6338 E-mail：nakanisi(@)s.metro-cit.ac.jp 「発見タブロー」による自動証明法を研究しています． 数学教育，情報教育，人工知能に関連があります．
© Copyright 2024 ExpyDoc
