やったこと

研究

Nλのminimizationがバグっていることに気付いた。
が、直すのは簡単ではない気がするので一旦放置したい。

バグっているというか、うーん。
何と説明するべきか。

そもそもnominalのminimizationは結構難しいのだという話がある。