074ebb2fcd2c005

http://nhiro.org.s3.amazonaws.com/a/e/aed39f965f35f116a4590d46f98a2ef9.jpg https://gyazo.com/aed39f965f35f116a4590d46f98a2ef9

(OCR text)

最近ハマっている

プログラミング言語

Alloy

·軽量形式手法、 SATのDSL

*仕様を自然言語で書いても実装するまで間違いに

気付けないじゃん?だったら間違いがないか検証

できる仕様記述言語使おうぜ?という話

6

CO