学生の活躍

平成28年度修士修了

  • 奈良 勇佑
  • 修士論文発表会(2017.2.9, 情報工学科P203号室)
    「グラフ構造に着目した偽客検出の強化」
  • 福田 拓也
  • 修士論文発表会(2017.2.9, 情報工学科P203号室)
    「ソーティングネットワーク空間の解析」
  • 春山 慎宜
  • 修士論文発表会(2017.2.9, 情報工学科P203号室)
    「多軸回転p4タイリングの探索」
  • - 「On the number of p4-tilings by an N-omino」
    Proc. of the 28th International Symposium on Algorithms and Computation (ISAAC 2017) (2017.12.9-12, Phuket, Thailand)

平成27年度修士修了

  • 伊藤 慶祐
  • 修士論文発表会(2016.2.23, 情報工学科メディアルーム)
    「遺伝的アルゴリズムを用いた最適ソーティングネットワークの探索」
  • 金井 祐介
  • 修士論文発表会(2016.2.23, 情報工学科メディアルーム)
    「ディープラーニングを用いた画像認識システムの構築」
  • 舘 将馬
  • 修士論文発表会(2016.2.23, 情報工学科メディアルーム)
    「論理関数に対する効率的な多項式しきい値表現」
  • 2016年度夏のLAシンポジウム (2016.7.21,奈良県生駒郡)
    「論理関数のPTF表現のXOR補題について」
  • 手島 健吾
  • 修士論文発表会(2016.2.23, 情報工学科メディアルーム)
    「ディープラーニングを用いた為替市場の予測」
  • 野口 大樹
  • 修士論文発表会(2016.2.23, 情報工学科メディアルーム)
    「Top-k距離特徴量に基づく機械学習によるリンク予測」

平成26年度博士修了

  • 斎藤 惇
  • 博士学位論文:「Algorithms and Lower Bounds for Threshold Circuits」
  • 「A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits」
    - 電子情報通信学会 コンピュテーション研究会 (2014.4.24,仙台)
    - The 17th Korea-Japan Joint Workshop on Algorithms and Computation (2014.7.13-15,Okinawa)
    - IEICE Trans.Inf. & Syst.,Vol. E98-D, No.1, pp.108-118 (Jan. 2015)
  • 「A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Size Lower Bounds against NEXP」
    - 電子情報通信学会 コンピュテーション研究会 (2014.12.5,崇城大@熊本)
    - The 9th Int'l Conf. on Language and Automata Theory and Applications (LATA '15) (2015.3.2-6, Nice, France)
    - 電子情報通信学会総合大会 COMP-ELC学生シンポジウム DS-1-14 (2015.3.10-13,立命館大学)

平成26年度修士修了

  • 石岡 優助
  • 修士論文発表会(2015.2.19, 情報工学科メディアルーム)
    「最適ソーティングネットワークの構成と解析」
  • 岡戸 裕樹
  • 修士論文発表会(2015.2.19, 情報工学科メディアルーム)
    「グラフの全彩色予想に関する研究」
  • 木村 亮介
  • 修士論文発表会(2015.2.19, 情報工学科メディアルーム)
    「グラフのセキュリティ数の評価」
  • 増村 尚大
  • 修士論文発表会(2015.2.19, 情報工学科メディアルーム)
    「多項式しきい値関数密度の上界」

平成25年度修士修了

  • 重田 真那実
  • 2013年度冬のLAシンポジウム(2014.1.29, 京都大学数理解析研究所)
    「Ordered Biclique Partitionと通信計算量」
    - EATCS/LA Sutdent Presentation Award 受賞
  • 「Ordered Biclique Partitions and Communication Complexity Problems」
    Disc. Appl. Math., Vol. 184, pp. 248-252 (Mar. 2015) ArXiv:1311.6192
  • 修士論文発表会(2014.2.20, 情報工学科メディアルーム)
    「Ordered Biclique Partitionと通信計算量」

  • 田口 あゆみ
  • 修士論文発表会(2014.2.20, 情報工学科メディアルーム)
    「タイリンググラフの{1,2}-Lucky Labeling」
  • 贄田 崇史
  • 修士論文発表会(2014.2.20, 情報工学科メディアルーム)
    「2-Separable Matrixの探索」

  • 吉田 翔
  • 修士論文発表会(2014.2.20, 情報工学科メディアルーム)
    「Distinct 2-Sum Setの解析」

平成24年度修士修了

  • 井野 祐介
  • 修士論文発表会(2013.2.20, 情報工学科メディアルーム)
  • 「C-NOTを用いた置換量子回路の最適化」

  • 降旗 大輔
  • 修士論文発表会(2013.2.20, 情報工学科メディアルーム)
    「ABC End Viewの解の性質」

  • 松本 淳也
  • 修士論文発表会(2013.2.20, 情報工学科メディアルーム)
    「拡張Beck-StrategyによるSnakyの解析」

平成23年度修士修了

  • 須永 知大
  • 修士論文発表会(2012.2.20, 情報工学科メディアルーム)
  • 「進化計算による敏感度の低減手法の研究」

  • 高田 健司
  • 修士論文発表会(2012.2.20, 情報工学科メディアルーム)
    「グラフの単位長配置のASP完全性」
  • 2012年冬のLAシンポジウム(2012.2.1, 京都大学数理解析研究所)
    「グラフの正方格子上への単位長配置について」
    (数理解析研究所講究録 No. 1799 p. 145-152, 2012.6)

  • 高野 将
  • 修士論文発表会(2012.2.20, 情報工学科メディアルーム)
    「蟻コロニー最適化によるTSPの近似解探索の研究」

  • 田中 秀吉
  • 修士論文発表会(2012.2.20, 情報工学科メディアルーム)
    「遺伝的アルゴリズムによる超立方体中の蛇の探索」

  • 若崎 晃裕
  • 修士論文発表会(2012.2.20, 情報工学科メディアルーム)
    「重み付き完了時間スケジューリングに対するオンラインアルゴリズムの性能評価」

平成22年度修士修了

  • 星島 孝紀
  • 修士論文発表会(2011.2, 情報工学科メディアルーム)
    「ZBDDを用いた縮小型数独の解析」

  • 山本 勝稔
  • 修士論文発表会(2011.2, 情報工学科メディアルーム)
    「Quasi-Bipartiteグラフにおけるシュタイナー木問題の近似アルゴリズムの研究」

平成21年度修士修了

  • 石田 和成
  • 修士論文発表会(2010.2, 情報工学科メディアルーム)
  • 「最大クリーク問題に対する指数時間アルゴリズムの研究」

  • 島田 学
  • 修士論文発表会(2010.2, 情報工学科メディアルーム)
    「中間層予想に関する研究」
  • 情報処理学会アルゴリズム研究会(2010.5, 北陸先端科学技術大学)
    「ギガ頂点グラフのハミルトン路探索と中間層予想について」
  • 「A Note on the Middle Levels Conjecture」 ArXiv:0912.4564

  • 鈴木 雅也
  • 修士論文発表会(2010.2, 情報工学科メディアルーム)
    「遺伝的アルゴリズムを用いたネットワークソート最適化に関する研究」

  • 高林 慎
  • 修士論文発表会(2010.2, 情報工学科メディアルーム)
    「条件付きグラフの量子探索アルゴリズム」

平成20年度修士修了

  • 飯田 和樹
  • 修士論文発表会(2009.2.19, 情報工学科メディアルーム)
    「通信量を極小にする k人中央値計算アルゴリズム」

  • 国吉 淳平
  • 修士論文発表会(2009.2.19, 情報工学科メディアルーム)
    「中間機械型スケジューリング問題に対する近似アルゴリズムの研究」

  • 前澤 秀樹
  • 修士論文発表会(2009.2.19, 情報工学科メディアルーム)
    「頂点順序付けに基づくシュタイナー木問題の近似アルゴリズムの研究」

  • 松本 健
  • 修士論文発表会(2009.2.19, 情報工学科メディアルーム)
    「量子回路の正規形」
  • 電子情報通信学会コンピュテーション研究会 (2008.3.10,神奈川)
    「Clifford + π/8 量子回路の計算能力」
  • 国際会議 AQIS2008 (2008.8, ソウル(韓国))
    「Representation of Quantum Circuits with Clifford and pi/8 gates」 ArXiv:0806.3834

学部4年生の活躍

  • 岩瀬 祐大
  • 卒業研究発表会(2017.2.20, 情報工学科メディアルーム)
    「単語間の類似度を利用した番組抽出」
  • 木村 健斗
  • 卒業研究発表会(2017.2.20, 情報工学科メディアルーム)
    「Anti-Slideにおける詰め方の個数と体積比」
  • 栗原 和之
  • 卒業研究発表会(2017.2.20, 情報工学科メディアルーム)
    「碁石拾いにおける解の個数と一意性」
  • 佐藤 大河
  • 卒業研究発表会(2017.2.20, 情報工学科メディアルーム)
    「過去ロボカップサッカーシミュレーションにおける遺伝的アルゴリズムの有効性」
  • 町田 和哉
  • 卒業研究発表会(2017.2.20, 情報工学科メディアルーム)
    「機械学習を用いたTwitterにおける性別の自動推定」
  • 飯塚 伸之
  • 卒業研究発表会(2015.8.25, 情報工学科メディアルーム)
    「Radix Heapを用いたDijkstra法の並列化」
  • 安藤 慎
  • 卒業研究発表会(2016.2.29, 情報工学科メディアルーム)
    「ペンシルパズル「美術館」における難易度に応じた問題生成」
  • 大城 嘉由樹
  • 卒業研究発表会(2016.2.29, 情報工学科メディアルーム)
    「Tapaの問題作成支援ソフトの開発」
  • 佐々木 雄大
  • 卒業研究発表会(2016.2.29, 情報工学科メディアルーム)
    「テトロミノ・ペントミノを用いた敷き詰めのパターン数」
  • 鈴木 雄太
  • 卒業研究発表会(2016.2.29, 情報工学科メディアルーム)
    「パズル「ひとりにしてくれ」における解の個数」
  • 吉田 昌史
  • 卒業研究発表会(2016.2.29, 情報工学科メディアルーム)
    「人狼ゲームのAI作成」
  • 塚越 諒
  • 卒業研究発表会(2015.2.26, 情報工学科メディアルーム)
    「Takuzuにおける解法と最小ヒント数問題」
  • 奈良 勇佑
  • 卒業研究発表会(2015.2.26 情報工学科メディアルーム)
    「2048のAI作成」
  • 春山 慎宜
  • 卒業研究発表会(2015.2.26 情報工学科メディアルーム)
    「"楽しめる"ぬりかべパズルの自動生成」
  • 福田 拓也
  • 卒業研究発表会(2015.2.26 情報工学科メディアルーム)
    「大貧民のAI作成」
  • 百々 俊樹
  • 卒業研究発表会(2015.2.26 情報工学科メディアルーム)
    「ニューラルネットワークを用いたバイナリーオプション予測」
  • 伊藤 慶祐
  • 卒業研究発表会(2014.2.28, 情報工学科メディアルーム)
    「遺伝的アルゴリズムにおける動的パラメータを用いたパラメータ設定の複雑さの解消」
  • 金井 祐介
  • 卒業研究発表会(2014.2.28 情報工学科メディアルーム)
    「GPGPUを用いた弾幕計算の高速化」
  • 舘 将馬
  • 卒業研究発表会(2014.2.28 情報工学科メディアルーム)
    「量子計算におけるマッチゲート回路のMBQC表現」
  • 手島 健吾
  • 卒業研究発表会(2014.2.28 情報工学科メディアルーム)
    「システムトレードにおける売買アルゴリズムの試案」
  • 野口 大樹
  • 卒業研究発表会(2014.2.28 情報工学科メディアルーム)
    「Contraction Hierarchyのpgroutingへの実装」
  • 石岡 優助
  • 卒業研究発表会(2013.2.27, 情報工学科メディアルーム)
    「組み合わせ爆発を回避するZDD型スリザーリンク解探索」
  • 岡戸 祐樹
  • 卒業研究発表会(2013.2.27, 情報工学科メディアルーム)
    「graph pebblingにおけるpebbling numberの作成」
  • 木村 亮介
  • 卒業研究発表会(2013.2.27, 情報工学科メディアルーム)
    「番号付き2次元ルービックキューブの最大最短手」
  • 増村 尚大
  • 卒業研究発表会(2013.2.27, 情報工学科メディアルーム)
    「ゲーム理論を用いた2対2リンクスライダーの解析」
  • 重田 真那実
  • 卒業研究発表会(2012.8.22, 情報工学科メディアルーム)
    「Erdős-Szekeres予想に対する最大凸多角形逃避集合の解析」
  • 電子情報通信学会論文誌A J96-A-7 (2013.7)
    「ハッピーエンド問題に対する極値的頂点集合の構造」
  • 木村 友也
  • 卒業研究発表会(2012.2, 情報工学科メディアルーム)
    「Connect6における評価関数の作成」

  • シャフリル バンダラ
  • 卒業研究発表会(2012.2, 情報工学科メディアルーム)
    「The Analysis of PPSZ Algorithm in General Case」

  • 田口 あゆみ
  • 卒業研究発表会(2012.2, 情報工学科メディアルーム)
    「ヘキソミノを用いた敷き詰め問題の解探索」
  • 贄田 崇史
  • 卒業研究発表会(2012.2, 情報工学科メディアルーム)
    「非キャタピラグラフの優雅なラベリングに関する研究」
  • 吉田 翔
  • 卒業研究発表会(2012.2, 情報工学科メディアルーム)
    「縮小ぷよぷよにおける連鎖解析」
  • 井野 裕介
  • 卒業研究発表会(2011.2, 情報工学科メディアルーム)
    「フーリエ変換を用いた量子アルゴリズムのシミュレーション」

  • 綱川 僚太
  • 卒業研究発表会(2011.2, 情報工学科メディアルーム)
    「The Graceful Tree Conjecture - 連結ラベリングの提案 -」

  • 梨本 太一
  • 卒業研究発表会(2011.2, 情報工学科メディアルーム)
    「9 x 9 盤面における置き石なし Snaky の解析」

  • 降旗 大輔
  • 卒業研究発表会(2011.2, 情報工学科メディアルーム)
    「GPGPUによる多峰性関数の最適化アルゴリズムの高速化」

  • 松本 淳也
  • 卒業研究発表会(2011.2, 情報工学科メディアルーム)
    「javaによるロボカップサッカー2D選手プログラム」

  • 岩崎 裕之
  • 卒業研究発表会(2010.2, 情報工学科メディアルーム)
    「The Lonely Runner Conjecture - 等比速度に関する研究 -」

  • 須永 知大
  • 卒業研究発表会(2010.2, 情報工学科メディアルーム)
    「二次元格子状における彩色問題の研究」

  • 田中 誠一
  • 卒業研究発表会(2010.2, 情報工学科メディアルーム)
    「グリッドグラフにおけるプロップマシンの解析」

  • 田中 秀吉
  • 卒業研究発表会(2010.2, 情報工学科メディアルーム)
    「The Lonely Runner Conjecture - 等差数列に対する解析 -」

  • 高田 健司
  • 卒業研究発表会(2010.2, 情報工学科メディアルーム)
    「ハンデ付きポリオミノアチーブメントゲームの解析」

  • 若崎 晃裕
  • 卒業研究発表会(2010.2, 情報工学科メディアルーム)
    「Minimum Makespan Scheduling - 中間機械型MMS -」

  • 小柏 陽介
  • 卒業研究発表会(2009.2.27, 情報工学科メディアルーム)
    「The Lonely Runner Conjecture(孤独な走者予想)」

  • 鎌倉 健督
  • 卒業研究発表会(2009.2.27, 情報工学科メディアルーム)
    「ルール追加によるポリオミノアチーブメントゲームの先手必勝法の解析」

  • 細小路 愛幸
  • 卒業研究発表会(2009.2.27, 情報工学科メディアルーム)
    「2つのスタックを用いたソートの研究」

  • 坂田 妙樹
  • 卒業研究発表会(2009.2.27, 情報工学科メディアルーム)
    「ボロノイ図を用いた利益最大の出店方法の提案」

  • 新井 佳津也
  • 卒業研究発表会(2009.2.27, 情報工学科メディアルーム)
    「ストリーム処理における頻出データの抽出アルゴリズム」

平成19年度卒業

  • 石田 和成
  • 卒業研究発表会(2008.3.5, 情報工学科メディアルーム)
    「最大独立集合問題に対する指数時間アルゴリズムの実装と解析」

  • 島田 学
  • 卒業研究発表会(2008.3.5, 情報工学科メディアルーム)
    「中間層予想問題における探索の効率化」

  • 鈴木 雅也
  • 卒業研究発表会(2008.3.5, 情報工学科メディアルーム)
    「オンライン学習理論を用いた株式投資問題への応用」

  • 高林 慎
  • 卒業研究発表会(2008.3.5, 情報工学科メディアルーム)
    「3次元グラフを用いたリニアマシン・プロップマシンの解析」

  • 星島 孝紀
  • 卒業研究発表会(2008.3.5, 情報工学科メディアルーム)
    「ZBDDによるパズルの解法」

平成18年度卒業

  • 飯田 和樹
  • 卒業研究発表会(2007.3.8, 情報工学科メディアルーム)
    「BDDにおける最適変数順序」

  • 国吉 淳平
  • 卒業研究発表会(2007.3.8, 情報工学科メディアルーム)
    「ZBDDと組合せ最適化問題の解法」

  • 前澤 秀樹
  • 卒業研究発表会(2007.3.8, 情報工学科メディアルーム)
    「最大独立集合アルゴリズムの実装と改良」

  • 松本 健
  • 卒業研究発表会(2007.3.8, 情報工学科メディアルーム)
    「量子アルゴリズムの設計法」