WEKO3
アイテム
レベル横断的計算機構を持つメタラムダ計算の理論と応用
https://doi.org/10.15083/00072946
https://doi.org/10.15083/0007294628cc539f-0bec-4d77-9473-0ecfa619a1a4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
A32044.pdf (267 KB)
|
|
|
|
A32044_abstract.pdf (112.2 kB)
|
|
|
|
A32044_review.pdf (170.1 kB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-20 | |||||
| タイトル | ||||||
| タイトル | Theory and application of a meta lambda calculus with cross-level computation | |||||
| 言語 | en | |||||
| タイトル | ||||||
| タイトル | レベル横断的計算機構を持つメタラムダ計算の理論と応用 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_db06 | |||||
| タイプ | doctoral thesis | |||||
| ID登録 | ||||||
| ID登録 | 10.15083/00072946 | |||||
| ID登録タイプ | JaLC | |||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| その他のタイトル | ||||||
| その他のタイトル | レベル横断的計算機構を持つメタラムダ計算の理論と応用 | |||||
| 著者 |
飛澤, 和則
× 飛澤, 和則 |
|||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 143216 | |||||
| 姓名 | Tobisawa, Kazunori | |||||
| 著者所属 | ||||||
| 言語 | ja | |||||
| 著者所属 | 数理科学研究科数理科学専攻 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 学位の種別: 課程博士 | |||||
| 言語 | ja | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 審査委員会委員 : （主査）東京大学准教授 長谷川 立, 東京大学教授 坪井 俊, 東京大学教授 吉田 朋広, 東京大学准教授 一井 信吾, 東京大学准教授 齊藤 宣一, 東京大学准教授 吉野 太郎, お茶の水女子大学准教授 浅井 健一 | |||||
| 言語 | ja | |||||
| 書誌情報 |
発行日 2015-09-04 |
|||||
| 著者版フラグ | ||||||
| 値 | ETD | |||||
| 学位名 | ||||||
| 言語 | ja | |||||
| 学位名 | 博士(数理科学) | |||||
| 学位 | ||||||
| 値 | doctoral | |||||
| 学位授与機関 | ||||||
| 学位授与機関識別子Scheme | kakenhi | |||||
| 学位授与機関識別子 | 12601 | |||||
| 言語 | ja | |||||
| 学位授与機関名 | 東京大学 | |||||
| 言語 | en | |||||
| 学位授与機関名 | The University of Tokyo | |||||
| 研究科・専攻 | ||||||
| Department of Mathematical Sciences, Graduate School of Mathematical Sciences (数理科学研究科数理科学専攻) | ||||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2015-09-04 | |||||
| 学位授与番号 | ||||||
| 学位授与番号 | 甲第32044号 | |||||
| 学位記番号 | ||||||
| ja | ||||||
| 博数理第449号 | ||||||
