内点法の「証明」のプログラムを作ってみた

勉強の一環として、内点法の論文を参考に、内点法の「証明」のプログラムを作ってみた。

連続最適化関係だと first-order methods については既に証明のプログラムが存在するので、内点法で行ってみた。

現時点でやるのは、線形代数や基本的な解析のあたりをそれなりに自前で準備しなくてはいけないので、そのあたりが結構大変ではあるけど、プログラムとしては書くことができる。そのうちに、Mathlib などが整備されると、もっとスッキリとしたプログラムとして証明を書けるようになるかと考えられる。