WEKO3
アイテム
関数型言語による高信頼性プログラミング
http://hdl.handle.net/10083/1421
http://hdl.handle.net/10083/14214647c78f-0d5f-406f-ba2a-6b0753473e08
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
ipseeds-2007-22-2.pdf (93.1 kB)
|
|
| Item type | その他 / Others(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2008-01-25 | |||||
| タイトル | ||||||
| タイトル | 関数型言語による高信頼性プログラミング | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 関数型言語 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 型システム | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | プログラム理論 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 部分継続 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 信頼性 | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_1843 | |||||
| タイプ | other | |||||
| 著者 |
淺井, 健一
× 淺井, 健一× ASAI, Kenichi |
|||||
| 書誌情報 |
2007 社会とのパートナーシップ 研究紹介集 p. 22-22, 発行日 2007-09-01 |
|||||
| 権利 | ||||||
| 権利情報 | 国立大学法人お茶の水女子大学 | |||||
| フォーマット | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | application/pdf | |||||
| 形態 | ||||||
| 93105 bytes | ||||||
| 著者版フラグ | ||||||
| 値 | author | |||||
| 日本十進分類法 | ||||||
| 主題Scheme | NDC | |||||
| 主題 | 540 | |||||
| NIIサブジェクト | ||||||
| 主題Scheme | Other | |||||
| 主題 | 情報学 | |||||
| 出版者 | ||||||
| 出版者 | 国立大学法人お茶の水女子大学 | |||||
| 資源タイプ | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | その他 | |||||
| 資源タイプ・ローカル | ||||||
| その他 | ||||||
| 資源タイプ・NII | ||||||
| Others | ||||||
| 資源タイプ・ローカル表示コード | ||||||
| 99 | ||||||
