1月30日(土曜)から始まる僕のセミナー（「ロマ数トレラン」シリーズのひとつ）は「確率論のカリー／ハワード／ランベック対応」です。このテーマの背景については次の記事に書きました。 「確率論のカリー／ハワード／ランベック対応」 上記の記事はビッグピ…