{"created":"2021-03-01T06:26:30.616664+00:00","id":19051,"links":{},"metadata":{"_buckets":{"deposit":"234bc34e-8384-484c-9098-c234e02aff8a"},"_deposit":{"id":"19051","owners":[],"pid":{"revision_id":0,"type":"depid","value":"19051"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00019051","sets":["312:313:314"]},"author_link":["55621","55622","55623","55624","55625","55626","55627","55628","55629","55630"],"item_10_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"動的型言語への柔らかい型付けによるエラー検出","subitem_alternative_title_language":"ja"}]},"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2008-02","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"505","bibliographicPageEnd":"12","bibliographicPageStart":"7","bibliographicVolumeNumber":"107","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会技術研究報告SS, ソフトウェアサイエンス","bibliographic_titleLang":"ja"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"LISPのような動的型言語のための柔らかい型の表現力豊かな拡張を提案し,その健全性を示す.この拡張では特に,常に型エラーを起こす式を表す「エラー型」と言う特殊な型を導入する.エラー型を含まない型を持つ式では、実行時の型チェックを省くことが出来る.逆にエラー型そのものが付く式は必ずエラーを引き起こすことがわかるので,このような式はコンパイル時に排除することが出来る. ","subitem_description_language":"ja","subitem_description_type":"Abstract"},{"subitem_description":"We propose a rich extension of soft typing for dynamically-typed languages like LISP, and prove its soundness. This extension, for example, introduces a special type called \"error-type\", which denotes a type of such an expression whose evaluation always causes a type error. If an expression is typed without using the \"error-type\", it means that no runtime check is necessary. Conversely, \"error-typed\" expressions should be rejected at compile-time, since their evaluation always causes an error.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/21157"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"一般社団法人電子情報通信学会","subitem_publisher_language":"ja"}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"(c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである","subitem_rights_language":"ja"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0913-5685","subitem_source_identifier_type":"PISSN"}]},"item_1615787544753":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"YAMADA, Akihisa","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55621","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KUSAKARI, Keiichirou","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55622","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKAI, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55623","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKABE, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55624","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NISHIDA, Naoki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55625","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"山田, 晃久","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55626","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"草刈, 圭一朗","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55627","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"酒井, 正彦","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55628","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"坂部, 俊樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55629","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"西田, 直樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55630","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"110006782680.pdf","filesize":[{"value":"716.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"110006782680.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/19051/files/110006782680.pdf"},"version_id":"44032473-f37d-4829-b39d-f2419994b6fc"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"動的型言語","subitem_subject_scheme":"Other"},{"subitem_subject":"柔らかい型","subitem_subject_scheme":"Other"},{"subitem_subject":"完全な型","subitem_subject_scheme":"Other"},{"subitem_subject":"dynamically typed language","subitem_subject_scheme":"Other"},{"subitem_subject":"soft typing","subitem_subject_scheme":"Other"},{"subitem_subject":"complete typing","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Error Detection with Soft Typing for Dynamically Typed Languages","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Error Detection with Soft Typing for Dynamically Typed Languages","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-01-29"},"publish_date":"2015-01-29","publish_status":"0","recid":"19051","relation_version_is_last":true,"title":["Error Detection with Soft Typing for Dynamically Typed Languages"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:32:29.099710+00:00"}