対馬 かなえ
Kanae Tsushima
更新日: 2022/07/08
基本情報
研究分野
2経歴
4-
2015年2月 - 現在
-
2014年10月 - 2015年1月
-
2013年10月 - 2015年1月
-
2012年4月 - 2013年9月
学歴
3-
2011年4月 - 2013年9月
-
2009年4月 - 2011年3月
-
2005年4月 - 2009年3月
委員歴
8-
2016年1月 - 現在
-
2017年4月 - 2018年3月
-
2016年4月 - 2017年3月
-
2015年4月 - 2016年3月
-
2015年4月 - 2016年3月
受賞
3-
2017年3月
-
2015年3月
-
2012年8月
論文
11-
International Symposium on Functional and Logic Programming 2018年5月 査読有り
-
第20回プログラミングおよびプログラミング言語ワークショップ 2018年3月 査読有り
-
第20回プログラミングおよびプログラミング言語ワークショップ 2018年3月 査読有り
-
第58回プログラミング・シンポジウム 2017年1月 査読有り
-
平成28年度 国立情報学研究所市民講座(第3回) 2016年10月 査読有り
-
The 28th symposium on Implementation and Application of Functional Languages(IFL2016) 2016年8月 査読有り
-
コンピュータソフトウェア 31(4) 131-148 2014年12月 査読有り
-
コンピュータソフトウェア 30(3) 45-52 2013年9月 査読有り
-
コンピュータソフトウェア 30(1) 180-186 2013年3月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8241 190-206 2013年 査読有り
-
Proceedings of the 2009 Workshop on Normalization by Evaluation 57-64 2009年 査読有り
書籍等出版物
2講演・口頭発表等
5-
第20回プログラミングおよびプログラミング言語ワークショップ 2018年3月6日
-
第20回プログラミングおよびプログラミング言語ワークショップ 2018年3月6日
-
第58回プログラミング・シンポジウム 2017年1月7日
-
平成28年度 国立情報学研究所 市民講座(第3回) 2016年10月20日
-
The 28th symposium on Implementation and Application of Functional Languages (IFL 2016) 2016年8月31日
所属学協会
3共同研究・競争的資金等の研究課題
2-
日本学術振興会 科学研費助成事業 若手B 2016年4月 - 2019年3月
-
日本学術振興会 科学研費助成事業 研究活動スタート支援 2015年8月 - 2016年3月