対馬 かなえ

J-GLOBALへ         更新日: 18/04/28 18:15
 
アバター
研究者氏名
対馬 かなえ
所属
国立情報学研究所

研究分野

 
 

経歴

 
2015年2月
 - 
現在
国立情報学研究所 アーキテクチャ科学研究系 特任助教
 
2014年10月
 - 
2015年1月
日本学術振興会 特別研究員 (PD)
 
2013年10月
 - 
2015年1月
京都大学 情報学研究科 博士研究員
 
2012年4月
 - 
2013年9月
日本学術振興会 特別研究員 (DC)
 

学歴

 
2011年4月
 - 
2013年9月
お茶の水女子大学 大学院 博士後期課程 理学部 情報科学コース
 
2009年4月
 - 
2011年3月
お茶の水女子大学 大学院 博士前期課程 理学部 情報科学コース
 
2005年4月
 - 
2009年3月
お茶の水女子大学 理学部 情報科学科
 

委員歴

 
2016年1月
 - 
現在
情報処理学会  プログラミング・シンポジウム 幹事
 
2019年3月
 - 
2018年4月
International Conference on Generative Programming: Concepts & Experiences プログラム委員
 
2018年12月
 - 
2018年4月
OCaml Users and Developers Workshop 2018 プログラム委員
 
2017年4月
 - 
2018年3月
日本ソフトウェア科学会  プログラミングおよびプログラミング言語ワークショップ プログラム委員
 
2017年4月
 - 
2018年3月
The 29th symposium on Implementation and Application of Functional Languages プログラム委員
 

受賞

 
2017年3月
お茶の水女子大学 平成28年度第2回黒田チカ賞
 
2015年3月
日本ソフトウェア科学会 第20回研究論文賞
 
2012年8月
Peter J. Landin Award
 

論文

 
A Common Framework Using Expected Types for Several Type Debugging Approaches
International Symposium on Functional and Logic Programming      2018年5月   [査読有り]
実用的な型エラースライサーの提案と評価
脇川 奈穂, 対馬 かなえ
第20回プログラミングおよびプログラミング言語ワークショップ      2018年3月   [査読有り]
既存の構文解析器を利用した漸進的構文解析
対馬 かなえ
第58回プログラミング・シンポジウム      2017年1月   [査読有り]
正しいプログラムを簡単に書くには?プログラムの型とそのデバッグ手法
対馬 かなえ
平成28年度 国立情報学研究所市民講座(第3回)      2016年10月   [査読有り]
A semi-embedded incremental parsing
対馬 かなえ
The 28th symposium on Implementation and Application of Functional Languages(IFL2016)      2016年8月   [査読有り]

書籍等出版物

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

講演・口頭発表等

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

競争的資金等の研究課題

 
リアルタイム型デバッグの基礎理論と実際
日本学術振興会: 科学研費助成事業 若手B
研究期間: 2016年4月 - 2019年3月    代表者: 対馬 かなえ
リアルタイム型デバッグの基礎理論と実際
日本学術振興会: 科学研費助成事業 研究活動スタート支援
研究期間: 2015年8月 - 2016年3月    代表者: 対馬 かなえ