- 型システム入門 −プログラミング言語と型の理論, オーム社 (2013/3/26)
- 入門OCaml ~プログラミング基礎と実践理解, 毎日コミュニケーションズ (2007/5/22)
- システム群のBASE特性を保証するためのCoqを用いた検証 - 2013 Fundamental of Software Engineering.
- 検証済みのコードによるCoqからScalaへのコード抽出 - 2014 The 31th Japan Society for Software Science and Technology Annual Conference
- 2009 「OCamlでらくらく関数型プログラミング」 オープンソースカンファレンスNagoya
- 2011 「形式手法の現在と実開発への適用可能性」 QCon Tokyo 2011
- 2011 特殊研究1 at 京都大学 情報科学研究科
- 2011 高信頼ソフトウェア開発における数学 - 名古屋大学キャリアアップセミナー
- 2012 Coq 特別講義 - Top SE
- 2012 Scalaで学ぶSEのための実践的関数型言語入門 - Top SE
- 2012 「関数型プログラミング言語と証明支援器を使った金融情報システムの開発について」 - 第3回形式手法の産業応用ワークショップ
- 2014 「Coqを使ったデジタルデータ放送におけるストリームデータ処理の形式化と検証」 高信頼な理論と実装のための定理証明および定理証明器
- 2018 生放送ストリーム中継システムのCoqによる形式化と検証 - 第20回プログラミングおよびプログラミング言語ワークショップ
- 2021 関数型言語OCamlと形式手法で証明されたブロックチェーンプログラミング - 第一回関数型プログラミング（仮）の会
- 2024 定理証明支援系Coqドキュメンテーションツールの改善とMathComp-Analysisへの適応 - 第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024） プログラム
- 2025 定性的に表現された曲線の平面上での交差性判定 - 21st Theorem Proving and Provers Meeting
- プログラミングおよびプログラミング言語ワークショップ 2011 (プログラミング委員)
- 第83回 情報処理学会
- 2018 Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する https://en-ambi.com/itcontents/entry/2018/08/10/110000/