ここ最近の本ブログのテーマは「カリー／ハワード／ランベック対応」です。最近の記事がすべてカリー／ハワード／ランベック対応に関係するわけではありませんが、9月の記事「関数の構成法 (カリー／ハワード／ランベック対応も少し)」あたりから、カリー／…