研究者
J-GLOBAL ID:201401093199514640   更新日: 2021年08月06日

末永 幸平

スエナガ コウヘイ | Suenaga Kohei
所属機関・部署:
職名: 准教授
その他の所属(所属・部署名・職名) (1件):
ホームページURL (1件): http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/
研究分野 (1件): ソフトウェア
研究キーワード (8件): 静的検証 ,  超準解析 ,  形式手法 ,  型システム ,  ホーア論理 ,  プログラミング言語 ,  無限小プログラミング ,  ハイブリッドシステム
競争的資金等の研究課題 (14件):
  • 2020 - 2025 高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究
  • 2020 - 2025 AI集約的サイバーフィジカルシステムの形式的解析設計手法 研究課題
  • 2019 - 2024 IoT システムのための形式検証手法の深化
  • 2019 - 2022 数学の自動化を推進するための機械学習を用いた定理自動証明手法
  • 2019 - 2022 数学の自動化を推進するための機械学習を用いた定理自動証明手法
全件表示
論文 (54件):
  • Takeshi Tsukada, Hiroshi Unno 0001, Taro Sekiyama, Kohei Suenaga. Enhancing Loop-Invariant Synthesis via Reinforcement Learning. CoRR. 2021. abs/2107.09766
  • Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi. Verification of a Merkle Patricia Tree Library Using F. CoRR. 2021. abs/2106.04826
  • Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho 0002, Shin-ya Katsumata. Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs. CoRR. 2021. abs/2101.01502
  • Yuki Nishida 0001, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi. Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. Proceedings of TACAS 2021. 2021. 262-280
  • 齋藤 大聖, 西田 雄気, 五十嵐 淳, 末永 幸平. スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証. PPL 2020. 2020
もっと見る
MISC (4件):
  • Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata. Hierarchical Sampler for Probabilistic Programs via Separation of Control and Data. 2021
  • Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga. Visualizing Color-wise Saliency of Black-Box Image Classification Models. CoRR. 2020. abs/2010.02468
  • 今西 諒文, 関山 太朗, 村主 崇行, 末永 幸平. 深層学習によるプログラム生成の高速化. 第19回プログラミングおよびプログラミング言語ワークショップ,. 2017
  • 五十嵐 淳, 中澤 巧爾, 馬谷 誠二, 関山 太朗, 花田 裕一朗, 大元 武, 宮本 洋平, 末永 幸平. 京都大学 Teen Racketeer 養成コース. 第17回プログラミングおよびプログラミング言語ワークショップ. 2015
特許 (10件):
もっと見る
講演・口頭発表等 (37件):
  • 物理情報システムに対するブラックボックス検査の構文的仕様強化による最適化
    (第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) 2021)
  • 暗号通貨向けストレージシステムにおけるデータ永続化処理の形式検証
    (第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) 2021)
  • Visualizing Color-Wise Saliency of Black-Box Image Classification Models
    (ACCV 2020)
  • ブラックボックス画像分類モデルの否定的判断根拠と色情報根拠の可視化
    (MIRU 2020)
  • F*を用いたMerkle Patricia Treeライブラリの形式検証
    (PPL 2020)
もっと見る
学歴 (5件):
  • 2005 - 2008 東京大学 コンピュータ科学専攻博士課程
  • 2003 - 2005 東京大学 コンピュータ科学専攻修士課程
  • 2000 - 2003 東京大学 情報科学科
  • 1998 - 2000 東京大学 理科一類
  • 1995 - 1998 宮崎県立宮崎西高等学校 理数科
学位 (1件):
  • 博士(情報理工学) (東京大学)
経歴 (14件):
  • 2019/09 - 現在 一般社団法人 社会システムデザインセンター アドバイザー
  • 2019/05 - 現在 株式会社センスタイムジャパン 技術顧問
  • 2019/05 - 現在 ダイラムダ株式会社 技術顧問
  • 2017/06 - 現在 Patentfield 株式会社 科学技術顧問
  • 2017/04 - 現在 LegalForce Inc. 技術顧問
全件表示
委員歴 (21件):
  • 2019/04 - 現在 日本ソフトウェア科学会プログラミング論研究会 運営委員
  • 2017/04 - 現在 情報処理学会関西支部 支部委員
  • 2013/07 - 現在 文部科学省科学技術政策研究所科学技術動向研究センター 専門調査員
  • 2012/02 - 現在 情報処理学会 若手研究者の会
  • 2019/10 - 2020/04 5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2020) プログラム共同委員長
全件表示
受賞 (5件):
  • 2013/09 - 京都大学 京都大学学際研究着想コンテスト優秀賞 視覚・聴覚に続く第三の電子媒体「匂い」--その時代に備えるための技術革新と社会環境整備
  • 2012/06 - 日本情報処理学会 Journal of Information Processing Outstanding Paper Award Ordered types for stream processing of tree-structured data. Journal of Information Processing
  • 2012/03 - 日本ソフトウェア科学会プログラミング論研究会 PPL 2012 発表賞 Programming with infinitesimals: A WHILE-language for hybrid system modeling
  • 2009/03 - 日本ソフトウェア科学会プログラミング論研究会 PPL 2009 発表賞 Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references
  • 2007/03 - 日本ソフトウェア科学会プログラミング論研究会 PPL 2007 発表賞 Type-based analysis of deadlock for a concurrent calculus with interrupts
所属学会 (3件):
IPSJ ,  JSSST ,  ACM
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る