るーびお (@rubio_phys) header
るーびお (@rubio_phys) profile picture

物理M2 幾何学大好き! 音楽:@Rubio_flat

Joined April 2021
私という個人からするとAIは便利ではあるけど夢があるほどでもない、理由はただ使ってるだけだと私がかしこくならないという一点に尽きる 高度な内容を指示したり理解するためには私がかしこくなる必要があるんだよね 既に能力のある人にとってはAIは素晴らしい道具だと思う、今の私はそうじゃない
1
3
538
解析力学は量子力学のためにやるんじゃない、美しいからやるの!
1
15
290
熱のエネルギーは自由に使えないので、シンプルにその世界では魔法というエネルギーがありその熱力学があるとしたほうが個人的には説得力があると思います(熱力学自体が違うという方向性もできると思います)
なろう世界で「精霊」と呼ばれるモノは、「熱・光エネルギーを吸収し、質量として極限まで蓄える微小な存在、地球でいうところの粘菌の胞子的な存在」という設定にしたら  その世界に遍在していると仮定したら、高濃度で魔力が密集している場所は、なんらかの自然現象のエネルギーを蓄積しまくって子実体を作ってるコロニーといえるし、魔法使いとは、この「精霊」と細胞レベルで共生ないし感染している人間と考えることができるし。彼らの脳内(松果体など)からは、「精霊」を刺激する特定の波長の電磁波やフェロモンが分泌されており、これによって活動をコントロールして無からエネルギーが生まれ出ているように見えるとか説明をすると説得力ある、魔法世界が作れないかな。
4
322
草 私たちは法律に守られているように思うが,民法を破るレベルだったら額によっては訴訟コストのほうが上回るので不法行為側がアド勝ちするケースがある あと制度上本名と住所がわからないと格段にどうにもならなくなる(発信者情報開示命令は限定的)
4
198
波動関数がパラメータに依存するという状況があるけど、このパラメータが複素数だと微分とか考えるときに複素幾何が出てきちゃうんだなと そんなことがあるとは思ってなかったので、複素幾何の勉強をしてなかった
6
290
整列可能定理では任意の元を最小元にできるんだ Xの元aを選んでX\{a}に整列可能定理を使って,もとのXでaが最小になるような順序を定めればそうなる かなりどうでもいい小ネタ でも整列可能定理は得体の知れない最小元を受け入れざるを得ないというわけではないことがわかった
126
開発量が増えたらレビューも増加するというのは確かだ そこで,プログラムが動いた時点で形式化の失敗を除き正しいということが保証されているような強い型システムの言語の需要が増すことがあり得るかが気になった。それとも商業の世界では既存資産がやはり大きく,今のまま進むのだろうか。
2
1
5
482
AIが開発爆速でやるから次は正しさの保証が大事そうという気持ちのツイート エアプだから知らないだけでもうそういうノリがあるのかもしれない
3
87
n³いじめ、新ジャンルすぎる 多項式君…
108
修論書いてていま使った方程式の解の存在を不動点定理で示してる(物理の修論の趣旨合ってる?)
11
411
素朴な確率論でも全体の事象が無限個あったら起こり得ることであっても確率は0というのはわかりそうだがどうなんだ(ある1点ならこれでいける)
2
159
研究で初めて自力で結果出した😭(数値計算の精度を改善した) 今まで先生の助言とAIのアイデアのおかげだったから自分の実力じゃなかった めっちゃ嬉しい
2
23
1,243
「現在この名前は使われていません」というゲームやった 先人に幾何学徒がおったな,ホモトピーとか多様体とかは既に登録されてた 私はこのへんにしときます
1
5
919
Everybody scheme scheme scheme 局所化しないと始まらないから絶対嫌とは言わせない それ それ そーれ それ それ
2
319
代数幾何やった 環のスペクトル=素イデアル全体の集合に対してザリスキ位相によって何が開集合であるかが決まる。その開集合に局所化によって可換環を対応させる構造層が定義できる。環のスペクトルと構造層の組がアフィンスキーム。一般のスキームは空間全体をひとつのスペクトルで表せるとは限らない
1
8
639
1/xは,x=0では定義できない。分数を正則な関数として考えると、分母が消える点が排除され、空間に「穴が開く」。このようにして得られる空間はザリスキ位相における開集合。逆に開集合D(f)を与えると,その上で正則な関数を局所化された環として記述することができる。 こういう話やと思いました
3
142
慣れてないから層がキモいな 開集合に切断全体の集合=あり得る可能性たちを割り当てる挙動、メタのレベルが高い こんなのが必要になるのか ああこれが圏論の有用性かもしれない、だいぶショボいけど 圏論のレイヤーで見てないとメタさがキモくなるものがある
2
2
14
2,297
写像って集合→集合 元|->値 で関手は圏→圏だけど 素朴に見ちゃうと値レベルで集合→集合なんで(対象は集合とは限らんがだいたいそうでしょう)見なくていいメタさがむき出しになってしまう
2
324
等価原理の話?(違う)
親が中1の弟に「質量」は「重さ」だよ!って言ってて発狂しそう💦
1
519
直観主義論理の意味論が複数あるのマジか 意味論が複数あるっていうのだいぶ衝撃だった
1
200
順像法ってあるけど順像って受験数学用語よねと思ってたら授業で層の話してるときに出てきた(受験数学のものがこれかはわからない) ja.wikipedia.org/wiki/%E9%A0…
4
392
ターミナルのコマンド Ctrl + C: 強制終了 Ctrl + Shift + C: コピー センスなさすぎる
4
298