Lukáš Holík

新しい方法がプログラミングにおける文字列制約の処理を改善してるよ。

新しいアルゴリズムがラベル付き遷移システムのシミュレーション効率を大幅に向上させたよ。

新しい方法が自動機と代数を使って線形整数方程式の解法を改善した。