Rchr
J-GLOBAL ID：201501040421804041   Update date: Jul. 08, 2022

Tsushima Kanae

Tsushima Kanae
Research field  (2)： Information theory ,  Software
Research keywords  (4)： Debugging ,  Type system ,  Programming language ,  Functional programming
Research theme for competitive and other funds  (2)：
  • 2016 - 2019 リアルタイム型デバッグの基礎理論と実際
  • 2015 - 2016 リアルタイム型デバッグの基礎理論と実際
Papers (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
ｍore...
Books (2)：
  • 情報処理学会誌2016年9月号 連載:あなたの知らないプログラミングの世界~プログラミングがこんなに面白いって知っていましたか?~》ゲームを通してプログラミングの基礎を学ぼう(後編)-Racketで学ぶプログラミング-
    2016
  • 情報処理学会誌2016年8月号 《連載:あなたの知らないプログラミングの世界~プログラミングがこんなに面白いって知っていましたか?~》ゲームを通してプログラミングの基礎を学ぼう(前編)-Racketで学ぶプログラミング-
Lectures and oral presentations  (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)
Education (3)：
  • 2011 - 2013 Ochanomizu University
  • 2009 - 2011 Ochanomizu University
  • 2005 - 2009 Ochanomizu University Faculty of Science Division of Information Sciences
Work history (4)：
  • 2015/02 - 現在 National Institute of Informatics National Institute of Informatics
  • 2014/10 - 2015/01 日本学術振興会 特別研究員 (PD)
  • 2013/10 - 2015/01 Kyoto University
  • 2012/04 - 2013/09 日本学術振興会 特別研究員 (DC)
Committee career (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 日本ソフトウェア科学会 プログラミングおよびプログラミング言語ワークショップ 組織委員
Show all
Awards (3)：
  • 2017/03 - お茶の水女子大学 平成28年度第2回黒田チカ賞
  • 2015/03 - 日本ソフトウェア科学会 第20回研究論文賞
  • 2012/08 - Peter J. Landin Award
Association Membership(s) (3)：
INFORMATION PROCESSING SOCIETY OF JAPAN ,  ACM ,  JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM