• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Tsushima Kanae  対馬 かなえ

ORCIDConnect your ORCID iD *help
Researcher Number 80754663
Other IDs
Affiliation (Current) 2025: 大学共同利用機関法人情報・システム研究機構(機構本部施設等), データサイエンス共同利用基盤施設, 特任研究員
Affiliation (based on the past Project Information) *help 2023: 国立情報学研究所, 情報学プリンシプル研究系, 特任研究員
2022: 国立情報学研究所, 情報学プリンシプル系, 特任研究員
2015 – 2022: 国立情報学研究所, アーキテクチャ科学研究系, 特任助教
Review Section/Research Field
Principal Investigator
Software / Basic Section 60050:Software-related
Except Principal Investigator
A New Phase of Our Advanced Science and Technology Society
Keywords
Principal Investigator
デバッグ / プログラミング言語 / デバッギング / 関数型言語 / 型エラー / 大規模言語モデル / 構文解析 / プログラミング補助 / デバック / スライシング / 型エラースライス / 型システム … More
Except Principal Investigator
… More 論理プログラミング / 法律順守機構 / 法律とAI / 矛盾解消 / 矛盾検出 / 人工知能 / 法とAI / 法規範遵守 Less
  • Research Projects

    (4 results)
  • Research Products

    (20 results)
  • Co-Researchers

    (4 People)
  •  Theory and practice of type error debugging, including automatic correction based on dataPrincipal Investigator

    • Principal Investigator
      Tsushima Kanae
    • Project Period (FY)
      2019 – 2023
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      National Institute of Informatics
  •  Realization of Legal Compliance Mechanism for AI

    • Principal Investigator
      Satoh Ken
    • Project Period (FY)
      2019 – 2022
    • Research Category
      Grant-in-Aid for Challenging Research (Pioneering)
    • Review Section
      A New Phase of Our Advanced Science and Technology Society
    • Research Institution
      National Institute of Informatics
  •  Realtime type error debuggingPrincipal Investigator

    • Principal Investigator
      Tsushima Kanae
    • Project Period (FY)
      2016 – 2019
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics
  •  リアルタイム型エラーデバッグの基礎理論と実際Principal Investigator

    • Principal Investigator
      対馬 かなえ
    • Project Period (FY)
      2015
    • Research Category
      Grant-in-Aid for Research Activity Start-up
    • Research Field
      Software
    • Research Institution
      National Institute of Informatics

All 2023 2022 2021 2020 2019 2018 2017 2016

All Journal Article Presentation

  • [Journal Article] Towards Type Debugging using Partial Evaluation2023

    • Author(s)
      Kanae Tsushima, Robert Glueck
    • Journal Title

      ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: -

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K20248
  • [Journal Article] GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair2023

    • Author(s)
      Ribeiro Francisco, Macedo Jos Nuno Castro, Tsushima Kanae, Abreu Rui, Saraiva Joao
    • Journal Title

      ACM SIGPLAN International Conference on Software Language Engineering

      Volume: - Pages: 111-124

    • DOI

      10.1145/3623476.3623522

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K20248
  • [Journal Article] Diagnosing and Treating Effect of Legal Rule-Based Revision2022

    • Author(s)
      Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
    • Journal Title

      New Generation Computing

      Volume: 40 Issue: 1 Pages: 25-45

    • DOI

      10.1007/s00354-022-00157-3

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-18H03612
  • [Journal Article] Fundamental Revisions on Constraint Hierarchies for Ethical Norms2022

    • Author(s)
      Wachara FUNGWACHARAKORN, Ken SATOH, TSUSHIMA, Kanae
    • Journal Title

      Frontiers in Artificial Intelligence and Applications

      Volume: 362 Pages: 182-187

    • DOI

      10.3233/faia220464

    • ISBN
      9781643683645, 9781643683652
    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03612, KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
  • [Journal Article] Effects of Relations between Normal Logic Programs and Defeasible Logic Programs on Contrary Prioritized Policy2022

    • Author(s)
      Fungwacharakorn, W, Tsushima, K, Satoh, K
    • Journal Title

      Proceedings of JURISIN-2022

      Volume: N/A Pages: 207-219

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20K20406
  • [Journal Article] 型エラープログラムの部分評価2022

    • Author(s)
      Kanae Tsushima, Robert Glueck
    • Journal Title

      第24回プログラミングおよびプログラミング言語ワークショップ

      Volume: 1

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K20248
  • [Journal Article] On semantics-based minimal revision for legal reasoning2021

    • Author(s)
      Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
    • Journal Title

      ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law

      Volume: 2021 Pages: 50-59

    • DOI

      10.1145/3462757.3466075

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-18H03612
  • [Journal Article] Resolving counterintuitive consequences in law using legal debugging2021

    • Author(s)
      Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
    • Journal Title

      Artificial Intelligence and Law

      Volume: 29 Issue: 4 Pages: 541-557

    • DOI

      10.1007/s10506-021-09283-7

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-18H03612
  • [Journal Article] On the Legal Revision in PROLEG Program2021

    • Author(s)
      Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
    • Journal Title

      Advances in Intelligent Systems and Computing

      Volume: 1357 Pages: 25-36

    • DOI

      10.1007/978-3-030-73113-7_3

    • NAID

      130007857084

    • ISBN
      9783030731120, 9783030731137
    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-18H03612
  • [Journal Article] Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker2020

    • Author(s)
      Kanae Tsushima, Olaf Chitil, Joanna Sharrad
    • Journal Title

      The 31st symposium on Implementation and Application of Functional Languages

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K20248
  • [Journal Article] Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker2020

    • Author(s)
      Kanae Tsushima, Olaf Chitil, Joanna Sharrad
    • Journal Title

      The 31st symposium on Implementation and Application of Functional Languages

      Volume: なし

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16040
  • [Presentation] Towards Type Debugging using Partial Evaluation2023

    • Author(s)
      Kanae Tsushima
    • Organizer
      ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K20248
  • [Presentation] 型エラープログラムの部分評価2022

    • Author(s)
      Kanae Tsushima
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-19K20248
  • [Presentation] Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker2019

    • Author(s)
      Kanae Tsushima, Olaf Chitil, Joanna Sharrad
    • Organizer
      The 31st symposium on Implementation and Application of Functional Languages
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K20248
  • [Presentation] A Common Framework Using Expected Types for Several Type Debugging Approaches2018

    • Author(s)
      Kanae Tsushima, Olaf Chitil
    • Organizer
      Fourteenth International Symposium on Functional and Logic Programming
    • Data Source
      KAKENHI-PROJECT-16K16040
  • [Presentation] 複数の型エラースライスによるill-typedプログラムの分析2018

    • Author(s)
      対馬 かなえ、佐藤 重幸
    • Organizer
      第20回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-16K16040
  • [Presentation] 実用的な型エラースライサーの提案と評価2018

    • Author(s)
      脇川 奈穂、対馬 かなえ
    • Organizer
      第20回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-16K16040
  • [Presentation] 既存の構文解析器を利用した漸進的構文解析2017

    • Author(s)
      対馬かなえ
    • Organizer
      情報処理学会 58回プログラミング ・シンポジウム
    • Place of Presentation
      ラフォーレ伊東(静岡県伊東市)
    • Year and Date
      2017-01-06
    • Data Source
      KAKENHI-PROJECT-16K16040
  • [Presentation] 実用的な型エラースライサーに向けた改良と評価2017

    • Author(s)
      対馬 かなえ、脇川 奈穂
    • Organizer
      日本ソフトウェア科学会第 34 回大会
    • Data Source
      KAKENHI-PROJECT-16K16040
  • [Presentation] A semi-embedded incremental parsing2016

    • Author(s)
      Kanae Tsushima
    • Organizer
      The 28th symposium on Implementation and Application of Functional Languages (IFL 2016)
    • Place of Presentation
      Leuven(Belgium)
    • Year and Date
      2016-08-31
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16040
  • 1.  Satoh Ken (00271635)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 6 results
  • 2.  NGUYEN MinhLe (30509401)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  西村 友海 (80884767)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  Tran Duc・Vu (90910240)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi