よく覚えていないが 2006年ころ？撮影 （ちょっと古い）
2015年まではこれでいきます。
よく覚えていないが 2006年ころ？撮影
（ちょっと古い）
2015年まではこれでいきます。
| 1968年 10月 | 奈良県生まれ |
| 1996年 3月 | 京都大学理学研究科数理解析専攻 博士課程修了 |
| 現在 | 香川大学工学部 信頼性情報システム工学科 情報環境コース 准教授 |
専門はプログラミング言語、特に型システムです。 関数型と命令型パラダイムの融合、 型推論のオブジェクト指向や並列言語への応用に興味を持っています。 また、学生と一緒に Webベースのプログラミング学習支援システムの開発に取り組んでいます。
おもにプログラミング、プログラミング言語の実装・意味論に関する講義や演習を担当しています。
| 科目名 | 配当学期 | 主な学習項目 |
|---|---|---|
| 教養ゼミナール | （1年前期） | さまざまなトピックを選んで調査・発表、 大学で学んでいくのに必要な総合的な“基礎力” |
| 交替で 3年に１度程度担当 | 2010年度, 2007年度, | |
| プログラミングⅠ | （1年後期） | C言語を対象、 条件分岐・繰返し・配列・関数・再帰など、 手続き型プログラミングの基礎概念 |
| 交替で 3年に１度程度担当 | 2011年度、 2008年度 | |
| プログラミングⅡ | （2年前期） | C言語の構造体・ポインタ・文字列処理・ファイル入出力など |
| 交替で 3年に１度程度担当 | 2009年度 | |
| コンパイラ | （3年前期） | プログラミング言語処理系の仕組み （主に字句解析・構文解析） |
|
2011年度、
2010年度、 2009年度以前は「プログラム言語論」 （2年後期）という科目名でした。 2009年度、 2008年度、 2007年度、 | ||
| コンパイラ・データベース演習 | （3年前期） | （15週のうち 7週を担当） 上記「コンパイラ」に対する演習 |
|
2011年度、
2010年度、 2009年度以前は「システムソフトウェア演習」 （2年後期）の一部でした。 2009年度、 2008年度、 2007年度、 | ||
| オブジェクト指向言語 | （3年前期） | Java言語を対象、 オブジェクト指向プログラミングの基本概念 （継承・カプセル化・動的束縛など） |
|
2011年度、
2010年度、 2009年度以前は 「計算機ネットワークⅠ」（3年前期）・ 「計算機ネットワークⅡ」（3年後期）の半分ずつにわかれていました。 2009年度（Ⅰ, Ⅱ）、 2008年度（Ⅰ, Ⅱ） 2007年度（Ⅰ, Ⅱ）、 | ||
| ソフトウェア工学演習Ⅱ | （3年前期） | （15週のうち7週を担当） 上記「オブジェクト指向言語」に対する演習 |
| 2011年度、 2010年度、 | ||
| 情報環境実験Ⅱ | （3年後期） | （15週のうち5週を担当） 上記「オブジェクト指向言語」に対する演習 （上級編） |
|
2011年度、
2010年度
2009年度は「情報システム演習」、 2009年度、 2007,08年度は「ソフトウェア工学演習」の一部でした。 2008年度、 2007年度、 | ||
| プログラミング言語特論 | （大学院後期） | 前半 … Haskellを対象、
λ式・高階関数・モナドなど関数型プログラミングの諸概念 後半 … さまざまなプログラミング言語の“意味論”の基礎 |
| 2011年度、 2010年度、 2009年度、 2008年度、 2007年度、 | ||
〒 761-0396 高松市林町 2217-20
香川大学工学部信頼性情報システム工学科
電話: 087-864-2212、
FAX: 087-864-2262 （学科共通）