嶋利一真 Shimari Kazumasa

研究者番号	50964376
その他のID	https://orcid.org/0000-0001-8837-5090
所属 (現在)	2025年度: 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教
所属 (過去の研究課題情報に基づく) *注記	2022年度 – 2024年度: 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連 / 1001:情報科学、情報工学およびその関連分野研究代表者以外小区分60050:ソフトウェア関連
キーワード	研究代表者ソフトウェア保守 / プログラム解析 / リポジトリマイニング / デバッグ / ロギング / ソフトウェア工学 / 依存関係 / 動的解析 / ソフトウェアテスト研究代表者以外ソフトウェア工学 … もっと見る / プログラム理解 / API / ソフトウェア進化 / ソフトウェア保守隠す

ライブラリの後方非互換性のドキュメント化に向けた解析基盤の構築
- 研究代表者
  
  神田哲也
- 研究期間 (年度)
  2024 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  ノートルダム清心女子大学
ロギング設定の出力に関する分析とプロジェクトの特性に応じた最適化支援研究代表者
- 研究代表者
  
  嶋利一真
- 研究期間 (年度)
  2023 – 2025
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  奈良先端科学技術大学院大学
利用機能の実行時情報解析による厳密かつ効率的なライブラリの互換性検証手法研究代表者
- 研究代表者
  
  嶋利一真
- 研究期間 (年度)
  2022 – 2023
- 研究種目
  
  研究活動スタート支援
- 審査区分
  
  1001:情報科学、情報工学およびその関連分野
- 研究機関
  奈良先端科学技術大学院大学

すべて 2024 2023 2022

すべて雑誌論文学会発表

[雑誌論文] Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging2024
- 著者名/発表者名
  Shimari Kazumasa、Ishio Takashi、Kanda Tetsuya、Inoue Katsuro
- 雑誌名
  
  Science of Computer Programming
  
  巻: 236 ページ: 103117-103117
- DOI
  10.1016/j.scico.2024.103117
- 査読あり
- データソース
  KAKENHI-PROJECT-23K16862, KAKENHI-PROJECT-19K20239, KAKENHI-PROJECT-22K21279, KAKENHI-PROJECT-20H05706
[雑誌論文] ROSアプリケーションにおけるトピック通信の記述パターンを用いたデータフロー可視化手法2024
- 著者名/発表者名
  村田優斗、石尾隆、嶋利一真、松本健一
- 雑誌名
  
  電子情報通信学会論文誌D 情報・システム
  
  巻: J107-D 号: 7 ページ: 420-423
- DOI
  10.14923/transinfj.2023JDL8011
- ISSN
  1880-4535, 1881-0225
- 年月日
  2024-07-01
- 言語
  日本語
- 査読あり
- データソース
  KAKENHI-PROJECT-23K16862, KAKENHI-PROJECT-22K21279
[雑誌論文] Reliability Evaluation Framework for Obfuscating Transformations in Program Code.2023
- 著者名/発表者名
  Tetsuya Kitaoka, Yuichiro Kanzaki, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 40 号: 4 ページ: 4_37-4_46
- DOI
  10.11309/jssst.40.4_37
- ISSN
  0289-6540
- 年月日
  2023-10-25
- 言語
  日本語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-22K11986, KAKENHI-PROJECT-22K21279, KAKENHI-PROJECT-20H05706
[学会発表] Pythonプログラミング演習におけるプログラミング経験度とエラー修正時間の関係分析2024
- 著者名/発表者名
  篠原遼太郎，嶋利一真，福島和希，田中慎之佑，石尾隆，松本健一
- 学会等名
  第216回ソフトウェア工学研究発表会
- データソース
  KAKENHI-PROJECT-23K16862
[学会発表] Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompatibilities2024
- 著者名/発表者名
  Atsuhito Yamaoka, Teyon son, Kazumasa Shimari, Takashi Ishio, Kenichi Matsumoto
- 学会等名
  International Conference on Software Analysis, Evolution and Reengineering
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K21279
[学会発表] Pythonプログラミング演習におけるプログラミング経験度とエラー修正時間の関係分析2024
- 著者名/発表者名
  篠原遼太郎，嶋利一真，福島和希，田中慎之佑，石尾隆，松本健一
- 学会等名
  第216回ソフトウェア工学研究発表会
- データソース
  KAKENHI-PROJECT-22K21279
[学会発表] Test Case Generation for Python Libraries using Dependent Projects’ Test-Suites,2024
- 著者名/発表者名
  Keita Morisaki, Kazumasa Shimari, Takashi Ishio, Kenichi Matsumoto
- 学会等名
  7th Workshop on Validation, Analysis and Evolution of Software Tests
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K16862
[学会発表] Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompatibilities2024
- 著者名/発表者名
  Atsuhito Yamaoka, Teyon son, Kazumasa Shimari, Takashi Ishio, Kenichi Matsumoto
- 学会等名
  International Conference on Software Analysis, Evolution and Reengineering
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K16862
[学会発表] Test Case Generation for Python Libraries using Dependent Projects’ Test-Suites2024
- 著者名/発表者名
  Keita Morisaki, Kazumasa Shimari, Takashi Ishio, Kenichi Matsumoto
- 学会等名
  7th Workshop on Validation, Analysis and Evolution of Software Tests
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K21279
[学会発表] プログラミング演習におけるエラー自動解説の有用性の評価2023
- 著者名/発表者名
  大和祐介，石尾隆，嶋利一真，松本健一
- 学会等名
  第213回ソフトウェア工学研究発表会
- データソース
  KAKENHI-PROJECT-22K21279
[学会発表] Towards Assessment of Practicality of Introductory Programming Course Using Vocabulary of Textbooks, Assignments, and Actual Projects2023
- 著者名/発表者名
  Kazuki Fukushima, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto
- 学会等名
  35th International Conference on Software Engineering Education and Training
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K21279
[学会発表] 確率モデルを用いた初学者向け構文エラー修正支援手法の検討2023
- 著者名/発表者名
  田中慎之佑，嶋利一真，福島和希，石尾隆，松本健一
- 学会等名
  第214回ソフトウェア工学研究発表会
- データソース
  KAKENHI-PROJECT-23K16862
[学会発表] 確率モデルを用いた初学者向け構文エラー修正支援手法の検討2023
- 著者名/発表者名
  田中慎之佑，嶋利一真，福島和希，石尾隆，松本健一
- 学会等名
  第214回ソフトウェア工学研究発表会
- データソース
  KAKENHI-PROJECT-22K21279
[学会発表] Towards Assessment of Practicality of Introductory Programming Course Using Vocabulary of Textbooks, Assignments, and Actual Projects2023
- 著者名/発表者名
  Kazuki Fukushima, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto
- 学会等名
  35th International Conference on Software Engineering Education and Training
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K16862
[学会発表] Topic通信処理記述の解析によるROSアプリケーションのデータフローの可視化2022
- 著者名/発表者名
  村田優斗，石尾隆，嶋利一真，松本健一
- 学会等名
  第212回ソフトウェア工学研究発表会
- データソース
  KAKENHI-PROJECT-22K21279
[学会発表] 限られた資源を用いた効率的なデバッグ手法に関する研究2022
- 著者名/発表者名
  嶋利一真
- 学会等名
  第212回ソフトウェア工学研究発表会
- 招待講演
- データソース
  KAKENHI-PROJECT-22K21279
[学会発表] ObfusEval: Evaluating Reliability of Obfuscating Transformations2022
- 著者名/発表者名
  Tetsuya Kitaoka, Yuichiro Kanzaki, Takashi Ishio, Kazumasa Shimari, Kenichi Matsumoto
- 学会等名
  Annual Computer Security Applications Conference
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K21279
[学会発表] コード難読化ツールの信頼性を評価するフレームワークの検討2022
- 著者名/発表者名
  北岡哲哉，神崎雄一郎，石尾隆，嶋利一真，松本健一
- 学会等名
  第29回ソフトウェア工学の基礎ワークショップ
- データソース
  KAKENHI-PROJECT-22K21279
[学会発表] 2つのWebアプリケーション間の類似する操作対象の対応関係抽出2022
- 著者名/発表者名
  内田啓太，石尾隆，嶋利一真，松本健一
- 学会等名
  第29回ソフトウェア工学の基礎ワークショップ
- データソース
  KAKENHI-PROJECT-22K21279

1. 神田哲也 (90780726)

共同の研究課題数: 1件

共同の研究成果数: 0件

嶋利 一真 Shimari Kazumasa

研究課題

研究成果

共同研究者

ライブラリの後方非互換性のドキュメント化に向けた解析基盤の構築

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ロギング設定の出力に関する分析とプロジェクトの特性に応じた最適化支援研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

利用機能の実行時情報解析による厳密かつ効率的なライブラリの互換性検証手法研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] Evaluating the effectiveness of size-limited execution trace with near-omniscient debugging2024

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] ROSアプリケーションにおけるトピック通信の記述パターンを用いたデータフロー可視化手法2024

著者名/発表者名

雑誌名

DOI

ISSN

年月日

言語

データソース

[雑誌論文] Reliability Evaluation Framework for Obfuscating Transformations in Program Code.2023

著者名/発表者名

雑誌名

DOI

ISSN

年月日

言語

データソース

[学会発表] Pythonプログラミング演習におけるプログラミング経験度とエラー修正時間の関係分析2024

著者名/発表者名

学会等名

データソース

[学会発表] Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompatibilities2024

著者名/発表者名

学会等名

データソース

[学会発表] Pythonプログラミング演習におけるプログラミング経験度とエラー修正時間の関係分析2024

著者名/発表者名

学会等名

データソース

[学会発表] Test Case Generation for Python Libraries using Dependent Projects’ Test-Suites,2024

著者名/発表者名

学会等名

データソース

[学会発表] Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompatibilities2024

著者名/発表者名

学会等名

データソース

[学会発表] Test Case Generation for Python Libraries using Dependent Projects’ Test-Suites2024

著者名/発表者名

学会等名

データソース

[学会発表] プログラミング演習におけるエラー自動解説の有用性の評価2023

著者名/発表者名

学会等名

データソース

[学会発表] Towards Assessment of Practicality of Introductory Programming Course Using Vocabulary of Textbooks, Assignments, and Actual Projects2023

著者名/発表者名

学会等名

データソース

[学会発表] 確率モデルを用いた初学者向け構文エラー修正支援手法の検討2023

著者名/発表者名

学会等名

データソース

[学会発表] 確率モデルを用いた初学者向け構文エラー修正支援手法の検討2023

嶋利一真 Shimari Kazumasa