WEKO3
アイテム
関数型プログラミング言語における通信記述の型付け
http://hdl.handle.net/2237/16436
http://hdl.handle.net/2237/16436c70ccc36-a683-4c33-8af8-d29abe50c920
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
k9694.pdf (1.0 MB)
|
|
| アイテムタイプ | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2012-05-22 | |||||
| タイトル | ||||||
| タイトル | 関数型プログラミング言語における通信記述の型付け | |||||
| 言語 | ja | |||||
| 著者 |
今井, 敬吾
× 今井, 敬吾 |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 名古屋大学博士学位論文 学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成24年3月26日 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_db06 | |||||
| タイプ | doctoral thesis | |||||
| 書誌情報 |
発行日 2012-03-26 |
|||||
| 学位名 | ||||||
| 学位名 | 博士(情報科学) | |||||
| 言語 | ja | |||||
| 学位授与機関 | ||||||
| 学位授与機関識別子Scheme | kakenhi | |||||
| 学位授与機関識別子 | 13901 | |||||
| 学位授与機関名 | 名古屋大学 | |||||
| 言語 | ja | |||||
| 学位授与機関名 | Nagoya University | |||||
| 言語 | en | |||||
| 学位授与年度 | ||||||
| 学位授与年度 | 2011 | |||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2012-03-26 | |||||
| 学位授与番号 | ||||||
| 学位授与番号 | 甲第9694号 | |||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/16436 | |||||
| 識別子タイプ | HDL | |||||
