■

わんくま同盟勉強会に行ってみた。

LTで上がっていた投資勧誘を断るには、個人情報保護法を出すのが良い、ってのがよかった。試してみる。
SPEC#は、やっぱり出されてしまったか、という言語。
いかに低コストで制約を整理し、事前条件・事後条件として実装につなげるか、という点を私の研究テーマにするしかないか。