関数型まつり 2026 登壇
「2026 年に読む “The Definition of Standard ML” 〜 現代の堅牢なソフトウェア設計の源流として」というタイトルで,関数型プログラミングのアカデミックな部分と現代の開発との橋渡しとなるような発表を試みました. スライド:https://doc.silasol.la/talks/2026-07-12_fp-matsuri/slides.pdf 勤務先のプレスリリース:https://prtimes.jp/main/html/rd/p/000000435.000024873.html