コンピュータプログラムにバグ(誤り)がないかどうか、コンピュータ自身を使って調べる方法を研究しています。つまり、プログラム実行中に現れうるすべての状況を、コンピュータの計算能力を使ってしらみつぶしに調べる方法の研究です。どんな誤りでも見つけられるような万能の方法はなく、調べたい事柄に応じて方法を工夫したり組み合わせたりする必要があり、そこがおもしろさでもあります。
All work and no play makes Jack a dull boy.
好きなことに一所懸命打ち込む、という経験を学生時代にぜひしてほしいと思います。勉強ができる人より人間性豊かな人を目指してほしいと思います。
高田先生は真面目で穏やかな先生ですね。話したことや聞いたことは些細なことでもちゃんと覚えてくれていますし、連絡も必ず早めにしてくれます。また、休憩中はコーヒー片手に研究室に来て生徒とお喋りをされたりすることもあります。見た目が若いこともあり、生徒としては接しやすい先生だと思います。
Copyright © 2009 School of Information. All Rights Reserved.