Kanae Tsushima
(対馬 かなえ)
Modified on: 2022/07/08
Profile Information
Research Interests
4Research Areas
2Research History
4-
Feb, 2015 - Present
-
Oct, 2014 - Jan, 2015
-
Oct, 2013 - Jan, 2015
-
Apr, 2012 - Sep, 2013
Education
3-
Apr, 2011 - Sep, 2013
-
Apr, 2009 - Mar, 2011
-
Apr, 2005 - Mar, 2009
Committee Memberships
8-
Jan, 2016 - Present
-
Apr, 2017 - Mar, 2018
-
Apr, 2017 - Mar, 2018
-
Apr, 2016 - Mar, 2017
-
Apr, 2015 - Mar, 2016
-
Apr, 2015 - Mar, 2016
Awards
3-
Mar, 2017
-
Mar, 2015
-
Aug, 2012
Papers
11-
International Symposium on Functional and Logic Programming, May, 2018 Peer-reviewed
-
第20回プログラミングおよびプログラミング言語ワークショップ, Mar, 2018 Peer-reviewed
-
第20回プログラミングおよびプログラミング言語ワークショップ, Mar, 2018 Peer-reviewed
-
第58回プログラミング・シンポジウム, Jan, 2017 Peer-reviewed
-
平成28年度 国立情報学研究所市民講座(第3回), Oct, 2016 Peer-reviewed
-
The 28th symposium on Implementation and Application of Functional Languages(IFL2016), Aug, 2016 Peer-reviewed
-
Computer Software, 31(4) 131-148, Dec, 2014 Peer-reviewed
-
コンピュータソフトウェア, 30(3) 45-52, Sep, 2013 Peer-reviewed
-
コンピュータソフトウェア, 30(1) 180-186, Mar, 2013 Peer-reviewed
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8241 190-206, 2013 Peer-reviewed
-
Proceedings of the 2009 Workshop on Normalization by Evaluation, 57-64, 2009 Peer-reviewed
Books and Other Publications
2Presentations
5-
第20回プログラミングおよびプログラミング言語ワークショップ, Mar 6, 2018
-
第20回プログラミングおよびプログラミング言語ワークショップ, Mar 6, 2018
-
第58回プログラミング・シンポジウム, Jan 7, 2017
-
平成28年度 国立情報学研究所 市民講座(第3回), Oct 20, 2016
-
The 28th symposium on Implementation and Application of Functional Languages (IFL 2016), Aug 31, 2016
Professional Memberships
3Research Projects
2-
科学研費助成事業 若手B, 日本学術振興会, Apr, 2016 - Mar, 2019
-
科学研費助成事業 研究活動スタート支援, 日本学術振興会, Aug, 2015 - Mar, 2016