今回はキーを見つかる方法を考えたいです。特に線形の方法の数式に関して書きます。 One way of breaking a block cipher is via linear cryptanalysis. This involves utilizing an approximation to a nonlinear cipher function which is a linear relati…

今回の記録の最初のキースケジュールの話はWikipediaの説明を元にしています。そのあとの計算式の分析はMirza教授の論文を参照しています。 In the DES encryption algorithm, sixteen rounds are used, requiring sixteen subkeys. A subkey is a key deriv…

One of the most common encryption techniques is called Feistel cipher, named for Horst Feistel of IBM. It is a multi-round algorithm where each round involves substitution (using the cipher function F) and permutation. A distinctive featur…

最近暗号化の論文を再読しました。課題は有名なアルゴリズムに使われている計算式,Block Ciphers、です。 Block ciphers are a class of encryption/decryption algorithms which use a single key and the same cipher function to encrypt a block consist…

最近キルケゴールの随筆を読書しています。客観とキリスト教に関する課題です。 Kierkegaard makes an interesting point about the impossibility of maintaining an objective stance when discussing the truth behind religious doctrine. Basically, he…

The motivation for development of the natural logic system discussed in this paper was the inadequacy of existing infernence mechanisms. Those relying on pattern matching and semantic overlap could not make logical deductions such as those…

現在スタンフォード大学のMacCartneyとManningが書いた論文を読書しています。 Natural Language Processing(NLP) is a discipline which designs to enable computers to generate and understand expressions in human languages. Natural Language Infere…

先に目次のような書き方で金融用のフーリェ変換の話を記録しました。 ちょっと追加します。 The paper derives the initial formula for the present value (C0) in terms of Fourier transforms by first defining the value of the option at a given time…

補遺に二つの証明が書いてあります。 1. F^-1F(a)=a. Let b=F(a). We show that F^-1(b)=a. Let F^-1(b)=a~. a~(lth el)=(1/sqrt(n))SIGMA(from k=0 to n-1)(b(kth el)*zn^(-kl)). Here zn = e^(2pi*i/n). Substituting (1/sqrt(n))SIGMA(from j=0 to n-1)(a…

最近英国のImperial CollegeのCernyが書いた論文を読んでいます。 オプションの計算方式を勉強していないから分からないところが多いです。主の課題は以下に書きます。 1. Complex numbers on the unit circle (exponential form). 2. Sequences of numbers …

公理から定理を推論する方法を確かめるために原型が必要です。 In order to prove that a set of axioms is consistent, a model must be found such that the axioms can be shown to be true through examination of a finite number of the model's eleme…

最近Godel's Proofと言う本を再読しています。Godelは二つの理論で数学界に知られているそうです。 It seems that he formulated both Incompleteness and Completeness theorems. The completeness system states that if a formula is logically valid the…