『不動点コンビネータと無名再帰 - 芳賀 雅樹 のページ』2026/1/16 3:55:00 https://silasol.la/posts/2026-01-16-01_least_fixed_point/