3,118 followers
Colin Stirling さんは Higher-Order Matching の決定可能性とかもやられてて小林研では雑談中に何回か名前を聞いた. Higher-order matching and games https://t.co/Te4QegXAaE
Colin Stirling さんは Higher-Order Matching の決定可能性とかもやられてて小林研では雑談中に何回か名前を聞いた. Higher-order matching and games https://t.co/Te4QegXAaE