To English Page
授業関連
- アルゴリズム論
- 言語処理系
- システム評価設計工学特論
- ディペンダブルシステム特論
- ディペンダブルコンピューティング特論
研究
研究者情報検索より
- 耐故障システムと高信頼計算
- 関数 (型) プログラミング言語 (特に Haskell)
- 高信頼相互結合網
- 教育システム
メンバ
教授
助教
秘書
院生
- 平松 勲
- 鄭 信雨
- 市田 展之
- 王 乙同
- 張 珺
- 太田 佳佑
- 安藝 耀太郎
- 阿部 安倫
- 金子 新
学部生
- 佐藤 翼
- 橋之口 凌平
- 小原 悠ノ介
- 神崎 竜真
- 大和 晃旗
研究生
外部研究協力者
海外
- ヤゲロニア大学(ポーランド) Bipin Indurkhya 教授
- ハノイ科学技術大学(ベトナム) Huynh Thi Thanh Binh 准教授
- ブライトン大学(連合王国) Marcus Winter 講師
- エジンバラ大学(連合王国) Kay Penny 講師
国内
- 法政大学 李 亜民 教授
- 津田塾大学 都田 青子 教授
- 神奈川大学 Antoine Bossard 教授
- 東京成徳大学 石川 正敏 准教授
- 信州大学 平井 佑樹 准教授
- 玉川大学 田中 昂文 助教
k1kaneko(a)cc.jskrtf.com