回归的进行曲的个人资料

【杏无关】久远千岁武道馆内部公开乐子人还黑屁吗？并非和杏比较，那确实比不了。但没根据就婊人打肿脸充胖子过分了吧。

［魔怔］花组个人记录以此贴记录我可能还剩下的纯良，展示大型社区为何只会破坏大脑。本贴只展示我所见的，尽量减少我的主观加工。为何时隔许久才做些不知所谓的辩护？因为我原以为我可以随时间释怀流言，然而事实告诉我流言蜚语和自以为是的锐评才是构筑社区认知的材料，时间只会让一切越来越糟。因为工作量可能会很大，所以会慢慢连载。

［高达gquuuuuux］拉拉辛新cv是羊宫妃那

［xp］新曲绘好涩，想狠狠地欺负

魅影=san，不过如此反向完成了

［无人在意］锁那姐带男人回来了把濑名航枕到了，组合名是ubique。听花谱那个咖啡电台知道的

老阿姨要恰人了太芯鸭翼了，逆凸这么下头

［我还没上车呢］过场cg中穿模上车这个过场cg居然不是播片吗

MAISONdes新成员这是谁好难猜啊

［菲律宾高达］新插入曲：水槽の街から vocal：みきまりあ（from NOMELONNOLEMON）作词•作曲•编曲：照井顺政推荐听一听

这还是村姑吗？打了6小时瓦。

【皮套大战】你，才是挑战者！！！菲律宾烂梗真没意思了，无下限炒作·术破解得了吗？“承认欲求爆发”，你什么红白歌手？金箔有我年龄长吗？斗那些卖不到1w的底边糊糊有什么意思，不过是工龄熬得长的bba，这就来把你踩在脚下。正经点说，这确实有看头啊，石榴姐和星街的承认欲求都是拉满了的那种，同是索尼人可能会竞争资源，比如鬼灭op。星街数据比石榴高些但还在一个数量级，石榴也处于上升期，并不是没有还手之力的。都把数据看得比命重，自然是谁也不服谁的。石榴也是目前星街最适合的feat对象，带村姑就是带小弟，纯粹是输血根本不是长久之计，之前和石榴K歌节目才是强强联手。未来石榴姐的存在感肯定会越来越强，菲律宾烂梗真没意思了。

初建贴吧二群花谱，迴花，ミミガー等起源于同一中之人的高纯度VTuber痴讨论群。不只讨论花谱/迴花/会限形象的新曲，分享相对性理论，鱼韵，CreepHyp等乐队，vocaloidP主，jpop艺人的jpop/jrock都是鼓励的，甚至不是日文歌也可以。区别于旧群的点在于在高纯度，即在“推是花谱还是神崎伊织？”这种送命题里能选花谱的高纯度。并不是因为群主对神崎伊织有所不满，分享神崎伊织近况与神崎伊织翻唱企划都是可以的（因为神崎伊织在近期的电台里透露比起P名黑柿，还是更喜欢这个特别像艺名的本名神崎伊织，所以全篇如此称呼）。但是严禁以神崎伊织的名义在花谱的新组曲、商曲，迴花作曲等讨论中无节制ky，群主很讨厌这点。如果有人抱有和群主同样任性的想法，不想容忍旧群的氛围，希望这个小群能成为同样任性的人的避风港。因为本群宗旨在于高纯度，所以入群问题是“my dear”（武道馆live最后一首，收录于迴花一专）中的my dear是谁这种高纯度问题，但我认为这是有意义的。（ps群主是因为迴花所作曲才推的牛马研究生）

突然发现怪歌（再）对迴花的造型作了大调啊，难怪顺眼了这么多真•得罪造型师系列，原来pdpp也知道自己整的是阴间活啊。

猫头鹰能在这个基础上再戴个眼罩吗这头盔让我想到一个故人

捏脸：不来方夕莉 1.因为没有一样的发型，就换了一个发型。但这个发型只有hdr4有 2.衣服是hdr的无缘人+莱莎。hdr的莱莎好像没有贝雷帽。 3.眼睛做不到完全还原。

关于双刀雷神的霸体听说双刀的雷神释放过程是霸体的，就对利三试了一下雷神，结果只横砍两刀就被戳了，然后雷神就中断了，没有最后一刀。当然没被打空精，被戳到就立刻闪了，雷神这也没霸体啊然后拿修炼场的武士试了一下，好像只有结束蓄力时砍第一刀是霸体的，后面的演出都是可以打断的，这就是雷神吗？

深层2点刷新到底是什么机制？是不是只要2点前一点点进一下，退出。2点后再进，boss就可以保留为之前的组合。

虽然实际上相差了十万八千里，但细节上都对上了艹艹艹有一部作品是魔幻题材，世界观较大，超过40卷： 1.第一主角黑发刺猬头，身边常有一个手办大小的角色。常常超负荷战斗，上一场的伤没好就打下一场。引导主线的神秘角色是谜语人中的谜语人。第一主角的体内有自己都无法控制的力量，但滥用会伤害同伴。以凡人之躯挑战神明。 2.第二主角白发，相貌中性。曾犯下过极大的罪恶，也严重残废过。有白色的翅膀也有黑色的翅膀。有一个好强配角倾尽所有向他挑战，但最终在很妙的文案中配角一败涂地，配角死后留下的东西推动了剧情。现在是一国的统治者。 3.重要的女角色中有一个曾是神职人员，与魔法有关。有一个重要男神职人员追随她，不求回报。 4.重要的女角色中有一个茶色短发，与另一个cv是新井里美的角色关系亲近。有一个与其有重要关联的角色被第二主角杀死。 5.有萝莉追随第二主角。 6.本作的最高顶点能随意掌握世界，其他所有存在都不能与他们相提并论但是第一主角被迫卖过沟子，第二主角自愿卖过沟子。那么这部作品是。。。虽然没有多少相似的地方，但抛开具体情节，难道不是这样吗？艹艹艹

萌新首通深30纪念素6阴阳人，本多猪头，魂核箱。没用妖武标准校服是因为凤凰翼太帅了（）忌龙，上面有洞坑坑洼洼，看上去随时都会碎，不行。立屋帽子薙刀镰看上去不够锋利，也不行。然而手残不敢玩绝境，就按b站净校服视频魔改了。

马原是不是在一定程度上会误导对广相的理解我说的就是关于马原对运动的讨论中过于强调参照系的地位了。而借助流形是可以脱离坐标系描述运动的，4动量与4加速都是绝对的。到了广相的时空流形，就已经下降了参考系的地位，运动不用参考系描述就可以建立广相体系了，再引入惯性观者和非测地观者参考系只是对接经典的3动量，能量概念的次级概念。而我们从初中开始的运动教学就把参照系放在核心地位，但这只是一种19世纪的前流形的运动观念了。

整旧活，但没发现查重对象，牛顿力学为什是神

40龙拳，但是超雷龙不乱键用60龙拳的时候，先攻吃g，后攻也吃g，火码滤抽2后攻丟g，还有小世界丝袜->屋->g直接检索g的，顶g还要吃手坑联防，吃锁鸟，吃陨石，太难顶了吃g吃到破防，想转40龙拳，但是前托白枪真的压不住人了，还被神碑乱杀。本想钻五摆烂，“真”月末再上砖一，昨天突然想到一种压缩思路，改了构筑，意外嘎嘎上分，本来是想晚上测试一下思路，结果直接月末砖一。希望能够帮助在圆碑环境挣扎的龙友，提供一点思路。（带银弹和刺刀纯粹是为了魂，建议换装填和独角兽）

平面上的光滑的有限长若尔当曲线一定是一维c1流形吗？如果是的话，求大佬证明。否的话，求反例。

取着最朴素无华的名字，但建议改成《从牛二到辛几何》老大哥的教材出的是真的野，今天才知道这本教材（

为什么很多数分教材不讲一致可微一个很无聊的问题，今天做题的时候想到了这个概念，查了一下确实是已经有的正式的概念，等价于导函数一致连续，概念本身也挺简单的，可以放进数学分析里面，但为什么大部分数分教材都没有提一下？

在b站做了一个科普数理逻辑常识的系列专栏系列名：《逻辑，数学，哲学与电子技术》比较偏口水话，只讲一些常识性的知识，尽可能简单化，故事化，适合用零碎时间随便看看，更到第七期哥德尔不完备定理了，希望能有一定帮助。

吧里有看过中译版的这本书的吗？据说这本书的中译者英译汉的水平挺草的如果这本的翻译影响阅读的话就打算买原版，但这书又用了分析哲学的技巧，以我有限的分析哲学水平加上英文就是折磨。希望有看过的人帮忙权衡一下。

早就很想这么问了，所谓量子数学是不是伪科学？不是指物理的量子力学学科，而是指某个被称为“量子数学”的东西。这个概念只从民科那里听过，都是每个民科都是不约而同挂其名号来宣传其私人理论。但这个东西的本体我却从来没从科班那里听过因为这个名词被多人不断提起，且还有百度词条，已经超越了私人理论的范围。但上知网搜“量子数学”，确实能搜出几篇相关论文，0引用，n下载，点开简介就知道是水文了。那个百度词条写得也非常扯，如果是一个正经科学，对其历史只字不提也太奇怪了吧。所以所谓量子数学是不是伪科学？

《创之界限》第十集，这波是决构背刺演出了剧情并没有什么超展开，就是妹妹赢了女主之后就“姨妈扣手，一同吃泥”了。然后下集就是男主打妹妹了，而且男主还想把女主再打出来。然后演出也比较到位了，但是决构是真的生草。首先妹妹一直空场或一怪过，差点就给女主一波带走了，然后突然就从裤裆里掏了一大堆资源，暗小智打法了属于是，就是暗小智那么打也因为早期没有效的堆墓手段吧。合着资源原来不是用牌滚出来的而是攒出来的啊。。。然后用从裤裆里掏出来的资源和女主打了1个回合后，到了最关键的时候，毕竟妹妹已经要没血了，反杀也很容易，就是这个地方，女主她卡手了，这也太典了吧（陨石的攻击力有3000，根本过不去jpg）然后就没有然后了。。。刚好被b站推送到一个四爷的剪辑，虽然四爷打鲨鱼的那战的合理性被喷了很久，但是在决构和演出的配合方面也算很好吧，至少四爷连续三次氪命升阶配合着宣言也是挺燃的。这里感觉就是燃不起来就是一方发力另一方卡手，然后再反向卡手就没了。

吸血鬼才是真正的未来战士好吧

《创之界限》第九集，剧情向奇妙的方向发展了。。。这波是要复刻海马打贝叔还是鲨鱼打裤衩啊

mos管输出特性曲线的问题，这里DS反向iD是被截止吗？ vds小于0时，id是0吗？

一个试图用红石制造图灵机的**（不定期更，随时太监）

一个试图用红石造图灵机的**（不定期更，随时太监）

哥德巴赫之饵（科普贴）可能是因为那个想证四色猜想的吧友那贴吧，突然想做个科普，做的不太好请见谅。数学中有一些世界性难题，虽然至今未被证明，但是就命题的自身表述而言，它们是非常容易理解的。典型的代表就是哥德巴赫猜想。此外还有四色定理，3N+1猜想等等。有无数人认为自己和历史上的一些命运坎坷的数学天才一样，可以靠证明这些猜想从而名垂历史。于是他们就拿起了手头少许的知识向这些猜想发起了冲锋。但最后的结局无非是一无所获，过了中二期之后不得不承认我们都是一样的普通人。哥德巴赫猜想是一个鱼饵，白白钓去了无数人的时间与精力。为什么会这样呢？两种谓词谓词是数学语言的重要组成部分，数学的一阶逻辑也被称为谓词逻辑。谓词是指描述名词的性质的词，在亚里士多德的三段论中，——是人，——会死，都是谓词。在数学中，——是质数，=，都是谓词。在谓词的适当位置填入名词就成为命题，因此谓词又叫命题函数。学过编程的人可能会对这点体会比较深，有一种谓词无论填入什么名词是可以机器地判定得到的命题的对错。比如——是质数。填入23，命题：23是质数。我们可以从2开始一直到22，让它们除23，看能不能整除。把真看成“0”，假看成“1”。这类谓词是可以用递归的方式定义的（定义0时的值，再用n时的值定义n+1时的值）。这样的谓词生成的命题非真即假，非假即真，真的一定能被证明，假的一定能被证否。但哥德巴赫猜想绝不是这样的命题，否则它也不会是世界难题了。形式系统是否所有的命题真假必定取一个，真的就一定能被证明，假的就一定能被证否吗？希尔伯特在发动希尔伯特计划的时候有一句激情澎湃的口号，点燃了当时无数数学家的激情---“真理就在那里，我们必将知道”。随后他就被哥德尔泼了一盆冷水。这盆冷水是如何泼下去的？先从形式系统讲起，你们认为是不是所有的实数都可以有一个专属于它的名字？证明又是什么？为了提一下阅读兴趣，先讲一个悖论：汉语中某些片语表示实数，比如"一个圆的圆周与直径之比"就表示实数π。，如果翻译成英文，英语字母有一定的顺序，所以我们可以把所有片语按照字母顺序排列，然后按照片语中字母的多少排列，少的在前，多的在后。这样我们把能用片语表达的实数排成一个序列，al，a2，a:，……。于是就得到了所有能用有限多字(字母)定义的数了。它们构成了一个可数集合E。现在我们提出一个规则把这个序列改变一下造成一个数来:"设E中第n个数的第n位为p，我们造一个实数如下:其整数部分为0，如果p不是8或9;其第n位小数为p+1，要是p是8或9的话，则第n位变成1。"这个实数显然不属于E，因为它和E中每个数都不一样。但是它们却可以由上面有限多个字组成的话来表示，因此应该属于E，这就出现矛盾。如果这个编码方式有点难懂的话可以理解成ASCII码。通过这个悖论，首先结合康托的对角法我们可以知道，有的实数是没有名字的，这就是用语言自身的局限，无论有怎样复杂的语言，都不可能为每一个实数命名，无论何时，未命名的实数总是比已命名的多得多。另外，这个悖论是个伪悖论，用最通俗的方法解释，设这“实数”的编码为N0，那请问它的N0位是什么？这个方法根本就没给出一个会引起矛盾的实数。但它第一眼看上去就像个悖论一样。自然语言就有这样的复杂性，没有规定好怎样的字符串是一个实数的名，单就“语义”去“悟”它是不是一个实数的名就会引起这样的误会。为了避免这样的误会，数学中要严格地对数学对象命名（哪怕不能给所有的对象命名），原则上是不允许搞一词多意的（但事实上还是搞了，因此那样的缩写是不严格的），把数学名词的严格形式化的一系列规则是形式系统最重要的组成部分之一。证明是什么证明必然是一串字符，另外有个谓词，--是--的证明，填进证明（字符串），哥德巴赫猜想（字符串）后又得到一个命题。我说我得到了哥德巴赫猜想的证明，写了一大堆，没人相信我，所有人都讥笑我，那我现在要证明我之前给的证明是哥德巴赫猜想的证明，怎么样？那我怎么证明证明是证明呢？还记得之前讲的递归性谓词吧，如果把--是--的证明定义为一个递归谓词的话，非真即假，非假即真，真的一定能被证明，假的一定能被证否。计算机都承认我给的证明是对的，你们还能不承认？这个谓词被希尔伯特学派找到了（虽然实际的数学活动中几乎不会使用，相当复杂）（把这个方法完全数字化的是哥德尔，哥德尔码是现代计算机编码的雏形，在理论分析上有天然的优势，但实际用在计算机上会浪费大量算力，一般计算机使用ASCII码），他们发展出了相当完美且严格的数学基础理论，提出了无矛盾性和完备性等概念。希尔伯特计划出世，他们准备在当年的学派混战中大杀四方。证明不是随便写的，不是什么玄学的启发，或者写得别人不知所云的东西。高等的数学分支使用着各种各样的奇怪语言，但它们的核心是一样的，让有耐心看的人看懂。哥德尔的冷水在有了证明的严格定义后，哥德尔证明了这样一个定理：每个包含有一阶形式逻辑与皮亚诺公理（用它作公理或能证明它都算）且无矛盾的形式系统总有一个命题A（p),它与它的否定都不可证明，并且还有如果它不可证明，它是真的（所以是真的）。那几个条件几乎适用于所有的数学领域（但也有不受影响的领域，比如研究SAT处理器等等）哥德尔不完备定理的证明中利用了递归函数的知识，而且证明非常的长，不多说了，有兴趣自己看。所以哥德尔告诉了希尔伯特，有的真命题是不可证的。哥德巴赫的梦想如果把一个人现有的知识（比如初等数论）和健全的逻辑看成是一个形式系统的话，那么哥德巴赫猜想就是他的那个真但不可证，如果他停留在原地，梦想仍旧遥不可及。去够到梦想的方法只有一个，学习，扩大自己的系统，说不定有天，梦想就可证了。虽然总有可证范围以外的东西，但数学会不断发展，数学是永无止境的。

分享贴子

前一种说法是不是错了，后继序数不会有无界子集的吧。

娱乐卡组分享（指名吸血鬼）随便组了一套otk特化吸血鬼，在娱乐王玩得十分快乐（红莲指名真假卡）只要牵绊到位，人挡杀人，佛挡杀佛

狒狒卡组使用感想（随便写写）

a∈c且a=b则b∈c是独立于的公理还是可以由zfc推出的？

男主届不到女主留给观众的遗憾感是不是比党争更强举一个典型的男主届不到喜欢的女主的例子――西蒙，天元b吧应该都熟悉吧。我突然想说这个的原因是最近补完了死神，死神的cp问题应该都有所耳闻吧（一护选了胸大的）。我把死神补完后在cp部分的最初感觉是98在cp的处理上没什么问题，其实逻辑还是比较合理的（抛开后面的套娃式战斗和友哈生的伟大，死的生草的问题），露琪亚从头到尾基本没有什么感情线描写，但是相反井上一直箭头明显。但是后来再回想起来莫名觉得不对劲，离开党争（露琪亚和井上）的角度，从一护的角度看，我发现一露全程在靠一户的心理描写，特别是完现术篇的时候，“作为死神时的回忆多到数不清啊”那里一护心理描写先是缩小的回忆分格，后面是一个占了整整一页的超大的露琪亚。所以最后给我的感觉就像是一护没届到一样一般剧情和情感变化都是跟着主角走的，第一主角也是读者最容易无意识带入自己的角色，而参与党争的除第一主角的角色受挫似乎无法像第一主角最终受挫那样引起读者长期且强烈的对作者的怨念？

网易手机版该如何驯马呀？百度全是电脑版的，我根本喂不了小麦。

这里有一个新入魔弹的菜鸟，自己试了几下，感觉自己的构筑不行。这里不展示丟人构筑了，请问魔弹应该怎样构筑

萌新提问，请问这是什么

萌新报到，请问有没有什么好用的link卡组。感谢

不得不说，这个翻译厉害。

给普拉西多盖楼