人気の記事一覧

映画 『オーソン・ウェルズのフェイク』 : あなたに 真贋が見抜けるのか?

つくみず 『シメジ シミュレーション 04』 : 決定不可能な世界

言葉の論理的な構造を代数的に扱えば、既存の代数学による暗号の構成が言語理論にも適用可能かもしれない。でもそれだけだと既存の暗号とあまり変わらないので、決定不可能性を使うことになる。主に、関数記号を取り除いて決定可能な論理構造に変換することでトラップドアを構成したりできるだろうか。

11か月前