研究分野 専門はプログラミング言語、特に型システムです。 関数型と命令型パラダイムの融合、 型推論のオブジェクト指向や並列言語への応用に興味を持っています。 また、学生と一緒に Webベースのプログラミング学習支援システムの開発に取り組んでいます。 コンピュータを操る呪文 —プログラミング言語— (研究室紹介用ポスター) (HTML版, PDF版) お絵かきプログラミング (香川研究室オープンキャンパス 展示) Wappen EclipseRCPに基づく Webベースのプログラミング学習プラットフォーム WappenLite 軽量の Webベースプログラミング学習プラットフォーム 発表論文リスト 香川研究室のぺージ、 香川研究室内連絡用ページ 担当授業 おもにプログラミング、プログラミング言語の実装・意味論に関する講義や演習を担当しています。 科目名 配当学期 主な学習項目