|
寳来正子 研究者情報
姓 |
寳来 |
HORAI |
名 |
正子 |
Masako |
状態 |
本学を転出・卒業 |
職位 / 称号 |
|
ORCID ID |
|
教育担当
: 主担当 |
|
研究担当 |
|
専門分野 |
数学一般(含確率論・統計数学) (証明論, 型理論) その他 (計算論)
|
研究者プロフィール |
|
講義ノート |
TokyoTech Open Course Ware |
学位論文 |
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/--/--,
|
|