language
注意事項
当サイトの中国語、韓国語ページは、機械的な自動翻訳サービスを使用しています。
翻訳結果は自動翻訳を行う翻訳システムに依存します。場合によっては、不正確または意図しない翻訳となる可能性があります。
翻訳サービスを利用した結果について、一切を保証することはできません。
翻訳サービスを利用される場合は、自動翻訳が100%正確ではないことを理解の上で利用してください。

季承成さん(博士1年)がInternational Association of Engineers (IAENG)のCertificate of Merit for The 2015 IAENG International Conference on Computer Scienceを受賞しました。

受賞日
 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 (佐藤晴彦)

受賞一覧へ
過去の受賞(「広報」ホームページ)