スキップしてメイン コンテンツに移動

フェルマーの最終定理 サイモン・シン, 青木 薫 新潮社










■紹介 
自然界の摂理を説明し、人間の知恵が詰まった定理を解く。 
数学は厳格であり、美しい学問だと言うことを、 
フェルマーの最終定理を用いて証明してくれる。 

著者(サイモン・シン)がTVディレクターということもあるのだろうが、 
一場面一場面がうまく構成されていて、 
全体としてうねるように展開されていくのがうまい。 
テレビと同じく、一度惹きつけられると離れるのが難しい。 

■抜粋(●は簡略抜粋) 
●ライフサイクルは素数のセミ(P.169-170) 
 十三年ゼミ、十七年ゼミと呼ばれるセミがいるらしい。 
 なぜ素数なのだろうかと言う問いに、 
 寄生虫との同時発生を避ける最良の策と解がなる。 
 寄生虫が仮に二年単位に発生するとしたら、 
 十七年ゼミと同時に発生するのは三十四年に一回なのだから。 

●天文学者、物理学者、数学者の厳密性(P.218) 
 天文学者と物理学者と数学者がスコットランドで休暇を過ごしている。 
 列車からふと窓を眺めるとなんとそこには一匹の黒い羊が。 
 天文学者はこれを見て、 
 「これはおもしろい。スコットランドの羊は黒いのだ」 
 物理学者はそれに対しこう応じ、 
 「何を言うか、スコットランドの羊の中には黒いものがいるということじゃないか」 
 数学者は天を仰ぐと、歌うようにこう言った。 
 「スコットランドには少なくとも一つの原っぱが存在し、 
  その原っぱには少なくとも一頭の羊が含まれて、 
  その羊の少なくとも一方の面は黒いということさ」 

○指導教官にできることは、 
 その学生が向いていそうな分野に導いてやることぐらいでしょう。(P.261) 

○問題に本格的に乗り出すには十年はかかるだろうと考えていたワイルズにとって、 
 一年半ぐらいはまだ小さな投資だった。(P.322) 

○大事なのは、どれだけ考え抜けるかです。 
 考えをはっきりさせようと紙に書く人もいますが、 
 それは必ずしも必要ではありません。 
 とくに、袋小路に入り込んでしまったり、 
 未解決の問題にぶつかったりしたときには、 
 定石になったような考え方は何の役にも立たないのです。 
 新しいアイディアにたどりつくためには、 
 長時間とてつもない集中力で問題に向かわなければならない。 
 その問題以外のことを考えてはいけない。 
 ただそれだけを考えるのです。 
 それから集中を解く。 
 すると、ふっとリラックスした瞬間が訪れます。 
 そのとき潜在意識が働いて、新しい洞察が得られるのです。(P.323)

コメント

このブログの人気の投稿

Excelのマクロの差分もGitHubみたいに見たいよね

なんやかんやでまだ残っているExcelマクロ。修正したはいいが、差分が・・・。 Google先生に聞いてみるとWinMergeでできるらしいが、なぜかうまくいかない。 そう、WinMergeもExcelもバージョンが新しくなっていたのでうまくいかなかったみたい。 前提は Excel 2013 WinMerge 2.14.0-jp63 over です。 以下差分を確認するための手順です。 WinMerge をインストール ここから WinMerge の2.14.0-jp-63 より新しいバージョンをダウンロード 画面に従ってぽちぽち押していけばいい。 ただし・・・このときに必ずカスタムインストールで プラグイン にチェックを入れること!!(このプラグインを利用します) WinMerge のプラグインの設定変更(やらなくてもOK) WinMerge を起動 プラグイン → プラグインの設定 → CompareMSExcelFiles.sct をダブルクリック ”ワークブックの情報を複数ファイルに展開する” にチェックを入れる Excel の設定変更 ファイル → オプション → セキュリティセンター → セキュリティ センターの設定 ボタンを押下 マクロの設定 を選択 ”VBA プロジェクト オブジェクト モデルへのアクセスを信頼する” にチェックを入れる WinMerge で差分を表示する WinMerge を起動して、比較したいファイルを二つ選択する プラグイン → 展開プラグインの選択 → ファイル展開プラグイ に CompareMSExcelFiles.sct を選択して OK ボタンを押下する 各シートの差分と合わせて、*.bas の形式でマクロの差分が表示される(はず)

間違ったフォーマットのプログラムじゃないんだけど

以下エラーに対し、 ファイルまたはアセンブリ 'SSPI'、またはその依存関係の 1 つが読み込めませんでした。間違ったフォーマットのプログラムを読み込もうとしました。 以下環境で対応した話です。 VisualStudio2012(C# ASP.NET MVC4.0) IIS7.5 とあるところのdllを使用中 ASP.NETをIISに発行しようとしたら、上記エラーが発生。 他のプロジェクトでは問題なく発行できているのに、 何かと思ってみたら、google先生に尋ねてみると、 DLLファイルの対象プラットフォーム(32bit/64bit)が異なる とのことでした。 このサイトでは対処方法として、 運用環境のプラットフォームに合わせ、適切なランタイムファイルを配布してください。 と記載されていますが、今回の私のようにとあるところのdllを使用している場合などは、 そうもいかない場合もあるでしょう。 そこでdllを変更できない場合には、 IISのアプリケーションプールの設定で、 32bitアプリケーションを有効化してあげることで対応できます。 以下手順です。 コントロールパネル → 管理ツール → インターネット インフォメーション サービス (IIS) マネージャー を起動します。 変更したいアプリケーションを右クリックして、詳細設定を選択します。 32ビットアプリケーションの有効化をTrueに変更します。 もう一度発行します。 ここまでです。 簡単だけど知らないとなかなかはまるかなって気がしますね。 独特のくせなのかもしれません。 そして、次なるエラー発生中です・・・。

SQLServer2008でのトランザクションログの切り捨て方

SQL Server 2008でとあるDBのトランザクションログが一杯に。 BACKUP LOG DatabaseName WITH TRUNCATE_ONLY を使ってトランケートしようとしたら、 'TRUNCATE_ONLY' はBACKUP オプションとして認識されません。 との冷たい返事。2008で廃止されていたのを忘れていた。 SQL Server 2008 で廃止されたデータベース エンジンの機能@MSDN そこでヌルデバイスを使用してバックアップを取得する方法で、切り捨てを試みる。 BACKUP LOG DatabaseName TO DISK = ‘nul’ GO するとまた冷たい返事。 現在、データベースのバックアップが存在しないので、BACKUP LOG を実行できません。 2008では過去にフルバックアップを取得しておかないと、ランザクションのバックアップが取得できないことを忘れてた。てなわけで、まずはデータベースのフルバックアップを取得して、 BACKUP DATABASE DatabaseName TO DISK = ‘nul’ GO もう一度トランザクションのバックアップをして、やっと切り捨てれた。最初から単純にしておけばよかった・・・。