2019年撮影
2028年度まではこれでいきます。
2019年撮影
2028年度まではこれでいきます。
| 1968年 10月 | 奈良県生まれ |
| 1996年 3月 | 京都大学理学研究科数理解析専攻 博士課程修了 |
| 現在 | 香川大学創造工学部 電子・情報工学領域 准教授（情報コース 担当） |
専門はプログラミング言語、特に型システムです。 関数型と命令型パラダイムの融合、 型推論のオブジェクト指向や並列言語への応用に興味を持っています。 また、学生と一緒に Webベースのプログラミング学習支援システムの開発に取り組んでいます。
おもにプログラミング、プログラミング言語の実装・意味論に関する講義や演習を担当しています。
| 科目名 | 配当学期 | 主な学習項目 |
|---|---|---|
| プログラミング | （1年後期） | C言語を対象、 条件分岐・繰返し・配列・関数・再帰など、 手続き型プログラミングの基礎概念 |
| 2026年度、 2025年度、 2024年度、 2023年度、 2022年度、 | ||
| オートマトン | （3年第2Q） | オートマトン・字句解析・チューリングマシンなど |
| 2024年度、 2023年度、 2022年度、 | ||
| コンパイラ | （3年後期） | プログラミング言語処理系の仕組み （主に構文解析） |
| 2023年度、 2022年度、 | ||
| オブジェクト指向言語 | （3年前期） | Java言語を対象、 オブジェクト指向プログラミングの基本概念 （継承・カプセル化・動的束縛など） |
| 2026年度、 2025年度、 2024年度、 2023年度、 2022年度、 | ||
| オブジェクト指向言語演習 | （3年前期） | 上記「オブジェクト指向言語」に対する演習 |
2026年度、
2025年度、
2024年度、
2023年度、
2022年度、
2021年度以前2021年度、 2020年度、2019年度以前は、「ソフトウェア工学演習Ⅱ」の 15 週のうち 7 週 2019年度、 2018年度、 2017年度、 2016年度、 2015年度、 2014年度、 2013年度、 2012年度、 2011年度、 2010年度、と、 「情報環境実験Ⅱ」の 15 週のうちの 5 週 2019年度、 2018年度、 2017年度、 2016年度、 2015年度、 2014年度、 2013年度、2012年度、 2011年度、2010年度、 に分かれていました。 さらに、2009年度は「情報システム演習」、 2009年度、 2007,08年度は「ソフトウェア工学演習」の一部でした。 2008年度、 2007年度、 | ||
| プログラミング言語論 | （大学院 後期） | 高階関数・モナドなど関数型プログラミングの諸概念、さまざまなプログラミング言語の“意味論”の基礎と λ 計算 |
| 2026年度、 2025年度、 2024年度、 2023年度、 2022年度、 | ||
〒 761-0396 高松市林町 2217-20
香川大学創造工学部（情報コース担当）
電話: 087-864-2212、
FAX: 087-864-2262 （コース共通）