モルフィス@mikinori

Lang : CN/EN/JP
ほぼプロセカの趣味垢、たまに他のゲームと数学

[モルフィス@mikinori @morphism_3]

︶︶︶︶︶୨♡୧︶︶︶︶︶

「君の隣、君と見る明日」

🎀 CHAPTER 4 暁山瑞希 🎀

　78th・131202827 pt.

︶︶︶︶︶୨♡୧︶︶︶︶︶

[モルフィス@mikinori @morphism_3]

@takasakata89084 @Brosianes 同样作为参考，我看到的比较倾向于是性少数的观点里我觉得比较有讨论价值的一个，简中网站知乎上有一个翻译版本不过我不清楚内容准确程度，可以考虑直接丢给AI
https://t.co/HSpDKhyXlx

[モルフィス@mikinori @morphism_3]

@takasakata89084 @Brosianes 我的观点总的来说是比较接近这个帖子下面认为是“喜欢可爱装扮的男性”的看法的（仅供参考）。
https://t.co/sJxRfPfYBT

[こころりP(オカザキ) @ccll_ok]

瑞希の秘密は結局「可愛いものが好きな男の子」なのか「トランスジェンダー」なのかはぼかされたままだったな　瑞希自身がどういう言葉で説明するかどうか気になってたんだけど全部飛ばされたし

[モルフィス@mikinori @morphism_3]

@takasakata89084 @Brosianes 我不知道翻译在这个过程中造成了多大的信息失真。至少大量日本同人创作者（还有普通粉丝）仔细看完箱活剧情和我一样都还是坚持mzk认同男只是喜欢女装...
实在看不出来有多少跨的要素在，我甚至觉得是彩盘为了烂炒在开头嗯塞了那一句。。

[モルフィス@mikinori @morphism_3]

@takasakata89084 @Brosianes 5箱除了开头回忆有一段“ただの勘違いかもしれないでしょ”，其他的感觉和什么性别认同没太大关系。我觉得剧本已经很尽力地往偏情感向的方向靠了，崩溃和被蛐蛐是男的感觉关系不是很大，最主要还是秘密的被揭露方式过于出乎意料，联想到以前经历崩溃了。

[モルフィス@mikinori @morphism_3]

@takasakata89084 @Brosianes 彩盘写箱活撕书多少次了你觉得他们很有角色理解吗，没严重到被炎就不改了而已。
说实话我觉得大多数看完前几箱剧情的人的感觉就是mzk是单纯爱女装，硬要说也是非二元，最后才是跨女。（以日文原文本为准）

[弈白 @Eihaku_W]

海外勢の舞台参戦コスト：航空券5万円〜＋ホテル代＋「ない休みをどうにかして作る」＋抽選落ちたら全てパー😇 なのに航空券は早く取らないと高くなるし、抽選結果もわからないし…
😇

[モルフィス@mikinori @morphism_3]

回想起我最开始学日语的动机就是为了看懂近月2.2...😶

[モルフィス@mikinori @morphism_3]

結果出た☺

[モルフィス@mikinori @morphism_3]

つり乙3！！！！！！

[🍊 Navel【公式】🍊㊗️2026.10.11(sun)『NavPA‼2026』開催決定‼️ @project_navel]

🍊Navel23thライブ🎤✨✨
#ねぶパ 2026🍊
❇️❇️全公演終了しました❇️❇️

ご来場＆ご視聴頂きました全ての皆様に御礼申し上げます🍁ありがとうございました🙇‍♀️

💠NavPA‼️2026昼の部『SMILE&SHINE☀️』

💠NavPA‼️2026夜の部『DREAM&MAGIC🌙』

…今回のセットリストを公開致しました‼️

また本日、ライブで告知されました
『月に寄りそう乙女の作法15th Project🌸』

🌸2027.04.29開催
“月に寄りそう乙女の作法シリーズ”
ライブイベント🎤

そして製作決定となった
🌸『月に寄りそう乙女の作法3』

…の各解禁情報動画につきましては、アーカイブ配信にてご覧下さいませ🌸
どうぞよろしくお願いします‼️

✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️
📹アーカイブチケット🎫販売中‼️
✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️
あの感動と笑いをもう1度✨✨
販売期間：10/18(日)18:00まで‼️
⚠️アーカイブ視聴は2026年10月18日(日)23:59まで🍊
※一部演出は配信がございません。ご了承下さい。
▼配信用販売URL：https://t.co/TG32xPSYUU

[🍊 Navel【公式】🍊㊗️2026.10.11(sun)『NavPA‼2026』開催決定‼️ @project_navel]

🍊Navel23thライブ🎤✨✨
#ねぶパ 2026🍊
❇️❇️全公演終了しました❇️❇️

ご来場＆ご視聴頂きました全ての皆様に御礼申し上げます🍁ありがとうございました🙇‍♀️

💠NavPA‼️2026昼の部『SMILE&SHINE☀️』

💠NavPA‼️2026夜の部『DREAM&MAGIC🌙』

…今回のセットリストを公開致しました‼️

また本日、ライブで告知されました
『月に寄りそう乙女の作法15th Project🌸』

🌸2027.04.29開催
“月に寄りそう乙女の作法シリーズ”
ライブイベント🎤

そして製作決定となった
🌸『月に寄りそう乙女の作法3』

…の各解禁情報動画につきましては、アーカイブ配信にてご覧下さいませ🌸
どうぞよろしくお願いします‼️

✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️
📹アーカイブチケット🎫販売中‼️
✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️✳️
あの感動と笑いをもう1度✨✨
販売期間：10/18(日)18:00まで‼️
⚠️アーカイブ視聴は2026年10月18日(日)23:59まで🍊
※一部演出は配信がございません。ご了承下さい。
▼配信用販売URL：https://t.co/TG32xPSYUU

[モルフィス@mikinori @morphism_3]

@ElliotGlazer I doubt a full formalization (meaning unconditional on some heavy input in the literature) of some result will already cost more tokens than the full slopdrop considering the case of the FLT.

[モルフィス@mikinori @morphism_3]

Of course this one has no lean formalization (well clearly it will cost way more tokens than the whole slopdrop trying to do formalization for this...) and the Hilbert 10th result also relies on this result according to the slop paper. I lost words for this situation lol. SLOP

[モルフィス@mikinori @morphism_3]

Bet nobody checked the p=2 case Fontiane-Mazur paper before the slopdrop. Unarguably the worst modularity paper I had read with a Taylor-Wiles argument included, lack of details and bad content arrangement...
Even to check well-written paper of such results is not easy.

[Dan Roberts @danintheory]

We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice.

https://t.co/HI6otY2NTO

[モルフィス@mikinori @morphism_3]

嘉豪来了？！
去ai公司上个班就会变成这样吗😅
感觉和一个嘚瑟自己听说过的东西更多的名词党没有什么本质差别

[Acer @AcerFur]

Can’t believe I just sat through a maths lecture and not a single person cared about any results that came out last night

Whole other world over here

[モルフィス@mikinori @morphism_3]

コンプ状態に戻りました
六周年、マイセカイ素材のインフレちょっとイカれすぎないか？？

[プロジェクトセカイ カラフルステージ！ feat. 初音ミク【プロセカ】 @pj_sekai]

🌟プロジェクトセカイ6周年🌟

本日9月30日でプロジェクトセカイは6周年を迎えました🎊
いつも応援いただきありがとうございます😊✨

お祝いイラストはen（@en_eeen）さんに担当いただきました🎨💫

#プロセカ6周年 #プロセカ6周年イラスト

[Tony Feng @tonylfeng]

Oh hey, thanks for trying this! Just to give context, the challenge I issued is a special case of a Corollary of a more general theorem in a recent paper series by Sean Cotner and myself (and I would be remiss not to mention that Cotner did most of the math and writing). This manuscript literally uses our work, which handles the general case, to deduce the special case. So it certainly doesn't "count" for the challenge! (There's a reason I said 72 hours.) As Thomas Bloom said, "Think things through for yourself", folks!

[モルフィス@mikinori @morphism_3]

ライブが終わり
新学期が始まる
😭
今回ライブで聴きたかった曲ほぼコンプした、大満足

[水瀬いのりinfo @inoriminase]

"Inori Minase OPEN AIR LIVE 2026
Summer Challenger" ⛰️💛

［DAY2］2026.09.13(sun)
富士急ハイランド・コニファーフォレスト

ご来場いただきありがとうございました！
本日のライブ映像のオンライン配信も決定！
ずっと 夏を🌻🎇☀️👒🚿🏝️

🔗https://t.co/ljcdXIGixX

#水瀬いのり #水瀬いのりOPENAIRLIVE
(スタッフ)

[モルフィス@mikinori @morphism_3]

@nihilsuncle I think most people do not check all these details and instead rely heavily on a vague intuition that things should work out or follow from universal properties. But as the theory grows increasingly elaborate, even a single careless miss can have disastrous consequences.

[モルフィス@mikinori @morphism_3]

@nihilsuncle My point is, for example to build the theory of Grothendieck you still need technical stuff, like commutative algebra theorems and homological calculation, do you check all these details (also the commutivity of a lot of diagrams)?