わだけい

@wadakei

二人の子を持つ父親。組込み系エンジニア。鹿島アントラーズ、チャゲアスに興味あり。形式手法勉強中。