中学生のとき、学校の授業中に、作文を書く時間があった。私は、作文の主題について心のなかで記憶やイメージを想起したり、自分に問いかけ考えることで、気になったキーワードを書き出していった。そして、それらのキーワードがどのように関連していて、どの順序で話すのが良いのかを検討した。それで三十分ほどかかっていたが、私は焦らずに、粛々と書き始めた。結局、私は授業時間を超過して書き上げて、提出した。
教師は、作文の講評で、私の文章の構成は良いといった。しかし、大人のスキルとして、決められた時間内に書く技術を身につけることも必要であるといった。私は、文章の質と書く時間はトレードオフであり、良い文章を短時間で書く都合の良い方法は存在せず、いつも借りてきた言葉でありきたりな話をするこの教師らしい言葉だなぁと思った。
私のその時の気持ちは、今も変わっていません。
1行目に笑ってしまった。対角線論法は、実数論というよりも、加算無限個の情報をもつものをすべて集めようとすると、加算無限で扱えなくなるという数学基礎論的な話なので、よくある説明で良いと思う。テクニカルな話は些末だし、またテクニカルというほど難しい話でもないので、気になる人は読者の演習課題でいいんじゃないかと思う。
RE: https://mathtod.online/users/selbstdenker/statuses/112517078304688988
Wikipedia でページ名の改名するのは以外に難易度が高いことがある（記事の内容と比べて客観的に正しい基準に乏しい上に、他の記事との整合性などにこだわるユーザーが出てきて合意形成が困難になりやすいため）
そういえばスーパーでチョコパイのメロン味の試食をやっているところを一旦通り過ぎた後に、（今ちょうど甘いもの食べたいし、反応してくれる人が少なく係のおばちゃんも困ってるのでは？）と思い戻って食べに行ったら、まる一個くれてラッキーだった。しっとりしてて美味しかったな〜
↓これ
https://www.lotte.co.jp/products/catalogue/biscuit/01/detail119.html
牛乳を買い物かごに入れてたので、飲み物なくてすみませんね、いまこの牛乳飲みたいくらいですよね〜、と話しかけてきてくれてなかなかにフレンドリーだった
12年なり、16年なり、それ以上なりの学校教育を受けた人が世の中にはたくさんいるわけだが、例えば街中のホームレスに対してどのように声をかければ、生の時間を共に享受する仲間として楽しい時間を過ごすことができるか未だに分からないということは、かなり恥ずかしいことなのではないかと思う。私も含めて。
Pytorch のソートに基数ソートが使われてたりするので、気が付かないところで普及しているのかも
https://github.com/pytorch/pytorch/blob/main/aten/src/ATen/native/cuda/SortingRadixSelect.cuh
RE: https://misskey.io/notes/9tv02bz9k4nz06oi
