新潟大学 工学部 情報工学科 教授 青戸 等人 大学名 新潟大学 学部 工学部 学科 情報工学科 文理 理系 名前 青戸 等人 研究分野 書き換えシステム，定理自動証明 キーワードKeywords PAGE TOP
