“マイナス×マイナス＝プラス”の理由は？ 数学が面白くなるエントリー集 - はてなニュース
「一体こんなものが何の役に立つのか」――そんな疑問で学生時代に「数学」で悩まされた経験のある人は少なくないようです。とはいえ、現在の私たちの生活は、数学なしには成立しません。そもそもいまこれを読む皆さんが目にしているPCやウェブサービス自体が、数学の成果を活かして作られたものです。今回は、友達に“リア充”が多く見える理由から、マイナスとマイナスのかけ算がプラスになる理由まで、そんな数学を楽しむためのエントリーをまとめました。 ■ なぜあなたの周囲は「リア充」だらけなのか？ 日常にひそむ数学の数々 とはいえ、やはり数学はとっつきにくいという人も多いのではないかと思います。そこで、まずはちょっと数学が身近に感じられそうな、日常にひそむ数学について書いた記事から。 ▽ http://mainichi.jp/life/edu/sugaku/archive/news/2009/20091029ddl
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
荒い写真の空白を埋める数学の魔法｢compressed sensing｣！（動画あり）
荒い写真の空白を埋める数学の魔法｢compressed sensing｣！（動画あり）2010.03.08 23:005,488 satomi ｢もっとズームしてくれ...そうそこだ...そいつの顔をもっとエンハンスしてくれないか...｣と頼むと技師がカチャカチャやって容疑者Aの顔がクッキリ―というドラマでお馴染みのシーンが現実に！ これを可能にしたのはスタンフォード大学エマニュエル・キャンデス（Emmanuel Candes）教授とUCLAテレンス・タオ（Terence Tao）教授が開発した｢compressed sensing（CS）｣という技法です。 映画のフェイクUIとは別物。このオバマの写真みたいに、低画素のざらざらなイメージ（左）も高画素のきれいなイメージ（右）に加工できるんですよ。 主に研究目的で開発されたもので、例えばMRIスキャンもデータを丸々じゃなく、少量だけスキャン
計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記
ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)＝プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明＝プログラム , （ {、 { ヽ.ｰ､､ ＼､__ぃ._ゝ⌒ヾ iヾ）}､_ ﾝ_ｰ-_二ｰ-, 〉 {厶 _､ヽ _ ヽ._＞'´ ／ /,ィ／ / ハYﾍい ,. -- 〃⌒ r−-､ ィ´ 〃 ,ｲ/7' ,ｲイ/ 小ヽ 丶、 ,. ‐ '´ﾊ i ″｀ヽ、 、ヽ、 ／幺ィ {从{小込v' jｩ仏厶川ﾘ} YV, 小 Vj. |丶 ヽ ｀ ｰ-ミー--'_,辷三彡
世の中は、巧妙に隠されてはいるけれど、いっぱいある高度な数学 - akira_youの私見
http://twitter.com/aomoriringo/status/8371952492http://twitter.g.hatena.ne.jp/maname/20100203/1264919573そんな例を私が知っているだけ書いてみるテスト。概要だけしってるのばっかりなので、うわっつらかもしれないけれども、そのへんの学部生よりかは知ってるつもり。ケータイ電話音声を人間の耳の仕組み（共振）で捕らえるためにフーリエ変換を使う、日本語で言えば周波数解析ってところかな情報圧縮のための予測残渣,音声データって人間がしゃべるモノだからある程度の規則性があって予測ができちゃう。数学的にもっとも高確率で予測できる数式をつくって、ハズレた分だけ情報おくれば少ない情報おくればいいよねっていう技術聴覚モデルをつかった圧縮。でかい音がなってれば、小さな音は聞こえなくなっちゃう。聞こえない音の情報カット
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
