コンピュータは数学者になれるのか？①
読んでいる本
https://www.amazon.co.jp/コンピュータは数学者になれるのか-数学基礎論から証明とプログラムの理論へ-照井一成/dp/4791768515
まとめスライド①
More than 5 years have passed since last update.
Register as a new user and use Qiita more conveniently
- You get articles that match your needs
- You can efficiently read back useful information
- You can use dark theme