離散凸解析 総合スレッド