略歴

2007年3月　愛知県立明和高等学校　卒業
2007年4月　北海道大学工学部情報エレクトロニクス学科　入学
2009年9月～2010年5月　ウィスコンシン大学マディソン校　交換留学(数学専攻）
2012年3月　北海道大学工学部情報エレクトロニクス学科コンピュータサイエンスコース卒業
2012年10月　オックスフォード大学（Logic, Foundations and Structures）　入学
2018年12月　オックスフォード大学（Logic, Foundations and Structures）　にてPh. D.取得


レポート

2012年10月　留学報告書（PDF：235KB）
2013年 5月　留学報告書（PDF：2721KB）
2013年12月　留学報告書<改訂版>（PDF：735KB）
2014年 6月　留学報告書<改訂版>（PDF：985KB）
2014年12月　留学報告書(PDF：221KB）
2015年 6月　留学報告書(PDF：588KB）
2016年 6月　留学報告書(PDF：404KB）
2016年12月　留学報告書(PDF：243KB）
2017年 6月　留学報告書(PDF：289KB）
2018年 4月　留学報告書(PDF：3647KB）
2018年12月　留学報告書(PDF：2114KB）
2020年 2月　ポスドク報告書(PDF：493KB）
2021年 2月　ポスドク報告書(PDF：4891KB）
2021年 6月　ポスドク報告書(PDF：324KB）
2021年12月　ポスドク報告書(PDF：13686KB）
2022年 5月　博士号取得報告書(PDF：17534KB）