東方算程譚

Oriental Code Talk ── επιστημηが与太をこく、弾幕とは無縁のシロモノ。

目次

Blog 利用状況

ニュース

著作とお薦めの品々は

著作とお薦めの品々は
東方熱帯林へ。

あわせて読みたい

わんくま

  1. 東京勉強会#2
    C++/CLI カクテル・レシピ
  2. 東京勉強会#3
    template vs. generics
  3. 大阪勉強会#6
    C++むかしばなし
  4. 東京勉強会#7
    C++むかしばなし
  5. 東京勉強会#8
    STL/CLRによるGeneric Programming
  6. TechEd 2007 @YOKOHAMA
    C++・C++/CLI・C# 適材適所
  7. 東京勉強会#14
    Making of BOF
  8. 東京勉強会#15
    状態遷移
  9. 名古屋勉強会#2
    WinUnit - お気楽お手軽UnitTest

CodeZine

  1. Cで実現する「ぷちオブジェクト指向」
  2. CUnitによるテスト駆動開発
  3. SQLiteで組み込みDB体験(2007年版)
  4. C++/CLIによるCライブラリの.NET化
  5. C# 1.1からC# 3.0まで~言語仕様の進化
  6. BoostでC++0xのライブラリ「TR1」を先取りしよう (1)
  7. BoostでC++0xのライブラリ「TR1」を先取りしよう (2)
  8. BoostでC++0xのライブラリ「TR1」を先取りしよう (3)
  9. BoostでC++0xのライブラリ「TR1」を先取りしよう (4)
  10. BoostでC++0xのライブラリ「TR1」を先取りしよう (5)
  11. C/C++に対応した、もうひとつのUnitTestFramework ─ WinUnit
  12. SQLiteで"おこづかいちょう"
  13. STL/CLRツアーガイド
  14. マージ・ソート : 巨大データのソート法
  15. ヒープソートのアルゴリズム
  16. C++0xの新機能「ラムダ式」を次期Visual Studioでいち早く試す
  17. .NETでマンデルブロ集合を描く
  18. .NETでマンデルブロ集合を描く(後日談)
  19. C++/CLI : とある文字列の相互変換(コンバージョン)
  20. インテルTBBによる選択ソートの高速化
  21. インテルTBB3.0 によるパイプライン処理
  22. Visual C++ 2010に追加されたSTLアルゴリズム
  23. Visual C++ 2010に追加されたSTLコンテナ「forward_list」
  24. shared_ptrによるObserverパターンの実装
  25. .NETでマンデルブロ集合を描く(番外編) ── OpenCLで超並列コンピューティング
  26. StateパターンでCSVを読む
  27. 状態遷移表からStateパターンを自動生成する
  28. 「ソートも、サーチも、あるんだよ」~標準C++ライブラリにみるアルゴリズムの面白さ
  29. インテルTBBの同期メカニズム
  30. なぜsetを使っちゃいけないの?
  31. WPFアプリケーションで腕試し ~C++でもWPFアプリを
  32. C++11 : スレッド・ライブラリひとめぐり
  33. Google製のC++ Unit Test Framework「Google Test」を使ってみる
  34. メールでデータベースを更新するココロミ
  35. Visitorパターンで遊んでみたよ
  36. Collection 2題:「WPFにバインドできる辞書」と「重複を許す検索set」
  37. Visual C++ 2012:stateless-lambdaとSQLiteのぷち拡張
  38. 「Visual C++ Compiler November 2012 CTP」で追加された6つの新機能

@IT

  1. Vista時代のVisual C++の流儀(前編)Vista到来。既存C/C++資産の.NET化を始めよう!
  2. Vista時代のVisual C++の流儀(中編)MFCから.NETへの実践的移行計画
  3. Vista時代のVisual C++の流儀(後編) STL/CLRによるDocument/Viewアーキテクチャ
  4. C++開発者のための単体テスト入門 第1回 C++開発者の皆さん。テスト、ちゃんとしていますか?
  5. C++開発者のための単体テスト入門 第2回 C++アプリケーションの効率的なテスト手法(CppUnit編)
  6. C++開発者のための単体テスト入門 第3回 C++アプリケーションの効率的なテスト手法(NUnit編)

AWARDS


Microsoft MVP
for Visual Developer - Visual C++


Wankuma MVP
for いぢわる C++


Nyantora MVP
for こくまろ中国茶

Xbox

Links

記事カテゴリ

書庫

日記カテゴリ

やっちまったよー

今日は書き物をするはずだったのに...

世界一周する冒険家にヒモをくくりつける。
彼が帰ってくれば大きな輪っかができあがります。
その輪っかをぐいぐいと手繰り寄せる。
このときヒモのどの部分も地表から離さぬように。←ココ重要!
冒険家がどんなルートで世界一周しようともヒモを手繰り寄せて回収できるなら、
世界は丸い(穴があいていない)と判断してよい。
世界に穴があいてたらヒモは途中で引っ掛かって回収できんから。

ドーナツの表面に暮らすアリさんは自分の世界を外から眺めることなしに、
ヒモを手繰り寄せることができないことを理由に
「僕の世界は丸くない(少なくともひとつ以上の穴がある)」と結論づけられる。

「これが三次元空間についても成り立つ」ってーのがポアンカレ予想。
ポアンカレ予想が正しいならば、宇宙を外(?)から眺めることなしに宇宙が
丸いか否か(穴の有無)が調べられることになります。

100年の間解かれることのなかった難問です。

ポアンカレ予想
に挑んだ数学者たちのドキュメント、
観れずに悔しかったやつがニコニコに上ってた。
二時間潰してもーた...反省すれども後悔はせずっ ^^;

投稿日時 : 2007年10月20日 14:20

コメントを追加

# re: やっちまったよー 2007/10/20 14:40 επιστημη

そーいやフェルマー予想も証明されたんだっけ。

「X^3 + Y^3 = Z^3 を満たす整数の組X,Y,Zは存在しない」

# re: やっちまったよー 2007/10/20 18:40 IIJIMAS

えっニコニコにっ!?、教えて下さい…お願いしますm(_ _)m

# re: やっちまったよー 2007/10/20 18:47 IIJIMAS

あっ見つけました。
http://www.nicovideo.jp/watch/sm1309708

>そーいやフェルマー予想も証明されたんだっけ。

1994年なのでもう13年前のことです。

>「X^3 + Y^3 = Z^3 を満たす整数の組X,Y,Zは存在しない」

「X^n + Y^n = Z^n (n>=3,n:整数)を満たす非自明な整数の組X,Y,Zは存在しない」
です。

# re: やっちまったよー 2007/10/20 19:02 IIJIMAS

情報ありがとうございます。
ちょっとだけ見ました。(^^;

…明日、情報処理試験受験するのを思い出しました…orz

早く、2時間分見たいです(>_<)

# re: やっちまったよー 2007/10/20 19:09 IIJIMAS

ここ、επιさんの前のエントリと比べてコメントなさすぎ…orz

# re: やっちまったよー 2007/10/20 21:16 IIJIMAS

結局…2時間分みちゃいました…orz
後悔はせずっ。

# re: やっちまったよー 2007/10/20 21:43 επιστημη

みちゃうよねー♪
επι的には P=NP?問題 の行方が気になりますです計算機屋だもん。
※ P=NP?問題:「素因数分解のプログラムが求解に要する時間はどんなに工夫しても素数で割ってみる"総当たり法"と大差ない(のか?)」

タイトル  
名前  
URL
コメント