蒼空ことり

数理論理学（主にモデル理論）を研究中です。 数学の高校教員を目指しています。 upLaTeXで資料を作成したり，ちょっとしたプログラミングをしたりしています。