ページ先頭に戻る
受賞 : 情報処理学会第81回全国大会 学生奨励賞受賞−中西瑠海氏(情報科学科4年)
投稿日時: 2019-4-12 15:58:00 (145 ヒット)

中西瑠海氏(情報科学科4年・高橋和子研)が情報処理学会第81回全国大会において、学生奨励賞を受賞しました。
受賞題目は「論理型言語 PROLEG から双極議論フレームワークへの変換のCoqによる形式化と証明」です。

詳しくはこちらをご覧ください

Copyright © 2006-2015 School of Science and Technology, Kwansei Gakuin University