\345\215\222\346\245\255\347\240\224\347\251\266 2022.md
... ...
@@ -18,16 +18,12 @@
18 18
* 実用関数における二分決定図のノード数に関する研究,菊地 将太
19 19
* 変数の個数に応じた論理関数の感度の分布に関する研究,千葉 裕登
20 20
* Vitis AIを用いた機械学習推論のFPGA実装とその評価に関する研究,武藏 悠雅
21
-
22 21
* Computational Complexity of Yugo Puzzle,叶 尚弥
23 22
* 列挙問題に対するe-reductionを用いた困難性の証明,髙橋 智宏
24 23
* 包囲多角形の外周長最小化問題における第K最適解を求めるアルゴリズム,武田 匠
25 24
* グラフ認識問題に対するサポートベクターマシンの性能評価,田中 悠太
26 25
* Proving PSPACE-hardness of Donkey Kong Tropical Freeze,森山 未唯
27 26
28
-
29
-
30
-
31 27
# レジュメ
32 28
指導教員にPDFファイルで提出してください。
33 29
レジュメ用のLaTeXスタイルファイルは[[こちら|https://github.com/j0306043/jcourse-proceeding]]。