ナカノ テツオ NAKANO Testuo
中野 哲夫
所属 東京電機大学 理工学部 理工学科 理学系
東京電機大学大学院 先端科学技術研究科 数理学専攻
東京電機大学大学院 理工学研究科 理学専攻
職種 特定教授
発表年月日 2020/11/01
発表テーマ Boolean Groebner 基底を用いた数独パズルの2つの数学的難易度判定指標について
会議名 第29回日本数式処理学会大会
主催者 日本数式処理学会
学会区分 全国学会
発表形式 口頭(一般)
単独共同区分 共同
発表者・共同発表者 大木茂樹(発表者),丸山陽太朗