United States
EY exec: In three or four years, 'we won't even talk about AI'Even as AI reshapes the hiring and skills landscape, the technology itself will eventually be embedded in all digital tools, says Ken Englund, who leads Ernst & Young's Americas Technology Growth sector. So workers need to learn now how to use it — or pay later.
私がTeXを使い続ける理由 - kururu_goedel’s diary
はいはい、そこまで言うなら釣られてやろうじゃないの。 僕が TeX を使うのを辞めた3つの理由 - ++C++; // 管理人の日記 僕が TeX を使うのを辞めた 10 の理由 - ++C++; // 管理人の日記 念のために言っておくと、(私にとって)本当のことは書くけれども全体としてはこれもネタ記事。数学の世界で10年以上生きてきた人間の半径50cmの真実。Wordが、弱点と言われていた部分を強化しているという話は事実だろうし、普通の企業で働く人にとってはTeXを勉強するよりも有効だというのもまあそのとおりなんでしょう。 でも、TeXを使うべき人がいない、使うべき理由が無いと言うならやっぱり違うでしょうと。あー、このへんもWORDで出来るよと言うなら教えてください。 \mathcal, \mathfrakにあたる字体が無い 少なくともWord2007では表示出来るそうです。ごめんなさ
ソニー、モバイル機器のデザインを変える「機器内ワンワイヤ・インターフェース技術」を開発
ソニーが本日、モバイル機器の配線数を劇的に減らすことで本体デザインの自由度を大きく高める「機器内ワンワイヤ・インターフェース技術」を開発したことを発表しました。これにより今までよりも個性的なデザインのモバイル機器が登場することを期待できるだけでなく、さらに耐久性も向上するそうです。 なお、上記画像はソニー・エリクソンがauの2010年夏モデルとして発売している携帯電話「BRAVIA Phone S004」のものです。 詳細は以下から。 Sony Japan | ニュースリリース | 1本のケーブルで機器内データ伝送と電源供給が可能な技術を開発 ソニーが発表したプレスリリースによると、同社はデータ伝送と電源供給を1本のケーブルで行うことが可能になる信号・電源統合伝送技術「機器内ワンワイヤ・インターフェース技術」を開発したそうです。 モバイル機器は高性能化やディスプレイの高画質化が進み、データ
ソニーが「次世代PSP（PSP2）」の準備を着々と進行中、背面にタッチパネルを搭載か
6月に任天堂が次世代モデルとなる新型携帯ゲーム機「ニンテンドー3DS」を発表したのを尻目に、一向に出てこないソニーの次世代PSPに関する情報ですが、現在準備が着々と進んでいることが明らかになりました。 高いグラフィック性能を実現することになるとされる次世代PSPですが、なんと背面にタッチパネルを搭載したモデルになる可能性があるようです。 詳細は以下から。 New PSP has touch-sensitive controls PSP News - Page 1 | Eurogamer.net ヨーロッパの大手ゲーム情報サイト「Eurogamer」の報道によると、異なる3人のゲーム開発者によってもたらされた情報から、ソニーが次世代モデルとなる新型PSPの準備を進めていることが明らかになったそうです。 これらの情報を総合すると、次世代PSPの最も特筆すべき特徴は操作方法で、本体背面にタッチパ
IntelがMcAfeeを77億ドルで買収、ハードとソフトの両面からのセキュリティ技術の向上を目指す
by Josh Bancroft 世界最大の半導体メーカーであるインテル（Intel）はセキュリティソフトウェア大手マカフィー（McAfee）を76億8000万ドル（約6560億円）で買収すると発表しました。 詳細は以下から。Intel to Acquire McAfee | Business Wire 発表によると、インテルとマカフィーは、マカフィーの普通株の全株を1株48ドル（約4100円）、総額76億8000万ドル（約6560億円）でインテルが取得することで合意に至ったそうです。買収は現金で行われ、マカフィーの株主総会で承認を得られ次第、実行されるとのことです。 昨年度は2ケタ成長を見せ、売上総利益率80％と好調なマカフィーですが、買収が完了すればインテルの完全子会社となります。 インテルは2009年にも組み込みシステム向けリアルタイムオペレーティングシステム大手「Wind Rive
「マンガで分かる JavaScriptプログラミング講座」第2版公開中
JavaScriptと言えば、GmailやGoogleマップなどのページ移動を伴わない動的ウェブコンテンツの登場で一気に息を吹き返して注目を集めたプログラミング言語で、jQueryの登場によってプログラマだけではなくウェブデザイナーにも重要なものとなっています。 そんなJavaScriptを簡単に初心者でも理解できるようにということで、マンガ158ページ、解説文とサンプルソースコード全471KBの「マンガで分かる JavaScriptプログラミング講座」第2版が公開中となっています。この講座の第1版は2010年4月26日から連載を始めて2010年5月10日に完成しており、今回の第2版はその第1版からマンガをすべて描きなおし、説明文章を1.7倍に増補して、図版を充実させたものです。 アクセスは以下から。 マンガで分かる JavaScriptプログラミング講座 http://crocro.co
人が死ぬほどの影響を与えた強烈な映画いろいろ
映画というのはほとんどが作り物、フィクションのお話。そのため、作品の中では物語のために人が死ぬことも珍しくありません。しかし、映画の中には観た人に強い影響を与え、現実世界でも死者を出してしまうような作品があります。 あまりに作品が素晴らしくて現実に帰りたくなくなった、映像が強烈で心臓発作を起こしたなど原因は様々ですが、人を感動させられる一方で死へ誘うというのは恐ろしくもあります。 15 Movies that Killed People http://www.popcrunch.com/15-movies-that-killed-people/" target="_blank"> ◆アバター(2009) タイタニックを抜いて全世界興行収入第1位となるほどの大ヒット作品となった「アバター」。2Dと3Dの両方で公開されましたが、2Dで撮影してあとから3Dに変換する“エセ3D”ではなく、3D撮影
いよいよGoogleの「Chrome OS」を採用した世界初のタブレット端末が登場か、iPadよりも安価になる見通し
昨年7月にGoogleがリリースする予定であることを発表し、11月には正式公開に踏み切ったパソコン向けOS「Chrome OS」ですが、いよいよ年末商戦に向けて同OSを採用したタブレット端末が発売される可能性が出てきました。 なお、上記写真は「Chrome OS」発表時に行われたデモのものです。 詳細は以下から。 Google launching a Chrome OS tablet on Verizon, goes on sale November 26 「DOWNLOAD SQUAD」というブログが独自に入手したとされる情報によると、11月26日にGoogleのパソコン向けOS「Chrome OS」を採用したタブレット端末がアメリカのVerizonから発売されるそうです。 端末の製造は世界初のAndroidスマートフォン「G1」やGoogle製スマートフォン「Nexus One」の製造
タブレット端末などの小型化や高速化を実現可能に、サンディスクが世界最小の高性能SSD「iSSD」を発表
サンディスクが本日、世界最小サイズで高速転送を実現したSSD「iSSD」を発表しました。 主にモバイルパソコンやタブレット端末向けのモデルとなっていますが、切手よりも小さい超コンパクトサイズであるため、端末自体の小型化に大きく貢献するだけでなく、高いパフォーマンスを実現することが可能となっています。 詳細は以下から。 SANDISK INTRODUCES WORLD’S SMALLEST 64GB SOLID STATE DRIVE サンディスク、世界最小サイズで大容量64GBの ソリッド・ステート・ドライブ(SSD)を発表 新カテゴリー「組み込みSSD」として最初の製品、iSSDを投入し、急成長の超薄型タブレットPCやモバイルPC市場に対応 サンディスクのリリースによると、同社は切手より小型でありながら既存のストレージソリューションを上回る性能と容量を提供する、新カテゴリー「組み込みソリ
「木曜洋画劇場」の流れを汲むテレビ東京の「水曜シアター9」が終了へ、42年以上の歴史に幕
1968年に放送開始されたテレビ東京の「木曜洋画劇場」が2009年に終了し、現在はその流れを汲む「水曜シアター9」が放送されていますが、なんと終了してしまうことが明らかになりました。 最近ではひたすらジャッキー・チェン主演の映画を放送する「真夏のジャッキー祭り」を行うなど、独特のラインナップから映画ファンの人気を集めていた同番組ですが、これにより42年以上続いたレギュラー映画番組はテレビ東京のゴールデンタイムから姿を消すことになります。 詳細は以下から。 テレビ東京の映画情報番組「シネ通！」でコラムなどを手がけているダークボ氏のTwitterによると、「木曜洋画劇場」の流れを汲む「水曜シアター9」が9月いっぱいで終了となるそうです。 Twitter / ダークボ: 【残念なおしらせ】「水曜シアター９」は、９月いっぱい ... なお、午後1:30から放送されている「午後のロードショー」は10
ひたすら眠りと清潔さを追求した京都の次世代カプセルホテル「9h（ナインアワーズ）」に泊まってみました
2009年12月にオープンした、京都寺町のカプセルホテル「9h（ナインアワーズ）」。ただのカプセルホテルではなく、「シャワー（1時間）」＋「睡眠（7時間）」＋「身支度（1時間）」＝「9h（9時間）」の滞在で効率的に旅の疲れを癒し睡眠をチャージする「眠りの拠点」というコンセプトでできた「デザイン・カプセルホテル」とのこと。 近未来的な感じのカプセルそのものや、内外装からアメニティまで統一感のあるシンプルなデザインでオープン時はかなり話題となっていましたが、それでも「カプセルホテル」ということでためらっていた人も多いのではないでしょうか？というわけで、所用で京都へ行ったついでに「ものは試し」と泊まってみました。 詳細は以下から。nine hours 場所はこのあたり。阪急河原町駅から徒歩2分、京阪祇園四条駅・地下鉄四条駅から徒歩5分の寺町通り沿いです。 大きな地図で見る 外観はこんな感じ。 す
携帯機器をガンガン充電できる、超コンパクトで大容量な外付けバッテリー「ZAGGsparq 2.0」
スマートフォンをはじめとした高機能な携帯電話、携帯ゲーム機などの普及によって、いつでもどこでも充電できる外付けバッテリーへの需要が高まる中、大きなネックとなっていたのが外付けバッテリー自体を充電するためのACアダプタ。 場合によってはバッテリー本体よりも大きくなることがあるため、持ち運びの際に苦労を強いられることもしばしばですが、ACアダプタを内蔵しつつ、コンパクトさと軽量さ、そして携帯機器をガンガン充電できる大容量を実現した外付けバッテリー「ZAGGsparq 2.0（ザッグスパーク 2.0）」が発売されました。 サイズや容量、気になる価格などの詳細は以下から。 zaggstyle.com コンパクトサイズと大容量を実現した、ミラクルな充電器が登場しました。 アクト・ツーの公式ページによると、本日2010年8月18日からスリムで軽量なコンパクトボディのポータブル充電器、「ZAGGspar
全国の図書館や電子書籍サイトなどを横断して蔵書を検索できる「国立国会図書館サーチ」
国立国会図書館が全国の図書館や電子書籍サイト、国立公文書館、国立美術館などのデータベースから収拾した文献情報を検索できる「国立国会図書館サーチ」の開発版を公開しました。 どの本がどこに所蔵されているかといった情報だけでなく、「どうすればその本が手に入るか」といった入手手段についもナビゲートしてくれるシステムとなっています。 詳細は以下から。 国立国会図書館サーチ（平成22年8月17日開発版）の公開について << 国立国会図書館サーチ（開発版）について 国立国会図書館の発表によると、2012年1月の本格稼働開始を目指して現在開発中の「国立国会図書館サーチ」を、一般ユーザーの意見を反映させながら、より利用しやすいシステムに仕上げていくために、本日8月17日から試行公開したそうです。 本日公開された平成22年8月17日開発版では、国立国会図書館、都道府県立図書館、国立情報学研究所、国立公文書館、
「グランツーリスモ5」の発売日が11月3日に決定、初回生産限定版や特別カラーのPS3本体同梱版も
第1作目が初代プレイステーション向けに発売され、車種の多さや挙動のリアルさ、グラフィックの美しさなどから5000万本を超える販売本数を記録している「グランツーリスモ」シリーズの最新作「グランツーリスモ5」の国内の発売日が11月3日に正式決定しました。 体験版となる「グランツーリスモ5プロローグ」が2007年12月に登場して以来、延期に延期を重ねた同作ですが、製品版は3D立体映像対応作品となったことに加えて、豪華仕様の初回生産限定版や特別カラーのPS3本体同梱版も発売されるそうです。 詳細は以下から。 （PDFファイル）PS3専用ソフトウェア 『グランツーリスモ５』 2010年11月3日（水・祝）に発売決定および 初回生産限定版とPS3本体同梱版、同日発売のご案内 このリリースによると、ソニーは「グランツーリスモ」シリーズ最新作となるPS3専用オンラインカーライフシミュレーター「グランツーリ
ケータイ用語の基礎知識 第272回：メモリー性液晶 とは
大和 哲 1968年生まれ東京都出身。88年8月、Oh!X(日本ソフトバンク)にて「我ら電脳遊戯民」を執筆。以来、パソコン誌にて初歩のプログラミング、HTML、CGI、インターネットプロトコルなどの解説記事、インターネット関連のQ&A、ゲーム分析記事などを書く。兼業テクニカルライター。ホームページはこちら。 (イラスト : 高橋哲史) メモリー性液晶ディスプレイとは、電源を切ってもそのまま画面に表示させた内容が維持される液晶ディスプレイです。 液晶ディスプレイでは、液晶が光を“通す”“通さない”を画素ごとに切り替えることで画像を表示しています。そして、一般的に液晶ディスプレイでは、光を通す状態、あるいは通さない状態どちらかに安定性があります。たとえば、TN型液晶ディスプレイでは、画素ごとの電源をONにして電流を流している間だけその部分が黒くなります。 メモリー性液晶ディスプレイの画素は、光
ちりも積もれば山となるか？ (#1812116) | 電力やエネルギーを節約するベストな方法は「スイッチを切る」ではない | スラド
仕事率 (W) と仕事 (Wh) の違いを理解していないひとが大半ですからね。 W数表示の意味も理解しないまま得意気にコンセント抜いて 「待機電力カットだ！ (｀・ω・´)ｷﾘｯ」 # テレビの待機電力1W未満なんて節約になるの？ って反論したら # 「事実はどうでも消すって姿勢が大事」とかよくわからん精神論を持ち出された そうやって毎晩コンセントを引っこ抜いて、4年目くらいにコンセントが断線して修理したら、待機電力で得した分をまるまる吐き出して赤字になりますね。 高校生のエコ題材の作文とか読んでいると「小さなことからこつこつと」って皆 大好きですね。そういう作文には最低評価をつけますが・・・・。 ちりも積もれば山となる、といいますが、その山が天保山(*1)なのか富士山なのかエベレストなのかに無頓着。そこを定量的に考えろよ。 てんぷら油を回収してディーゼル燃料を作って「これを推し進めて石油
Re:まぁ (#1812746) | Oracle、Java 特許侵害で Google を提訴、Android 配布中止求める | スラド
これらの特許 ( 6,125,447 [freepatentsonline.com]、 6,192,476 [freepatentsonline.com]、 5,966,702 [freepatentsonline.com]、 7,426,720 [freepatentsonline.com]、 RE38,104 [freepatentsonline.com]、 6,910,205 [freepatentsonline.com]、 6,061,520 [freepatentsonline.com]) が有効であるならば、はっきりいって真っ黒なので、 あとは Oracle に幾ら払うか (MS みたいにクロスライセンスにする?)、 またはこれらの特許が無効であることを訴えていくかのどちらかでしょうか。 # Java と Dalvik は違うものです (笑)、みた ソースコードの配布だけにすれ
インテル、マカフィーの買収を発表 | スラド
Intelは8月19日、McAfeeを買収する正式契約を結んだと発表した（クラウドWatchの記事）。McAfeeはIntelの完全子会社になる。両社の取締役会は承認済み。普通株1株当たり48ドルで合計76億8000万ドルになる。 プレスリリースによれば、キーワードは「セキュリティソフトウェアとハードウェアのコンビネーション」や「クラウド」のようだ。チップレベルで強化されたセキュリティを目指すことになる。クラウドコンピューティングの時代では、これが歴史的必然なのかもしれない。そういえば、Microsoftもセキュリティソフトウェアを提供するようになったし、業界激震のような気もするが、どうなんだろう。
キヤノンがSEDの事業化を断念 開発子会社を解散 | スラド
キヤノンがSED（表面電界ディスプレー）の事業化を断念、全額出資の開発子会社SEDを解散することを発表した（ニュースリリース）。SEDパネルの研究開発についてはキヤノンが継続する予定とのこと。 個人的に期待していたSEDですが、特許と高コスト押されて民生機の普及がままならなくなった模様。これで選択肢がまた減ったわけですね。
Oracle、Java 特許侵害で Google を提訴、Android 配布中止求める | スラド IT
ITmedia の記事などで報じられているが、Sun を買収した Oracle が Sun が開発した Java に関する特許を Andoroid が侵害しているとして、Google を提訴した (本家 /. 記事) 。 Oracle の要求には Android 配布や Android に関する広告の中止が含まれており、Android 端末を開発している国内外の企業にも痛手になるかもしれない。記事によると、Dalvik 仮想マシンが「米国特許番号 6,125,447、6,192,476、5,966,702、7,426,720、RE38,104、6,910,205、6,061,520 の 1 つあるいは複数の請求項を侵害している」と Oracle は主張している。一方、Google は「事実無根」であり、「オープンソースの Java コミュニティーを攻撃」しているとして「オープンソース標準を
富士フイルムの 3D カメラ第 2 弾は HD 動画に対応 | スラド IT
富士フイルムは 17 日、3D デジカメ第 2 弾となる FinePix REAL 3D W3 を発表した (富士フイルムのニュースリリース、FinePix REAL 3D W3 の製品情報) 。9 月 4 日発売予定で、店頭予想価格は 48,000 円前後とのこと。 撮像系の基本スペックは前作 W1 と変わらないが 720p (24fps) の HD 動画が撮影可能となり、各社の 3D テレビに接続可能な HDMI 出力も装備された。裸眼で鑑賞可能な内蔵液晶モニターは 3.5 型に大型化された上、方式の変更によりクロストークが解消された他、輝度・解像度・色再現性も向上しているという。若干ながら小型軽量化された本体は、ボタンレイアウトも一般的でなじみ易いものに改められ、扱いやすくなっているようだ。ステレオベースは 75mm に縮小されたことが見てとれるが、苦手としていた接写限界が 48 c
有理数体Qに√2を加えた集合{Q, √2}
たとえば以下のような記述でしょうか。 「有理数体 Q に、無理数 √2 を加えた集合 {Q, √2} を考えて見ましょう。この集合は、a, b ∈ Q として、 a ＋ b √2 と表すことができ、……」 http://ufcpp.net/study/group/extensionfield.html … この記述の理解として、 「2√2という無理数まで入ってきてる」というのは妥当だと思います。 普通、こう書かれれば、上記のa、b(質問文ではp、q)はQの任意の元を取りうると考えていいはずです。 「集合」として考えると成り立ちませんが、 「体」として考えると、言っていることはわかります。 問題の文の冒頭では、 「有理数の集合Qに√2を加えた……」 ではなく、 「有理数体Qに√2を加えた……」 と書いてますね。たぶんここがミソです。 「体の話をしているんだから、『加える』と言ったら、 『体の
有理数体Qに√2を加えた集合{Q, √2} - OKWAVE
たとえば以下のような記述でしょうか。 「有理数体 Q に、無理数 √2 を加えた集合 {Q, √2} を考えて見ましょう。この集合は、a, b ∈ Q として、 a ＋ b √2 と表すことができ、……」 http://ufcpp.net/study/group/extensionfield.html#example この記述の理解として、 「2√2という無理数まで入ってきてる」というのは妥当だと思います。 普通、こう書かれれば、上記のa、b(質問文ではp、q)はQの任意の元を取りうると考えていいはずです。 「集合」として考えると成り立ちませんが、 「体」として考えると、言っていることはわかります。 問題の文の冒頭では、 「有理数の集合Qに√2を加えた……」 ではなく、 「有理数体Qに√2を加えた……」 と書いてますね。たぶんここがミソです。 「体の話をしているんだから、『加える』と言った
定規とコンパスによる作図 - Wikipedia
定規とコンパスによる正六角形の作図 正五角形の作図 定規とコンパスによる作図（じょうぎとコンパスによるさくず）とは、定規とコンパスだけを有限回使って図形を描くことを指す。ここで、定規は2点を通る直線を引くための道具であり、長さを測るのには使わないものとし、コンパスは与えられた中心と半径の円を描くことができる道具である。この文脈における「定規」はしばしば「定木」と表記される[注 1]。定規とコンパスによる作図可能性（作図不可能性）の問題として有名なものにギリシアの三大作図問題がある。 数学的には、定規とコンパスによる作図で表せるのは二次方程式を繰り返し解いて得られる範囲の数であることが知られている。つまり、いくつかの二次方程式や一次方程式に帰着出来る問題は定規とコンパスのみで作図可能であり、反対に帰着できない問題は作図不可能である。「作図可能な線分の長さ」の集合は一つの体をなしている。 この
拡大体 [物理のかぎしっぽ]
ある体 に，幾つかの元を付け足すことで， を含む体 を作れるとき， を の 拡大体 (もしくは単に 拡大 )と呼びます． 群論では，群の部分群を考えることに興味があり，正規部分群，中心，固定部分群など，部分群に関する色々な話題がありました．一方，体論で興味があるのは，ある体に何か元をつけたして体を拡大していくことです． さて，体 の元を とし，ここに新たに元 を添加する場合を考えてみましょう．体は演算に関して閉じていますから，もともと に含まれていた元と を四則演算して組み合わせた元，例えば なども に含まれるなければなりません．そのため，元を一個だけ添加したつもりでも，通常，拡大体は よりずっと大きな集合になることに注意してください． いま，添加された元と，それらの四則演算によって新しく増えた元をまとめて と書きましょう．つまり です． が や を含むことを考えれば，一般に の元は全て
ギリシアの三大作図問題２ [物理のかぎしっぽ]
これより，作図可能数の四則演算によって得られる数は，やはり作図可能数になっていることが分かりました．四則演算に対して閉じていますから，作図可能数は体になります． 無理数も作図できる 図２，３では単位長さ が必要でした．最初，真っ白な紙の上に任意の二点描き，その二点を とし，二点間の距離を と定めても一般性を失いません．とにかく四則演算をするには，乗法の単位元である を最初に決めなければどうにもなりませんので，このように を決め， は作図可能数と考えます． ひとたび を決めると， を足したり引いたりすることで整数が全て表せます．整数を分母分子に組み合わせれば，有理数が全て作図可能数になります．つまり有理数体は作図可能数体です． しかし，作図可能数は有理数にとどまりません．次の図を見れば，ある作図可能数の平方根もまた作図可能だということが分かるでしょう．(これはデカルト( )の『 幾何学 』(
ギリシアの三大作図問題１ [物理のかぎしっぽ]
しばらく方程式の話ばかりが続きましたので，ここで少し趣向を変えて，定規とコンパスによる作図の話を挟みます．ここまでに勉強してきたことのうち，必要なのは拡大体の概念だけですので，息抜きのつもりで御一読ください． ギリシャの三大作図問題 古代ギリシャ以来， 年以上も解決を見なかった次の有名な３つの問題を『ギリシャの三大作図問題』と呼びます．どれも， 定規とコンパスだけをつかって作図せよ という問題です． 【ギリシャの三大作図問題】 円と同じ面積の正方形を作図せよ． 与えられた立方体の体積の二倍の体積を持つ立方体を作図せよ． 任意の角を三等分せよ． これらの問題にはそれぞれ『円積問題』『立方体倍積問題』『角の三等分問題』という名前がついています．立方体倍積問題は『デロス島の問題』と呼ばれることもあります．伝説によれば，紀元前 年頃，疫病に悩まされていたアテネの市民が，デロス島のアポロン神の神殿に
代数学 - [物理のかぎしっぽ]
群論入門 † 群の公理（Joh著） 群について基本的なこと（Joh著） 対称群（Joh著） 置換の計算 （Joh著） 運動群 （Joh著） 有限回転群（Joh著） 有限巡回群（Joh著） 無限巡回群（Joh著） 組みひも群 （Joh・丹下著） クラインの四元群（Joh著） 対称式・交代式と群（Joh著） 正六面体群（Joh著） 正多面体群１（Joh著） 正多面体群２（Joh著） 部分群（Joh著） 集合の元同士を足す・掛ける（Joh著） 類別（Joh著） 整数の加法群の剰余類（Joh著） 剰余類（Joh著） 剰余類２（Joh著） 完全代表系と商集合（Joh著） 整数の剰余類のつくる加群（Joh著） 整数の剰余類の作る乗群（Joh著） ラグランジェの定理（Joh著） 群の位数と元の位数（Joh著） 正多面体群３（Joh著） フェルマーの小定理（Joh著） シローの定理（Joh著） 群が集合の
kururu_goedel’s diary
ask.fmに書いた回答が見られなくなっているので、こちらにサルベージしておきます。ネタバレ注意。 Q. 集合論を勉強したら質問しに来ますね。 A. えっ、別に集合論の勉強なんてしなくてもどんどん質問してくださっていいんですよ。例えばスクールデイズで一番好きなのはどのキャラですかとか。 【以降、ネタバレ注意】 もうここは桂言葉で譲れないですね。ああ、アニメしか観ていないことは断っておきますが、厨二病なのでできるだけ主人公を推しキャラにしたくないという気持ちがはいってしまうんですが、あんなに素晴らしいヤンデレに脳がやられない方がおかしいです。 いや、本当は途中まで刹那がいいかなとか思ってたんですよ。見た目はともかく立ち位置みたいなのが。でも、戦略家ぶっている割には、世界と誠をくっつける作戦も絶望的に全て失敗しているし、身体を差し出してまで乙女を切り離そうとして、でも結局は誠の自堕落を加速さ
徒然なる数学な日々 at FC2 - FC2 BLOG パスワード認証
ブログ パスワード認証 閲覧するには管理人が設定した パスワードの入力が必要です。 管理人からのメッセージ 閲覧パスワード Copyright © since 1999 FC2 inc. All Rights Reserved.
書評（数理論理学）
一般解説書など 結城浩：数学ガール／ゲーデルの不完全性定理, ソフトバンククリエイティブ (2009) (はてなダイアリーの記事に加筆修正して転載) 本書は、数学の定理の解説としてはきわめてまっとうな、ゲーデルの不完全性定理の解説本である。普通なら、まっとうであることは評価の最低基準であって、それだけで高評価になるものではない。しかし、不完全性定理に限ってはそうはいえない。ちまたにあふれる不完全性定理に関わる言説にはまっとうでないものがあまりにも多い。そのため、不完全性定理の解説本はまっとうであるだけで高い評価を得てしまう。 まっとうであるために第一に必要なことは、内容に初歩的な間違いがないことである。当たり前のことだが、その当たり前が実現できていない不完全性定理本は多い。肝心の「不完全」の定義を間違えているものすら珍しくない。その点、本書は正しく記述しているのみならず、ちまたによくある濫
ゲーデルの定理 - OKWAVE
不完全性定理の記述が不正確なようです。正しくは「自然数論を含む体系は無矛盾である限り、証明も反証もできない命題が存在する」です。 # 元々は「ω無矛盾」が前提だが「無矛盾」でも成り立つらしい # 参考: http://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86 モデルにおける真偽の概念と公理系における証明可能の概念を結ぶのが完全性定理です。 まず(1階述語論理の)公理系を一つ取ります。ある文がこの公理系で証明可能であれば、この公理系を満たす任意のモデルで真であることは明らかです。逆に「公理系を満たす“任意の”モデルで真になる文は、その公理系で証明可能である」ことを主張するのが完全性定理です。
不完全性定理の最短理解 - 小人さんの妄想
コンピューターに携わっているものにとって、プログラムの間違い探し、「バグ取り」は避けて通ることのできない重要任務だ。 しかもバグ取りは、時間・労力・根気・経験の全てを必要とする重労働である。 そこでこの面倒くさい作業を、人間ではなくコンピューター自身に任せられないか、という横着な考えが湧いてくる。 つまり「プログラムのミスを取り除くプログラム」を開発すればよいのだ。 もし自動的にバグを取り除くプログラムができたら、どうなるだろうか。 おそらく人間のプログラマーという職業は無くなるだろう。 というのは、もし後からバグを取り除くことができるなら、最初のプログラムは極めて質の低いものであっても、極端な話、でたらめなものであっても構わないわけだ。 まず最初に乱数ででたらめなプログラムを大量に生成する。 そして、それらのでたらめなプログラムを「バグ取りプログラム」にかければ、間違いが取り除かれて、結
あなたにも（たぶん）わかる 「ゲーデルの不完全性定理」 -- 発端＜ほったん＞編 --
Mon Dec 26 2005:start Wed Dec 28 2005:draft Tue Jan 03 2006:prefinal 関連記事：プログラマのための「ゲーデルの不完全性定理」＠檜山正幸のキマイラ飼育記 1. ゲーデルの定理は神秘主義の対極にある ゲーデルの不完全性定理を、自然言語（日常言語）だけで説明する試みを見 かけるのだけど、これは無理スジじゃなかろうか。前もってわかっている人は、 「あー、そうだね、確かに」と納得できるだろうが、その自然言語による説明 により初めて勉強をする（そして、ちゃんと理解する）ってのはほぼ不可能な 気がする。 一見回り道のようでも、記号論理学を一通り勉強して、ゲーデル符号化を （だいたいでも）追いかけないと、納得した気分にはなれないだろう。仮に正 確な説明だったとしても（そうじゃない例も見かける）、それが自然言語で記 述されると、なんだか騙さ
不完全性定理 - 哲学的な何か、あと科学とか
不完全性定理 1930年頃 一般的に言って、 「数学的に証明された」ことについては、もう議論の余地はない。 どんなに年月が経とうと、決して反論されることもなければ、 科学理論のように、よりすぐれた理論に取って代わられることもない。 主義主張にも善悪にも関係なく、また、どんな嫌なヤツが言ったとしても、 数学的に証明されたことは常に正しい。 まさに絶対的な正しさ。 「数学的証明」こそ、永遠不変の真理なのである。 だからこそ、数学を基盤にし、証明を積み重ねていけば、 いつかは「世界のすべての問題を解決するひとつの理論体系」 「世界の真理」 に到達できるのではないかと信じられていた。 さて、１９３０年頃のこと。 数学界の巨匠ヒルベルトは 「数学理論には矛盾は一切無く、 どんな問題でも真偽の判定が可能であること」 を完全に証明しようと、全数学者に一致協力するように呼びかけた。 これは「ヒルベルトプロ
Life is beautiful: WEB+DBコラム「なぜ日本のソフトウェアが世界で通用しないのか」
私がコラムを書いている「WEB+DB PRESS」の最新号が発売されたので、ここで宣伝させていただく。今回のコラムのタイトルは、「「なぜ日本のソフトウェアが世界で通用しないのか」。 ...(前略)...そんな私が常々感じているのは、日本でのソフトウェアの作り方が米国のそれと大きく違っていること、そして、日本のソフトウェア・エンジニアの境遇が悪すぎるということ。そして、それが「日本のソフトウェアが世界で通用しない」一番の原因になっていることである。 詳しくはコラムを読んでいただくとして（宣伝だと言ったでしょう）、この問題はいまやソフトウェア業界だけにとどまる話ではないから始末が悪い。世界で一番進んでいるはずだった日本の携帯電話メーカーが、今や袋小路に追い込まれているのもこれが原因。 通信業界にはもちろん、携帯電話メーカーにもソフトウェアを自分で書ける人がいない今の日本の状況を考えれば、世界の
(私は)集合論で何をしたいのか - kururu_goedel’s diary
えーと、Twitter / t33f: 集合論って結局何がしたいのか根本的なところまで理解できてない ...に後でツッコミを入れると言ったやつなのですが(反応まで4ヶ月は私の場合標準)。よく考えてみると、私の考えが他の集合論者に共有されているわけでもないので、以降は私見ということで*1。あ、以降集合論というのはZFC集合論のことを指します。 集合論の何が嬉しいかというと、以下の二点になると思います(もう一度断っておくと、これは私見です)。 ほとんどの数学が集合論のモデルの中で展開できる 集合論に特有の強力なツールがたくさんある あ、ちなみにパラドックスの回避云々はデマですからね。ZermeloがZFCの原型になる公理系を発表した動機は、彼自身による実数の整列可能性の証明を弁護するため。もちろん集合論を公理化するならばすでに知られているパラドックスは最低限避けなければいけないとは思っていたで
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
作図可能な正多角形 [物理のかぎしっぽ]
Boardlive today - Habu vs Kubo, 1st game of Challenger Deciding Best of Three Match
Engadget | Technology News & Reviews
iPadに 7 インチモデル登場の噂 | スラド アップル
史上 50 億個目のデバイスがインターネットに接続される | スラド IT
TweetBuzz
徒然なる数学な日々 at FC2 - FC2 BLOG パスワード認証