はじめに認証・権限管理基盤チームでソフトウェアエンジニアをしている金子です。「Monad（モナド）」という言葉をご存知でしょうか。Haskell を少し触ったことがあれば、名前だけは聞いたことがあるのではないでしょうか（私もその一人です）。Monad は圏論という数学の分野から来た概念であり、数学的に正確な理解を得るのは簡単ではありません。しかし、プログ

形式意味論と定理証明支援系を利用した議論の形式化

2025/12/18

ブックマーク

これは株式会社LabBase テックカレンダー Advent Calendar 2025 12日目の記事です。概要学生時代から、論文などの議論の精読に対して、「絶対誰かがもう論理的な整合性を確かめたことあるんだろうな〜」と思い、その度に論理的な整合性の再確認に対してめんどくささを感じてきました。本稿では形式意味論と定理証明支援系を利用して、あらゆる議論を形式化することで、

TypeScript使いがHaskellに入門して、プログラミングパラダイムの「解像度」が上がった話

2025/12/15

ブックマーク

こんにちは、ココナラで Web エンジニアをしている慕狼ゆに (しのがみゆに) (@yuni_shinogami) です。こちらは株式会社ココナラ Advent Calendar 2025 15 日目の記事です。普段は業務で TypeScript を書いていますが、今回は技術的な How-to ではなく、「あえて Haskell に入門してみた」という個人の学習記録を書きたいと思います。「なぜ今さら Haskell？」と思われるかもしれませんが、