研究者情報 | 神奈川大学

タナカ　ケン Tanaka Ken 田中　賢所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2019/12
形態種別	学術雑誌
標題	SATソルバによるルールリストポリシの等価判定
執筆形態	共著
掲載誌名	技術と社会・倫理研究会(SITE),信学技報SITE2019-82
掲載区分	国内
巻・号・頁	119(329),13-19頁
著者・共著者	渕野敬,原田崇司,田中賢,三河賢治