研究者詳細

取得学位
分割表示 >>   全件表示

3 件中 1 - 3 件目

     
学位区分
Degree
   Classification
取得学位名
Degree name
学位論文名
Title of Thesis
学位授与機関
Organization
   Conferring the Degree
取得年月(日)
Date of Acquisition
博士 博士(情報理工学)  Deterministic Higher-order Matching for Program Transformation  東京大学大学院情報理工学系研究科数理情報学専攻博士後期課程  2006年03月 
修士 修士(情報理工学)  Functional Meta-programming for Program Calculation  東京大学大学院情報理工学系研究科数理情報学専攻博士前期課程  2003年03月 
学士 工学士  最左最右関係を用いた最長部分列問題の解法の発展とその有効性  東京大学工部計数工学科  2001年03月 

Page: [<<PREV] [1] [NEXT>>]