中世東アジア論理学による並行性不変量の再構築

要約

この記事は、中世東アジアの論理学を用いて、計算機科学における並行性不変量の概念を再構築する試みについて論じています。歴史的な論理体系と現代のコンピュータサイエンスの概念を結びつける学際的なアプローチを探求します。

全文翻訳