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

     受賞一覧へ