1
筋トレは「モテる」「自信がつく」とかをモチベにする謳い文句が多いけど、エンジニアや研究者などのデスクワーカーにとっては「体力がついて集中力があがる」「肩こりや腰痛がなくなる」「よく眠れるようになる」の3点をアピールした方がずっと引きが強いと思うんですよね。
2
> 理系大学にいけば代数幾何学は必修科目ですが
いいえ
note.com/shi3zblog/n/nf…
3
僕も31歳で大学院に進学してから、相手の年齢によらず一律で「さん付け+敬語」で行こうと決めました。
学び直しおじさんが、歳が上だからというだけの理由でタメ語で喋ってきたら、僕なら絶対に煩わしく感じるだろうと思ったからです。
qiita.com/kojimadev/item…
4
僕の TL で見かける意見も、この Togetter にまとめられているものも、賛否共に冷静で建設的なものが多い印象で、そうやって議論が盛り上がってる状態を「炎上」と呼ぶのは馬鹿っぽいからやめた方がいいと思う。 togetter.com/li/2165329
6
AI 音声に本人が言いそうなこと言わせちゃダメなんですよね、それじゃ何も面白くない。本人っぽいのに絶対言わないところを狙って行かないと。例えばスプラの実況をさせるとか。
asagei.biz/excerpt/59591
7
変なリプが来たときに「しっかりとブロックして参ります」と唱えながら実行すると腹が立たずに済むことから、岸田構文はアンガーマネジメントに有効なのではないかと思えてきた。
8
👧「パパがいることを証明するよ」
🙂「お、いいね」
👧「パパがいないとします」
🙂「うん」
👧「すると、今の『うん』は誰が言ったのでしょう？」
🙂「誰かがパパの真似をして言ったのかもよ」
👧「んー…でもパパがいなかったらパパの真似もできないはずだから」
🙂「おっ！今のはなかなか良いね」
10
🙂「こういうのを背理法というよ」
👧「へー、じゃあまーちゃんに友達がたくさんいることを背理法で証明して」
🙂「いいよ、まーちゃんに友達がいないとします、するとまーちゃんは寂しい表情をしているはずです、でもまーちゃんはニコニコしています、なのでやはり友達はいます」
👧「いいねー！」
11
👧「6 + 0 は 6 じゃん？」
🙂「うん」
👧「6 ÷ 0 は 0？」
🙂「それはね、0 で割ることはできないのよ」
👧「え、なんで？」
🙂「そういう数があるとするとおかしなことになるから」
👧「どういうこと？」
🙂「お、聞きたい？」
👧「うん」
🙂（キタコレ…）
12
僕は中学のときコンピュータ部に入ってたんですが、汚い部室でネットにも繋がってなかった。そこで先輩が、擬似的に Email を生成して送ってくれるプログラムを作って見せてくれて衝撃を受けたのを覚えている。
品詞ごとに単語を並べた辞書データを作って、文章の型に代入して生成する方法で。
13
Linux や Git を作った Linus Torvalds が TED Talk のインタビューで、
「オープンソースのいいところは、異なる人々が一緒に働けるところです。お互いのことを好きである必要はありません」
と言っているのですが、僕はこの考え方がとても好きです。
youtu.be/o8NPllzkFhE
15
> 「エンジニアになるために競技プログラミングをするのは、 DJ になるためにビートマニアをするようなものだ」
ウケた nodchip.hatenadiary.org/entry/2023/03/…
16
> 次元が違うということを表現するのに『倍増』という言葉を1つの象徴として使われたのだと思う
でも「倍増（スカラー倍）」はベクトル空間で閉じているから次元は変わらないですね。テンソル積とかを使わないと。
news.yahoo.co.jp/articles/f9f7a…
17
私の TL には微分方程式を竹刀で叩いて変数分離する人や、正方行列に「ありがとう」を伝えて対角化する人がいる。剛柔いろいろなやり方がある。
18
修士の頃、ゼミ中に質問を受けて僕が分からずにグダグダと話していたら、先生から
「今の質問に対する答えは次の３つしかありません：YES / NO / 分かりません」
と厳しく戒められたなぁ。
19
数学が苦手な人は「数学は不自由だ」と感じ、数学が好きな人は「数学は自由だ」と感じる理由は、前者は「数学は論理に縛られる」から、後者は「数学は論理にしか縛られないから」だろう。
20
小学校の謎ルール、「掛け算の順序」と同等かそれ以上に「自分の名前の一部でも習った漢字しか使っちゃいけない」は病的だと思うんだけど、こういうのはどこにクレームを入れたら良いんですかね🙎♂️
22
OpenAI が凄いのはこれが「数学の証明」のために作られたものではないこと、そして出力された結果が「とても正しそうに見える」ということ。
例えば「f(x) = x^2 は x = 0 で連続でない」という「大嘘を証明」することもできる。
これはいくらでも悪用できてしまうね🦹♂️
beta.openai.com/playground
23
（お知らせ）「code for math」という Discord server を立ち上げました📢
目的：数学の研究や学習のためにプログラムを書いている人たちで繋がり，情報共有や問題解決の手助けをし合うため．
対象：数学者，数学科の学生，数学とプログラミングに興味がある人．
参加 URL: discord.gg/9tgG8aU3
24
「役に立たない（ように思われる）数学の題材は他にもあるのに、なぜ三角関数ばかりやり玉にあげられるのか？」
に対する僕の推測は、三角関数には
sin(θ + π/2) = …
cos(π - θ) = …
など、定義を理解していれば覚える必要のない式がたくさんあるが、これを「公式」として覚えさせられ、
25
> 最優秀賞には、数学を研究している京都大学助教の山下真由子さん（26）が選ばれ、賞状などが手渡されました。
> 山下さんは東京大学で数学を専攻して23歳で京都大学の助教になり、素粒子物理学に応用できる数学の研究ですでに高い業績を挙げているということです。 www3.nhk.or.jp/news/html/2022…
数学の研究者, プログラマ, 一児の父.