対馬かなえ

Tsushima Kanae

研究分野 (2件)：情報学基礎論 , ソフトウェア

研究キーワード (4件)：デバッグ手法 , 型システム , プログラミング言語 , 関数プログラミング

競争的資金等の研究課題 (2件)：

論文 (11件)：

A Common Framework Using Expected Types for Several Type Debugging Approaches. International Symposium on Functional and Logic Programming. 2018
脇川奈穂, 対馬かなえ. 実用的な型エラースライサーの提案と評価. 第20回プログラミングおよびプログラミング言語ワークショップ. 2018
対馬かなえ, 佐藤重幸. 複数の型エラースライスによるill-typedプログラムの分析. 第20回プログラミングおよびプログラミング言語ワークショップ. 2018
対馬かなえ. 既存の構文解析器を利用した漸進的構文解析. 第58回プログラミング・シンポジウム. 2017
対馬かなえ. 正しいプログラムを簡単に書くには?プログラムの型とそのデバッグ手法. 平成28年度国立情報学研究所市民講座(第3回). 2016

書籍 (2件)：

情報処理学会誌2016年9月号連載:あなたの知らないプログラミングの世界~プログラミングがこんなに面白いって知っていましたか?~》ゲームを通してプログラミングの基礎を学ぼう(後編)-Racketで学ぶプログラミング-
2016
情報処理学会誌2016年8月号《連載:あなたの知らないプログラミングの世界~プログラミングがこんなに面白いって知っていましたか?~》ゲームを通してプログラミングの基礎を学ぼう(前編)-Racketで学ぶプログラミング-

講演・口頭発表等 (5件)：

複数の型エラースライスによるill-typedプログラムの分析
(第20回プログラミングおよびプログラミング言語ワークショップ 2018)
実用的な型エラースライサーの提案と評価
(第20回プログラミングおよびプログラミング言語ワークショップ 2018)
既存の構文解析器を利用した漸進的構文解析
(第58回プログラミング・シンポジウム 2017)
正しいプログラムを簡単に書くには?プログラムの型とそのデバッグ手法
(平成28年度国立情報学研究所市民講座(第3回) 2016)
A semi-embedded incremental parsing
(The 28th symposium on Implementation and Application of Functional Languages (IFL 2016) 2016)

学歴 (3件)：

経歴 (4件)：

委員歴 (8件)：

2016/01 - 現在情報処理学会プログラミング・シンポジウム幹事
2017/04 - 2018/03 The 29th symposium on Implementation and Application of Functional Languages プログラム委員
2017/04 - 2018/03 日本ソフトウェア科学会プログラミングおよびプログラミング言語ワークショッププログラム委員
2016/04 - 2017/03 日本ソフトウェア科学会プログラミングおよびプログラミング言語ワークショップ組織委員
2015/04 - 2016/03 日本ソフトウェア科学会プログラミングおよびプログラミング言語ワークショップ組織委員

全件表示

受賞 (3件)：

所属学会 (3件)：

情報処理学会 , ACM , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

対馬 かなえ