研究者詳細

<< 業績一覧に戻る

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

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>>]

<< 業績一覧に戻る

△このページの先頭へ