ラムダ計算と抽象機械と非同期ランタイム

# 対象とする聴衆のレベル - Intermediate - Scala 製の非同期ランタイムである Cats Effect 3 の実装に沿った話をしますが、概念レベルの話がメインになるため、Scala そのものの前提知識は仮定しません - ただし、(トーク内で説明はするものの、)ラムダ計算がどのようなものなのか、という点と、β簡約の計算…