オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
人生は、『はがねのつるぎ』を手に入れるまでがいちばん面白い - 未来の蛮族
異論は認めない。だいたいなんだってそうなのだ。「おうじゃのつるぎ」だの「はかいのつるぎ」だのといったような、伝説級の武具。それらは確かに格好いいかもしれない。しかしだ。それらを手に入れたとき、我々の心はほんとうにときめいているだろうか？ だいたい、そんな大層な武器を手に入れたところでだ、我々にはどこにも行くところがないじゃないか。もう地図はほとんど埋め尽くしてしまっているころだし、呪文だってもう「ギガディン」なんて名前の、あからさまに最強くさいものを覚えてしまっていたりする。強力な武器や魔法を手に入れたところで、それを用いて闘う相手などいやしない。せいぜい魔王か、さもなれけばとってつけたような隠しボスが、倦み疲れた我々を接待してくれるだけだ。 もはやそこに冒険はない。 あるのはただ、憂鬱な義務感だけだ。 「はがねのつるぎ」には、そうした重たさはない。その切っ先が指し示す先には、ただただ限り
文章の特徴を分析して個人を特定するプログラム | WIRED VISION
文章の特徴を分析して個人を特定するプログラム 2007年10月 3日 IT コメント： トラックバック (1) Noah Shachtman 2007年10月03日 Credit: Jupiter Images オンラインでは匿名だから、勝手なことを書きこんでもバレっこないとお思いの読者も多いだろう。だがやはり身許が特定される恐れはある。 アリゾナ大学人口知能研究所では、米連邦政府の資金援助を受けて、インターネット上の人々の動きを、その人の書き癖から追跡する方法を確立しようとしている。 全米科学財団(NSF)のプレスリリースによると、アリゾナ大学のきわめて野心的な『Dark Web』プロジェクトは、「テロリストが作成したすべてのウェブ・コンテンツを系統立てて収集、分析することを目的」としている。 『Arizona Daily Star』紙の記事によると、この「分析」には、「執筆者1人1人を
また君か。＠d.hatena - 近年稀にみる落胆
ひさしぶりにおれの人生に落胆した。調理の腕のなさっぷりゆえにだ。うまい料理を作る能力がないだけなら、まあ特に気にするほどのことでもない。うまい料理を作ることができるひとが偉いのは、料理をうまく作ることのできるひとが少ないからだ。少数の偉さを保障する相対的に偉くない多数は、それは「普通」ということであって「不幸」ではない。しかし、マズい料理を作ってしまう能力があるようだと深刻だ。一体いまおれはなにをした。米と挽肉とタマネギと卵だ。まあ食卓に並べられるべき優れた献立と呼べるようになるまでには、あと少々なにかが必要かもしれない。しかしこの組み合わせなら、間違ったことでもやらない限りは、いちおう人間の食いものらしいものが出来上がるはずだった。にもかかわらず、出来上がったのは見るも無残食べるも無残、とても料理などと呼べたものではない代物。包丁貴族・団英彦ならずとも餌と呼ぶ。それ以下だ。マズい。馬に蹴
自由回答データを定量的な切り口で分析するには？ ― ＠IT情報マネジメント
Webなどを通じて、顧客や利用者の意見を集めることが簡単にできるようになってきた。しかし、非定型の自由回答データは非常に有意義な意見を得ることができる反面、分析するのに手間が掛かる。手軽に定量分析する方法はないだろうか？ Webや電子メール、ケータイの普及で、幅広くさまざまな意見を募ることが安上がりにできるようになってきました。最近ではブログやSNSなどのCGMと呼ばれる口コミ系メディアも花盛りです。 Webアンケートも広く行われていますが、アンケートの回答は「出題側の仮説に影響される」という制約があり、“意外な発見”にはなかなか結び付きません。 一方、メールなどで寄せられる自由回答や意見・要望はそうした制約もなく、何かビジネスのヒントがありそうですが定量的な分析ができないという弱みがあります。せいぜい分析者が文章を読んで主観的に解釈するぐらいにしか活用していないのではないでしょうか？ あ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
SPEED製薬
台湾在住日誌 Side-USA改Side-Saitama:紀伊国屋の裏切り - livedoor Blog（ブログ）
http://www.hirokiazuma.com/archives/000333.html