佐藤亮介 (Ryosuke Sato) - マイポータル

基本情報

所属: 東京農工大学総合情報メディアセンター准教授

学位: 博士(東北大学)

研究者番号: 10804677
ORCID iD: https://orcid.org/0000-0001-8679-2747
J-GLOBAL ID: 201801011714101315
Researcher ID: KCY-8676-2024
researchmap会員ID: B000307557

外部リンク: https://www.rsato.info/

研究キーワード

研究分野

受賞

2025年5月

ETAPS 2025 Distinguished Paper Award, On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic, European Joint Conferences on Theory and Practice of Software

Risa Yamada, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
2023年

善吾賞, ミドルウェア製品開発に対する自動バグ修正技術の適用事例, ソフトウェアテスト技術振興協会

池田翔, 中野大扉, 亀井靖高, 佐藤亮介, 鵜林尚靖, 久保田学, 矢川博文, 吉武浩
2021年

情報処理学会論文誌ジャーナル/JIP特選論文, READMEファイルの進化に関する実証的分析, 情報処理学会

亀井靖高, 清水一輝, 柏祐太郎, 佐藤亮介, 鵜林尚靖
2020年

情報処理学会論文誌ジャーナル/JIP特選論文, Revertに着目した不確かさに関する実証的分析, 情報処理学会

村岡北斗, 鵜林尚靖, 亀井靖高, 佐藤亮介
2019年

ソフトウェアエンジニアリングシンポジウム2019 最優秀論文賞, Revertに着目した不確かさに関する実証的分析, 情報処理学会

村岡北斗, 鵜林尚靖, 亀井靖高, 佐藤亮介
2015年

2015年度コンピュータサイエンス領域奨励賞, Refinement Type Checking via Assertion Checking, 情報処理学会

佐藤亮介
2011年

論文賞, Ordered Types for Stream Processing of Tree-Structured Data, 情報処理学会

佐藤亮介, 末永幸平, 小林直樹

論文

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types

Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

2026年
On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic

Risa Yamada, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

2025年
Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem

Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

2025年
Productivity Verification for Functional Programs by Reduction to Termination Verification.

Ren Fukaishi, Naoki Kobayashi 0001, Ryosuke Sato 0001

PEPM 70-82 2024年
Asynchronous unfold/fold transformation for fixpoint logic.

Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001

Sci. Comput. Program. 231 103014-103014 2024年1月
Borrowable Fractional Ownership Types for Verification

Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi

2024年
Higher-Order Property-Directed Reachability

Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato

Proceedings of the ACM on Programming Languages 2023年8月30日
Argument Reduction of Constrained Horn Clauses Using Equality Constraints

Ryo Ikeda, Ryosuke Sato, Naoki Kobayashi

2023年
Gradual Tensor Shape Checking

Momoko Hattori, Naoki Kobayashi, Ryosuke Sato

2023年
HFL(Z) Validity Checking for Automated Program Verification.

Naoki Kobayashi 0001, Kento Tanahashi, Ryosuke Sato 0001, Takeshi Tsukada

Proc. ACM Program. Lang. 7(POPL) 154-184 2023年1月査読有り
Parameterized Recursive Refinement Types for Automated Program Verification.

Ryoya Mukai, Naoki Kobayashi 0001, Ryosuke Sato 0001

SAS 397-421 2022年査読有り
Asynchronous Unfold/Fold Transformation for Fixpoint Logic.

Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001

Functional and Logic Programming - 16th International Symposium(FLOPS) 39-56 2022年査読有り
An empirical study on self-admitted technical debt in modern code review.

Yutaro Kashiwa, Ryoma Nishikawa, Yasutaka Kamei, Masanari Kondo, Emad Shihab, Ryosuke Sato, Naoyasu Ubayashi

Inf. Softw. Technol. 146 106855-106855 2022年査読有り
READMEファイルの進化に関する実証的分析

亀井靖高, 清水一輝, 柏祐太郎, 佐藤亮介, 鵜林尚靖

情報処理学会論文誌 62(4) 1076-1085 2021年4月査読有り
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving.

Takumi Shimoda, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001

Static Analysis - 28th International Symposium(SAS) 405-428 2021年査読有り
Inside-Outside Algorithm for Macro Grammars.

Ryuta Kambe, Naoki Kobayashi 0001, Ryosuke Sato 0001, Ayumi Shinohara, Ryo Yoshinaka

Proceedings of the 15th International Conference on Grammatical Inference(ICGI) 32-46 2021年査読有り
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination

Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada

Programming Languages and Systems 265-284 2021年査読有り
How Fast and Effectively Can Code Change History Enrich Stack Overflow?

Ryujiro Nishinaka, Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato

The 20th IEEE International Conference on Software Quality, Reliability, and Security (QRS 2020) 467-478 2020年査読有り
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs.

Adrien Champion, Tomoya Chiba, Naoki Kobayashi 0001, Ryosuke Sato

J. Autom. Reason. 64(7) 1393-1418 2020年査読有り
When and Why Do Software Developers Face Uncertainty?

Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato

2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) 288-299 2019年査読有り

もっとみる

MISC

ミドルウェア製品開発に対する自動バグ修正技術の適用事例

池田翔, 中野大扉, 亀井靖高, 佐藤亮介, 鵜林尚靖, 久保田学, 矢川博文, 吉武浩

情報処理学会デジタルプラクティス(Web) 12(4) 2021年
教育支援の適用に向けた自動バグ修正手法の性能調査

松尾春紀, 池田翔, 亀井靖高, 佐藤亮介, 島田敬士, 鵜林尚靖

コンピュータソフトウェア 38(4) 2021年
コードレビューを通じたSelf-Admitted Technical Debtの追加・削除に関する実証的研究

西川諒真, 亀井靖高, 佐藤亮介, 鵜林尚靖

ソフトウェアエンジニアリングシンポジウム2020論文集 (2020) 14-22 2020年9月3日
Revertに着目した不確かさに関する実証的分析

村岡北斗, 鵜林尚靖, 亀井靖高, 佐藤亮介

情報処理学会論文誌 61(4) 918-929 2020年4月15日
静的解析ツールの警告に対する自動バグ修正技術の適用と初期評価

浅田翔, 首藤巧, 山手響介, 佐藤亮介, 亀井靖高, 鵜林尚靖

情報処理学会研究報告(Web) 2020(SE-204) 2020年
修正ソースコードの特徴が自動バグ修正に与える影響の分析

中村司, 池田翔, 亀井靖高, 佐藤亮介, 鵜林尚靖

情報処理学会研究報告(Web) 2020(SE-204) 2020年
OSS開発プロジェクトにおけるREADME.mdファイル作成の支援

清水一輝, 亀井靖高, 佐藤亮介, 鵜林尚靖

電子情報通信学会技術研究報告 119(451(SS2019 41-60)(Web)) 2020年
文法エラーに対する自動バグ修正ツールの性能評価

松尾春紀, 池田翔, 亀井靖高, 佐藤亮介, 鵜林尚靖

電子情報通信学会技術研究報告 119(451(SS2019 41-60)(Web)) 2020年
開発者によるバグ限局を考慮した自動バグ修正への影響分析

山手響介, 首藤巧, 浅田翔, 佐藤亮介, 亀井靖高, 鵜林尚靖

電子情報通信学会技術研究報告 119(451(SS2019 41-60)(Web)) 2020年
自動バグ修正研究のためのプラットフォームjProphetの開発について

首藤巧, 山手響介, 浅田翔, 亀井靖高, 鵜林尚靖, 佐藤亮介

情報処理学会研究報告(Web) 2020(SE-206) 2020年
ランキング関数の回帰推定による関数型言語の停止性検証

村本大起, 佐藤亮介, 鵜林尚靖, 亀井靖高

情報処理学会論文誌トランザクションプログラミング(Web) 13(4) 2020年
集合知を用いた深層学習による自動バグ修正

高橋裕太, 鵜林尚靖, 佐藤亮介, 亀井靖高

ソフトウェアエンジニアリングシンポジウム2019論文集 (2019) 87-96 2019年8月22日
Revertに着目した不確かさに関する実証的分析

村岡北斗, 鵜林尚靖, 亀井靖高, 佐藤亮介

ソフトウェアエンジニアリングシンポジウム2019論文集 (2019) 31-40 2019年8月22日
自動バグ修正技術の企業内ソースコードへの適用に向けて

池田翔, 中野大扉, 亀井靖高, 佐藤亮介, 鵜林尚靖, 吉武浩, 矢川博文

第81回全国大会講演論文集 2019(1) 299-300 2019年2月28日
ソースコード修正履歴を用いた自動バグ修正手法の性能理解

首藤巧, 亀井靖高, 佐藤亮介, 鵜林尚靖

第81回全国大会講演論文集 2019(1) 297-298 2019年2月28日
Stack Overflow記事の充実に向けたソースコード変更履歴の利用可能性評価

西中隆志郎, 佐藤亮介, 亀井靖高, 鵜林尚靖

第81回全国大会講演論文集 2019(1) 291-292 2019年2月28日
OSS開発プロジェクトにおけるREADMEファイルの進化に関する理解

佐渡島悠樹, 亀井靖高, 佐藤亮介, 鵜林尚靖

第81回全国大会講演論文集 2019(1) 289-290 2019年2月28日
GitHubにおけるセキュリティバグ報告と修正の調査

中野大扉, 亀井靖高, Abram Hindle, 佐藤亮介, 鵜林尚靖

第81回全国大会講演論文集 2019(1) 287-288 2019年2月28日
OSSプロジェクトにおける不確かさの内容分類

村岡北斗, 亀井靖高, 佐藤亮介, 鵜林尚靖

第81回全国大会講演論文集 2019(1) 285-286 2019年2月28日
関数型プログラムのための回帰推定による停止性判定ツールの試作

村本大起, 佐藤亮介, 鵜林尚靖, 亀井靖高

第81回全国大会講演論文集 2019(1) 229-230 2019年2月28日

もっとみる

共同研究・競争的資金等の研究課題

AI時代を見据えたプログラム検証技術

日本学術振興会科学研究費助成事業基盤研究(S) 2020年8月 - 2025年3月

小林直樹, 佐藤亮介, 五十嵐淳, 塚田武志, 吉仲亮, 海野広志, 関山太朗, 佐藤一誠
高階不動点論理に基づくプログラム検証

日本学術振興会科学研究費助成事業基盤研究(A) 基盤研究(A) 2020年4月 - 2025年3月

小林直樹, 佐藤亮介, 五十嵐淳, 海野広志
自動デバッグを可能にする群衆知エコシステムの確立

日本学術振興会基盤研究(A) 2018年4月 - 2022年3月

鵜林尚靖
名前呼び計算体型のための型システムによるプログラム検証

日本学術振興会若手研究 2018年4月 - 2022年3月

佐藤亮介
高階モデル検査の深化と発展

日本学術振興会基盤研究(S) 2015年5月 - 2020年3月

小林直樹
高階関数型言語のためのソフトウェアモデル検査

日本学術振興会科学研究費助成事業特別研究員奨励費特別研究員奨励費 2012年 - 2013年

佐藤亮介

佐藤亮介

基本情報

研究キーワード

研究分野

受賞

論文

MISC

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧