情報系学生。BEで最近はRustに興味あり。理論CSが好みで型やλ計算、領域理論等を日々勉強中。論理学や圏論、計算論などの基礎論分野も興味あり。※免責事項:執筆者は素人で誤字脱字にとどまらない数学的な誤りを含む可能性が多分にあります。記事は参考程度にとどめ、詳細は専門書をご参照ください🙇♂️(FBは大歓迎です!)