\350\213\261\350\252\236\350\253\226\346\226\207\343\202\273\343\203\237\343\203\212\343\203\274 2024.md
... ...
@@ -39,7 +39,7 @@
39 39
* 石村　怜：
40 40
* 後藤　萌々花：
41 41
* 佐々木　智紀：
42
-* 髙橋　優和：
42
+* 髙橋　優和：Generating all maximal induced subgraphs for hereditary and connected-hereditary graph properties
43 43
* 吉田　向日葵：
44 44
45 45
* チェ　ヒョンス："Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures"を見てます(24/4/1)