1
娘が「プログラミングもプログラミングでできてるの？」と本質的な質問を投げかけてきた。
2
数学における「自明」の意味について書きました✍️ よかったら読んでください🙏
note.com/taketo1024/n/n…
3
こんなのが140文字で書けちゃうの、ホントに凄くない？ twitter.com/zozuar/status/…
4
デマや似非科学に騙される人と騙されない自分の違いを、論理的・科学的思考力の有無によるものと考えるのは基本的に間違いだと思う。だいたいは信憑性の判断をどの集団に委託してるかの違いでしかない。全てのことを自分で調査・判断するなんてできないんだから。
5
例えば自分は「五穀米は身体にいい」と漠然と信じてるけど、自分でちゃんと調査して納得した訳じゃない。身体に悪いという話は聞かないし、体感としても悪い感じはしないから、多分良いんだろうと。
そういう感覚で「水素水は身体にいい」と信じちゃう人がいるのは何も不思議でない。
6
自分の場合は「水素水はデマだ」と教えてくれる人（アカウント）が周りにいるから騙されずに済んでるだけ。社会的ファイヤーウォールの中にいるから安全が守られてる。社会的に孤立したら簡単に騙される側に転がり落ちると思う。
7
Linux と Git の生みの親である Linus Torvalds は「オープンソースのいいところは価値観の異なる人間が協働できること、お互いのことを好きである必要もないことだ」と言っていました。数学も古来から続くオープンソースプロジェクトだと考えれば同じことが言えそう🙂 twitter.com/ishiikeishi/st…
8
むしろ「失敗しても死なない安心があれば人はチャレンジするようになる」と解釈した方がよさそう。 twitter.com/kazyHata/statu…
9
「パズルのような高校数学が得意だっただけ」的な声を時折見かけるけど、高校と大学以降とで数学に質的な違いがあるというよりは、高校では学習要領が明確に定まっていて、巨大な受験産業がそれを反復練習可能にする努力を続けたことで「パズル化に成功した」と見る方が妥当な気がする。
10
メルカリ、社員の博士号取得支援 年200万円支給: 日本経済新聞
> 分野を限らず社員の自発的な研究を後押しし、
☝️ココ重要 nikkei.com/article/DGXZQO…
11
「やはり筋トレは楽しくない」
数学研究のための体力向上を目的として始めた全然楽しくない筋トレを一年間継続して得た「楽しくないけどやった方がいいことを継続するためのマインドセット」について書きました💪
よかったら読んでください🤲
note.com/taketo1024/n/n…
12
> 東京大学と京都大学は、4月からどちらの学生も受講可能で単位を取得できる新しいオンラインの講義を開設しました。
> 「数理科学の研究フロンティア」と名付けられたオンライン講義は、4月から7月にかけての十数回にわたる連続講義で news.tbs.co.jp/newseye/tbs_ne…
13
（教えて）4月から「文系の大学生」向けに線形代数の講義を行います。
初回で「線形代数の苦しみあるある」を紹介して、先に布石を打っておきたいと思っています。
皆さんは線形代数の何が苦しかったですか？ 以下、ありそうなものを挙げてみましたが、他にもあれば教えて下さい！
14
> 技術的な話題ができる同僚が恵まれていないプログラマーが転職したら自分と同じような話が合う人が回りに増えたので、わざわざ外に向って発言する必要がなくなった。
分かる。昔書いたいくつかの記事は今はもう書けない。満たされないからこその情熱。 laiso.hatenablog.com/entry/2022/05/…
15
「数学できるようになりてー！」ってテンション上げても、その情熱の持続時間に比べて目標到達にかかる時間が長すぎるんですよね。だから継続的に取り組むにはコンスタントに情熱が補給され続ける仕組みと、情熱に依存せず半自動的に取り組める環境を用意しないといけない。
16
今日はじめて研究所内でセミナー発表をしたのですが、黒板が巨大なことに加えて、カメラで黒板の文字を認識して講演者の上にオーバーレイして配信する最新テクノロジーが導入されててテンション上がりました🤩
17
> 最優秀賞には、数学を研究している京都大学助教の山下真由子さん（26）が選ばれ、賞状などが手渡されました。
> 山下さんは東京大学で数学を専攻して23歳で京都大学の助教になり、素粒子物理学に応用できる数学の研究ですでに高い業績を挙げているということです。 www3.nhk.or.jp/news/html/2022…
18
「役に立たない（ように思われる）数学の題材は他にもあるのに、なぜ三角関数ばかりやり玉にあげられるのか？」
に対する僕の推測は、三角関数には
sin(θ + π/2) = …
cos(π - θ) = …
など、定義を理解していれば覚える必要のない式がたくさんあるが、これを「公式」として覚えさせられ、
19
（お知らせ）「code for math」という Discord server を立ち上げました📢
目的：数学の研究や学習のためにプログラムを書いている人たちで繋がり，情報共有や問題解決の手助けをし合うため．
対象：数学者，数学科の学生，数学とプログラミングに興味がある人．
参加 URL: discord.gg/9tgG8aU3
20
OpenAI が凄いのはこれが「数学の証明」のために作られたものではないこと、そして出力された結果が「とても正しそうに見える」ということ。
例えば「f(x) = x^2 は x = 0 で連続でない」という「大嘘を証明」することもできる。
これはいくらでも悪用できてしまうね🦹♂️
beta.openai.com/playground
22
小学校の謎ルール、「掛け算の順序」と同等かそれ以上に「自分の名前の一部でも習った漢字しか使っちゃいけない」は病的だと思うんだけど、こういうのはどこにクレームを入れたら良いんですかね🙎♂️
23
数学が苦手な人は「数学は不自由だ」と感じ、数学が好きな人は「数学は自由だ」と感じる理由は、前者は「数学は論理に縛られる」から、後者は「数学は論理にしか縛られないから」だろう。
24
修士の頃、ゼミ中に質問を受けて僕が分からずにグダグダと話していたら、先生から
「今の質問に対する答えは次の３つしかありません：YES / NO / 分かりません」
と厳しく戒められたなぁ。
25
私の TL には微分方程式を竹刀で叩いて変数分離する人や、正方行列に「ありがとう」を伝えて対角化する人がいる。剛柔いろいろなやり方がある。
数学の研究者, プログラマ, 一児の父.