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