研究課題
戦略的な研究開発の推進 戦略的創造研究推進事業 ACT-X
すべて 2024
すべて 雑誌論文 (1件) (国際共著 1件、 査読あり 1件)
Proc. of the 65th IEEE Annual Symposium on Foundations of Computer Science (FOCS2024)
ページ: 369-378