Javier Esparza

新しい方法がインタラクティブ証明を効率化しようとしてるんだ。

状況に応じた公式が論理的推論の中で変わる様子を学ぼう。

弱い非循環図は、コンピュータが複雑なデータを効率的にナビゲートするのを助ける。

忍者がどうやってコミュニケーションをとって、変化する環境で重要な行動を決めるのかを発見しよう。