7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2019年09月16日(月)
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ZFC を"集合"について述べた理論だと思っていると混乱が起こるのは当たり前で、あれは
「∈という関係についての一階述語理論」であって、「∈」がとても強力な関係なので、"普通の数学"で扱うような"構造"を体系の中で"形式化(コーディング)"できる
と思っていると多少スッキリする
タグ：
posted at 22:14:53
ウ～ン、なんか気になる。
楕円積分と楕円関数 おとぎの国の歩き方 武部尚志 www.amazon.co.jp/dp/4535788987/... @amazonJPさんから
タグ：
posted at 21:07:09
同じく。4次とか5次の複素行列について計算するときなんて、もうイヤーってなる。合ってる気がしない(^◇^;) twitter.com/wed7931/status...
タグ：
posted at 17:52:29
処理水は世界中で放出されている。
それが福島でできない理由は、あなた方無知なマスコミが風評被害を煽るからです。
できません、ではなく。
処理水は問題ない。
汚染水という表現は不適切。
これを毎日発信してください。 twitter.com/mai_fukushima/...
タグ：
posted at 16:48:51
非公開
タグ：
posted at xx:xx:xx
個人的な感触だけど、ペアノの公理系も「この性質を充たす集合と後者関数の組を総て自然数と呼ぶ（呼んでよい）」と認識している人は少数派のような気がする。自然数の集合は当然に存在していて、その性質を抽出・列挙したものがあの公理系だと考えている人の方が多いように思う。
タグ：
posted at 12:47:57
先日の台風15号の影響で千葉県で通信障害が起きているらしく、auが速度制限解除をしたらしい。auの母のスマホの今月のデータ残量が1024ギガになっててびっくり。
実質使い放題。
タグ：
posted at 00:15:13
圏論の技法を読んで｜はたらく双対性
paper3510mm.amebaownd.com/posts/6945739 #amebaownd
敬老の日は圏論の日らしいので、圏論の技法読んだ記事を書きました
せっかくしっかり読んだので、見つけた誤植を表にまとめましたので、活用されればなあと思います！！
タグ： amebaownd
posted at 00:13:54
