26
OpenAI が凄いのはこれが「数学の証明」のために作られたものではないこと、そして出力された結果が「とても正しそうに見える」ということ。
例えば「f(x) = x^2 は x = 0 で連続でない」という「大嘘を証明」することもできる。
これはいくらでも悪用できてしまうね🦹♂️
beta.openai.com/playground
27
数学における「自明」の意味について書きました✍️ よかったら読んでください🙏
note.com/taketo1024/n/n…
28
Linux と Git の生みの親である Linus Torvalds は「オープンソースのいいところは価値観の異なる人間が協働できること、お互いのことを好きである必要もないことだ」と言っていました。数学も古来から続くオープンソースプロジェクトだと考えれば同じことが言えそう🙂 twitter.com/ishiikeishi/st…
29
「数学できるようになりてー！」ってテンション上げても、その情熱の持続時間に比べて目標到達にかかる時間が長すぎるんですよね。だから継続的に取り組むにはコンスタントに情熱が補給され続ける仕組みと、情熱に依存せず半自動的に取り組める環境を用意しないといけない。
30
私の TL には微分方程式を竹刀で叩いて変数分離する人や、正方行列に「ありがとう」を伝えて対角化する人がいる。剛柔いろいろなやり方がある。
31
Linux や Git を作った Linus Torvalds が TED Talk のインタビューで、
「オープンソースのいいところは、異なる人々が一緒に働けるところです。お互いのことを好きである必要はありません」
と言っているのですが、僕はこの考え方がとても好きです。
youtu.be/o8NPllzkFhE
32
変なリプが来たときに「しっかりとブロックして参ります」と唱えながら実行すると腹が立たずに済むことから、岸田構文はアンガーマネジメントに有効なのではないかと思えてきた。
34
> 理系大学にいけば代数幾何学は必修科目ですが
いいえ
note.com/shi3zblog/n/nf…
35
「やはり筋トレは楽しくない」
数学研究のための体力向上を目的として始めた全然楽しくない筋トレを一年間継続して得た「楽しくないけどやった方がいいことを継続するためのマインドセット」について書きました💪
よかったら読んでください🤲
note.com/taketo1024/n/n…
36
数学が苦手な人は「数学は不自由だ」と感じ、数学が好きな人は「数学は自由だ」と感じる理由は、前者は「数学は論理に縛られる」から、後者は「数学は論理にしか縛られないから」だろう。
37
（お知らせ）「code for math」という Discord server を立ち上げました📢
目的：数学の研究や学習のためにプログラムを書いている人たちで繋がり，情報共有や問題解決の手助けをし合うため．
対象：数学者，数学科の学生，数学とプログラミングに興味がある人．
参加 URL: discord.gg/9tgG8aU3
38
むしろ「失敗しても死なない安心があれば人はチャレンジするようになる」と解釈した方がよさそう。 twitter.com/kazyHata/statu…
39
> 東京大学と京都大学は、4月からどちらの学生も受講可能で単位を取得できる新しいオンラインの講義を開設しました。
> 「数理科学の研究フロンティア」と名付けられたオンライン講義は、4月から7月にかけての十数回にわたる連続講義で news.tbs.co.jp/newseye/tbs_ne…
40
> 技術的な話題ができる同僚が恵まれていないプログラマーが転職したら自分と同じような話が合う人が回りに増えたので、わざわざ外に向って発言する必要がなくなった。
分かる。昔書いたいくつかの記事は今はもう書けない。満たされないからこその情熱。 laiso.hatenablog.com/entry/2022/05/…
41
（教えて）4月から「文系の大学生」向けに線形代数の講義を行います。
初回で「線形代数の苦しみあるある」を紹介して、先に布石を打っておきたいと思っています。
皆さんは線形代数の何が苦しかったですか？ 以下、ありそうなものを挙げてみましたが、他にもあれば教えて下さい！
数学の研究者, プログラマ, 一児の父.