コンピューターを操る呪文
—プログラミング言語—
（信頼性情報システム工学科・香川研究室）

香川研究室では、つぎのような研究をおこなっています。

プログラムは魔法の呪文

コンピューターは、むずかしい計算をしたり、インターネットをしたり、ゲームをしたりと、いろいろなことができる魔法のハコ・魔法の杖です。コンピューターにこういうことをせよ、と伝えるための魔法の呪文がプログラムです。プログラムがなければ、どんなにすばらしいコンピューターでもまったく役に立ちません。プログラムを書くためには、プログラミング言語という呪文の体系を使います。

呪文体系（プログラミング言語）には、Java, C, C++, PHP, Python, C#, BASIC, Perl, Ruby, JavaScript, Lisp, Pascal, Fortran, ML, Prolog, Haskell, Scala, Swiftなどなど、いろいろな種類があります。なぜかというと、得意分野がちがうからです。ゲームの世界も魔法使いによって得意な分野がちがったりしますよね？ どんな分野にも使うことができて、簡単で、強力で、ミスがおこりにくい、そんな理想的な呪文の体系があればよいのですが、なかなかそうは行きません。

そこで、私たちは、強力でしかもミスがおこりにくい呪文体系（プログラミング言語）の研究、とくに型システムという、呪文をまちがって組み合わせないようにするためのシステムの研究をしています。

魔法使いのたまごを応援

せっかくすばらしい呪文体系があっても、それを使いこなせる魔法使い（プログラマー）がいなければ、意味がありません。しかし、呪文の修行はむずかしく、はじめのほうでつまづいてしまう魔法使いのたまごも多いようです。

そこで、香川研究室では、SWF, SVG, X3Dなどの2D/3DのWebアニメーション技術を用いて、インターネットの上で呪文（プログラミング）を楽しく修行できるように、魔法使いのたまごを応援するシステムを研究しています。