小島みなこの競プロ日常
@algorithm_daily_of_minako
469
subscribers
4.31K
photos
175
videos
273
files
6.04K
links
Download Telegram
Join
小島みなこの競プロ日常
469 subscribers
小島みなこの競プロ日常
羡慕
小島みなこの競プロ日常
北京有木有极光看。。。
小島みなこの競プロ日常
红色的也好
小島みなこの競プロ日常
小島みなこの競プロ日常
哭唧唧
小島みなこの競プロ日常
https://crypto.stanford.edu/~blynn/
小島みなこの競プロ日常
不会 haskell 真的有可能学会 lean 吗?
小島みなこの競プロ日常
https://www.nasa.gov/missions/ibex/studying-the-edge-of-the-suns-magnetic-bubble/
NASA
Studying the Edge of the Sun’s Magnetic Bubble - NASA
Our corner of the universe, the solar system, is nestled inside the Milky Way galaxy, home to more than 100 billion stars. The solar system is encased in a
小島みなこの競プロ日常
Wu’s method uses the Euclidean algorithm with pseudo-division to solve Euclidean geometry problems. See chapter 5 of John Harrison, Handbook of Practical Logic and Automated Reasoning.
小島みなこの競プロ日常
https://en.wikipedia.org/wiki/Wu%27s_method_of_characteristic_set
Wikipedia
Wu's method of characteristic set
Algorithm for solving systems of polynomial equations
小島みなこの競プロ日常
。。这个怎么感觉好像以前有人出过?。。。
小島みなこの競プロ日常
(I mean 在不能应用高斯消元的情况下。。用 euclid 算法做消元。。)
小島みなこの競プロ日常
https://mp.weixin.qq.com/s/42hA4Ggzu_p4Iqk8yr4VAQ
Weixin Official Accounts Platform
百万tokens低至1元!大模型越来越卷了
大模型的入门价格越来越便宜了。
小島みなこの競プロ日常
https://en.wikipedia.org/wiki/Turnstile_(symbol)
Wikipedia
Turnstile (symbol)
mathematical symbol
小島みなこの競プロ日常
Not to be confused with ㅏ, ト, or 卜.
小島みなこの競プロ日常
CJK 全家桶闹麻了。。
小島みなこの競プロ日常
现代语言好像即是编译语言也是解释语言= =
小島みなこの競プロ日常
问一个语言是解释语言还是编译语言好像已经意义不大。。。。
小島みなこの競プロ日常
感觉不用mathlib这语言没法玩啊