bf71b96d473679d27829d0d07c795ab68dbd8fdd
\345\215\222\346\245\255\347\240\224\347\251\266 2022.md
| ... | ... | @@ -18,10 +18,9 @@ |
| 18 | 18 | * 実用関数における二分決定図のノード数に関する研究,菊地将太 |
| 19 | 19 | * 変数の個数に応じた論理関数の感度の分布に関する研究,千葉 裕登 |
| 20 | 20 | * Vitis AIを用いた機械学習推論のFPGA実装とその評価に関する研究,武藏 悠雅 |
| 21 | - |
|
| 22 | 21 | * 包囲多角形の外周長最小化問題における第K最適解を求めるアルゴリズム,武田 匠 |
| 23 | 22 | * グラフ認識問題に対するサポートベクターマシンの性能評価,田中悠太 |
| 24 | -* |
|
| 23 | +* Proving PSPACE-hardness of Donkey Kong Tropical Freeze,森山未唯 |
|
| 25 | 24 | * |
| 26 | 25 | * |
| 27 | 26 |