2009年京都大学大学院情報学研究科数理工学専攻博士課程修了。