Shin Saito @shinsa82
Researcher, working on theories of programming languages and system verification. おれの発言が会社を代表してるわけねーだろ!
-
「平均値の罠」の話したいときの手札が悪い下ネタしかないのでなんとかしたい→様々なアイデアが寄せられる
155862pv 92 46 users 29 -
数学を楽しむツール その2
2602pv 1 -
感染症のパラメータ R0(アールゼロ) の意味は…? 新型コロナを数学・数理モデルで把握するための初歩 ▼ (1) ..
編集部イチオシなぜ8割の行動制限が必要なのか?数学的知識にもとづいた解説と情報ソースまとめ(編集部)
5841pv 82 1 user 15
-
不完全性定理に関する新井家公式見解を巡って踊る人々
50131pv 71 10 users 401 -
圏論の本についてのFAQ+α+β
37042pv 67 7 users 1