一昨日の記事「モノイド圏上のテンプレート・オペラッド：具体例とソフトウェア的解釈」でオペラッドの話をしたので、小円板オペラッド〈little disks operad〉における計算を型付きラムダ計算のフレームワークに乗せてみましょう。これによって、オペラッド…