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

るーびお

@rubio_phys

物理M2 幾何学大好き！ 音楽：@Rubio_flat

Joined April 2021
  • Tweets2.1K
  • Following127
  • Followers516
60Media
Photo by るーびお (@rubio_phys)Photo by るーびお (@rubio_phys)Photo by るーびお (@rubio_phys)Photo by るーびお (@rubio_phys)Photo by るーびお (@rubio_phys)Photo by るーびお (@rubio_phys)Photo by るーびお (@rubio_phys)Photo by るーびお (@rubio_phys)Photo by るーびお (@rubio_phys)
草 私たちは法律に守られているように思うが，民法を破るレベルだったら額によっては訴訟コストのほうが上回るので不法行為側がアド勝ちするケースがある あと制度上本名と住所がわからないと格段にどうにもならなくなる(発信者情報開示命令は限定的)
4
175
波動関数がパラメータに依存するという状況があるけど、このパラメータが複素数だと微分とか考えるときに複素幾何が出てきちゃうんだなと そんなことがあるとは思ってなかったので、複素幾何の勉強をしてなかった
6
278
整列可能定理では任意の元を最小元にできるんだ Xの元aを選んでX\{a}に整列可能定理を使って，もとのXでaが最小になるような順序を定めればそうなる かなりどうでもいい小ネタ でも整列可能定理は得体の知れない最小元を受け入れざるを得ないというわけではないことがわかった
116
開発量が増えたらレビューも増加するというのは確かだ そこで，プログラムが動いた時点で形式化の失敗を除き正しいということが保証されているような強い型システムの言語の需要が増すことがあり得るかが気になった。それとも商業の世界では既存資産がやはり大きく，今のまま進むのだろうか。
2
1
5
468
AIが開発爆速でやるから次は正しさの保証が大事そうという気持ちのツイート エアプだから知らないだけでもうそういうノリがあるのかもしれない
3
79
前に指導教官が「すごいこと見つけた」って興奮気味に話しかけてきて「法事の頻度って徐々に間隔が空いていくけどlogスケールで綺麗にフィッティングできて色んな文化圏でそれが当てはまるんだよね」ってグラフを見せてくれて「やっぱ弔いって残された人の心に合わせて設計されてるんだな」と思った
11
1,615
56
11,072
739,399
n³いじめ、新ジャンルすぎる 多項式君…
104
修論書いてていま使った方程式の解の存在を不動点定理で示してる(物理の修論の趣旨合ってる？)
11
406
素朴な確率論でも全体の事象が無限個あったら起こり得ることであっても確率は0というのはわかりそうだがどうなんだ(ある1点ならこれでいける)
2
155
研究で初めて自力で結果出した😭(数値計算の精度を改善した) 今まで先生の助言とAIのアイデアのおかげだったから自分の実力じゃなかった めっちゃ嬉しい
2
22
1,239
「現在この名前は使われていません」というゲームやった 先人に幾何学徒がおったな，ホモトピーとか多様体とかは既に登録されてた 私はこのへんにしときます
Image from るーびお (@rubio_phys)
Image from るーびお (@rubio_phys)
Image from るーびお (@rubio_phys)
1
5
914
Image from るーびお (@rubio_phys)
110
Everybody scheme scheme scheme 局所化しないと始まらないから絶対嫌とは言わせない それ それ そーれ それ それ
2
316
代数幾何やった 環のスペクトル=素イデアル全体の集合に対してザリスキ位相によって何が開集合であるかが決まる。その開集合に局所化によって可換環を対応させる構造層が定義できる。環のスペクトルと構造層の組がアフィンスキーム。一般のスキームは空間全体をひとつのスペクトルで表せるとは限らない
1
8
634
1/xは，x=0では定義できない。分数を正則な関数として考えると、分母が消える点が排除され、空間に「穴が開く」。このようにして得られる空間はザリスキ位相における開集合。逆に開集合D(f)を与えると，その上で正則な関数を局所化された環として記述することができる。 こういう話やと思いました
3
137
(ほぼ)ブルバキスタイルで音楽理論説明してるのでよかったら
るーびお♭ (@Rubio_flat) profile pictureるーびお♭@Rubio_flatOct 4
書きました。私がコードをどう理解してるか気になる方は読んでみてください。解説用じゃないので文字だけです。 note.com/rubio_flat/n/n6cec4…
私の音楽理論(コード)の理解について｜るーびお

私の音楽理論(コード)の理解について｜るーびお

私の音楽理論，とくにコードに関する理解を説明します。 他の人が参照できるように書いたものであり，初学者への解説ではありません。前提知識として，メジャーコード，マイナーコードなどのコードクオリティをある程度理解していることを想定します。 ほとんどは『総合和声』に基づきますが，一部異なる箇所があります。また全てを網羅しているわけではなく，多くの場合で運用できる体系としています。 第1部では体系の...

note.com
1
194
慣れてないから層がキモいな　開集合に切断全体の集合=あり得る可能性たちを割り当てる挙動、メタのレベルが高い こんなのが必要になるのか ああこれが圏論の有用性かもしれない、だいぶショボいけど 圏論のレイヤーで見てないとメタさがキモくなるものがある
2
2
14
2,294
写像って集合→集合 元|->値　で関手は圏→圏だけど 素朴に見ちゃうと値レベルで集合→集合なんで(対象は集合とは限らんがだいたいそうでしょう)見なくていいメタさがむき出しになってしまう
2
321
等価原理の話？(違う)
ほっぴ (@Fxve8XfU9k254) profile pictureほっぴ@Fxve8XfU9k254Sep 13
親が中1の弟に「質量」は「重さ」だよ！って言ってて発狂しそう💦
1
515
直観主義論理の意味論が複数あるのマジか 意味論が複数あるっていうのだいぶ衝撃だった
1
197
Load more