流行りに乗って Advent Calendar に参加してみたくなったのではてダ始めました。 投稿テストを兼ねて自己紹介をとりとめもなく書いてみます。 身分 現在大学院生です。プログラムの静的検証を研究しています。 来年からは名古屋の方で就職予定。 プログラミ…