Matsumoto University · Matsushofo Junior College

Research keywordspredicate calculus・boolean valued functions・partitions・formalized mathematics・propositional calculus・binary arithmetic

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 日本の医療用医薬品の薬価の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 （単著）著書・論文歴

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

• Official profile