表題の記法・概念を説明します。まだ、計算の準備。内容： 写像ブロック データブロック 適用 適用とイータ同値 代入計算 写像ブロックブロック記法を導入しましたが、一般的に f:A→X, g:B→Y, h:C→Y in Set に関して [f ALSO g] は写像の直和になり、[g OR h…