対馬かなえ Tsushima Kanae

研究者番号	80754663
その他のID
所属 (現在)	2025年度: 大学共同利用機関法人情報・システム研究機構(機構本部施設等), データサイエンス共同利用基盤施設, 特任研究員
所属 (過去の研究課題情報に基づく) *注記	2023年度: 国立情報学研究所, 情報学プリンシプル研究系, 特任研究員 2022年度: 国立情報学研究所, 情報学プリンシプル系, 特任研究員 2015年度 – 2022年度: 国立情報学研究所, アーキテクチャ科学研究系, 特任助教
審査区分/研究分野	研究代表者ソフトウェア / 小区分60050:ソフトウェア関連研究代表者以外高度科学技術社会の新局面
キーワード	研究代表者デバッグ / プログラミング言語 / デバッギング / 関数型言語 / 型エラー / 大規模言語モデル / 構文解析 / プログラミング補助 / デバック / スライシング / 型エラースライス / 型システム … もっと見る研究代表者以外 … もっと見る論理プログラミング / 法律順守機構 / 法律とAI / 矛盾解消 / 矛盾検出 / 人工知能 / 法とAI / 法規範遵守隠す

データに基づき自動修正も含む型エラーデバッギングの理論と実際研究代表者
- 研究代表者
  
  対馬かなえ
- 研究期間 (年度)
  2019 – 2023
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  国立情報学研究所
人工知能の法律遵守機構の実現
- 研究代表者
  
  佐藤健
- 研究期間 (年度)
  2019 – 2022
- 研究種目
  
  挑戦的研究(開拓)
- 審査区分
  
  高度科学技術社会の新局面
- 研究機関
  国立情報学研究所
リアルタイム型エラーデバッグの基礎理論と実際研究代表者
- 研究代表者
  
  対馬かなえ
- 研究期間 (年度)
  2016 – 2019
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  国立情報学研究所
リアルタイム型エラーデバッグの基礎理論と実際研究代表者
- 研究代表者
  
  対馬かなえ
- 研究期間 (年度)
  2015
- 研究種目
  
  研究活動スタート支援
- 研究分野
  
  ソフトウェア
- 研究機関
  国立情報学研究所

すべて 2023 2022 2021 2020 2019 2018 2017 2016

すべて雑誌論文学会発表

[雑誌論文] Towards Type Debugging using Partial Evaluation2023
- 著者名/発表者名
  Kanae Tsushima, Robert Glueck
- 雑誌名
  
  ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
  
  巻: -
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K20248
[雑誌論文] GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair2023
- 著者名/発表者名
  Ribeiro Francisco, Macedo Jos Nuno Castro, Tsushima Kanae, Abreu Rui, Saraiva Joao
- 雑誌名
  
  ACM SIGPLAN International Conference on Software Language Engineering
  
  巻: - ページ: 111-124
- DOI
  10.1145/3623476.3623522
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K20248
[雑誌論文] Diagnosing and Treating Effect of Legal Rule-Based Revision2022
- 著者名/発表者名
  Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
- 雑誌名
  
  New Generation Computing
  
  巻: 40 号: 1 ページ: 25-45
- DOI
  10.1007/s00354-022-00157-3
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-18H03612
[雑誌論文] Fundamental Revisions on Constraint Hierarchies for Ethical Norms2022
- 著者名/発表者名
  Wachara FUNGWACHARAKORN, Ken SATOH, TSUSHIMA, Kanae
- 雑誌名
  
  Frontiers in Artificial Intelligence and Applications
  
  巻: 362 ページ: 182-187
- DOI
  10.3233/faia220464
- ISBN
  9781643683645, 9781643683652
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H03612, KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-22H00543
[雑誌論文] Effects of Relations between Normal Logic Programs and Defeasible Logic Programs on Contrary Prioritized Policy2022
- 著者名/発表者名
  Fungwacharakorn, W, Tsushima, K, Satoh, K
- 雑誌名
  
  Proceedings of JURISIN-2022
  
  巻: N/A ページ: 207-219
- 査読あり
- データソース
  KAKENHI-PROJECT-20K20406
[雑誌論文] 型エラープログラムの部分評価2022
- 著者名/発表者名
  Kanae Tsushima, Robert Glueck
- 雑誌名
  
  第24回プログラミングおよびプログラミング言語ワークショップ
  
  巻: 1
- 査読あり
- データソース
  KAKENHI-PROJECT-19K20248
[雑誌論文] On semantics-based minimal revision for legal reasoning2021
- 著者名/発表者名
  Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
- 雑誌名
  
  ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law
  
  巻: 2021 ページ: 50-59
- DOI
  10.1145/3462757.3466075
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-18H03612
[雑誌論文] Resolving counterintuitive consequences in law using legal debugging2021
- 著者名/発表者名
  Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
- 雑誌名
  
  Artificial Intelligence and Law
  
  巻: 29 号: 4 ページ: 541-557
- DOI
  10.1007/s10506-021-09283-7
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103, KAKENHI-PROJECT-18H03612
[雑誌論文] On the Legal Revision in PROLEG Program2021
- 著者名/発表者名
  Fungwacharakorn Wachara、Tsushima Kanae、Satoh Ken
- 雑誌名
  
  Advances in Intelligent Systems and Computing
  
  巻: 1357 ページ: 25-36
- DOI
  10.1007/978-3-030-73113-7_3
- NAID
  130007857084
- ISBN
  9783030731120, 9783030731137
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-18H03612
[雑誌論文] Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker2020
- 著者名/発表者名
  Kanae Tsushima, Olaf Chitil, Joanna Sharrad
- 雑誌名
  
  The 31st symposium on Implementation and Application of Functional Languages
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K20248
[雑誌論文] Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker2020
- 著者名/発表者名
  Kanae Tsushima, Olaf Chitil, Joanna Sharrad
- 雑誌名
  
  The 31st symposium on Implementation and Application of Functional Languages
  
  巻: なし
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K16040
[学会発表] Towards Type Debugging using Partial Evaluation2023
- 著者名/発表者名
  Kanae Tsushima
- 学会等名
  ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K20248
[学会発表] 型エラープログラムの部分評価2022
- 著者名/発表者名
  Kanae Tsushima
- 学会等名
  第24回プログラミングおよびプログラミング言語ワークショップ
- データソース
  KAKENHI-PROJECT-19K20248
[学会発表] Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker2019
- 著者名/発表者名
  Kanae Tsushima, Olaf Chitil, Joanna Sharrad
- 学会等名
  The 31st symposium on Implementation and Application of Functional Languages
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K20248
[学会発表] A Common Framework Using Expected Types for Several Type Debugging Approaches2018
- 著者名/発表者名
  Kanae Tsushima, Olaf Chitil
- 学会等名
  Fourteenth International Symposium on Functional and Logic Programming
- データソース
  KAKENHI-PROJECT-16K16040
[学会発表] 複数の型エラースライスによるill-typedプログラムの分析2018
- 著者名/発表者名
  対馬かなえ、佐藤重幸
- 学会等名
  第20回プログラミングおよびプログラミング言語ワークショップ
- データソース
  KAKENHI-PROJECT-16K16040
[学会発表] 実用的な型エラースライサーの提案と評価2018
- 著者名/発表者名
  脇川奈穂、対馬かなえ
- 学会等名
  第20回プログラミングおよびプログラミング言語ワークショップ
- データソース
  KAKENHI-PROJECT-16K16040
[学会発表] 既存の構文解析器を利用した漸進的構文解析2017
- 著者名/発表者名
  対馬かなえ
- 学会等名
  情報処理学会 58回プログラミング・シンポジウム
- 発表場所
  ラフォーレ伊東(静岡県伊東市）
- 年月日
  2017-01-06
- データソース
  KAKENHI-PROJECT-16K16040
[学会発表] 実用的な型エラースライサーに向けた改良と評価2017
- 著者名/発表者名
  対馬かなえ、脇川奈穂
- 学会等名
  日本ソフトウェア科学会第 34 回大会
- データソース
  KAKENHI-PROJECT-16K16040
[学会発表] A semi-embedded incremental parsing2016
- 著者名/発表者名
  Kanae Tsushima
- 学会等名
  The 28th symposium on Implementation and Application of Functional Languages (IFL 2016)
- 発表場所
  Leuven(Belgium)
- 年月日
  2016-08-31
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K16040

1. 佐藤健 (00271635)

共同の研究課題数: 1件

共同の研究成果数: 6件
2. NGUYEN MinhLe (30509401)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 西村友海 (80884767)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. Tran Duc・Vu (90910240)

共同の研究課題数: 1件

共同の研究成果数: 0件

対馬 かなえ Tsushima Kanae

研究課題

研究成果

共同研究者

データに基づき自動修正も含む型エラーデバッギングの理論と実際研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

人工知能の法律遵守機構の実現

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

リアルタイム型エラーデバッグの基礎理論と実際研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

リアルタイム型エラーデバッグの基礎理論と実際研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Towards Type Debugging using Partial Evaluation2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Diagnosing and Treating Effect of Legal Rule-Based Revision2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Fundamental Revisions on Constraint Hierarchies for Ethical Norms2022

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Effects of Relations between Normal Logic Programs and Defeasible Logic Programs on Contrary Prioritized Policy2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] 型エラープログラムの部分評価2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] On semantics-based minimal revision for legal reasoning2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Resolving counterintuitive consequences in law using legal debugging2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] On the Legal Revision in PROLEG Program2021

著者名/発表者名

雑誌名

DOI

NAID

ISBN

データソース

[雑誌論文] Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker2020

著者名/発表者名

雑誌名

データソース

[雑誌論文] Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker2020

著者名/発表者名

雑誌名

対馬かなえ Tsushima Kanae