| 職 | 名前 | 研究活動など |
|---|---|---|
| 教授 | 大堀 淳 | programming languages and databases |
| 助教 | 上野 雄大 |
| 学年 | 名前 | 研究活動など |
|---|---|---|
| M2 | 遠藤弘基 | |
| M2 | 松島 勇介 | |
| B4 | 金子 俊輔 | |
| M1 | 大友 聡顕 | |
| M1 | 斎藤 啓太 | |
| M1 | 高橋 和将 | |
| B4 | 菊池 大志 | |
| B4 | 槻木澤 光紘 |
| 所属 | 名前 | 研究活動など | |
|---|---|---|---|
| 算譜工房 | 大和谷 潔 | SML＃の開発，functional development | |
| Hanoi University of Technology | Huu-Duc Nguyen | SML＃の基礎理論，開発 | |
| ASTEM | 吉田 信明 | SML＃の基礎理論，開発 |