2018-03-07から1日間の記事一覧
インターン生のLT会に行った。すげえ太い子がいてプログラム意味論の話ししてて、自己紹介でセキュリティの話ししてたから、セキュキャンの卒業生だよーて話しかけたら少し盛り上がった。 めちゃめちゃ詳しくて、証明系に興味あるらしかった。なんでああいう…
インターン生のLT会に行った。すげえ太い子がいてプログラム意味論の話ししてて、自己紹介でセキュリティの話ししてたから、セキュキャンの卒業生だよーて話しかけたら少し盛り上がった。 めちゃめちゃ詳しくて、証明系に興味あるらしかった。なんでああいう…