修了者など
計算理論研究室の修了者、博士・修士・卒業論文、研究員、特別研究学生(研究指導受託)など
研究員など
朴世原 令和4年4月~6年3月 外国人特別研究員(京大数解研)
リッカルド・ゴッツィ 令和3年11月~4年3月 特定研究員(京大数解研)
朴世原 令和3年10月~4年3月 特定研究員(京大数解研)
ホルガー・ティース 平成30年9月~令和元年5月 学術振興会特別研究員PD(九大シス情)
博士
- ホルガー・ティース 博士論文 「Uniform computational complexity of ordinary differential equations with applications to dynamical systems and exact real arithmetic(常微分方程式の一様計算量およびその力学系と厳密数値計算への応用)」 平成30年9月修了(東大総文)
修士
藤田直樹 修士論文「線形回帰数列の補間の解析がもたらすSkolem問題の部分的判定可能性について」 令和8年3月修了(京大理)
萩原普賢 修士論文「2階ホロノミック列の定常符号」 令和6年3月修了(京大理)
廣島佳汰 修士論文「初等的に追跡される無理数」 令和6年3月修了(京大理)
濱本裕充 修士論文「On the parameterized complexity of real functions with unbounded domains(非有界な定義域を持つ実関数のパラメータ付き計算量について)」 平成31年3月修了(東大総文)
能城秀彬 修士論文「複数の巡査の協力による指定地点の警邏について」 平成30年3月修了(東大総文)
卒業論文
熊本舟馬 卒業論文「文字列が非決定性有限オートマトンで略述不能であるための十分条件について」 令和2年3月卒業(九大理)
馬場康輔 卒業論文「4-conneted-freeグラフにおける到達性判定問題」 令和2年3月卒業(九大理)
山田凌乃介 卒業論文「直線上のオンラインdial-a-ride問題の改良アルゴリズムの考察」 令和2年3月卒業(九大工)
神﨑貴裕 卒業論文「コンピュータゲームの多ステップ強化学習における行動価値関数の調整について」 平成31年3月卒業(九大工)
長期滞在学生
草野陽介(京大・修士課程) 令和7年4月〜8年3月(京大理)
マルルー・ヘイゼン(北陸先端大・博士課程) 平成31年4月~令和元年9月 特別研究学生(九大シス情)
ユリス・レシーヌ(リヨン高等師範学校・修士課程) 平成30年5~8月 特別研究学生(九大シス情)
フロリアン・シュタインベルク(ダルムシュタット工科大・博士課程) 平成28年3~6月 特別研究学生(東大総文)
京大数解研=京都大学数理解析研究所
京大理=京都大学大学院理学研究科
九大シス情=九州大学大学院システム情報科学府
九大理=九州大学理学部
九大工=九州大学工学部
東大総文=東京大学大学院総合文化研究科