Tsushima Kanae 対馬かなえ

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

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

Tsushima Kanae 対馬 かなえ

Research Projects

Research Products

Co-Researchers

Theory and practice of type error debugging, including automatic correction based on dataPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Realization of Legal Compliance Mechanism for AI

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Realtime type error debuggingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

リアルタイム型エラーデバッグの基礎理論と実際Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Towards Type Debugging using Partial Evaluation2023

Author(s)

Journal Title

Data Source

[Journal Article] GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Diagnosing and Treating Effect of Legal Rule-Based Revision2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Fundamental Revisions on Constraint Hierarchies for Ethical Norms2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Effects of Relations between Normal Logic Programs and Defeasible Logic Programs on Contrary Prioritized Policy2022

Author(s)

Journal Title

Data Source

[Journal Article] 型エラープログラムの部分評価2022

Author(s)

Journal Title

Data Source

[Journal Article] On semantics-based minimal revision for legal reasoning2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Resolving counterintuitive consequences in law using legal debugging2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On the Legal Revision in PROLEG Program2021

Author(s)

Journal Title

DOI

NAID

ISBN

Data Source

[Journal Article] Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker2020

Author(s)

Journal Title

Data Source

[Journal Article] Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker2020

Author(s)

Journal Title

Tsushima Kanae 対馬かなえ