Edward Frenkel |
Friday, December 23, 2016
Thursday, December 22, 2016
Monday, December 19, 2016
The Cosmic Code Breakers (素数の魔力に囚われた人々): リーマン予想・天才たちの150年の闘い
Louis de Branges de Bourcia |
Don Zagier |
Peter Sarnak |
Brian Conrey |
Leonhard Euler |
Carl Friedrich Gauss |
Bernhard Riemann |
Marcus du Sautoy |
G. H. Hardy |
John Edensor Littlewood |
John Forbes Nash Jr. |
Atle Selberg |
Ron Rivest |
Hugh Lowell Montgomery |
Freeman Dyson |
Alain Connes |
- Riemann hypothesis (リーマン予想)
- Prime number (素数)
- Louis de Branges de Bourcia (ルイ・ド・ブランジュ)
- Don Zagier (ドン・ザギエ)
- Peter Sarnak (ピーター・サルナック)
- Brian Conrey ()
- Nikolai Mnev (ニコライ・ムニェフ)
- Leonhard Euler (レオンハルト・オイラー)
- Carl Friedrich Gauss (カール・フリードリヒ・ガウス)
- 素数階段
- 自然対数表
- 素数だけの式
- (Pi^2)/6
- 素数と円の関係
- Bernhard Riemann (ベルンハルト・リーマン)
- Riemann zeta function (リーマンゼータ関数)
- Zero (complex analysis) (零点)
- G. H. Hardy (ゴッドフレイ・ハロルド・ハーディ)
- John Edensor Littlewood (ジョン・エデンサー・リトルウッド)
- John Forbes Nash Jr. (ジョン・ナッシュ)
- Men of Mathematics (数学を作った人々)
- Eric Temple Bell (E.T.ベル)
- Alan Turing (アラン・チューリング)
- Potassium cyanide (シアン化カリウム)
- Atle Selberg (アトル・セルバーグ)
- 「リーマン予想自殺行為」
- ミクロの空間とリーマン予想
- de Branges's theorem (ド・ブランジュの定理) (ビーベルバッハ予想)
- Ron Rivest (ロナルド・リベスト)
- VeriSign and cryptography
- Stewart Baker (スチュアート・ベイカー)
- NSA
- Hugh Lowell Montgomery (ヒュー・モンゴメリー)
- Montgomery's pair correlation conjecture (モンゴメリー・オドリズコ予想)
- 零点の間隔と原子核のエネルギーの間隔
- Michael Berry (physicist) (マイケル・ベリー)
- ハート型のビリヤード台
- ミクロの物理学と零点の共通点
- Alain Connes (アラン・コンヌ)
- Noncommutative geometry (非可換幾何)
- 物理学者は空間を探している
- Sanae Ueda (上田早苗)
Sunday, December 18, 2016
Saturday, December 17, 2016
Thursday, December 15, 2016
Wednesday, December 14, 2016
C (programming language): Summation of Arithmetic Progression with Common Difference of 1
Command:
$ cat summation1.c
Result:
#include<stdio.h>
#include<stdlib.h>
int main(int argc, char* argv[]){
if(argc!=2){
printf("Bad argument\n");
exit(1);
}
long int a=0;
for (long int i=1; i<=atoi(argv[1]); i++){
a+=i;
}
printf("%ld\n",a);
return 0;
}
Command:
$ cat summation2.c
Result:
#include<stdio.h>
#include<stdlib.h>
int main(int argc, char* argv[]){
if (argc != 2){
printf("Bad argument\n");
exit(1);
}
long int a = 0;
long int n = atoi(argv[1]);
a = (n*(n+1))/2;
printf("%ld\n", a);
return 0;
}
Command:
$ gcc -o summation1 summation1.c
$ gcc -o summation2 summation2.c
$ time ./summation1 100000000
Result:
5000000050000000
real 0m3.517s
user 0m3.511s
sys 0m0.002s
Command:
$ time ./summation2 100000000
Result:
5000000050000000
real 0m0.005s
user 0m0.001s
sys 0m0.001s
$ cat summation1.c
Result:
#include<stdio.h>
#include<stdlib.h>
int main(int argc, char* argv[]){
if(argc!=2){
printf("Bad argument\n");
exit(1);
}
long int a=0;
for (long int i=1; i<=atoi(argv[1]); i++){
a+=i;
}
printf("%ld\n",a);
return 0;
}
Command:
$ cat summation2.c
Result:
#include<stdio.h>
#include<stdlib.h>
int main(int argc, char* argv[]){
if (argc != 2){
printf("Bad argument\n");
exit(1);
}
long int a = 0;
long int n = atoi(argv[1]);
a = (n*(n+1))/2;
printf("%ld\n", a);
return 0;
}
Command:
$ gcc -o summation1 summation1.c
$ gcc -o summation2 summation2.c
$ time ./summation1 100000000
Result:
5000000050000000
real 0m3.517s
user 0m3.511s
sys 0m0.002s
Command:
$ time ./summation2 100000000
Result:
5000000050000000
real 0m0.005s
user 0m0.001s
sys 0m0.001s
Tuesday, December 13, 2016
Monday, December 12, 2016
Subscribe to:
Posts (Atom)