The ternary Goldbach conjecture states that every odd number $n\geq 7$ is the sum of three primes. The estimation of the Fourier series $\sum_{p\leq x} e(\alpha p)$ and related sums has been central to the study of the problem since Hardy and Littlewood (1923). Here we show how to estimate such Fourier series for $\alpha$ in the so-called major arcs, i.e., for $\alpha$ close to a rational of small
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post In this tutorial I would like to talk all about continuations, to attempt to demystify this rather simple concept somewhat. For it's not so much that continuations are difficult, but that the ways in which they're used can get complex pretty fast. In essence, a continuation is a function w
A number of years ago I became aware of the large number of physics enthusiasts out there who have no venue to learn modern physics and cosmology. Fat advanced textbooks are not suitable to people who have no teacher to ask questions of, and the popular literature does not go deeply enough to satisfy these curious people. So I started a series of courses on modern physics at Stanford University
私の好きなJAP'sプログレバンド名盤紹介 ジャパニーズプログレ…いわゆるジャパグレの傑作アルバムを集めてみました。 ノヴェラ、ジェラルド、スターレス、アウターリミッツ…私の好きなバンドが中心です。 この手のジャップスプログレCDはけっこう貴重ですので、在庫があるうちに手に入れましょう! <お気に入り>マークがあるのは、私のとくにお気に入りなアルバムです。 緑川 とうせい ノヴェラ NOVELA 独自のロマンティシズムをハードロックに昇華し、当時最も日本のメジャーシーンに近づいたバンド。 解散後はKEYの永川敏郎氏がジェラルドを、Gの平山照継氏がテルズシンフォニアをそれぞれに結成。 関連したメンバーたちは、文字通り日本プログレ界を支える原動力となった。 美しき感性が映えるデビュー作「魅惑劇」、ロマンを感じさせる「イン・ザ・ナイト」、 コンセプチュアルな雰囲気の傑作「
Debian wheezy includes a bunch of excellent new Haskell libraries. I'm going to highlight one that should be interesting to non-Haskell developers, who may have struggled with writing non-buggy threaded programs in other languages: libghc-stm-dev I had given up on most threaded programs before learning about Software Transactional Memory. Writing a correct threaded program, when multiple threads n
Intrigued by the Go programming language. First published on May 7, 2012. Last revised on January 31, 2022. Getting into the swing of it. Go was introduced on November 10th, 2009 as a new system programming language with quick build times. Go’s excellent tooling, elegant concurrency model and unique approach to object-orientation has captivated the attention of developers from compiled and scripti
How Bing Crosby and the Nazis Helped to Create Silicon Valley The nineteen-forties Bing Crosby hit “White Christmas” is a key part of the national emotional regression that occurs every Christmas. Between Christmases, Crosby is most often remembered as a sometimes-brutal father, thanks to a memoir by his son Gary. Less remarked upon is Crosby’s role as a popularizer of jazz, first with Paul Whitem
Lucie Niyigena's seven-year-old mind was a jumble of panic and confusion as she stepped over the brutalised, bleeding corpse of her grandfather and fled through the back door of her town's Catholic church. But, as Lucie remembers the terror nearly two decades later, she was driven by a single overwhelming urge – not to be separated from her mother in death. "All I could think of was to be with my
Women Forced Into WWII Brothels Served Necessary Role, Osaka Mayor Says TOKYO — The mayor of one of Japan’s largest cities, who is seen by some as a possible future prime minister, drew an outcry on Monday after he said women forced into wartime brothels for the Japanese Army during World War II had served a necessary role in providing relief for war-crazed soldiers. Toru Hashimoto, the populist m
使い方 インストール $ pip install plop プロファイルする。 $ python -m plop.collector autopep8.py autopep8.py $ ls /tmp/plop.out -rw-rw-r-- 1 hattori hattori 40397 5月 12 22:41 plop.out デフォルトだと /tmp/plop.out にプロファイルデータがダンプされる。 コールグラフ表示してみる。 $ python -m plop.viewer --port=8911 --datadir=/tmp ブラウザから /tmp/plop.out をクリックすると以下のようなコールグラフが表示されます。
コンパイラを作るには型理論を理解しているとよくて、型理論を理解するには数学的な証明とかが出来ると良くて、数学的な証明をコンピュータ上で出来ると楽に正確に勉強出来ると思うので、Coqを勉強してます。 なんとなく、勉強してる訳ではなくて必要に迫られて勉強してるのですけど、数学アレルギーを治すのに良さそうな気がしています。 http://www.iij-ii.co.jp/lab/techdoc/coqt/ ここをみながら勉強中です。2の最後までやってみました。意味が良くわかってないんですけど。1は2回やってみました。あれだな、リッジレーサーを毎回、最初からやる事でどんなスピードでも対応出来る力を付けるみたいなそんな鍛え方をしてますよ。 覚えるまで何回もやれば最初は太極拳のように遅くても徐々にスピードは増して行くのだ。最初は繰り返し大切と。しかも、慣れれば自動証明ですっ飛ばせるらしいので、こんな所
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く