野口 真柊 Mashu Noguchi
修士課程に居ます． 数理論理学に主な興味があり，その中でも特に様相論理や非古典的論理に関心があります． それ以外には定理証明支援系による数学の形式化にも興味があります．