gummycandy1021

プロフィール

• 名前: グミ
• 好きなグミ: ハリボーのスターミックス
• 好きな言語: Haskell、Lean4

スライド発表

関数型まつり2026

Haskellと圏論：パフォーマンス改善からKan拡張へ

• プロポーザル
• スライド
• 参加レポート

λ Kansai in Winter 2026

Recursion Scheme の紹介

• connpass
• スライド

第32回日曜数学会

関数体の紹介 Riemann予想とABC予想の類似

• スライド
• ニコニコ静画

リンク

SNS

• X: @GummyCandy1206

記事・スライド

• Qiita: @gummycandy
• Zenn: @gummycandy1206
• Docswell: @GummyCandy1206

競プロ

• AtCoder: @Rjo