ナカノ テツオ NAKANO Testuo
中野 哲夫
所属 東京電機大学 理工学部 理工学科 理学系
東京電機大学大学院 先端科学技術研究科 数理学専攻
東京電機大学大学院 理工学研究科 理学専攻
職種 特定教授
発表年月日 2022/12/19
発表テーマ Boolean Groebner 基底を用いた数独パズルの数学的難易度指標の相関について
会議名 RIMS 共同研究(公開型) Computer Algebra - Foundations and Applications -
主催者 RIMS(京大数理解析研究所)
学会区分 研究会・シンポジウム等
発表形式 口頭(一般)
単独共同区分 共同
開催期間 2022/12/19 ~ 2022/12/21
発表者・共同発表者 中野哲夫,進藤未来,吉原元