申し訳ありませんが、ご利用いただくには、新世代のブラウザーを使用する必要があります。お使いのブラウザーを最新バージョンにアップグレードしてください。開始するためのいくつかのリンクは次のとおりです。
MSN マネー
申し訳ありませんが、ご利用いただくには、新世代のブラウザーを使用する必要があります。お使いのブラウザーを最新バージョンにアップグレードしてください。開始するためのいくつかのリンクは次のとおりです。
バンド不完全性定理を構想する。 - hiroyukikojima’s blog
(追記：1012年5月21日) 数理論理学者の古森雄一先生からコメントをいただき、少し加筆した(赤字の部分)。詳しくは、ロックバンドZFC48を構想する！ - hiroyukikojimaの日記 とにかく、最近もう、あれだ、やくしまるえつこに完全にはまっている。いや、はめられている、というほうが正しいかもしれない。 4枚のソロシングルをいっぺんに買ってしまったが、すべてが傑作だった。タイトルからしてすごすぎる。「おやすみパラドックス」「COSMOS vs ALIAN」「ルル/ときめきハッカー」「ヴィーナスとジーザス」だもの。 ウィキペによると、スチャダラパーのBOSE氏が、「気がついている人も多いと思うが、世界は去年ぐらいから完全に、 やくしまるさんを中心に回り始めている。」と語ったそうだが、ぼくなんか、彼女のまわりをまわっているどころか、そのブラックホールに落ちたまま出てこれない状態だ。
ゲーデルと思想まわりの用語について
『ゲーデル問題』という用語について、林さんと蔓葉さんの議論のまとめ。 ゲーデルの不完全性定理以外の業績についてのつぶやきも収集しました。
Akinator, the Web Genius
We are looking moderator / translator for several languages . See details to apply clicking the button below. Learn more
良い本である可能性の高い本の選別方法・改 - GONE WITH THE MEDICINE
どうもりんこです。 以前似たようなエントリを書いた記憶があるのですが，改ということで。 章の始めに，その章の構成が要約されて書かれている。 章の最後に，その章のまとめが要約されている。 章の最後に，確認事項，チェック問題など，その章で書かれていたことを想起できるような仕組みが用意されている。 これに当てはまり，かつ，その内容もすばらしく，日本語もわかりやすく書かれている本は， 結城浩さんの本しか思いつきません。 これは当方の読書量の少なさのせいかもしれませんが， 何冊読もうとも，すばらしい本に出会える割合は変わらないという仮定が 正しいとすると，すばらしい著者に出会える確率はかわらんのかも。 さらに結城さんについて言います。 具体的には，デザインパターンの本を読んだんですが，この人は 本を売ってお金をもらうということを真剣にとらえているんだろうなぁと， ワタシは感じます。 「金をもらう イ
Chromeplated Rat
いや、人間の引っ越しじゃなくて、ブログの。 前々からSo-netブログの時流に遅れた技術について、どうかな、と思っていて。ここはそれなりに（ぼくとしては満足すべき水準の）支持をいただいていた時期もあって、まぁ愛着もなくはなかったんだけど、今般引っ越しを決意しました。 引越し先はこちらになります。 Chromeplated Rat 記事は基本的に移植してありますが、さまざまリンクをいただいている部分（そして自分でリンクをしている部分）があるので、こちらは閉鎖せず残しておきます。 トラックバック機能がない、コメントが使いづらそう、みたいな印象ではてなブログにはちょっと抵抗があったんだけど、もうそのあたりでブログにおけるコミュニケーションを取る時代とは少し違ってきてるのかなぁ、みたいに思ったのもありました。 みなさま、引き続きよろしくお願いいたします。
数学入門公開講座｜京都大学数理解析研究所
ヒッチン方程式とその周辺 教授・望月 拓郎 ヒッチン方程式はリーマン面上で定義される非線形な微分方程式です。もともとは物理学で重要なヤン - ミルズ方程式を簡単にしたものとして導入されたのですが、むしろ数学的に興味深い方程式であり、微分幾 何・代数幾何・トポロジーなど様々な分野を結びつける役割を果たし、その影響は代数解析や数論といった かなり離れた分野にまで及んでいます。この講座では、ヒッチン方程式に関連する数学的対象について説明 し、ヒッチン方程式に触発されて発展した研究の一端を紹介する予定です。また、ヒッチン方程式を例とし て、非線形微分方程式の解析の難しさと面白さなどについても触れたいと考えています。 二重指数関数型数値積分公式の理論と発展 助教・大浦 拓哉 二重指数関数型数値積分公式（DE 公式）は高橋秀俊・森正武により1974年に提案された定積分の値を数 値的に求める手法です。現
『数学』を数学的に考える
terui�kurims.kyoto-u.a .jp 1 Tarski, Chur h, G� odel [6, 11, 12℄ 2 0;1;2;::: N 1 ( ) 1. x;y;z;::: 0 2. t;u S(t);t + u;t �u 0;S(0);SS(0);SSS(0);::: n n 2 ( ) 1. t;u t = u 1 ～ 2. A;B :A;A^B;8xA x senten e A(x) ! _, 9 : ^ 8 t � u � 9x(t + x = u) 8x � t:A � 8x(x � t ! A) 9x � t:A � 9x(x � t ^A) x t;u A 0 1 d e A dAe 2 N A � 1 8x:0 = x d8x:0 = xe \ " 3 ( ) t t 1. 0 0 2. t n S(t) n + 1 3. t;u n;m t + u
『数学ガール/ゲーデルの不完全性定理』装画、挿絵かきました - diary
お仕事のおしらせです♪ 『数学ガール/ゲーデルの不完全性定理』 （結城浩・著 ソフトバンククリエイティブ刊）にて、 装画とさし絵を十数点、描きました。 発売前から、Amazonランキングで５０何位・・・ まで行ったというこの本、 １０月末発売予定の模様。 くわしい内容などは、こちらをご覧ください♪ 講談社刊の『心をそだてる日本の名作童話』でもお仕事しました。 そちらもまたのちほど、ちゃんとご紹介いたしますねー！ 現在、絵本の追い込みに入っています。 同時に、12月の個展のDM候補の版画も、 何枚か刷っちゃったりして。 でも今日は、ひさしぶりに外にでて、 友人と歌舞伎をみました。染五郎さん。 くわしく書きたいんですけど、また今度～。
数学って面白い！？ : 三次元以上の彩色問題 - livedoor Blog（ブログ）
最近、記事に対したくさんのコメントをいただけて、とても嬉しいです＾＾ 記事に関連する事柄や興味深い話題などを教えていただいて勉強したり、記事の不適切な点や疑問点を指摘していただいて記事を改善したり、励ましのメールを貰ったりと、どのコメントも皆、私自身の成長と、より良いブログ作り、そして次の記事を書く際の大きな原動力につながっています☆☆ありがとうございますm(_ _)m さて、今回はそのコメントを通して、私が昔の記事で「これどうなんでしょう？」と問題提起したことに対する明快な証明を教えていただいたので、紹介しようと思います。 一週間ほど前に、四色定理について紹介しました。 四色定理とは、『どんな地図でも、４色あれば、隣接する領域の色が異なるように塗り分けることができる。』というもので、近年コンピュータを使って証明された定理です。 ただし、「どんな地図でも」とありますが、これは我々が見ている
2009年1月27日 ≪注目≫X.Org 7.4へのアップグレード方法とトラブルシューティング、グラフィックアクセラレータの選択指針 | gihyo.jp
FreeBSD Daily Topics 2009年1月27日≪注目≫X.Org 7.4へのアップグレード方法とトラブルシューティング、グラフィックアクセラレータの選択指針 heads-up How to upgrade X.Org 7.4 ports - Ports CollectionのX.Orgが7.4へアップグレードされました。X.Org 7.4へのアップグレードはPorts Collectionを最新の状態にしてからportupgrade(8)でまとめてアップグレードすることで実施できます。Libxcbライブラリが更新されていることから、アップグレード後には念のため「portupgrade -rf libxcb」のようにLibxcbライブラリに依存するライブラリやアプリケーションを再構築します。 Ports Collectionを最新の状態に上げてからまとめて更新 # ports
Githubでリモートリポジトリの練習 - [結] 2009年9月 - 結城浩の日記
目次 2009年9月30日 - 「書くこと」について書きましょう / 2009年9月28日 - 『数学ガール／ゲーデルの不完全性定理』表紙が到着しました！ / 2009年9月27日 - 日曜日 / 2009年9月25日 - 『数学ガール／ゲーデルの不完全性定理』無料プレゼント抽選実施しました / 2009年9月24日 - 木曜日 / 2009年9月23日 - 水曜日 / 2009年9月22日 - 火曜日 / 2009年9月21日 - 月曜日 / 2009年9月20日 - 日曜日 / 2009年9月18日 - #onwriting: 書くことについて話しましょう / 金曜日 / 2009年9月17日 - 木曜日 / 2009年9月16日 - 水曜日 / 2009年9月15日 - 出産 / 2009年9月14日 - 応募メール / 2009年9月13日 - 日曜日 / 2009年9月11日 -
| 広報＆IR担当のオフィシャルブログ
tatsuo8718さん 日々を気楽に！smapiececiiさん ちいのブログ03250325-03さん 03250325-03のブログhamkitiさん はむちゃん日記takano0722さん takano0722のブログ98940さん 98940のブログmitsuaki1967さん ミッキーアイランドのブログkabusikiseminaさん 株の初心者が高い確率で儲けるやり方sakurachops-pressさん 一人ひとりの色「個性」をいかすレインボー企業さくらグループ広報のブログanatanopan1015さん パン教室に通わずに、自宅でたった２時間でパン屋のような お手軽ゆるふわ手ごねパン作成法
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
矛とか盾とか／原子／犬 : ワークショップ『批評・コラムを書く』 2011年度版
一個人｜心に残った本｜｜池上彰「伝える力」
ReaD & Researchmap
佐藤優と「偏微分（笑）」・ネタふり編(5): liber studiorum
Math Message Boards FAQ & Community Help | AoPS
編集部ブログ | 月刊コミックフラッパー オフィシャルサイト
ネット時代の婚活方法！.../株式会社サイバーエージェント