mineel

情報系学生。 Go, Rubyでの開発業務をしており、最近はRustに興味あり。 また、理論CSが好みで型やλ計算、領域理論等を日々勉強中。論理学や圏論、計算論などの基礎論分野にも興味あり。