受賞日： 2015年12月9日
氏名 職名/学年： 季 承成 博士2年 栗原 正仁 教授
所属： 情報科学研究科 情報理工学専攻 複合情報工学講座 知能ソフトウェア研究室
授与団体： International Association of Engineers (IAENG)
賞名： Best Student Paper Award of International Conference on Computer Science and Applications 2015
受賞論文名，研究題目名または受賞理由：
｢A New Implementation of Multi-Context Algebraic Inductive Theorem Prover (多重文脈に基づく代数向け帰納的定理証明器の新しい実装)｣
問い合わせ先： Tel 011-706-6812, E-mail haru[a]complex.ist.hokudai.ac.jp (佐藤晴彦)