自己紹介 モノグサでソフトウェアエンジニアとしてインターンをさせていただいていた深石です。現在は東京工業大学の学部4年で、数理論理学やプログラム検証の理論を研究しています。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。