カジュアルな同凸とは一体