垂井研究室ホームページ
情報理工学研究科 情報・ネットワーク工学専攻 情報数理工学（MI)プログラム
専門：理論計算機科学：計算量理論，アルゴリズム，
計算論的学習理論，計算論的ゲーム理論
研究室：東３号館 ８０１（学生室），８２４（教官室），８１８
教官：垂井淳（Jun Tarui)
juntarui at uec.ac.jp
研究室に関する説明資料：
パワーポイント(8MB)
一般雑誌に垂井が書いた解説記事：
数学セミナー2022年1月号(2MB)
数学セミナー2013年12月号(2MB)
数理科学2006年9月号(200KB)
学生の研究に関する動画
中野くん（修士２年・２０２１年３月卒業）
セレクションネットワークの最小深さ―ペブルゲームによる解析―
セレクションネットワークという、小さい値を探すネットワークがあります。
このネットワークが値を探すのに必要な最小計算時間を調べました。
そのために、値が比較で負けた回数に着目したペブルゲーム解析を行いました。
結果、2のn乗個の値から小さい2個の値を探すネットワークの最小計算時間の下界がわかりました。
佐藤くん（卒研生・２０２２年３月卒業）
富樫くん（卒研生・２０２１年３月卒業）
2次元ペブルゲームの解析支援システム
2次元ペブルゲームという数理ゲームがあります。
このゲームを実際にプレイしながら最小手数を調べたい、
という思いから解析支援システムを実装しました。
-
プログラミング・アルゴリズム設計コンテスト
-
大学院講義：理論計算機科学特論関連
-
学部講義：計算理論関連
-
学部講義：離散数学関連
-
国際科目講義：Computational Complexity（講義はすべて英語）