keraのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽ABAの日誌
●11/25 01:03
2024-11-24時流に負けてBlueskyｱｶｳﾝﾄを作るTwitterでいつか英語ｱｶｳﾝﾄを作りたいなと思ったまま作ってなかったのでBlueskyで作ることにした｡英語ｱｶｳﾝﾄだとそもそもﾀｲﾑﾗｲﾝが違いすぎるので､体験がXと比較できない｡Bluesky CEOのJay Graberによると､Blueskyには現在2000万人以上のﾕｰｻﾞｰがおり､1日100万人以上のﾍﾟｰｽで増加中だそうだ｡ﾌﾟﾛﾓｰｼｮﾝに影響されないｶｽﾀﾑｱﾙｺﾞﾘｽﾞﾑによるﾌｨｰﾄﾞ機能などがBlueskyの強みだ｡ただ将来的にBlueskyが収益化を目指す段階になった時に､ﾌｨｰﾄﾞｱﾙｺﾞﾘｽﾞﾑが広告表示に向けた最適化などでゆがめられる可能性はある｡今後ﾕｰｻﾞｰ数が伸びていった時に､今の強みがそのまま残るかどうかは現時点では分からない｡Blueskyが現在の分散型ﾌﾟﾛﾄｺﾙであるAT Protoco

▽妖精現実ﾌｪｱﾘｱﾙ〓 faireal.net
●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の続き）証明の完成