小島みなこの競プロ日常

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.

65 views14:23

小島みなこの競プロ日常

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

69 views14:23

小島みなこの競プロ日常

。。这个怎么感觉好像以前有人出过？。。。

66 views14:23

小島みなこの競プロ日常

（I mean 在不能应用高斯消元的情况下。。用 euclid 算法做消元。。）

65 views14:24

小島みなこの競プロ日常

https://mp.weixin.qq.com/s/42hA4Ggzu_p4Iqk8yr4VAQ

Weixin Official Accounts Platform

百万tokens低至1元！大模型越来越卷了

大模型的入门价格越来越便宜了。

69 views14:43

小島みなこの競プロ日常

https://en.wikipedia.org/wiki/Turnstile_(symbol)

72 views17:46

Not to be confused with ㅏ, ト, or 卜.

73 views17:46

小島みなこの競プロ日常

CJK 全家桶闹麻了。。

74 views17:48

小島みなこの競プロ日常

现代语言好像即是编译语言也是解释语言= =

75 views17:53

小島みなこの競プロ日常

问一个语言是解释语言还是编译语言好像已经意义不大。。。。

74 views17:54

小島みなこの競プロ日常

感觉不用mathlib这语言没法玩啊

72 views18:02

小島みなこの競プロ日常

这也难怪不用 std 我也不会 cpp

71 views18:02

小島みなこの競プロ日常

（但是用mathlib就好卡…）

70 views18:07

小島みなこの競プロ日常

优化不行…..（x

67 views18:07

小島みなこの競プロ日常

https://www.shuizilong.com/house/archives/lean-the-proof-assistant/

某岛

71 views18:59

小島みなこの競プロ日常

不幸的是，Desai 不能让设备发出低于 2000Hz 的声音，因此《一闪一闪亮晶晶》音符都向上移动了好几个八度。

71 views19:08

小島みなこの競プロ日常

https://mp.weixin.qq.com/s/jX3_sRqcr9WyyZLXECXl3A

Weixin Official Accounts Platform

坏了，我的RTX 3090 GPU在对我唱歌！

唱起经典儿歌《一闪一闪亮晶晶》

72 views19:08

小島みなこの競プロ日常

dissy dissy

70 views19:08

小島みなこの競プロ日常

https://www.bilibili.com/video/BV1Ns421N7EP

Bilibili

【明日方舟 AI翻唱】特雷西娅 - Daisy Bell_哔哩哔哩_bilibili

数据集：《明日方舟》特蕾西娅（CV：南里侑香）算法：RVC本作品仅供个人兴趣研究使用，声音及曲目属于版权方。原曲：DaisY BelL -AlphA --- 涼貴涼, 视频播放量 128、弹幕量 0、点赞数 6、投硬币枚数 6、收藏人数 1、转发人数 0, 视频作者 Peter_XL, 作者简介，相关视频：【明日方舟】小学生特蕾西娅，【One Last Kiss | AI“魔王”特蕾西娅】属于我的蒙娜丽莎，我早已遇见，因为你我会记住这一天，兄弟放心，罗德岛促融共竟绝不坑你，【双人H8-4】逻各斯：你…

71 views19:11

小島みなこの競プロ日常

哭了。

72 views19:11

About

Blog

Apps

Platform