このブラウザは、JavaScript が無効になっています。JavaScriptを有効にして再度、お越しください。
ログイン
トップページ
検索
コンテンツ募集中
オープンアクセス
より詳しく
カテゴリごと
日本語 |
English
UTokyo Repository
トップ
ランキング
詳細検索
全文検索
キーワード検索
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
AND
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
AND
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
AND
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
AND
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
AND
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
検索条件を追加
検索条件を追加
NIIsubject
NDC
NDLC
BSH
NDLSH
MeSH
DDC
LCC
UDC
LCSH
テスト
学術雑誌論文 / Journal Article
会議発表論文 / Conference Paper
紀要論文 / Departmental Bulletin Paper
その他 / Others
一般雑誌記事 / Article
学位論文 / Thesis or Dissertation
テクニカルレポート / Technical Report
研究報告書 / Research Paper
会議発表用資料 / Presentation
図書 / Book
プレプリント / Preprint
教材 / Learning Material
データ・データベース / Data or Dataset
_図書 / Book_02
学術雑誌論文 / Journal Article_02
_学術雑誌論文 / Journal Article
_紀要論文 / Departmental Bulletin Paper
_会議発表論文 / Conference Paper
_一般雑誌記事 / Article
_会議発表用資料 / Presentation
_学位論文 / Thesis or Dissertation
_報告書 / Research Paper
_図書 / Book
_図書の一部 / Book
_その他 / Others
DublinCore
Journal Article
Thesis or Dissertation
Departmental Bulletin Paper
Conference Paper
Presentation
Book
Technical Report
Research Paper
Article
Preprint
Learning Material
Data or Dataset
Software
Others
Learning Object Metadata
LIDO
Journal Article
Thesis or Dissertation
Departmental Bulletin Paper
Conference Paper
Presentation
Book
Technical Report
Research Paper
Article
Preprint
Learning Material
Data or Dataset
Software
Others
identifier
URI
fullTextURL
selfDOI
ISBN
ISSN
NCID
pmid
doi
NAID
ichushi
日本語
英語
フランス語
イタリア語
ドイツ語
スペイン語
中国語
ロシア語
ラテン語
マレー語
エスペラント語
アラビア語
ギリシャ語
朝鮮語
その他の言語
CC BY
CC BY-SA
CC BY-ND
CC BY-NC
CC BY-NC-SA
CC BY-NC-ND
自由記述
author
publisher
ETD
none
Language
日本語
English
インデックスツリー
インデックス
0 資料タイプ別
20 学位論文
021 博士論文
121 数理科学研究科
12120 博士論文（数理科学専攻）
Permalink : http://doi.org/10.15083/00076094
Meta-continuation Semantics via Meta-lambda Calculus
利用統計を見る
File / Name
License
A34002_summary.pdf
A34002_summary.pdf (107.53KB)
[ 15 downloads ]
A34002_abstract.pdf
A34002_abstract.pdf (160.14KB)
[ 8 downloads ]
A34002_review.pdf
A34002_review.pdf (701.77KB)
[ 9 downloads ]
JaLC DOI
info:doi/10.15083/00076094
アイテムタイプ
学位論文 / Thesis or Dissertation
言語
英語
その他のタイトル
メタラムダ計算を用いたメタ継続意味論
著者
戸澤 一成
著者別名
Tozawa Kazunari
著者所属
数理科学研究科数理科学専攻
内容記述
学位の種別: 課程博士
審査委員会委員 : （主査）東京大学准教授 長谷川 立, 東京大学教授 河東 泰之, 東京大学准教授 一井 信吾, 東京大学准教授 齊藤 宣一, 東京大学准教授 吉野 太郎, 東京大学准教授 米田 剛, 筑波大学教授 亀山 幸義
発行年
2017-03-23
著者版フラグ
none
学位名
博士(数理科学)
学位
doctoral
学位授与機関
University of Tokyo(東京大学)
研究科・専攻
Department of Mathematical Sciences, Graduate School of Mathematical Sciences (数理科学研究科数理科学専攻)
学位授与年月日
2017-03-23
学位授与番号
12601甲第34002号
学位記番号
博数理第498号
アイテムへのリンクの際はタイトル右肩にある「Permalink」をご利用ください！
Please use "Permalink" at the top right of the title when linking to items!
コンテンツ募集中！
デジタルライブラリ担当
ir-support[at]lib.u-tokyo.ac.jp
カテゴリごと
Powered by
WEKO
Meta-continuation Semantics via Meta-lambda Calculus
A34002_summary.pdf
(107.53KB)
