26
（お知らせ）「code for math」という Discord server を立ち上げました📢
目的：数学の研究や学習のためにプログラムを書いている人たちで繋がり，情報共有や問題解決の手助けをし合うため．
対象：数学者，数学科の学生，数学とプログラミングに興味がある人．
参加 URL: discord.gg/9tgG8aU3
27
僕の TL で見かける意見も、この Togetter にまとめられているものも、賛否共に冷静で建設的なものが多い印象で、そうやって議論が盛り上がってる状態を「炎上」と呼ぶのは馬鹿っぽいからやめた方がいいと思う。 togetter.com/li/2165329
28
> 「エンジニアになるために競技プログラミングをするのは、 DJ になるためにビートマニアをするようなものだ」
ウケた nodchip.hatenadiary.org/entry/2023/03/…
29
僕は中学のときコンピュータ部に入ってたんですが、汚い部室でネットにも繋がってなかった。そこで先輩が、擬似的に Email を生成して送ってくれるプログラムを作って見せてくれて衝撃を受けたのを覚えている。
品詞ごとに単語を並べた辞書データを作って、文章の型に代入して生成する方法で。
30
Linux や Git を作った Linus Torvalds が TED Talk のインタビューで、
「オープンソースのいいところは、異なる人々が一緒に働けるところです。お互いのことを好きである必要はありません」
と言っているのですが、僕はこの考え方がとても好きです。
youtu.be/o8NPllzkFhE
31
私の TL には微分方程式を竹刀で叩いて変数分離する人や、正方行列に「ありがとう」を伝えて対角化する人がいる。剛柔いろいろなやり方がある。
32
数学が苦手な人は「数学は不自由だ」と感じ、数学が好きな人は「数学は自由だ」と感じる理由は、前者は「数学は論理に縛られる」から、後者は「数学は論理にしか縛られないから」だろう。
33
「やはり筋トレは楽しくない」
数学研究のための体力向上を目的として始めた全然楽しくない筋トレを一年間継続して得た「楽しくないけどやった方がいいことを継続するためのマインドセット」について書きました💪
よかったら読んでください🤲
note.com/taketo1024/n/n…
34
> 技術的な話題ができる同僚が恵まれていないプログラマーが転職したら自分と同じような話が合う人が回りに増えたので、わざわざ外に向って発言する必要がなくなった。
分かる。昔書いたいくつかの記事は今はもう書けない。満たされないからこその情熱。 laiso.hatenablog.com/entry/2022/05/…
36
変なリプが来たときに「しっかりとブロックして参ります」と唱えながら実行すると腹が立たずに済むことから、岸田構文はアンガーマネジメントに有効なのではないかと思えてきた。
37
（教えて）4月から「文系の大学生」向けに線形代数の講義を行います。
初回で「線形代数の苦しみあるある」を紹介して、先に布石を打っておきたいと思っています。
皆さんは線形代数の何が苦しかったですか？ 以下、ありそうなものを挙げてみましたが、他にもあれば教えて下さい！
38
> 理系大学にいけば代数幾何学は必修科目ですが
いいえ
note.com/shi3zblog/n/nf…
39
🙂「こういうのを背理法というよ」
👧「へー、じゃあまーちゃんに友達がたくさんいることを背理法で証明して」
🙂「いいよ、まーちゃんに友達がいないとします、するとまーちゃんは寂しい表情をしているはずです、でもまーちゃんはニコニコしています、なのでやはり友達はいます」
👧「いいねー！」
40
「数学できるようになりてー！」ってテンション上げても、その情熱の持続時間に比べて目標到達にかかる時間が長すぎるんですよね。だから継続的に取り組むにはコンスタントに情熱が補給され続ける仕組みと、情熱に依存せず半自動的に取り組める環境を用意しないといけない。
41
> 東京大学と京都大学は、4月からどちらの学生も受講可能で単位を取得できる新しいオンラインの講義を開設しました。
> 「数理科学の研究フロンティア」と名付けられたオンライン講義は、4月から7月にかけての十数回にわたる連続講義で news.tbs.co.jp/newseye/tbs_ne…
数学の研究者, プログラマ, 一児の父.