WEKO3
アイテム
数学と計算機科学の相互作用：計算代数とHaskellにおける安全性と拡張性
http://hdl.handle.net/2241/00156881
http://hdl.handle.net/2241/00156881666f71ae-f022-4b2b-85ec-28665794b335
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
A8930.pdf (248.3 kB)
|
|
| Item type | Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2019-06-27 | |||||
| タイトル | ||||||
| タイトル | Bidirectional Interplay between Mathematics and Computer Science: Safety and Extensibility in Computer Algebra and Haskell | |||||
| 言語 | en | |||||
| タイトル | ||||||
| タイトル | 数学と計算機科学の相互作用：計算代数とHaskellにおける安全性と拡張性 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_46ec | |||||
| 資源タイプ | thesis | |||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 著者 |
石井, 大海
× 石井, 大海 |
|||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 【要旨】 | |||||
| 言語 | ja | |||||
| 書誌情報 |
発行日 2019 |
|||||
| 取得学位 | ||||||
| 言語 | ja | |||||
| 学位名 | 博士（理学） | |||||
| 取得学位 | ||||||
| 言語 | en | |||||
| 学位名 | Doctor of Philosophy in Science | |||||
| 学位授与大学 | ||||||
| 学位授与機関識別子Scheme | kakenhi | |||||
| 学位授与機関識別子 | 12102 | |||||
| 言語 | ja | |||||
| 学位授与機関名 | 筑波大学 | |||||
| 言語 | en | |||||
| 学位授与機関名 | University of Tsukuba | |||||
| 学位授与年度 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 2018 | |||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2019-03-25 | |||||
| 報告番号 | ||||||
| 学位授与番号 | 甲第8930号 | |||||
| リンク |
Bidirectional Interplay between Mathematics and Computer Science: Safety and Extensibility in Computer Algebra and Haskell
|
|||||
