東大生です IS23er 未踏er iGEMer まだ―字型人間 🇺🇦「体がないと、思ったり、考えたりできないの……?」ツイートは所属組織を代表するものではありません 個人を代表するものでもありません
> 無数の空想の拠所として私というものが成っていくわかる
ChatGPT、人のようには量化子などの論理を自然に扱えていない→人もそんなに自然に扱えるのか?→本当に人のようにできていないのか?(GPT-4も)
良さそうhttps://www.jstage.jst.go.jp/article/jssst/34/3/34_3_3/_pdf/-char/ja
Muller-Schuppの定理を理解するぞという所存
数式ツイートできるの強いな…
$$\mathbf{hoge}\mathbb{fuga}\mathsf{piyo}$$
Hello, mathtodon!
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.