2018 卒業研究(横山研究室)

2015SE003浅野 早紀可逆な深さ優先探索
2015SE019池田 竜平単純な算術式言語の処理系の試作
2015SE027伊藤 雅浩あるクラフトゲームの計算モデルについて
2015SE034加藤 舞多重連結領域上の安定非圧縮流の解析
2015SE050三輪 峻大単純な算術式言語の処理系の試作
2015SE056内藤 綾香多重連結領域上の安定非圧縮流の解析
2015SE070須藤 拓也単純な算術式言語の処理系の試作
2015SE088鵜野 高寛あるクラフトゲームの計算モデルについて
2015SE092山口 春樹可逆な深さ優先探索
2015SE099全 子陽あるクラフトゲームの計算モデルについて