Oddbean new post about | logout
 @d0197186 ใ‚„ใฃใฑใ‚Šใ‚ใกใ‚ƒใใกใ‚ƒไบบๅข—ใˆใŸไบ‹ใ‹ใช
ๆ˜”ใฏๅคœไธญLTLใŒๆ•ฐๅๅˆ†ๅ‹•ใ‹ใชใ‹ใฃใŸใ‚Šใ—ใฆใŸใ‹ใ‚‰ 
โ–ฒ โ–ผ
 @9221ed19 ใ ใ‚ˆใญใƒผใ‚ใ‹ใ‚‹ใ‚