Monday, December 19, 2016

Noncommutative geometry and particle physics

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

Wednesday, December 14, 2016

Takuya Kimura (木村拓哉) & Takako Tokiwa (常盤貴子): Beautiful Life (Japanese TV series) (ビューティフルライフ): 第1話

Takuya Kimura
Takako Tokiwa


  • だったら俺があんたのバリアフリーになってやるよ

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