対馬 かなえ

J-GLOBALへ         更新日: 17/05/29 06:26
 
アバター
研究者氏名
対馬 かなえ
所属
国立情報学研究所

研究分野

 
 

経歴

 
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月
 - 
現在
情報処理学会  プログラミング・シンポジウム 幹事
 
2016年4月
 - 
2017年3月
日本ソフトウェア科学会  プログラミングおよびプログラミング言語ワークショップ 組織委員
 
2015年4月
 - 
2016年3月
日本ソフトウェア科学会  プログラミング及びプログラミング言語ワークショップ プログラム委員
 
2015年4月
 - 
2016年3月
日本ソフトウェア科学会  プログラミングおよびプログラミング言語ワークショップ 組織委員
 

受賞

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

論文

 
既存の構文解析器を利用した漸進的構文解析
対馬 かなえ
第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月   [査読有り]
重み付き型エラースライスの提案
対馬 かなえ, 浅井 健一
コンピュータソフトウェア   31(4) 131-148   2014年12月   [査読有り]
An embedded type debugger
対馬 かなえ, 浅井 健一
Implementation and Application of Functional Languages Lecture Notes in Computer Science   8241 190-206   2013年11月   [査読有り]

書籍等出版物

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

講演・口頭発表等

 
既存の構文解析器を利用した漸進的構文解析
対馬 かなえ
第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月    代表者: 対馬 かなえ