{"links":{},"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00224558","sets":["1164:1384:11164:11165"]},"path":["11165"],"owner":"44499","recid":"224558","title":["動的型付け言語コードの品質保証のためのpath-sensitiveな型解析"],"pubdate":{"attribute_name":"公開日","attribute_value":"2023-03-02"},"_buckets":{"deposit":"f6152d33-b104-44d3-8745-0da2a72a2c0d"},"_deposit":{"id":"224558","pid":{"type":"depid","value":"224558","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"動的型付け言語コードの品質保証のためのpath-sensitiveな型解析","author_link":["592347","592346","592348"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"動的型付け言語コードの品質保証のためのpath-sensitiveな型解析"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"解析・検査・保護","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2023-03-02","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京工業大学大学院情報理工学院情報工学系情報工学コース"},{"subitem_text_value":"東京工業大学情報理工学院"},{"subitem_text_value":"東京工業大学情報理工学院"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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/224558/files/IPSJ-SE23213018.pdf","label":"IPSJ-SE23213018.pdf"},"date":[{"dateType":"Available","dateValue":"2025-03-02"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE23213018.pdf","filesize":[{"value":"834.3 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"31ed4557-e086-4caa-9bff-68a3f3c89db4","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2023 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"児玉, 龍太郎"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"荒堀, 喜貴"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"権藤, 克彦"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8825","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"動的型つけ言語で書かれたプログラムに対する静的型解析は，正確に速く行うことが難しいという問題がある．これは型の情報がないために，変数が取り得る値の近似が難しいからである．このため既存の静的型解析器では，正確な解析ができない．そこで本論文では Python で書かれたプログラムへの静的型解析に対して，backward 解析を組み合わせることで path-sensitivity を獲得し，型解析の精度向上を行う．これによって，より正確な型情報を入手することができ，静的解析の精度向上が期待できる．更にこの手法を採用した解析器を実装し，先行研究と比較実験を行った．すると既存手法と比べて解析時間は増大したが実用範囲内であり，精度は false positive が少なくてより正確な型解析結果を得ることができた．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2023-03-02","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"18","bibliographicVolumeNumber":"2023-SE-213"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"created":"2025-01-19T01:24:08.029336+00:00","updated":"2025-01-19T13:06:05.849808+00:00","id":224558}