Marcin Jurdziński

歴史決定論的オートマトンの重要性と、その検証プロセスでの応用を探る。