変数名による静的型付け手法の提案

• Item type: Trans(1)
• 公開日: 2017-11-14
• タイトル: 変数名による静的型付け手法の提案
• タイトル / 言語: en
• タイトル: A Proposal of Static Type Reasoning by Names of Variables
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [発表概要]
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 横浜国立大学
• 著者所属: 横浜国立大学
• 著者所属(英): en
• 著者所属(英): Yokohama National University
• 著者所属(英): en
• 著者所属(英): Yokohama National University
• 著者名: 坪井, 良介; 倉光, 君郎
• 著者名(英): Ryosuke, Tsuboi; Kimio, Kuramitsu
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 動的型付け言語の多くは静的型付け言語に対し，比較的少ないコードで記述できる．しかし，実行時の動的検査まで変数の型を判定できないため，型エラーを検出することができない．そのため，動的型付け言語で静的に型付けを行おうとする様々なアプローチがなされてきた．我々は，新しいアプローチとして，変数名とその型には相関があるという仮定をもとに，静的な型付けを試みる．そのために，オープンソースのコードから変数名とその型情報を大量に収集し，収集したデータに対して学習を行った．本発表では，学習結果からどの程度型を判定可能であるかを示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Most of dynamic typing languages can be written in fewer codes than static typing languages. However, we can't detect the type errors because we can't decide types of variables until dynamic type checking at runtime. For this reason, various approaches have been done to statically type in dynamic typing languages. As a new approach, we attempt static typing on an assumption that a name of a variable is correlated with the type. In order to do that, we corrected a large amount of names and types of variables from open source codes and learned the data. In this presentation, we present the accuracy of typing by using the result.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 10, 号 5, p. 8-8, 発行日 2017-11-14
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会