Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
random-regex-strgen、QuickCheckとかモデル検査器のAlloy Analyserがモデル記述から例を図示するのとかを思わせるし、ジョークじゃない応用も色々できそうな気はするんだよなぁ