このブラウザは、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 博士論文
124 情報理工学系研究科
60 創造情報学専攻
1246020 博士論文（創造情報学専攻）
Permalink : http://doi.org/10.15083/00077737
A Platform for Composable and Statically-Checkable Domain-Specific Languages
利用統計を見る
File / Name
License
A34438.pdf
A34438.pdf (980.85KB)
[ 4 downloads ]
A34438_abstract.pdf
A34438_abstract.pdf (109.65KB)
[ 1 downloads ]
A34438_review.pdf
A34438_review.pdf (150.97KB)
[ 2 downloads ]
JaLC DOI
info:doi/10.15083/00077737
アイテムタイプ
学位論文 / Thesis or Dissertation
言語
英語
その他のタイトル
合成可能かつ静的検査可能なドメイン専用言語のためのプラットフォーム
著者
市川 和央
著者別名
Ichikawa Kazuhiro
著者所属
情報理工学系研究科創造情報学専攻
内容記述
学位の種別: 課程博士
審査委員会委員 : （主査）東京大学教授 稲葉 雅幸, 東京大学教授 本位田 真一, 東京大学教授 千葉 滋, 東京大学講師 中山 英樹, 東京大学講師 蜂須賀 恵也, 国立情報学研究所准教授 蓮尾 一郎
発行年
2017-12-14
著者版フラグ
ETD
学位名
博士(情報理工学)
学位
doctoral
学位授与機関
University of Tokyo(東京大学)
研究科・専攻
Department of Creative Informatics, Graduate School of Information Science and Technology (情報理工学系研究科創造情報学専攻)
学位授与年月日
2017-12-14
学位授与番号
12601甲第34438号
学位記番号
博情第629号
アイテムへのリンクの際はタイトル右肩にある「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
A Platform for Composable and Statically-Checkable Domain-Specific Languages
A34438.pdf
(980.85KB)
