部分プロトコルの挿入を、λ項を導入してパラメータ化いや演算子化することにより、結構見通しがよくなることを(いまごろ)発見、DAシンポジウムのプレゼン資料を作っているときに気づいたのですが、見通しを良くなるので、研究メモをひたすら更新。なんかす…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。