TB
鈴木潤(盲点, The Blind Spot)
@cut-elimination.bsky.social
論理学！ 線形論理！
10 followers3 following422 posts
本日はドシャ語とかOCamlとか超越論的シンタクスとか線形論理の某研究とか！
本日はドシャ語とかドネランとか線形論理の某研究とか！
TB
鈴木潤(盲点, The Blind Spot)
@cut-elimination.bsky.social
論理学！ 線形論理！
10 followers3 following422 posts