ShareWis is an online learning platform with Snack Courses and Pro Courses. You can get smarter a bit just in 90 seconds with the Snack Courses and improve your skills with the Pro Courses created by professional instructors.
![画像の挿入と編集](https://cdn-ak-scissors.b.st-hatena.com/image/square/1ed24cb206a1e7cd360caa729af8d30371111b56/height=288;version=1;width=512/https%3A%2F%2Fassets.share-wis.com%2Fuploads%2Fcourse%2Fimage%2F8%2F____PowerPoint__.jpg)
ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)=プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明=プログラム , ( {、 { ヽ.ー、、 \、__ぃ._ゝ⌒ヾ iヾ)}、_ ン_ー-_二ー-, 〉 {厶 _、ヽ _ ヽ._>'´ / /,ィ/ / ハYヘい ,. -- 〃⌒ r−-、 ィ´ 〃 ,イ/7' ,イイ/ 小ヽ 丶、 ,. ‐ '´ハ i ″`ヽ、 、ヽ、 /幺ィ {从{小込v' jゥ仏厶川リ} YV, 小 Vj. |丶 ヽ ` ー-ミー--'_,辷三彡
Mathematica Player は,革新的な考えに基づくビューアアプリケーションです. Acrobat Reader等のドキュメントを読むためだけのアプリケーションやFlash Player等の軽量なランタイムとは異なり,Mathematica Player には完全な Mathematica エンジンが内蔵されています.そのため,すぐにドキュメントの動的要素を活用したり,アプレットを作動させたりすることができます.もちろん,ノートブックを閲覧することもできます. Player でインタラクトできるドキュメントは,Mathematica テクノロジーを使って簡単に作成することができ,Wolframデモンストレーションプロジェクトですでに何千ものドキュメントが無料で利用可能になっています.このようなドキュメントは,研究者,教育関係者,学生,プロフェッショナルの方々により毎日提出されてい
円周率πを100万桁まで計算するプログラムを作ってみました。super pi もどきです。ソースコードと解説を載せます。 ソースコードは80行程度の非常に短いものですが、このような簡単な実装でも最近のPCなら100万桁の円周率が一分も掛らず計算できます。 ポイント 要点は、 計算精度が問題となるので、GMP(任意精度計算ライブラリ)を使う 計算アルゴリズムは、Square AGM *1と呼ばれるものを使う です。 GMPについては、http://d.hatena.ne.jp/pyopyopyo/20090303 をご覧下さい。 ソースコード /** * pi.cpp * * written by pyopyopyo at gmail dot com */ #include <math.h> #include <gmpxx.h> #include <iostream> // N桁の円周率を計
2008/04/11 すべての暗号はいずれ破られる。2000年前のシーザー暗号の時代から高度な暗号技術が一般化したデジタル通信の現代に至るまで、それが暗号通信の歴史が証明し続けた事実であると同時に、もっとも人口に膾炙したクリシェでもあった。例えば、鳴り物入りでリリースされたDVDのコンテンツ暗号技術「CSS」(Content Scramble System)が、リリースからわずか数年で10代のノルウェー人ハッカーに破られたことは記憶に新しい。 【追記】(2008年4月15日) この記事は取材に基づいて執筆したものですが、一部専門家らから「CAB方式暗号は解読不能」というのは誇大表現ではないかとの疑義が呈されています。アルゴリズムの公開や第三者による検証がない現在、この記事に登場するCAB方式が発案者・実装者の主張通り画期的な暗号方式で、本当に解読が不可能であるかどうか分かりません。現在、専
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く