Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 6 years ago
パンッ！て手を叩いたらさつまいもの天ぷらが出てくる研究 ikr7
Formal Method といいつつ仕様記述だけなのか / "自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） － Publickey"
https://www.publickey1.jp/blog/12/_1040_2.html