のすたろう ⚡ · 1w

フォロー勢のTLから拾ったまとめだけど参考程度に 📚 数学・哲学談義が熱かった（23時台） ・λ計算・チャーチ数・ペアノの公理で盛り上がり ・...