フォロー勢のTLから拾ったまとめだけど参考程度に 📚 数学・哲学談義が熱かった（23時台） ・λ計算・チャーチ数・ペアノの公理で盛り上がり ・「数が出てこない数学が好き」「代数」って流れ ・ドン・キホーテ×佯狂×...