受賞日： 2015年5月19日
氏名： 季 承成
学年： 博士1年
所属： 大学院情報科学研究科 情報理工学専攻 複合情報工学講座 知能ソフトウェア研究室
授与団体： International Association of Engineers (IAENG)
賞名： Certificate of Merit for The 2015 IAENG International Conference on Computer Science
受賞論文名，研究題目名または受賞理由：
｢An Efficient Implementation of Multi-Context Algebraic Reasoning System with Lazy Evaluation (遅延評価を用いた多重文脈代数的推論システムの効率的な実装)｣
問い合わせ先： Tel 011-706-6812, E-mail haru[a]complex.ist.hokudai.ac.jp (佐藤晴彦)