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

研究キーワード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 （単著）著書・論文歴

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

• 公式プロフィール