末永幸平 (Kohei Suenaga) - マイポータル

基本情報

所属: 京都大学大学院情報学研究科通信情報システム専攻准教授
: 国立情報学研究所客員准教授

学位: 博士（情報理工学）(2008年3月東京大学)

連絡先: kohei.suenagaacm.org
研究者番号: 70633692
ORCID iD: https://orcid.org/0000-0002-7466-8789
J-GLOBAL ID: 201401093199514640
researchmap会員ID: 7000009238

外部リンク: https://ksuenaga.github.io/index_ja.html

2008年東京大学情報理工学系研究科コンピュータ科学専攻修了．博士（情報理工学）．日本学術振興会特別研究員 (DC2, PD)，日本アイ・ビー・エム（株）東京基礎研究所リサーチャー，リスボン大学理学部博士研究員，日本学術振興会特別研究員 (PD)，京都大学白眉センター特定助教，を経て 2013年より京都大学大学院情報学研究科准教授．現在に至る．2018年より国立情報学研究所客員准教授．ソフトウェアシステム，ハイブリッドシステム，機械学習システム，スマートコントラクトの形式検証手法に興味を持つ.

異なる分野で使われている手法を形式検証の分野に持ち込んだり，形式検証のアイデアを他の分野に持ち込んだりするのが好きです．色んな分野の人と話をするのが好きです．

論文

Componentwise Automata Learning for System Integration

Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo

ATVA 2025 2026年査読有り
Active Learning of Symbolic Mealy Automata

Kengo Irie, Masaki Waga, Kohei Suenaga

ICTAC 2025 2025年11月査読有り
Efficient Black-Box Checking with Specification-Guided Abstraction

Tsubasa Matsumoto, Kazuki Watanabe, Kohei Suenaga, Masaki Waga

ACM Transactions on Embedded Computing Systems 2025年9月30日査読有り
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs

Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga

CAV 2025 (To appear) abs/2405.17492 2025年7月査読有り
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis

Chiao Hsieh, Masaki Waga, Kohei Suenaga

HSCC 2025 (To appear) 2025年5月査読有り
A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches

Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi

ICLR 2025 (To appear) 2025年4月査読有り
CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction

Song Bian, Zian Zhao, Ruiyu Shen, Zhou Zhang, Ran Mao, Dawei Li, Yizhong Liu, Masaki Waga, Kohei Suenaga, Zhenyu Guan …

2025年査読有り
Hardware Error Detection with In-Situ Monitoring of Control Flow-Related Specifications

Tomonari Tanaka, Takumi Uezono, Kohei Suenaga, Masanori Hashimoto

Proceedings of ASP-DAC 2025 (To appear) 2025年1月査読有り
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.

Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian 0001, Kohei Suenaga

Runtime Verification - 24th International Conference(RV) 59-69 2024年10月査読有り
HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation.

Song Bian 0001, Zian Zhao, Zhou Zhang 0016, Ran Mao, Kohei Suenaga, Yier Jin, Zhenyu Guan, Jianwei Liu 0001

31st Annual Network and Distributed System Security Symposium(NDSS) 2024年9月査読有り
iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns

Yuki Nishida, Kohei Suenaga, Atsushi Igarashi

576-584 2024年5月27日査読有り
命令型プログラムの安全性検証のための所有権主導変換

小林亮太, 中村烈士, 五十嵐淳, 末永幸平, 小林直樹

PPL 2024 論文集 2024年3月査読有り
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga

Journal of Artificial Intelligence (accepted) 326 104045-104045 2024年1月査読有り最終著者
HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation

Song Bian, Zian Zhao, Zhou Zhang, Ran Mao, Kohei Suenaga, Yier Jin, Zhenyu Guan, Jianwei Liu

NDSS'24 (To appear) 2023 1445-1445 2024年査読有り
Control-data separation and logical condition propagation for efficient inference on probabilistic programs

Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata

Journal of Logical and Algebraic Methods in Programming 136 100922-100922 2024年1月査読有り
Probabilistic Black-Box Checking via Active MDP Learning

Junya Shijubo, Masaki Waga, Kohei Suenaga

ACM Transactions on Embedded Computing Systems 22(5s) 148-26 2023年10月31日査読有り最終著者
Formalizing Statistical Causality via Modal Logic

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga

JELIA 2023 abs/2210.16751 2023年9月査読有り最終著者
Goal-Aware RSS for Complex Scenarios via Program Logic.

Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang 0005, Erik André Pallas, Akihisa Yamada 0002 …

IEEE Transactions on Intelligent Vehicles 8(4) 3040-3072 2023年4月
Feature Attributionを用いたdlshogiの指し手の解釈可能性向上手法

廣瀬雄一, 和賀正樹, 末永幸平

研究報告ゲーム情報学（GI） 2023-GI-49(13) 1-8 2023年3月
LLTZ: LLVM IR からスマートコントラクト記述言語 Michelson へのコンパイラ

臼澤嘉, 末永幸平, 古瀬淳, 五十嵐淳

第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 論文集 2023年3月査読有り

もっとみる

講演・口頭発表等

画像分類モデルの解釈性向上のための明瞭なヒートマップの生成手法

末永幸平

第116回産研テクノサロン 2025年10月14日招待有り
Efficient Black-Box Checking with Specification-Guided Abstraction

Tsubasa Matsumoto, Kazuki Watanabe, Kohei Suenaga, Masaki Waga

EMSOFT 2025 2025年10月
制御フロー仕様から生成したペトリネットに基づくハードウェア誤動作検出手法

田中知成, 上薗巧, 末永幸平, 橋本昌宜

DAシンポジウム 2024 2024年8月28日
Learning nonlinear hybrid automata from input-output time-series data

Amit Gurung, Masaki Waga, Kohei Suenaga

ATVA 2023 2023年10月
Probabilistic Black-Box Checking via Active MDP Learning

Junya Shijubo, Masaki Waga, Kohei Suenaga

EMSOFT 2023 2023年9月
Formalizing Statistical Causality via Modal Logic

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga

JELIA 2023 2023年9月
Probabilistic Black-Box Checking via Active MDP Learning

Junya Shijubo, Masaki Waga, Kohei Suenaga

EMSOFT 2023 2023年9月
Feature Attributionを用いたdlshogiの指し手の解釈可能性向上手法

廣瀬雄一, 和賀正樹, 末永幸平

第49回ゲーム情報学研究発表会 2023年3月17日
SCameleer: スマートコントラクト記述言語SCamlのための自動検証器

服部佑哉, 西田雄気, 古瀬淳, 末永幸平, 五十嵐淳

第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023年3月8日
LLTZ: LLVM IR からスマートコントラクト記述言語 Michelson へのコンパイラ

臼澤嘉, 末永幸平, 古瀬淳, 五十嵐淳

第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023年3月7日
LLTZ: LLVM IR からスマートコントラクト記述言語 Michelson へのコンパイラ

Yoshi Usuzawa, Kohei Suenaga, Jun Furuse, Atsushi Igarashi

第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023年3月6日
Java 検証器 Regnant の帰還

Ryota Kobayashi, Atsushi Igarashi, Kohei Suenaga

第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023年3月6日
並行命令型プログラミング言語のための所有権篩型システム

Junya Hirashima, Atsushi Igarashi, Kohei Suenaga

第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023年3月6日
ゼロ知識証明を用いて真正性を保証する通信プロトコルのための篩型システム

Zijian Zhao, Kohei Suenaga, Atsushi Igarashi

第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023年3月6日
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

Kohei Suenaga

US-Japan Seminar on Autonomy AI, Robotics, and Informatics 2022年10月11日招待有り
JST CREST 研究課題「AI 集約的サイバーフィジカルシステムの形式的解析設計手法」の概観と研究成果の紹介

末永幸平

2022年電子情報通信学会ソサイエティ大会企画セッション「 AI を含むサイバーフィジカルシステムの背景技術〜信頼性向上を⽬指して〜」 2022年9月6日招待有り
SCameleer: スマートコントラクト記述言語SCamlのための自動検証器

服部佑哉, 西田雄気, 古瀬淳, 末永幸平, 五十嵐淳

日本ソフトウェア科学会第39回大会 2022年9月2日
スマートコントラクト検証器Helmholtzのためのエラー原因提示手法

小野雄登, 西田雄気, 古瀬淳, 末永幸平, 五十嵐淳

日本ソフトウェア科学会第39回大会 2022年9月1日
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption

Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga

CAV 2022 2022年8月
The Lattice-Theoretic Essence of Property Directed Reachability Analysis

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

CAV 2022 2022年8月

もっとみる

受賞

2022年9月

指導学生の受賞: 優秀発表賞, スマートコントラクト検証器Helmholtzのためのエラー原因提示手法, 日本ソフトウェア科学会

小野雄登
2022年3月

指導学生の受賞：第49回GI研究発表会優秀研究賞, Feature Attributionを用いたdlshogiの指し手の解釈可能性向上手法, 情報処理学会ゲーム情報学研究会

廣瀬雄一
2021年10月

PWS優秀論文賞, 完全準同型暗号を用いた秘匿LTLオンラインモニタリング, 情報処理学会コンピュータセキュリティ研究会 (CSEC 研究会)

伴野良太郎, 松岡航太郎, 松本直樹, Bian Song, 和賀正樹, 末永幸平
2021年10月

CSS 2021優秀論文賞, 完全準同型暗号を用いた秘匿LTLオンラインモニタリング, 一般社団法人情報処理学会コンピュータセキュリティ研究会（CSEC）

伴野良太郎, 松岡航太郎, 松本直樹, Bian Song, 和賀正樹, 末永幸平
2013年9月

京都大学学際研究着想コンテスト優秀賞, 視覚・聴覚に続く第三の電子媒体「匂い」--その時代に備えるための技術革新と社会環境整備, 京都大学

塩尻かおり, 小石かつら, 末永幸平, 村主崇行, 藤井啓祐
2012年6月

Journal of Information Processing Outstanding Paper Award, Ordered types for stream processing of tree-structured data. Journal of Information Processing, 日本情報処理学会

佐藤亮介, 末永幸平, 小林直樹
2012年3月

PPL 2012 発表賞, Programming with infinitesimals: A WHILE-language for hybrid system modeling, 日本ソフトウェア科学会プログラミング論研究会

末永幸平, 蓮尾一郎
2009年3月

PPL 2009 発表賞, Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references, 日本ソフトウェア科学会プログラミング論研究会

末永幸平
2007年3月

PPL 2007 発表賞, Type-based analysis of deadlock for a concurrent calculus with interrupts, 日本ソフトウェア科学会プログラミング論研究会

末永幸平, 小林直樹

担当経験のある科目(授業)

委員歴

2013年7月 - 現在

文部科学省科学技術政策研究所科学技術動向研究センター, 専門調査員
2012年2月 - 現在

情報処理学会, 若手研究者の会
2025年4月

MLSE 2025 プログラム委員
2025年4月

DSW 2025 プログラム委員
2022年10月 - 2023年9月

日本ソフトウェア科学会, 日本ソフトウェア科学会第40回大会プログラム委員長
2019年4月 - 2023年3月

日本ソフトウェア科学会プログラミング論研究会, 運営委員
2021年5月 - 2022年1月

POPL 2022 プログラム委員
2017年4月 - 2021年5月

情報処理学会関西支部, 支部委員
2019年10月 - 2020年4月

5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2020) プログラム共同委員長
2018年3月 - 2019年3月

PPL 2019 プログラム共同委員長
2015年4月 - 2019年3月

情報処理学会プログラミング研究会, 運営委員
2015年3月 - 2017年3月

情報処理学会関西支部, 幹事
FLOPS 2020 プログラム委員
VMCAI 2026 プログラム委員
第8回機械学習工学研究会（MLSE夏合宿2024）, プログラム委員長
ATVA 2024, プログラム委員
PEPM 2018 プログラム委員
PPL 2017 プログラム委員
APLAS 2015 プログラム委員
第77回情報処理学会大会, 実行委員

もっとみる

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

AIを含むソフトウェアのための形式検証手法

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

末永幸平, 和賀正樹, 五十嵐淳, 池渕未来, 関山太朗
宇宙線による誤動作の克服に向けた次世代集積システムの信頼性評価基盤技術の開発

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

橋本昌宜, 福田浩一, 安部晋一郎, 川瀬頌一郎, 渡辺幸信, 吉川信行, 末永幸平, 廖望, 関川卓也, 新倉潤
機械学習技術による高速な演繹的推論エンジンの開発

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

塚田武志, 末永幸平, 海野広志, 関山太朗
信頼できる統計のための形式検証技術

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

川本裕輔, 末永幸平, 佐藤哲也, 田中哲
輻射を対象とした次世代熱制御材料の研究開発

国立研究開発法人新エネルギー・産業技術総合開発機構官民による若手研究者発掘支援事業／共同研究フェーズ 2021年4月 - 2026年3月

坂本雅典, 末永幸平, Packwood Daniel
高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究

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

五十嵐淳, 末永幸平, 関山太朗
AI集約的サイバーフィジカルシステムの形式的解析設計手法研究課題

JST CREST 2020年11月 - 2025年3月
IoT システムのための形式検証手法の深化

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

末永幸平, 五十嵐淳, 海野広志
数学の自動化を推進するための機械学習を用いた定理自動証明手法

日本学術振興会科学研究費助成事業挑戦的研究(萌芽) 挑戦的研究(萌芽) 2019年6月 - 2022年3月

末永幸平, 塚田武志, 関山太朗
圏論と数理論理学によるものづくりサポート―ソフトウェア科学のシステム工学への移転

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

蓮尾一郎, 末永幸平
ハイブリッドシステムのための超準プログラミング言語理論を用いた形式手法

JST さきがけ 2015年10月 - 2018年3月

末永幸平
ソフトウェア契約に基づく高階型付プログラムの理論

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

五十嵐淳, 馬谷誠二, 末永幸平, 中澤巧爾
無限小プログラミングによるハイブリッドシステムの形式検証手法

日本学術振興会科学研究費助成事業若手研究(B) 若手研究(B) 2013年4月 - 2016年3月

末永幸平
無限小プログラミングによるハイブリッドシステムの形式検証手法

日本学術振興会科学研究費助成事業研究活動スタート支援研究活動スタート支援 2012年8月 - 2014年3月

末永幸平
並行プログラムのための型理論に基づく利便性の高い静的検証手法

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

末永幸平
並行プログラム検証のための型システムとそのオペレーティングシステムの検証への応用

日本学術振興会科研費・特別研究員奨励費 2007年4月 - 2009年3月

末永幸平

産業財産権

特開2012-027685 情報管理システム、方法及びプログラム

中村宏明, 宮下尚, 末永幸平
特開2013-003897 ハイブリッドシステムの検証方法、検証装置、及び検証コンピュータプログラム、並びに、ハイブリッドシステムのモデル変換方法、変換装置、及び変換コンピュータプログラム

末永幸平, 蓮尾一郎
特開2015-194917 制御入力値生成装置、制御入力値生成方法、および、プログラム

蓮尾一郎, 赤崎拓未, 末永幸平
特許6632058 不変条件生成装置、コンピュータプログラム、不変条件生成方法、プログラムコード製造方法

末永幸平, 樹下稔, 小島健介
特許第6622098号不変条件生成装置、コンピュータプログラム、不変条件生成方法、プログラムコード製造方法

末永幸平, 樹下稔, 小島健介
特許第6632058号不変条件生成装置、コンピュータプログラム、不変条件生成方法、プログラムコード製造方法

末永幸平, 樹下稔, 小島健介
PCT/JP2017/003295 不変条件生成装置、コンピュータプログラム、不変条件生成方法、プログラムコード製造方法

樹下稔, 小島健介, 末永幸平
特許第6910228号自動証明装置、及びプログラム

蓮尾一郎, 奥殿貴仁, 木戸肩吾, 末永幸平, 小島健介, 西田雄気
特開2019-113997 プログラム検証装置、プログラム検証方法、プログラム検証のためのコンピュータプログラム、プログラム変換器、プログラム変換方法、プログラム変換のためのコンピュータプログラム、プログラム製造方法、及び検証用プログラム

末永幸平, 今西諒文, 五十嵐淳
PCT/JP2018/044029 プログラム検証装置、プログラム検証方法、プログラム検証のためのコンピュータプログラム、プログラム変換器、プログラム変換方法、プログラム変換のためのコンピュータプログラム、プログラム製造方法、及び検証用プログラム

末永幸平, 今西諒文, 五十嵐淳
特願2021-180647 情報処理装置、情報処理方法および情報処理プログラム

菊池淳, 和賀正樹, 末永幸平
特開2023-069054 情報処理装置、情報処理方法および情報処理プログラム

末永幸平, 菊池淳, 和賀正樹
特願2024-007664 ブラックボックスシステムのテストのためのコンピュータ実装方法及びコンピュータシステム

Amit Gurung, 和賀正樹, 末永幸平

MISC

昔のネタ帳から

末永幸平

コンピュータソフトウェア 39(2) 2_92-2_93 2022年4月招待有り
Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning

Minchao Wu, Takeshi Tsukada, Hiroshi Unno, Taro Sekiyama, Kohei Suenaga

2021年7月16日
PLDI 2016参加報告

末永幸平

コンピュータソフトウェア = Computer software 34(1) 58-61 2017年2月招待有り

経歴

2019年9月 - 現在

一般社団法人社会システムデザインセンター, アドバイザー
2019年5月 - 現在

株式会社センスタイムジャパン, 技術顧問
2019年5月 - 現在

ダイラムダ株式会社, 技術顧問
2017年6月 - 現在

Patentfield 株式会社, 科学技術顧問
2017年4月 - 現在

LegalForce Inc., 技術顧問
2013年10月 - 現在

京都大学, 大学院情報学研究科, 准教授
2015年10月 - 2019年3月

科学技術振興機構さきがけ, 兼任研究員
2012年4月 - 2013年9月

京都大学, 白眉センター, 特定助教
2011年4月 - 2012年3月

日本学術振興会, 特別研究員 (PD)
2011年2月 - 2011年3月

京都大学, 大学院情報学研究科, 特定研究員
2010年4月 - 2011年1月

リスボン大学, 理学部, 博士研究員
2009年4月 - 2010年3月

日本アイ・ビー・エム株式会社, 東京基礎研究所, リサーチャー
2008年4月 - 2009年3月

日本学術振興会, 特別研究員 (PD)
2007年4月 - 2008年3月

日本学術振興会, 特別研究員 (DC2)

学歴

2005年4月 - 2008年3月

東京大学, 大学院情報理工学系研究科, コンピュータ科学専攻博士課程
2003年4月 - 2005年3月

東京大学, 大学院情報理工学系研究科, コンピュータ科学専攻修士課程
2000年4月 - 2003年3月

東京大学, 理学部, 情報科学科
1998年4月 - 2000年3月

東京大学, 教養学部, 理科一類
1995年4月 - 1998年3月

宮崎県立宮崎西高等学校, 理数科

研究キーワード

書籍等出版物

プログラミング言語の形式的意味論入門

末永幸平, 勝股審也, 中澤巧爾, 西村進, 前田敦司 (担当:共訳) (原著:G.ウィンスケル)

丸善出版 2023年1月30日 (ISBN: 4621307630)
理論計算機科学事典

徳山, 豪, 小林, 直樹, 岩間, 一雄, 渡辺, 治, 今井, 浩, 南出, 靖彦, 五十嵐, 淳, 長谷川, 真人

朝倉書店 2022年1月 (ISBN: 9784254122633)

所属学協会

学術貢献活動

2022年電子情報通信学会ソサイエティ大会企画セッション「 AI を含むサイバーフィジカルシステムの背景技術〜信頼性向上を⽬指して〜」

企画立案・運営等, パネル司会・セッションチェア等

電子情報通信学会 2022年9月6日 - 2022年9月6日

社会貢献活動

研究発表会審査員

その他

鹿児島県立加治木高校総合的な探究の時間(龍門学) 2025年1月15日
巨人の肩の上に立つためのはしごを作るための大工道具

講師

宮崎西高等学校理文クラス講演会 2021年10月25日
PPLサマースクール2019 幹事

司会, 運営参加・支援

日本ソフトウェア科学会プログラミング論研究会 PPLサマースクール2019 「ブロックチェーンと形式検証」 2019年8月26日 - 2019年8月26日
軽量なプログラム検証のための要素技術

講師

国立情報学研究所オープンハウス2019：産官学連携セミナー「形式手法・ソフトウェア工学の先端とさらに先：効率的テスト手法と機械学習・人工知能協働」 2019年5月31日
安全性検証技術はビジネスになるか

講師

第6回 Entrepreneur Candidate Club（ECC-iCAP） the place where science & entrepreneurship intersect ～科学のフロントランナーが語る未来世界～ 2019年5月17日
プログラムが正しく動くことを「証明」せよ

講師

九州大学マス・フォア・インダストリ研究所・国立研究開発法人科学技術振興機構 (JST) 第29回JST数学キャラバン拡がりゆく数学 in 福岡 2018年12月15日
プログラムが正しく動くことを「証明」せよ

講師

岡山大学数学連携グループ・国立研究開発法人科学技術振興機構 (JST) 広がる数学 IX (第２８回 JST 数学キャラバン) 2018年11月23日
そのプログラム、バグってないですか？：数学を使ってバグを見つけるための形式検証手法

講師

2016年度情報処理学会関西支部定期講演会「IoT の周辺技術」 2016年12月21日
そのプログラム、バグってないですか? ― 数学を使ってバグを見つける

講師

JST 京都大学新技術説明会 2016年5月24日
プログラムの「正しさ」の話

講師

膳所高校 2015年12月5日
Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14).

企画

NII Shonan Meeting 2015年

その他

株式会社LegalForce学術指導

2018年2月 - 2018年2月

人工知能を用いた契約書自動レビューシステムを開発しているリーガルテック企業株式会社 LegalForce にて学術指導をしています． https://legalforce.co.jp/
ハイブリッドシステムのための超準プログラミング言語理論を用いた形式手法

2018年 - 2018年

JST の「AI 時代と科学研究の今」シリーズにインタビュー記事が掲載されました． http://www.jst.go.jp/kisoken/jyonetsu/interview/h29/suenaga.html
Patentfield株式会社技術顧問

2017年6月 - 2017年6月

先進的な特許情報検索サービス Patentfield にて技術顧問をしています． https://en.patentfield.com/
自動車企業との共同研究

2014年4月 - 2014年4月

自動車設計における形式手法適用について自動車企業との関連研究を行っております．

研究分野

情報通信 / ソフトウェア /

末永幸平

基本情報

論文

講演・口頭発表等

受賞

担当経験のある科目(授業)

委員歴

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

産業財産権

MISC

経歴

学歴

研究キーワード

書籍等出版物

所属学協会

学術貢献活動

社会貢献活動

その他

研究分野

メニュー

共著者の一覧