最近仕事でGCPのCloud Spannerを使い始めて勉強中です。今回はSpannerを使うときにMakeでこんなことできるんだ！って知ったことを共有します。 恥ずかしながら今までMakeを体系的に勉強していませんでした。 しかし社内のシステムはだいたいがMakeで運用コマ…

会社のイベントで1週間何しててもいい期間があったので、大学時代に研究していた形式手法の1分野であるLTL仕様からオートマトン合成の分野に触れていました。 タイムライン 以前使っていたAcacia+というツールがリンク切れになっていたことに驚く LTLからオ…