S玉先生に紹介されてMizarをもう一度頑張ってみよう。 しかし、数学自体がわからない。昔、こういうサッチザット系の数学。たしか基礎代数とかいう授業だった。 一回生で、数学系の必修だった単位。私は物理系だったから、自由単位だったけれども。http://ww…