アハラ　カズシ   Ahara Kazushi   阿原　一志    所属   明治大学  総合数理学部    職種   専任教授
発表年月日	2014/12/05
発表テーマ	対話型幾何ソフトウエアと自動証明 - シンデレラとキッズシンディ
会議名	高信頼な理論と実装のための定理証明とよび定理証明器（TPP)２０１４
主催者	九州大学
学会区分	国際学会
発表形式	口頭（一般）
単独共同区分	単独