WEKO3
アイテム
関数型言語による高信頼性プログラミング
http://hdl.handle.net/10083/1421
http://hdl.handle.net/10083/14214647c78f-0d5f-406f-ba2a-6b0753473e08
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
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 |