{"updated":"2025-01-20T19:51:09.342494+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00113010","sets":["6164:6805:6807:7863"]},"path":["7863"],"owner":"10","recid":"113010","title":["強い型によるOSの開発手法の提案"],"pubdate":{"attribute_name":"公開日","attribute_value":"2014-01-10"},"_buckets":{"deposit":"8a62a45b-9b23-49cc-90c1-cef04f9e757e"},"_deposit":{"id":"113010","pid":{"type":"depid","value":"113010","revision_id":0},"owners":[10],"status":"published","created_by":10},"item_title":"強い型によるOSの開発手法の提案","author_link":["36124","36119","36120","36121","36122","36123"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"強い型によるOSの開発手法の提案"},{"subitem_title":"A method to develop OS with strong type","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"プログラミング・シンポジウム，プログラミング言語，コンパイラ，Haskell，OS","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2014-01-10","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Metasepi Project"},{"subitem_text_value":"ocaml-nagoya"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Metasepi Project","subitem_text_language":"en"},{"subitem_text_value":"ocaml-nagoya","subitem_text_language":"en"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/113010/files/IPSJ-WPRO2014012.pdf"},"date":[{"dateType":"Available","dateValue":"2014-01-10"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-WPRO2014012.pdf","filesize":[{"value":"232.9 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"04bef9f3-24b1-489f-aaea-3d34b05ecd84","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2014 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"岡部, 究"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"水野, 洋樹"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"瀬川, 秀一"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kiwamu, Okabe","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hiroki, Mizuno","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hidekazu, Segawa","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"現在でもOSはC言語によって設計されている．一方アプリケーションは強い型付けの言語を用いた安全な設計手法が確立されている．本稿ではOSの安全な設計手法として，C言語によって設計されたOSのソースコードを元に少しずつ型推論をそなえた言語による実装に置き換えるスナッチ設計という手法を提案する．また当該手法を小規模OSに対して適用し，その結果を考察する．","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Today, many OS are designed by C language. On another side, method developing by strong typed languange is established at application domain. This paper presents a method that little by little rewrite C language designed OS by strong typed language has type inference. The method is named \"Snatch-driven development\". Finally, discuss about result that apply the method to tiny OS.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"54","bibliographic_titles":[{"bibliographic_title":"第55回プログラミング･シンポジウム予稿集"}],"bibliographicPageStart":"53","bibliographicIssueDates":{"bibliographicIssueDate":"2014-01-10","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2014"}]},"relation_version_is_last":true,"weko_creator_id":"10"},"created":"2025-01-18T23:54:40.225281+00:00","id":113010,"links":{}}