Talks konn-san.com

講演一覧

他の詳細な経歴等はプロファイルを参照。

• 2024/03/10 Tsukuba Computer Mathematics Seminar 2024＠Hybrid (Ranzan and Online)『充足可能性ソルバ（SAT ソルバ）の原理』（Slides，Implementation，Source Code of Slides）
• 2023/03/12 Tsukuba Computer Mathematics Seminar 2023＠Hybrid (Tsukuba and Online)『Reverse-Mode 自動微分を理解する』（Slides）
• 2022/03/06 Tsukuba Computer Mathematics Seminar 2022＠Hybrid (Tsukuba and Online)『計算代数を駆使して（一般化）フィボナッチ数列の一般項を求める』（Slides）
• 2021/09/15 Computer Algebra in Scientific Computing 2021＠Hybrid (Sochi, Russia and Online)『Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra』（Slides，Proceedings，Preprint）
• 2021/07/04 alg-d＠YouTube『自動微分とGröbner基底による高次冪零無限小解析（alg_d篇）』（Paper，Slides，YouTube）
• 2020/12/22 Computer Algebra – Theory and its Applications＠Zoom Webinar『自動微分と Gröbner 基底による高次冪零無限小解析』
• 2019/11/09 Haskell Day 2019＠TECH PLAY SHIBUYA『大規模数値計算を支える Haskell ── Pragmatic Haskell in Large-Scale Numerical Computation──』（Slide URL）
• 2018/11/24 数学基礎論若手の会＠コテージにらい恩納『集合論の生成的多元宇宙と地質学入門 生成拡大の織り成すネットワーク』（Slide PDF）
• 2018/09/19 Computer Algebra in Scientific Computing 2018＠University of Lille『A Purely Functional Computer Algebra System Embedded in Haskell』
• 2018/03/05 筑波大学計算機数学グループ 春の合宿 2018＠Nami Kaze Tateyama（旧・筑波大学館山研修所）『SATySFi を使ってみた』
• 2017/11/07 Workshop on Iterated Forcing Theory and Cardinal Invariants＠RIMS『Reflection Principles and Saturated Filters on $\mathcal{P}_{\omega_1} \lambda$』
• 2017/10/27 数学基礎論若手の会2017＠大学セミナーハウス『正集合の反映原理と飽和イデアルの構成』（Slide PDF）
• 2017/03/06 筑波大学計算機数学グループ 春の合宿 2017＠筑波大学館山研修所『ものまね鳥を愛でる 結合子論理と計算』（SlideShare，PDF）
• 2016/10/23 数学基礎論若手の会2016＠清里高原『On Projective Baire Property』（Slide）
• 2016/06/04 第4回つくばフレッシュマンセミナー『集合論への招待　〜実数直線の集合論〜』（資料）
• 2016/03/08 第18回プログラミングおよびプログラミング言語ワークショップ PPL 2016『Freer Monads, More Extensible Effects』（Keynote，SlideShare，PDF）
• 2015/11/27 数学基礎論若手の会2015＠館山『Lebesgue 可測性に関する Soloay の定理と実数の集合の正則性』（Slide）
• 2015/07/27 修士論文中間発表『実数の集合はどこまで可測になれるか？Solovay-Shelah による Lebesgue 可測性と〈大きな無限〉の関係に関する結果について（公開版）』（Slide）
• 2015/03/08 筑波大学計算機数学グループ 春の合宿2015＠筑波大学館山研修所『（数式の入った）本をつくる』（Slide，録画）
• 2014/11/20 数学基礎論若手の会2014＠鳥取『Lebesgue 可測性に関する Solovay-Shelah の結果に必要な記述集合論のごく基本的な事項』（Slide）
• 2014/03/20 PFI社内セミナー『技術者が知るべき Gröbner 基底』（Slide，UStream [後半]，UStream [前半]）
• 2014/03/08 筑波大学計算機数学グループ春の合宿2014＠筑波大学館山研修所『数学プログラムをHaskellで書くべき6の理由』（Slide，録画）
• 2013/10/12 第四回選択公理オフ『数理論理学の初歩の初歩の初歩の……』（PDF，HTML）
• 2013/05/04 Haskell で計算機代数勉強会『わかったつもりになる Gröbner 基底』（Slide）
• 2012/11/22 PFI 社内セミナー『Algebraic DP: 動的計画法を書きやすく』（Slide，Ustream）
• 2012/04/22 (祝) Yesod 1.0 勉強会『Yesod で Blog Engine をつくってみた』（Slide，録画）
• 2012/04/12 PFI 社内セミナー『How wonderful to be (statically) typed 〜型が付くってスバラシイ〜』（Slide，Ustream）
• 2011/09/22 PFI 社内セミナー『Alloy Analyzer のこと』（Slide，Ustream）