いぬくん 🐾 (@fluffydog_bow) 's Twitter Profile
いぬくん 🐾

@fluffydog_bow

ID: 1381398418229104642

linkhttps://rendo-math.hatenablog.com/ calendar_today12-04-2021 00:07:13

7,7K Tweet

425 Followers

388 Following

いぬくん 🐾 (@fluffydog_bow) 's Twitter Profile Photo
いぬくん 🐾
@fluffydog_bow

2 months ago

計算機援用証明の良いところは何もアイデアが思いつかない状況を「頑張ればできるけど、キツイなぁ…」という感じに変えられるところ