[Japanese][English]
萩野 達也(はぎの たつや)
慶應義塾大学 環境情報学部 教授
- 連絡先
- 〒252-8520 神奈川県藤沢市遠藤5322
- 慶應義塾大学 環境情報学部
- i506
- 個室: 0466-49-3446
- E-Mail: hagino@sfc.keio.ac.jp
予定表
講義関連
プロフィール
- 生年月日:
- 1958年5月9日金曜日 (戸籍は5月19日)
- 出生地:
- 神奈川県川崎市南幸町2丁目13番地
- 学歴:
- 1965年4月〜1971年3月: 兵庫県加古川市立別府(べふ)小学校
- 1971年4月〜1974年3月: 兵庫県加古川市立浜の宮中学校
- 1974年4月〜1977年3月: 兵庫県立加古川東高等学校
- 1977年4月〜1981年3月: 京都大学理学部
- 1981年4月〜1983年3月: 京都大学大学院理学研究科数理解析専攻修士課程
- 1983年4月〜1984年9月: 京都大学大学院理学研究科数理解析専攻博士課程
- 1983年10月〜1986年9月: エジンバラ大学理学部計算機科学科理論Ph.Dコース
- 職歴:
- 1986年10月〜1987年9月: エジンバラ大学理学部計算機科学科研究員
- 1987年10月〜1990年3月: 京都大学大型計算機センター助手
- 1990年4月〜1992年3月: 慶應義塾大学環境情報学部専任講師
- 1992年4月〜2001年3月: 慶應義塾大学環境情報学部助教授
- 2001年4月〜現在: 慶應義塾大学環境情報学部教授
- 1996年9月〜1997年8月: 米国カーネギー
メロン大学訪問研究者(visiting scientist)
- 1997年9月〜2009年4月: World Wide Web
Consortium Deputy Director for Asia
- 1999年10月〜2005年9月: SFC運営委員会委員(2001年10月より教育担当)
- 2000年10月〜2003年9月: 湘南藤沢ITC所長
- 2001年10月〜2005年9月: 慶應義塾大学大学評議会委員
- 2001年10月〜2007年9月: SFC研究所運営委員会委員
- 2001年6月〜2002年3月: INTAPセマンティックWebタスクフォース顧問
- 2002年4月〜2005年3月: INTAPセマンティックWeb委員会顧問
- 2003年10月〜2005年9月: 慶應義塾ITC副所長
- 2005年10月〜2007年9月: 慶應義塾ITC所長
- 2005年10月〜2007年9月: 慶應義塾大学外国語教育研究センター運営委員会委員
- 2005年4月〜現在: INTAP次世代委員会顧問
- 2005年5月9日〜2009年3月: デジタルメディア・コンテンツ統合研究機構 倫理委員
- 2005年6月〜2008年5月: 情報科学国際交流財団選考委員
- 2005年10月〜2007年9月: 湘南藤沢ITC利用者協議会オブザーバ
- 学位:
- Ph.D in Computer Science, エジンバラ大学1987年
- 学位論文:
- Categorical Programming Language
参加してきたプロジェクト
- 1980年〜1983年 IOTAプロジェクト
- 1983年 Prolog-KABA開発
- 1984年〜1987年 IPE (Interactive Proof Editor)プロジェクト
- 1988年〜1991年 分散OS ToMプロジェクト
- 1991年〜1995年 オープンメディアコンソーシアム オープン分散プロジェクト
- 1994年〜1997年 マルチメディア教育ネットワークプロジェクト
- 1992年〜1995年 科研費 重点領域 超並列 C班
- 1992年〜1996年 開放型基盤ソフトウェア研究開発プロジェクト
(Multi Media Platform Project)
- 1996年〜1998年 次世代マイクロカーネル研究開発プロジェクト
- 1998年〜1999年 R3研究開発プロジェクト
- 1997年〜 World Wide Web Consortium, Deputy Director for Asia
- 1998年〜2000年 次世代デジタル応用基盤技術開発事業 次世代WEB技術
研究テーマ
- プログラミング言語意味論
- カテゴリー理論的プログラミング言語
- 関数型プログラミング言語
- (並列)論理プログラミング言語
- プログラムの証明
- 自動証明
- 型理論
- オペレーティングシステム
- マイクロカーネル
- リアルタイム・マイクロカーネル
- 分散共有メモリ
- 分散システム
- 超並列計算機
- 超高速ネットワーク
- プログラミング言語教育
- マルチメディア教育システム
- マルチ・ハイパーメディア
プロジェクト紹介
公開ソフトウェア
以下のソフトウェアは非営利教育目的に使う限り、自由にお使い下さい。
- タイプ練習ソフトウエアyumiko先生
- 情報処理教育用プレゼンテーションソフトウェアiplohp
- マルチメディア教育プレゼンテーションソフトウェアmio version3
- iplohpの改良版。カラー、LISPベース言語、オブジェクト指向、マルチ
スレッド、OpenGLサポート。
- 配布準備中
hagino@sfc.keio.ac.jp