数学

復号することなく暗号化データ上で計算を実行できる暗号技術、完全準同型暗号（FHE）の入門。

このブログでは、「計算機科学における論理」という本で説明されている命題論理の基礎を概説します。

本論文では、有限オートマトンやチューリングマシンなどの計算モデルを通じて、アルゴリズムの正確な実装に焦点を当て、プログラム検証の分野を検討します。