interested in formal methods
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least six years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least five years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least four years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least three years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.
Create an account to connect with Takuma Ishikawa. You can also sign in below to proceed if you already have an account.
We're a place where coders share, stay up-to-date and grow their careers.
Want to connect with Takuma Ishikawa?
Create an account to connect with Takuma Ishikawa. You can also sign in below to proceed if you already have an account.