2018.03.07

インターン生のLT会に行った。すげえ太い子がいてプログラム意味論の話ししてて、自己紹介でセキュリティの話ししてたから、セキュキャンの卒業生だよーて話しかけたら少し盛り上がった。

めちゃめちゃ詳しくて、証明系に興味あるらしかった。なんでああいう子らは証明されている振る舞いに興味を示すのか。

彼らにお話しできるほど詳しい知識が無くて悲しいな。精進しまする。