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/
Leanの勉強会面白かったです。
勉強になりました。途中試行錯誤してなんとか証明ができたのに、どうやったらこれが自分で作れるのか考え方が全然わからんかった序盤のところ、見たことのある俳人が現れて、わしが求めているいい感じの説明をくださったのでよくわかった。
Leanの証明の書き方を否定とからめるのがさっぱりわかってなくて手間取ったのでした。その後よりも序盤のその否定の部分がわしには難しかったです。
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/
長文のときにトゥート入力画面が壊れてしまうことを、つどいさんのトゥートで知りました。
確かになる! 何年こうなっていたんだ! ←
なんとかなおします!
#Mathtodon開発
https://mathtod.online/web/@tsudoionline/110956161634948779
I'm hungry, and I'm foolish. Thank you for your loving mathematics. / Mathtodon はわしが育てた