このページの先頭です

メニューを飛ばして本文を読む

国立大学法人 電気通信大学

ここから本文です

受賞・表彰

加藤直斗さん(情報・通信工学科4年)、山田伊織さん(情報・ネットワーク工学専攻博士前期2年)が、第20回プログラミングおよびプログラミング言語に関するワークショップ(PPL2018)にて受賞

2018年03月15日

岩崎研究室の加藤直斗さん(情報・通信工学科4年)、中野研究室の山田伊織さん(情報・ネットワーク工学専攻博士前期2年)が、第20回プログラミングおよびプログラミング言語に関するワークショップ(PPL2018)にて受賞しました。

PPL2018は、プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し、最新の研究成果の発表や、新たな研究課題の提案・討論・アイディア交換を行うことを目的とした、合宿形式の研究集会です。

【賞】
PPL2018論文賞
【受賞題目】
Fregelコンパイラにおける不要な値送受信の削減
【受賞者】
加藤 直斗、岩崎 英哉

【賞】
PPL2018発表賞(学生の部)
【受賞題目】
Coqにおける手続き的証明から宣言的証明への変換
【受賞者】
山田 伊織

表彰状
表彰状
表彰状
表彰状