数学
LLL アルゴリズム、それを使った短いベクトル列挙アルゴリズムの勉強中。
クンマー理論 - Wikipediaの訳を修正した。
Kummer theory - Wikipedia の群コホモロジーの長完全系列を明示的に計算して、connection map がクンマー理論の同型と似た形をしていそう、というのを納得した。
開発
rust-number-theory: LLL アルゴリズムを実装した。
LLL アルゴリズム、それを使った短いベクトル列挙アルゴリズムの勉強中。
クンマー理論 - Wikipediaの訳を修正した。
Kummer theory - Wikipedia の群コホモロジーの長完全系列を明示的に計算して、connection map がクンマー理論の同型と似た形をしていそう、というのを納得した。
rust-number-theory: LLL アルゴリズムを実装した。