▽妖精現実 ﾌｪｱﾘｱﾙ ●11/23 21:41 2024-11-23 ｶﾞｳｽ和からの cos 72°（準備中）→ 続きを読む2024-11-22 ｶﾞｳｽ和の平方（その2の続き） 証明の完成1 の p 乗根 z についてのｶﾞｳｽ和を S とすると､ S2 は p または −p に等しい（p は 3 以上の素数）｡この定理について､｢素朴な観点からの証明｣があと一歩で完成……というところで話がそれ､先に風変わりな別証明を紹介し､さらに別の｢神の証明｣（定理2参照）を紹介した｡多重の総和記号が入り乱れ､一般向けとは言いかねる面もあった｡素朴な観点に立ち返り､ S2 を展開して指数ごとに項を数える､という単純な発想からの証明も完結させておく｡→ 続きを読む2024-11-22 ｶﾞｳｽ和の平方（その2の続き） 証明の完成
▽RareWares ●11/21 14:29 OPUS Bundles updated2024-11-18Opus bundles updated to opus-tools 0.2-34-g98f3ddc (using libopus 1.5.2-22-g7db26934)GCC 14.2.0 compiles.
▽mkvtoolnix - ChangeLog ●09/09 16:32 # Version 87.0 "Black as the Sky" 2024-09-07## New features and enhancements* mkvmerge: chapters: added support for specifying MPLS files with `--chapters`, too, not just as regular source files. The documentation stated this was possible already, but that wasn't actually the case. Implements/fixes #3735.* MKVToolNix GUI: multiplexer: added a progress dialog that is shown during file id
