名前　：　飯村　枝里

学年　：　修士2年

卒業論文　：　「並行プログラムのための型エラースライシング」