集合関数の例:「区間塊の長さ」

集合関数の例としての「区間塊の長さ」についてのノート。メンテ了。