• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

佐藤 亮介  Sato Ryosuke

研究者番号 10804677
その他のID
  • ORCIDhttps://orcid.org/0000-0001-8679-2747
所属 (現在) 2025年度: 東京農工大学, 学内共同利用施設等, 准教授
所属 (過去の研究課題情報に基づく) *注記 2024年度 – 2025年度: 東京農工大学, 学内共同利用施設等, 准教授
2022年度: 東京大学, 大学院情報理工学系研究科, 特任講師
2020年度 – 2022年度: 東京大学, 大学院情報理工学系研究科, 助教
2020年度: 東京大学, 情報理工学系研究科, 助教
2017年度 – 2020年度: 九州大学, システム情報科学研究院, 助教
審査区分/研究分野
研究代表者
小区分60050:ソフトウェア関連
研究代表者以外
中区分60:情報科学、情報工学およびその関連分野 / 大区分J / 情報学基礎理論
キーワード
研究代表者
名前呼び計算体系 / 高階関数型言語 / プログラム検証器 / プログラム検証 / 値呼び評価戦略 / 全自動検証 / 関数型言語 / 名前呼び評価戦略 / 型システム
研究代表者以外
高階不動点論理 … もっと見る / プログラム検証 / 高階モデル検査 / 機械学習 / モデル検査 / 確率付き高階不動点論理 / 共通型 / 高階論理 / 確率付き文法 / 高階文法 / 不動点論理 / 関数型プログラム / 型システム / データ圧縮 / 群衆知 / 深層学習 / デバッグ / 自動バグ修正 / 群集知 / 人工知能 隠す
  • 研究課題

    (6件)
  • 研究成果

    (52件)
  • 共同研究者

    (12人)
  •  関数型言語のための統一的検証基盤構築に向けて研究代表者

    • 研究代表者
      佐藤 亮介
    • 研究期間 (年度)
      2025 – 2028
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京農工大学
  •  高階不動点論理に基づくプログラム検証

    • 研究代表者
      小林 直樹
    • 研究期間 (年度)
      2020
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      東京大学
  •  AI時代を見据えたプログラム検証技術

    • 研究代表者
      小林 直樹
    • 研究期間 (年度)
      2020 – 2024
    • 研究種目
      基盤研究(S)
    • 審査区分
      大区分J
    • 研究機関
      東京大学
  •  名前呼び計算体型のための型システムによるプログラム検証研究代表者

    • 研究代表者
      佐藤 亮介
    • 研究期間 (年度)
      2018 – 2022
    • 研究種目
      若手研究
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      東京大学
      九州大学
  •  自動デバッグを可能にする群衆知エコシステムの確立

    • 研究代表者
      鵜林 尚靖
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      九州大学
  •  高階モデル検査の深化と発展

    • 研究代表者
      小林 直樹
    • 研究期間 (年度)
      2015 – 2019
    • 研究種目
      基盤研究(S)
    • 研究分野
      情報学基礎理論
    • 研究機関
      東京大学

すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015

すべて 雑誌論文 学会発表

  • [雑誌論文] HFL(Z) Validity Checking for Automated Program Verification2023

    • 著者名/発表者名
      Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, and Takeshi Tsukada
    • 雑誌名

      Proceedings of the ACM on Programming Languages, Issue POPL, ACM

      巻: 7 号: POPL ページ: 154-184

    • DOI

      10.1145/3571199

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H05703
  • [雑誌論文] Gradual Tensor Shape Checking2023

    • 著者名/発表者名
      Momoko Hattori, Naoki Kobayashi, Ryosuke Sato
    • 雑誌名

      Proceedings of ESOP 2023, Springer LNCS

      巻: 13990 ページ: 197-224

    • DOI

      10.1007/978-3-031-30044-8_8

    • ISBN
      9783031300431, 9783031300448
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H05703
  • [雑誌論文] Parameterized Recursive Refinement Types for Automated Program Verification2022

    • 著者名/発表者名
      Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato
    • 雑誌名

      Proceedings of SAS 2022, Springer LNCS

      巻: 13790 ページ: 397-421

    • DOI

      10.1007/978-3-031-22308-2_18

    • ISBN
      9783031223075, 9783031223082
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H05703
  • [雑誌論文] Asynchronous Unfold/Fold Transformation for Fixpoint Logic2022

    • 著者名/発表者名
      Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato
    • 雑誌名

      Proceedings of FLOPS 2022, Springer LNCS

      巻: 13215 ページ: 39-56

    • DOI

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

    • ISBN
      9783030994600, 9783030994617
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H05703
  • [雑誌論文] Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination2021

    • 著者名/発表者名
      Shoshi Tsubasa、Ishikawa Takuma、Kobayashi Naoki、Sakayori Ken、Sato Ryosuke、Tsukada Takeshi
    • 雑誌名

      Proceedings of APLAS 2021, Springer LNCS

      巻: 13008 ページ: 265-284

    • DOI

      10.1007/978-3-030-89051-3_15

    • ISBN
      9783030890506, 9783030890513
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H05703
  • [雑誌論文] ミドルウェア製品開発に対する自動バグ修正技術の適用事例2021

    • 著者名/発表者名
      池田 翔, 中野 大扉, 亀井 靖高, 佐藤 亮介, 鵜林 尚靖, 久保田 学, 矢川 博文, 吉武 浩
    • 雑誌名

      情報処理学会論文誌 デジタルプラクティス

      巻: 12-4 ページ: 1-10

    • NAID

      170000185593

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] Symbolic Automatic Relations and Their Applications to SMT and CHC Solving2021

    • 著者名/発表者名
      Shimoda Takumi、Kobayashi Naoki、Sakayori Ken、Sato Ryosuke
    • 雑誌名

      Proceedings of SAS 2021, Springer LNCS

      巻: 12913 ページ: 405-428

    • DOI

      10.1007/978-3-030-88806-0_20

    • ISBN
      9783030888053, 9783030888060
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H05703
  • [雑誌論文] Inside-Outside Algorithm for Macro Grammars2021

    • 著者名/発表者名
      Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
    • 雑誌名

      Proceedings of Machine Learning Research

      巻: 153 ページ: 32-46

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H05703
  • [雑誌論文] Toward Neural-Network-Guided Program Synthesis and Verification2021

    • 著者名/発表者名
      Kobayashi Naoki、Sekiyama Taro、Sato Issei、Unno Hiroshi
    • 雑誌名

      Lecture Notes in Computer Science (SAS)

      巻: 12913 ページ: 236-260

    • DOI

      10.1007/978-3-030-88806-0_12

    • ISBN
      9783030888053, 9783030888060
    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K20247, KAKENHI-PROJECT-20H05703, KAKENHI-PROJECT-23K20380
  • [雑誌論文] 教育支援の適用に向けた自動バグ修正手法の性能調査 [FOSE2020 推薦レター論文]2021

    • 著者名/発表者名
      松尾 春紀, 池田 翔, 亀井 靖高, 佐藤 亮介, 島田 敬士, 鵜林 尚靖
    • 雑誌名

      日本ソフトウェア科学会誌 コンピュータソフトウェア

      巻: 38-4 ページ: 16-22

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] Decision Tree Learning in CEGIS-Based Termination Analysis2021

    • 著者名/発表者名
      Kura Satoshi、Unno Hiroshi、Hasuo Ichiro
    • 雑誌名

      Proceedings of CAV 2021, Springer LNCS

      巻: 12760 ページ: 75-98

    • DOI

      10.1007/978-3-030-81688-9_4

    • ISBN
      9783030816872, 9783030816889
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H05703, KAKENHI-PROJECT-23K20380
  • [雑誌論文] ICE-Based Refinement Type Discovery for Higher-Order Functional Programs2020

    • 著者名/発表者名
      Champion Adrien、Chiba Tomoya、Kobayashi Naoki、Sato Ryosuke
    • 雑誌名

      Journal of Automated Reasoning

      巻: 64 号: 7 ページ: 1393-1418

    • DOI

      10.1007/s10817-020-09571-y

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05706
  • [雑誌論文] ソースコードメトリクスが自動バグ修正に与える影響の分析2020

    • 著者名/発表者名
      中村 司, 池田 翔, 亀井 靖高, 佐藤 亮介, 鵜林 尚靖
    • 雑誌名

      情報処理学会 ソフトウェアエンジニアリングシンポジウム2020 (SES 2020)

      巻: - ページ: 60-68

    • NAID

      170000183327

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] 自動バグ修正における開発者によるバグ限局の効果 -Defects4J を対象にした初期評価-2020

    • 著者名/発表者名
      山手 響介, 首藤 巧, 浅田 翔, 佐藤 亮介, 亀井 靖高, 鵜林 尚靖
    • 雑誌名

      日本ソフトウエア科学会 第27回ソフトウェア工学の基礎ワークショップ (FOSE 2020)

      巻: - ページ: 33-38

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] DAWGs for Parameterized Matching: Online Construction and Related Indexing Structures2020

    • 著者名/発表者名
      Katsuhito Nakashima, Noriki Fujisato, Diptarama Hendrian, Yuto Nakashima, Ryo Yoshinaka, Shunsuke Inenaga, Hideo Bannai, Ayumi Shinohara, and Masayuki Takeda
    • 雑誌名

      Proceedings of CPM2020, LIPIcs

      巻: 161

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H05706
  • [雑誌論文] 動的解析による自動バグ修正技術の静的解析ツールの警告への適用と初期評価2020

    • 著者名/発表者名
      浅田 翔, 首藤 巧, 山手 響介, 佐藤 亮介, 亀井 靖高, 鵜林 尚靖
    • 雑誌名

      日本ソフトウエア科学会 第27回ソフトウェア工学の基礎ワークショップ (FOSE 2020)

      巻: - ページ: 13-22

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] ミドルウェア製品開発への自動バグ修正技術適用の試み2020

    • 著者名/発表者名
      池田 翔, 中野 大扉, 亀井 靖高, 佐藤 亮介, 鵜林 尚靖, 久保田 学, 矢川 博文, 吉武 浩
    • 雑誌名

      情報処理学会 ソフトウェアエンジニアリングシンポジウム2020 (SES 2020)

      巻: - ページ: 79-87

    • NAID

      170000183329

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] 教育支援の適用に向けた自動バグ修正手法の性能評価に関する調査2020

    • 著者名/発表者名
      松尾 春紀, 池田 翔, 亀井 靖高, 佐藤 亮介, 島田 敬士, 鵜林 尚靖
    • 雑誌名

      日本ソフトウエア科学会 第27回ソフトウェア工学の基礎ワークショップ (FOSE 2020)

      巻: - ページ: 23-32

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] 集合知を用いた深層学習による自動バグ修正2019

    • 著者名/発表者名
      高橋 裕太, 鵜林 尚靖, 佐藤 亮介, 亀井 靖高
    • 雑誌名

      情報処理学会 ソフトウェアエンジニアリングシンポジウム2019 (SES 2019)

      巻: - ページ: 87-96

    • NAID

      170000150604

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] ソースコードの修正履歴と自動バグ修正結果の関係に関する分析2019

    • 著者名/発表者名
      首藤 巧, 亀井 靖高, 鵜林 尚靖, 佐藤 亮介
    • 雑誌名

      日本ソフトウエア科学会 第26回ソフトウェア工学の基礎ワークショップ (FOSE 2019)

      巻: - ページ: 23-32

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] Combining higher-order model checking with refinement type inference2019

    • 著者名/発表者名
      Sato Ryosuke、Iwayama Naoki、Kobayashi Naoki
    • 雑誌名

      Proceedings of PEPM 2019

      巻: - ページ: 47-53

    • DOI

      10.1145/3294032.3294081

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H05706
  • [雑誌論文] When and Why Do Software Developers Face Uncertainty?2019

    • 著者名/発表者名
      Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
    • 雑誌名

      19th IEEE International Conference on Software Quality, Reliability and Security (QRS 2019)

      巻: - ページ: 288-299

    • DOI

      10.1109/qrs.2019.00045

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] Git-based Integrated Uncertainty Manager2019

    • 著者名/発表者名
      Naoyasu Ubayashi, Takuya Watanabe, Yasutaka Kamei, Ryosuke Sato
    • 雑誌名

      41st International Conference on Software Engineering (ICSE 2019) Companion Proceedings

      巻: - ページ: 95-98

    • DOI

      10.1109/icse-companion.2019.00047

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] An improvement of the Franek-Jennings-Smyth pattern matching algorithm2019

    • 著者名/発表者名
      Satoshi Kobayashi, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
    • 雑誌名

      Proceedings of the Prague Stringology Conference 2019 (PSC 2019)

      巻: - ページ: 56-68

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H05706
  • [雑誌論文] HoIce: An ICE-Based Non-linear Horn Clause Solver2018

    • 著者名/発表者名
      Champion Adrien、Kobayashi Naoki、Sato Ryosuke
    • 雑誌名

      Proceedings of APLAS 2018, Springer LNCS

      巻: 11275 ページ: 146-156

    • DOI

      10.1007/978-3-030-02768-1_8

    • ISBN
      9783030027674, 9783030027681
    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05706
  • [雑誌論文] ICE-Based Refinement Type Discovery for Higher-Order Functional Programs2018

    • 著者名/発表者名
      Champion Adrien、Chiba Tomoya、Kobayashi Naoki、Sato Ryosuke
    • 雑誌名

      Proceedings of TACAS 2018, Springer LNCS

      巻: 10805 ページ: 365-384

    • DOI

      10.1007/978-3-319-89960-2_20

    • ISBN
      9783319899596, 9783319899602
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H05706
  • [雑誌論文] Stack Overflowを利用した自動バグ修正の検討2018

    • 著者名/発表者名
      廣瀬 賢幸, 鵜林 尚靖, 亀井 靖高, 佐藤 亮介
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 35 号: 4 ページ: 144-150

    • DOI

      10.11309/jssst.35.144

    • NAID

      130007514239

    • ISSN
      0289-6540
    • 年月日
      2018-10-25
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18H04097
  • [雑誌論文] Verifying relational properties of functional programs by first-order refinement2017

    • 著者名/発表者名
      Asada Kazuyuki、Sato Ryosuke、Kobayashi Naoki
    • 雑誌名

      Science of Computer Programming

      巻: 137 ページ: 2-62

    • DOI

      10.1016/j.scico.2016.02.007

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05706
  • [雑誌論文] Modular Verification of Higher-Order Functional Programs2017

    • 著者名/発表者名
      Sato Ryosuke、Kobayashi Naoki
    • 雑誌名

      Proceedings of ESOP 2017, Springer LNCS

      巻: 10201 ページ: 831-854

    • DOI

      10.1007/978-3-662-54434-1_31

    • ISBN
      9783662544334, 9783662544341
    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05706
  • [雑誌論文] Automatically disproving fair termination of higher-order functional programs2016

    • 著者名/発表者名
      Watanabe Keiichi、Sato Ryosuke、Tsukada Takeshi、Kobayashi Naoki
    • 雑誌名

      Proceedings of ICFP 2016

      巻: - ページ: 243-255

    • DOI

      10.1145/2951913.2951919

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05706
  • [雑誌論文] Temporal Verification of Higher-Order Functional Programs2016

    • 著者名/発表者名
      Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno
    • 雑誌名

      In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices

      巻: 51 (1) ページ: 57-68

    • DOI

      10.1145/2837614.2837667

    • 査読あり / 謝辞記載あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330082, KAKENHI-PROJECT-15H05706, KAKENHI-PROJECT-25730035, KAKENHI-PROJECT-25280020, KAKENHI-PROJECT-25280023
  • [雑誌論文] Refinement Type Checking via Assertion Checking2015

    • 著者名/発表者名
      Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi
    • 雑誌名

      Journal of Information Processing

      巻: 23 号: 6 ページ: 827-834

    • DOI

      10.2197/ipsjjip.23.827

    • NAID

      130005109162

    • ISSN
      1882-6652
    • 言語
      英語
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15H05706
  • [学会発表] Refinement types for call-by-name programs2023

    • 著者名/発表者名
      佐藤 亮介
    • 学会等名
      第143回プログラミング研究発表会
    • データソース
      KAKENHI-PROJECT-18K18030
  • [学会発表] 自動バグ修正研究のためのプラットフォームjProphetの開発について2020

    • 著者名/発表者名
      首藤 巧, 亀井 靖高, 鵜林 尚靖, 佐藤 亮介, 浅田 翔, 山手 響介
    • 学会等名
      情報処理学会 研究報告 2020-SE-206, No.6
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] 開発者によるバグ限局を考慮した自動バグ修正への影響分析2020

    • 著者名/発表者名
      山手 響介, 首藤 巧, 浅田 翔, 佐藤 亮介, 亀井 靖高, 鵜林 尚靖
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会 信学技報 SS2019-48
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] 修正ソースコードの特徴が自動バグ修正に与える影響の分析2020

    • 著者名/発表者名
      中村 司, 池田 翔, 亀井 靖高, 佐藤 亮介, 鵜林 尚靖
    • 学会等名
      情報処理学会ソフトウェア工学研究会 2020-SE-204, No.2
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] 文法エラーに対する自動バグ修正ツールの性能評価2020

    • 著者名/発表者名
      松尾 春紀, 池田 翔, 亀井 靖高, 佐藤 亮介, 鵜林 尚靖
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会 信学技報 SS2019-47
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] 静的解析ツールの警告に対する自動バグ修正技術の適用と初期評価2020

    • 著者名/発表者名
      浅田 翔, 首藤 巧, 山手 響介, 佐藤 亮介, 亀井 靖高, 鵜林 尚靖
    • 学会等名
      情報処理学会ソフトウェア工学研究会 2020-SE-204, No.1
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] 静的解析ツールの警告に対する自動バグ修正技術の適用と初期評価2020

    • 著者名/発表者名
      浅田 翔, 山手 響介, 首藤 巧, 佐藤 亮介, 亀井 靖高, 鵜林 尚靖
    • 学会等名
      情報処理学会ソフトウェア工学研究会 ウィンターワークショップ2020・イン・京都
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] 開発者によるバグ限局が自動バグ修正の結果に与える影響の分析2020

    • 著者名/発表者名
      山手 響介, 浅田 翔, 首藤 巧, 佐藤 亮介, 亀井 靖高, 鵜林 尚靖
    • 学会等名
      情報処理学会ソフトウェア工学研究会 ウィンターワークショップ2020・イン・京都
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] 関数型プログラムの条件式に関するバグの自動修正2019

    • 著者名/発表者名
      松井 健, 佐藤 亮介, 鵜林 尚靖, 亀井 靖高
    • 学会等名
      情報処理学会 第81回全国大会, 5M-03
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] 関数型プログラムの条件式のための反例を用いた自動修正2019

    • 著者名/発表者名
      松井 健, 佐藤 亮介, 鵜林 尚靖, 亀井 靖高
    • 学会等名
      電子情報通信学会 ソフトウェアサイエンス研究会 信学技報 SS2018-80
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] ソースコード修正履歴が自動バグ修正の結果に与える影響の分析2019

    • 著者名/発表者名
      首藤 巧, 亀井 靖高, 鵜林 尚靖, 佐藤 亮介
    • 学会等名
      情報処理学会 ソフトウェア工学研究会 研究報告 2019-SE-201, No.16
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] ソースコード修正履歴を用いた自動バグ修正手法の性能理解2019

    • 著者名/発表者名
      首藤 巧, 亀井 靖高, 佐藤 亮介, 鵜林 尚靖
    • 学会等名
      情報処理学会 第81回全国大会, 7N-03
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] Stack Overflow 記事の充実に向けたソースコード変更履歴の利用可能性評価2019

    • 著者名/発表者名
      西中 隆志郎, 佐藤 亮介, 亀井 靖高, 鵜林 尚靖
    • 学会等名
      情報処理学会 第81回全国大会, 6N-08
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] 自動バグ修正技術の企業内ソースコードへの適用に向けて2019

    • 著者名/発表者名
      池田 翔, 中野 大扉, 亀井 靖高, 佐藤 亮介, 鵜林 尚靖, 吉武 浩, 矢川 博文
    • 学会等名
      情報処理学会 第81回全国大会, 7N-04
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] 敵対的サンプルに対するニューラルネットワークモデルの学習無し修正とその評価2019

    • 著者名/発表者名
      松井 健, 鵜林 尚靖, 佐藤 亮介, 亀井 靖高
    • 学会等名
      日本ソフトウェア科学会 第36回大会 22-L
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] 企業内ソースコードに対する自動バグ修正技術適用の試み2019

    • 著者名/発表者名
      池田 翔, 中野 大扉, 亀井 靖高, 佐藤 亮介, 鵜林 尚靖, 吉武 浩, 矢川 博文
    • 学会等名
      電子情報通信学会 ソフトウェアサイエンス研究会 信学技報 SS2018-84
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] StackOverflow投稿を用いた深層学習による自動バグ修正(ポスター)2018

    • 著者名/発表者名
      高橋 裕太, 佐藤 亮介, 亀井 靖高, 鵜林 尚靖
    • 学会等名
      情報処理学会 ソフトウェアエンジニアリングシンポジウム2018 (SES 2018)
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] ソースコード変更履歴によるStack Overflow記事の充実に向けて2018

    • 著者名/発表者名
      西中 隆志郎, 佐藤 亮介, 亀井 靖高, 鵜林 尚靖
    • 学会等名
      情報処理学会 ソフトウェア工学研究会 研究報告 2018-SE-200, No.10
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] ソースコード履歴情報によるStackOverflow記事の充実に向けて(ポスター)2018

    • 著者名/発表者名
      西中 隆志郎, 佐藤 亮介, 亀井 靖高, 鵜林 尚靖
    • 学会等名
      情報処理学会 ソフトウェアエンジニアリングシンポジウム2018 (SES 2018)
    • データソース
      KAKENHI-PROJECT-18H04097
  • [学会発表] Stack Overflow投稿を用いた深層学習による自動バグ修正にむけて2018

    • 著者名/発表者名
      高橋 裕太, 佐藤 亮介, 亀井 靖高, 鵜林 尚靖
    • 学会等名
      情報処理学会 ソフトウェア工学研究会 研究報告 2018-SE-200, No.3
    • データソース
      KAKENHI-PROJECT-18H04097
  • 1.  小林 直樹 (00262155)
    共同の研究課題数: 3件
    共同の研究成果数: 15件
  • 2.  五十嵐 淳 (40323456)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 3.  海野 広志 (80569575)
    共同の研究課題数: 3件
    共同の研究成果数: 1件
  • 4.  鵜林 尚靖 (80372762)
    共同の研究課題数: 1件
    共同の研究成果数: 30件
  • 5.  趙 建軍 (20299580)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  亀井 靖高 (10610222)
    共同の研究課題数: 1件
    共同の研究成果数: 30件
  • 7.  篠原 歩 (00226151)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 8.  塚田 武志 (50758951)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 9.  吉仲 亮 (80466424)
    共同の研究課題数: 1件
    共同の研究成果数: 7件
  • 10.  関山 太朗 (80828476)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 11.  佐藤 一誠 (90610155)
    共同の研究課題数: 1件
    共同の研究成果数: 8件
  • 12.  寺内 多智弘
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi