今やってる工事の日程が謎でウェーなってる。わしの出番はいつー

なんかオモロイコードも書きたい

スマコンを形式検証でやなってのがあってだな。

形式手法

形式証明とかとかちゃんとやってみたいんだがな

思い出よりもいい

やらねばならぬ事が

今を大事にしたい

ガオガオ

あめー