Notices by 表示名 (mathmathniconico@mathtod.online), page 4

新井基礎論は本棚の肥やしになってる

というか増補版でてるやんけ、完全に腐ってるかもしれん

PCを放置するとpage fault in non paged areaでブルスク、もはや終わってる状態なのだが、電源設定の20分でHDDの電源が切れるのが原因だったりする？　キャッシュにアクセスしようとして失敗するとか…

あるいはもう買い換えた方が良い？（サポート切れ間近）

BORCHERDSマジで神なので、全ての動画で自分の理解の浅さを分からされるので皆も見て欲しい。学部レベルもあるから。こことここが繋がるのかーって発見が5分に1回来るのですごい

Richard E. BORCHERDSの動画見てるけどやっぱこの人神だわ。説明が上手すぎる。証明もシンプルで無駄が無い

置換公理が図式とかそういう話？

凡人のための圏論という言説を広めていきたい

色んなことを圏論的に捉え直せば何をやっているかスッキリするし記憶にも残りやすい。逆に圏論的でない部分はクリティカルな部分であり、真に天才的なアイディアかもしれないし、そこもまた圏論的にどう解釈していくかのスタート地点になり得る

そもそも図形とは何かという話にもなるが、森田の「微分形式の幾何学」に確かこんなことが書いてあったと思う。

幾何学の目的は次に挙げる二つである。
(1) 図形が持つ何らかの量・性質によって図形を分類すること。
(2) 与えられた性質を持つ図形の存在・非存在を問うこと。

なので分類が成立して、その類が潰れるか膨らむかを調べてればそれは幾何学なのだろう。つまり（コ）ホモロジーってコト？

斂って漢字、非常用とはいえ収斂しか使いどころ無い気がする

数学クラスタにももうちょっと盛り上がれる賞欲しいよな

専門家が表に出てないというのもあるけど、フィールズ賞とか門外漢だと碌に誰も解説できんし

積分は証明だけ読むとこんなんできねーよって思うが、被積分函数のグラフを書いたり極限での挙動を調べると、そんなに変なことはしてなかったりする

向こうのオープン化にかける謎の熱量ほんと謎

日本もリベラル名乗るならそれくらいせんとな

昨日キッシーが骨壺受け取った時まじでひやっとしたから、自衛隊の人みたいにちゃんと底に手を入れて受け取ろうな！　カバー掛けてあるだけだからな！　抜けるからな！

モナドの例：配列モナド
型を対象、函数（のプログラム）を射とすると圏Typesになる。このとき型$X$を型$X\lbrack\,\rbrack$に、$f\colon X\to Y$を入力$(x_{1},\dotsc, x_{n})$で出力$(f(x_{1}), \dotsc, f(x_{n}))$の函数$f\lbrack\,\rbrack$に対応させることでモナドとなる

確かにそうなんですけど、宣言の後に代入するとき変な気持ちになります

$A$:環$=\lbrace \sim \rbrace$
$A=\lbrace \sim \rbrace$:環

どっちがいいかと言われるとなんとも言えませんが

あとエディタ上だと函数の引数を分けるカンマと比べてコロンの方が主張が強くてコロンで分かれてる感じがするんですよね

rustの型、後ろに付くの気持ち悪い…気持ち悪くない？

今週の土日にmathpowerやるのか
https://live.nicovideo.jp/watch/lv338206772

pawooが倒されたようだな
フフフ、奴はmastodonインスタンス四天王の中でさいじゃ…割と大手だったわ

@cmplstofB
独立行政法人１０連ガチャ

N 国立高等専門学校機構
N 環境再生保全機構
N 医薬品医療機器総合機構
N 労働安全衛生総合研究所
JR 鉄道建設・運輸施設整備支援機構
R 日本原子力研究開発機構
N 奄美群島振興開発基金
N 経済産業研究所
N 日本学術振興会
UR 都市再生機構

https://shindanmaker.com/609040

JRとURなら出た

@cmplstofB 前重かったときaudiodg.exeがディスクにアクセスしてたんですよね、何か関連があるのかもしれない

@cmplstofB firefoxなんかあったんですか？