7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2022年03月01日(火)
「正義感が強い」というのはかつて高い賞賛の言葉だったし今でももちろんほめ言葉なんだけど、21世紀の複雑化した社会では正義感は「物事の見方が一面的すぎる」という陥穽に陥りやすいということも、つねに忘れちゃいけないと思います。
タグ：
posted at 23:37:13
自分の子供に数学をやって欲しいとか、優れた才能を発揮して欲しいとかは特に思わないけど、嫌いにはならないで欲しい、できれば好きであって欲しいとは結構強めに思うな🙂
タグ：
posted at 19:05:25
カード番号・セキュリティコード・有効期限6万3337件が漏洩とのこと。 / “「ここクーポン」不正アクセス問題 ほぼ全てのカード 情報流出か／滋賀（BBCびわ湖放送） - Yahoo!ニュース” htn.to/4eJrdT5hmo
タグ：
posted at 18:01:05
これ、本当にすごいです。
「#時間とはなんだろう」
「#量子とはなんだろう」
のエッセンスが、びっくりするくらいコンパクトに、かつ、丁寧にまとめられています。一見の価値ありです。
ここまで読み込んで下さった社会学セミナーの皆様に感謝です！
sociology-semi.jimdofree.com/seminar/
タグ：
posted at 12:31:59
Yuichi Hosoya 細谷雄一 @Yuichi_Hosoya
これまたすごいニュース。すごいニュースが多すぎて、感覚が麻痺してきた。 twitter.com/annwieanna/sta...
タグ：
posted at 10:59:46
今となっては「国民と政府は別」という説明をしてくしかないな。小1にも分かるように説明できるだろうか。 twitter.com/taketo1024_2/s...
タグ：
posted at 09:43:28
プログラミングでは、使用しているパッケージ・ライブラリの宣言で、前提としている関数が明示的なのも良い。
数学の文章では、しばしばそれが暗黙的。「初歩的な線形代数の知識を仮定する」とあっても、その「線形代数」の中身は、空気読みで知るしかない。関数一覧や仕様を見せてほしい。
タグ：
posted at 07:19:20
複数文字の関数・変数名は、便利なので積極的に使っていきたい。数学の慣習だと、すぐ1文字におさめがちで、何の役割なのか文脈から読み解くのが大変。同じ文字の複数使用＝記号の乱用もするし。
論理の流れも、階層構造があるプログラミング言語はわかりやすい。よく見る証明文章ってごちゃついてる。
タグ：
posted at 07:09:05
プログラミング（Julia）に触れていると、数学だけしていたときより、頻繁に関数を定義していることに気づく。
数学では、細かな操作や手続き（アルゴリズム）は、論証的に説明するだけで、わざわざ関数化しない。
プログラミングでは、複数文字の関数名が標準的で、複雑な対応関係も明確に表せる。
タグ：
posted at 07:04:00
完全数とか友愛数って、最初定義聞いた時は願掛けのような感じで数学的な感じを受けなかったのだが、メルセンヌ素数とかまじもんの数論っぽい対象と絡んでくるっていうのが凄い。 twitter.com/tsujimotter/st...
タグ：
posted at 06:59:52
おはようございます！
そろそろ起きる時間ですね！
ついにこの日がやってきました！
ぎりぎりの準備では間に合わない！
よういはいいですか？
うれしい門出はみんな笑顔で！
おめでとうございます！
#卒業式
#教職員垢で朝の挨拶を
#数学二刀流
#縦読み
タグ： 卒業式 教職員垢で朝の挨拶を 数学二刀流 縦読み
posted at 04:47:42
Michinori Yamashita/ @mymathmymath
3月1日は小学生の時の相対性理論理解をトリガーに微分幾何学に取組み，世界中の著名な研究者と多数の論文を発表されたことでも知られる日本の数学者矢野健太郎（Kentaro Yano）の誕生日。
タグ：
posted at 03:56:14
母校の演劇部の皆さん、卒業おめでとうございます。コロナ禍での高校演劇、どんな活動ができたか分かりませんが、苦労の方が多かったんじゃないかと、先輩は勝手に心苦しくなってしまいました。 twitter.com/kano_engeki/st...
タグ：
posted at 00:24:58
