COLLECTION

Go

2026.09.30

Static analysis of explicit purity constraints in Go: Design and verification of mikoto

I created mikoto, which checks the number of lines in Go functions and explicit purity constraints. It handles value-type boundaries, AST and type information, generic type sets, and implicit pointer references, and, based on five bug fixes and verification results, considers the scope and limits of static analysis.

→

2026.09.28

I finally updated the Japanese phone number validation library after a long while.

I updated the Go phone number validation library go-tel-num-parser-jp that I created in 2018. In addition to handling number categories such as 060 and 0200, I also fixed false positives caused by partial matches.

→