{"id":190283,"updated":"2025-01-20T01:16:47.177122+00:00","links":{},"created":"2025-01-19T00:56:15.711992+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00190283","sets":["934:935:9346:9480"]},"path":["9480"],"owner":"11","recid":"190283","title":["変数名は型を知っているべき"],"pubdate":{"attribute_name":"公開日","attribute_value":"2018-06-26"},"_buckets":{"deposit":"e38c2075-295b-4b07-808a-2b8c17227d6a"},"_deposit":{"id":"190283","pid":{"type":"depid","value":"190283","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"変数名は型を知っているべき","author_link":["434977","434976","434972","434973","434978","434974","434975","434979"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"変数名は型を知っているべき"},{"subitem_title":"Variable Names Must Know Types","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"[発表概要] ","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2018-06-26","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"横浜国立大学大学院"},{"subitem_text_value":"横浜国立大学大学院"},{"subitem_text_value":"横浜国立大学大学院"},{"subitem_text_value":"横浜国立大学大学院"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Electronic and Computer Engineering, Yokohama National University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Electronic and Computer Engineering, Yokohama National University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Electronic and Computer Engineering, Yokohama National University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Electronic and Computer Engineering, Yokohama National University","subitem_text_language":"en"}]},"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/190283/files/IPSJ-TPRO1102006.pdf","label":"IPSJ-TPRO1102006.pdf"},"date":[{"dateType":"Available","dateValue":"2020-06-26"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO1102006.pdf","filesize":[{"value":"84.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":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"435397a1-c4b1-4159-ad71-3f429ec10b43","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2018 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"坪井, 良介"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"各務, 裕太"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"山口, 大輔"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"倉光, 君郎"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Ryosuke, Tsuboi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yuta, Kakami","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Daisuke, Yamaguchi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kimio, Kuramitsu","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464814","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7802","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"型推論は，構文パターンから型を推論する方法で，型アノテーションなしで静的型付けを実現する．ただし，構文パターンからの型推論はアルゴリズムが複雑になりがちですべての言語に採用しにくい問題がある．本発表は，よりお手軽に型推論を実現するため，名前からの型推論を提案する．まず，実際のソース・コードを解析し，型と名前の法則性を調べる．それに基づき，名前からの型を推論するシステムと言語設計を定義した．我々は，これらのアイディアを関数型スクリプト言語konoha 5λに実装し，その使いやすさを検証し報告する．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Type inference is a way to infer a type from a syntactic pattern and realizes static typing without a type annotation.However, type inference from a syntax pattern tends to make the algorithm complicated and it is difficult to apply to all languages.In this paper, we propose type inference from a name to realize type inference easier.First, we analyzed the actual source codes and investigated the rules of types and names.Based on that, we defined the system and language design to infer the type from the name.We implemented these ideas in the functional script language konoha 5λ and experimented its usability.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"22","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"22","bibliographicIssueDates":{"bibliographicIssueDate":"2018-06-26","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicVolumeNumber":"11"}]},"relation_version_is_last":true,"weko_creator_id":"11"}}