Profile

Masanori Ogino ๐“€

181351 posts 1993 follows 1215 followers

Please pay attention to random failures.

https://mstdn.maud.io/@omasanori
Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 2 years ago

ใใ‚…ใƒผใ‘ใƒผ tojoqk@mastodon.tojo.tokyo

ๆœ€่ฟ‘ๆ›ธใ„ใฆใŸใ‚„ใคใ€‚ใ“ใ‚Œใ‹ใ‚‰ใฎ่ถฃๅ‘ณใงไป–ใฎ CLOG ใฎไพ‹ใ‚’ๆŽขใ—ใฆๆ—…ใ™ใ‚‹ใฎใ‹ ACL2 ใงใชใ‚“ใ‹ใ™ใ‚‹ใฎใ‹ๆ‚ฉใพใ—ใ„ใจใ“ใ‚ใ€‚

Common Lisp ใฎ CLOG ใง YouTube ใฎใƒ—ใƒฌใ‚คใƒชใ‚นใƒˆๆฉŸ่ƒฝใ‚’ๅฎŸ่ฃ…ใ—ใฆใฟใŸ
diary.tojo.tokyo/posts/2022-09