立木研究室のメンバー（2009年度）
博士後期課程１年：
戸田 貴久
卒業生：
杉原 佳次(2006年度博士後期課程修了）
名田 元 (2008年度修士課程修了）
増田 要平 (2007年度修士課程修了）
戸田 貴久（2005年度修士課程修了）
高尾 知則（2003年度修士課程修了）
福住 英美子（2003年度修士課程修了）
栗栖 芳大郎（2007年度学部卒）
久保 広行(2006年度学部卒）
草川 恵太（2004年度学部卒）
太田 裕之(2001年度学部卒）
河村 彰星 (2005年度，研究指導委託生)
博士論文
杉原 佳次 「グレイコードの性質を用いた画像処理に関する研究」（2006 年度）
修士論文
名田 元 「超現実数の計算可能性」
(2008年度）
増田 要平 「重六角錐フラクタルの立方体近似の数独的色付けの数え上げ」（2007年度）
戸田 貴久 「射影空間における凸概念について」（2005 年度）
杉原佳次 「不定元を含むストリーム計算の実現」 (2003 年度)
福住英美子 「並列論理型言語への変換による関数型言語の並列拡張」 (2003 年度)
高尾知則 「ストリームによる実数計算の意味論」 (2003 年度)