Home > 組織・担当情報 > 東京工業大学 > 大学院情報理工学研究科 > 数理・計算科学専攻 > 寳来正子

news ヘルプ

寳来正子 研究者情報

姓 寳来  HORAI 
名 正子  Masako 
状態 本学を転出・卒業
専門分野 数学一般（含確率論・統計数学） (証明論, 型理論)
その他 (計算論)
学位論文 Regular sets of strings, trees, and W-structures,  本文,  Doctor,  1972/--/--, 
A characterization of the derivation trees of a context-free grammar and an intercalation theorem,  Master of Science,  1970/--/--, 

©2007 Tokyo Institute of Technology All rights reserved.