コンピューターのプログラムを作る人間の頭の中を分析する
中野 浩教授
Hiroshi Nakano
専門領域・
研究テーマについて
専門分野について教えてください。
プログラミング言語の型理論と呼ばれる分野の研究をしています。人間がコンピューターのプログラムを作る際に、何をどのように考えてプログラミングをしているのかを分析して整理する分野と言ったら良いでしょうか。楽にプログラムを作れるようにしたり、プログラムの間違いを少なくしようとするものです。
専門分野の面白さは、どんなところですか?
自分を含めたプログラマがどのように考えてプログラムを書いているのか、その頭の中を分析するが楽しいです。 ああそうか、こんな風に考えているのかという発見の喜びがあります。