[B! math] tgkのブックマーク

アレックス・タバロック「角谷静夫～経済学徒の間で一番有名な日本人数学者～」（2004年8月19日）

●Alex Tabarrok, “Kakutani is at rest”︵Marginal Revolution, August 19, 2004︶﹁角谷の不動点定理﹂と言えば、経済学を学ぶ多くの大学院生にとって悩みの種となっているが、その定理を証明した日本人数学者である角谷静夫が、先日 [1] 訳注‥角谷氏が亡くなったのは、2004年8月17日。このエントリーは、その直後の2004年8月19日に執筆されたもの。92歳で亡くなった。﹁角谷の不動点定理﹂は、﹁ブラウワーの不動点定理﹂を一般化したものであり、説明するのは厄介だ。しかし、ブラウワーの不動点定理については、いくつかの例を用いてそのエッセンスを語ることは可能だ。例えば、以下の問題を考えてみてほしい。とある仏僧︵仏教の僧侶︶が、日の出と同時に、登山を開始した。横幅が1～2フィートあるかないかの細い山道は、らせんを描くように山頂

tgk 2013/11/12

「ブラウワーの不動点定理」なるものの直感的証明。「麓と山頂から同時に出発した2人は、必ずどこか1地点ですれ違うから」

math

リンク

群論入門･･･群論をド素人が勉強したらこうなるという見本。

群論入門・・・群論をド素人が勉強したらこうなるという見本。 PowerPointの元ファイルをぜんぶまとめたものは1.8MBです。以下はPowerPointファイルです。群論入門・その1(PDFファイル) 群論入門・その2(PDFファイル) 群論入門・その3(PDFファイル) 群論入門・その4(PDFファイル) 群論入門・その5(PDFファイル)未完成です。これが群マシンだ(PDFファイル)・・・2128KB。以下はPDFファイルです。群論入門・その1(PDFファイル)・・・367KB。群論入門・その2(PDFファイル)・・・380KB。群論入門・その3(PDFファイル)・・・569KB。群論入門・その4(PDFファイル)・・・151KB。群論入門・その5(PDFファイル)・・・147KB。未完成です。これが群マシンだ(PDFファイル)・・・2128KB。想い出群論

tgk 2009/08/15

math

リンク

3値論理 - Wikipedia

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。︵2022年12月︶3値論理 (英: ternary, three-valued or trivalent logic) とは、通常の真 (true) と偽 (false) から成る真偽値の他に、第3の真理値を持つ論理体系。多値論理のひとつである。古典論理は排中律を前提としているが、クルト・ゲーデルによって﹁正しいが証明できない命題﹂が存在することが証明されたため、﹁二重否定の除去﹂を認めない直観主義論理などが成立した。これは様相論理学の一種ともいえ、﹁真であることが証明可能である﹂﹁偽であることが証明可能である﹂﹁真であるか偽であるかが証明不能である﹂の三つの真偽値を考える必要があった。概要[編集] 古典論

tgk 2009/04/28

クリーネの 3値論理は U → U = U であることを除けばウカシェヴィチの3値論理と同様である／ボフバールの3値論理は命題の構成要素に M があった場合、その真理値は無条件に M であると定義した

math
sql

リンク

連続体仮説 - ビジュアル・ウィキペディア

tgk 2008/12/10

リンク

ベイズの定理でプロジェクトの失敗を予測

データを確率の枠組みでとらえる﹁ベイズの定理﹂今回は﹁ベイズの定理﹂を概説し、この定理をプロジェクト管理にどのように利用するのか説明します。﹁ベイズの定理﹂は確率論や統計学において知られている定理であり、さまざまな事象に関するデータを確率論の枠組みで取り扱うことができるという点で有用な定理です。確率論の枠組みでデータをとらえることができるという点は、確率や統計の知識のある方にとっては特に大きな利点であるように思えないと思いますが、これがまさにベイズの定理の特徴であるということを説明します。なおベイズの定理はさまざまな応用があります。この定理を使った内容を総じて﹁ベイズ的﹂もしくは﹁ベイジアン﹂︵Bayesian︶と呼びます。今回は、ページ数の都合もあり、ベイズ的意志決定に焦点を当て、特にプロジェクト管理における課題を例として説明していきます。統計を用いた意思決定ベイズ的意思決定の

tgk 2008/10/24

math

リンク

1+1ができない子と線形論理 - 檜山正幸のキマイラ飼育記 (はてなBlog)

1+2と1+1 森毅さんが書いていたのだったかな？﹁1+2はできるが、1+1はできない子﹂の話を読んだことがあります。ちゃんとは憶えてないのですけど、だいたい次のようなことだったかと‥ 大人‥まず1があるだろう。子供‥うん。大人‥そこに2を持ってきて。子供‥うん。大人‥一緒にしたらいくつだ？子供‥3と、1+2=3はOK。大人‥まず1があるだろう。子供‥うん。大人‥そこにまた1を持ってきて。子供‥えっ、1はさっき持ってきちゃったから、もうないじゃん。大人‥別な1を持ってくる。子供‥別のだったら、1じゃないでしょ。僕も似た感覚を持ったことがあるので、この子の発想は理解できます。計算結果を出す前に、計算式を組み立てるとして、そのとき、□+□ のようなテンプレートを考えましょう。また、このテンプレートとは別に、︵一桁の数に限定して︶1から9の数が書いてあるカードがそれぞ

tgk 2007/04/11

線形論理という変なものがある

math

リンク

はてなブックマーク

タグ

関連タグで絞り込む (2)

mathに関するtgkのブックマーク (6)

お知らせ

今週のはてなブックマーク数ランキング（2024年7月第1週）

月間はてなブックマーク数ランキング（2024年6月）

今週のはてなブックマーク数ランキング（2024年6月第5週）

公式Twitter

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス