三次元MMPのアルゴリズム:論文の改訂とMacaulay2への実装
三次元の極小モデルプログラム(MMP)のアルゴリズムに関する論文 An algorithm for the minimal model program in dimension three(arXiv:2603.13703)を、先日大幅に改訂しました。あわせて、この論文の内容をMacaulay2で実装したものを、GitHubで公開しています。
2026
Stein分解を計算するMacaulay2コード
論文 An algorithm for the minimal model program in dimension three(arXiv:2603.13703)の§4–§5・Algorithm 1にあたる部分を、Macaulay2でプロトタイプ実装しています。実装はGitHubで公開されており、今日はその内容を簡単に紹介します。
採点補助ソフト「マル之助」を作っています
採点補助ソフト「マル之助」というものを、AIの力を借りながら開発しています。まだ開発初期段階のソフトですが、経緯を書き留めておきます。