インターン生のLT会に行った。すげえ太い子がいてプログラム意味論の話ししてて、自己紹介でセキュリティの話ししてたから、セキュキャンの卒業生だよーて話しかけたら少し盛り上がった。
めちゃめちゃ詳しくて、証明系に興味あるらしかった。なんでああいう子らは証明されている振る舞いに興味を示すのか。
彼らにお話しできるほど詳しい知識が無くて悲しいな。精進しまする。
インターン生のLT会に行った。すげえ太い子がいてプログラム意味論の話ししてて、自己紹介でセキュリティの話ししてたから、セキュキャンの卒業生だよーて話しかけたら少し盛り上がった。
めちゃめちゃ詳しくて、証明系に興味あるらしかった。なんでああいう子らは証明されている振る舞いに興味を示すのか。
彼らにお話しできるほど詳しい知識が無くて悲しいな。精進しまする。