松本大学 · 松本大学松商短期大学部

研究关键词predicate calculus・boolean valued functions・partitions・formalized mathematics・propositional calculus・binary arithmetic

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• 日本の医療用医薬品の薬価の2000-2020の20年間の変動倍率の分析 松本大学教育総合研究 (第4号),13-29頁 （単著）2000 · 著書・論文歴
• Four Variable Predicate Calculus for Boolean Valued Functions, Part I Formalized Mathematics Vol.9(No.1),pp.161-165 （単著）著書・論文歴
• Predicate Calculus for Boolean Valued Functions, Part III Formalized Mathematics Vol.9(No.1),pp.51-53 （共著）著書・論文歴
• Propositional Calculus for Boolean Valued Functions (9) 松本大学研究紀要 (第7号),pp.49-55 （単著）著書・論文歴

• 数学証明検証システムを用いた述語論理に関する研究

• 官方个人主页