■

なんだか間が悪い一日です。

サークルの展示に行ってきました。文字通り邪魔しに行っただけではないかという。手伝ってないし心苦しいです。ごめんなさいねぇ。
凸包の問題*1のエレガントな解法を教えてもらいました。よく考えるとまだ議論の細部を詰めないといけない気がするのですが、しかし謎だった高次元の場合が解決したのはよかったです。凸性というのは直感に訴えるわりには論理的に難しいというものの典型的な例ですねぇ。

*1:「R^n内のコンパクト集合Kの凸包は、Kを含む閉半空間全体の共通部分となる。とくに、Kは有界閉なのでコンパクトである」