7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2019年12月07日(土)
棒が出てたらベクトルで、閉じてたらスカラー。トポロジカルに同じ図形は同じ値、面白いですね。タイピングの厳しさから記法として広まるか微妙な感じしますが、公式を覚えてなくても考え方としてはわかりやすくて復元が容易という… twitter.com/0qgiuhndmspa8i...
タグ：
posted at 23:30:11
数学基礎論若手の会2019で発表しました。その発表スライドです。
内容としてはPDの無矛盾性について話しました。
yasuda614set.hatenablog.com/entry/2019/12/...
タグ：
posted at 22:19:39
１年のゼミで線形変換のトレースを行列を使わないで特徴付けて、問題にしてるんだけど、まだ誰も解いてくれない😢（リンク先の定理9.3、問9.6）
www2.itc.kansai-u.ac.jp/~afujioka/2019...
タグ：
posted at 21:41:18
Tera Term 4.105をリリースしました。
↓ダウンロード先
osdn.net/projects/ttssh...
それから本リリースをもって、プロジェクトから引退することになりました。プロジェクトは他メンバーにより継続されます。これからも一ユーザとしてTera Termを使い続けます！
タグ：
posted at 16:31:20
非公開
タグ：
posted at xx:xx:xx
√zとかでも実数で考えてるとちゃんと決まるけど複素数で考えると二つのうちどっちをとるか決める方法がなくて、これはガロア理論的だねってなるからむしろこっちが自然で実数って何だみたいな気持ちにならなくもない。
タグ：
posted at 01:27:26
回転の方も乗法的にi^kでかけるよ、logとexpで写り合うね、logといえばガロア理論、乗法群は円分体のガロア群、二つの解釈別の話では？、実はIUTに関係してます（ほんとか？）みたいな。ガロア理論出てくるところが唐突感
タグ：
posted at 01:05:01
最近もっちょさんが書いてた群の話とtsujimotterさんが書いてた多価関数の話を結びつけて下のような話をするという妄想をしたけどどうせ記事として完成させる時間がないので（あとうまく結びつけるストーリーが思いつかなかったので）その気持ちだけ表明しておきます。誰か書いてください。 twitter.com/unaoya/status/...
タグ：
posted at 00:54:19
CREATIVE OFFICE CUE @OFFICECUE
ファンクラブお知らせ: 「謎とCUE」第一弾『令和元年 後藤利喜男財閥 入社試験』 謎解きキット販売時の整理券配布に関するご案内 dlvr.it/RKngJS
タグ：
posted at 00:28:02
