$\mathscr{N}_{yoho}$ @Nyoho@mathtod.online

RIMS Set Theory Workshop 2023 のウェブサイトを更新しました：
https://tenasaku.com/RIMS2023/
本日 (9/23) 中に RIMS に色々の書類を提出します。

We're pleased to announce the first official release of Lean 4!
Release notes: https://github.com/leanprover/lean4/releases/tag/v4.0.0
Post on the community blog about future release cycles: https://leanprover-community.github.io/blog/posts/first-lean-release/

precompact ならある。
https://en.wikipedia.org/wiki/Precompact_set

プレミアムコンパクトSUV

なる自動車の広告文句を観測。
ついつい

premium compact

というトポロジーの用語はあるか、なかったら作ってやろうか、などと邪念がよぎる。

実務家教員の定義が何なのか、そんなことたぶん誰も知らん

チャールズ・H・ハスキンズ『大学の起源』という本を読んでいる。大学を意味する「ユニバーシティ」は語源的に「ユニバース」や「ユニバーサル」には関係がなく、いまでいう「ユニオン」つまり学生と教師の組合というところから発生しているらしい。中世のヨーロッパでは「ユニバーシティ」は別に鍛冶屋の組合でもパン屋の組合でもよかったらしいぞ。

Hey there, we've got a whole bunch of folks from Japan hanging out here on our Mastodon server, #Mathtodon. But don't let that hold you back - we're open to everyone, no matter what language you speak. Feel free to chat about anything from the serious world of math to the funniest math-related jokes or even just a friendly chit-chat. We can't wait to hear from you!

This Mastodon server #Mathtodon has many Japanese users on site, but of course we welcome any language speakers. Math topics, math-related gags, and chit-chat are all welcome.

Ce serveur Mastodon #Mathtodon compte de nombreux utilisateurs japonais, mais nous accueillons bien sûr tous les locuteurs de langues. Les sujets mathématiques, les gags liés aux mathématiques et le bavardage sont tous les bienvenus.

「立体射影模型」と「懸垂面螺旋面変形模型」のキットを用意しています。

来月の9/2に「編み紙工作ワークショップ (理論解説付き)」のタイトルで講演します。申込みは本日までです！！
https://sugaku-bunka.org/