(前期課程2年生)私は高校の数学の教員を志望していますが,大学院に進学しました。将来教壇に立った際に数学の面白みを伝えるべき教員自身がその面白みをもっと知っていなければならないと感じた私は,さらに2年間を大学院で過ごすことを決めました。Graphics)におけるプログラム検証を研究しています。パソコンの中にあるプログラムが“正しく動く”とはどういうことなのでしょうか。プログラムが自分の思った通りの振る舞いをすることが“正しく動く”ということだと考えられます。私はそのプログラムの思った通りの動きを仕様として記述し,比較したり,専用のソフトにかけたりすることで調べています。調べた結果をどのように応用できるのかを考えたいと思っています。大学院ではセミナーや学会などの刺激的な機会があり,また,温かい先生方や様々な分野の友人との関わりによって充実した日々を感じています。http://www.h.kobe-u.ac.jp/ja/node/3394。