| オートマトンと形式言語 |
工学部 |
その他・不明 |
| 離散数学・同演習 |
工学部 |
その他・不明 |
| 計算理論 |
工学部 |
その他・不明 |
| 数理論理学 |
工学部 |
その他・不明 |
| ゼミナール |
工学部 |
その他・不明 |
| 情報・生命工学概論I |
工学部 |
その他・不明 |
| 離散数学I 離散数学Ⅰ（旧カリ） |
工学部 |
その他・不明 |
| オートマトンと形式言語 オートマトンと形式言語（旧カリ） |
工学部 |
その他・不明 |
| ゼミナール ゼミナール（旧カリ） |
工学部 |
その他・不明 |
| 離散数学・同演習 離散数学・同演習（旧カリ） |
工学部 |
その他・不明 |
| 数理論理学 数理論理学（旧カリ） |
工学部 |
その他・不明 |
| 計算理論 計算理論（旧カリ） |
工学部 |
その他・不明 |
| 計算量理論特論 |
工学部 |
その他・不明 |
| 知的情報処理領域プロジェクト |
その他・不明・大学院 |
その他・不明 |
| 計算量理論特論 |
その他・不明・大学院 |
その他・不明 |
| 生命情報学論Ａ |
その他・不明・大学院 |
その他・不明 |
| 生命情報学論Ａ |
その他・不明・大学院 |
その他・不明 |
| 生命情報学論Ｂ |
その他・不明・大学院 |
その他・不明 |
| 生命情報学論Ｂ |
その他・不明・大学院 |
その他・不明 |