GripNews🌘 2025 年阿隆佐·邱奇獎得主
➤ 推值調用演算：邏輯與計算的統一基石
✤ https://siglog.org/winner-of-the-2025-alonzo-church-award/
美國計算機學會（ACM）特殊興趣小組（SIGLOG）宣佈，保羅·布萊恩·列維（Paul Blain Levy）因其對帶有副作用的λ演算的 фундаментальное 研究，特別是透過「推值調用」（Call-by-Push-Value，CBPV）演算的研究，榮獲 2025 年阿隆佐·邱奇獎。他的研究成果將λ演算的純邏輯形式與應用型帶有副作用的形式重新整合，並為計算和邏輯現象的研究提供了一個統一的起點。
+ 「這項獎項非常重要，證明瞭理論計算機科學的貢獻依然受到重視，而且具有深遠影響。」
+ 「推值調用演算聽起來很複雜，但能將不同的研究整合起來，確實令人印象深刻。期待看到這個理論在未來能有更多應用。」
#計算機科學 #邏輯學 #獎項
➤ 推值調用演算：邏輯與計算的統一基石
✤ https://siglog.org/winner-of-the-2025-alonzo-church-award/
美國計算機學會（ACM）特殊興趣小組（SIGLOG）宣佈，保羅·布萊恩·列維（Paul Blain Levy）因其對帶有副作用的λ演算的 фундаментальное 研究，特別是透過「推值調用」（Call-by-Push-Value，CBPV）演算的研究，榮獲 2025 年阿隆佐·邱奇獎。他的研究成果將λ演算的純邏輯形式與應用型帶有副作用的形式重新整合，並為計算和邏輯現象的研究提供了一個統一的起點。
+ 「這項獎項非常重要，證明瞭理論計算機科學的貢獻依然受到重視，而且具有深遠影響。」
+ 「推值調用演算聽起來很複雜，但能將不同的研究整合起來，確實令人印象深刻。期待看到這個理論在未來能有更多應用。」
#計算機科學 #邏輯學 #獎項
am730
