コンピューターへの指令であるプログラムを書くためには、プログラミング言語という人工的に設計された言語を使います。これまでに多くのプログラミング言語が設計され、使われています。 香川研究室は、信頼性の高いプログラムを、楽に早く作成することができる、そんなプログラミング言語処理系の設計に貢献したいと考えていま