オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St

【良質の独学サイト】分野は、数学、統計学、コンピュータ言語、英語、金融・経済など分野は問いません。【eラーニング】 以下の条件にあうサイトを沢山教えて下さい。 ・完全に無料であること。 ・講義資料だけでなく、演習問題などもあり、十分独学できること。 ・良質であれば、英語サイトでも良いこと。 ・内容は、大学の講義資料・宿題資料が公開されているなど、大人向けの内容であること。 できれば、実際にこのサイトでこの内容を学習・マスターできたという実体験の伴うものがベストですね。

1 名前：Nanashi_et_al.[] 投稿日：04/01/10 20:58 ID: １番天才的な科学者って誰なんですか？？物理・数学・生命科学・・・なんでもいいです。 123 名前：アフォ[] 投稿日：04/06/18 14:26 ID: 俺 250 名前：Nanashi_et_al.[] 投稿日：2005/07/29(金) 01:18:45 ID: 強いて挙げるならば俺かな 159 名前：Nanashi_et_al.[] 投稿日：04/07/12 14:31 ID: 俺に決まってるだろ？ 352 名前：Nanashi_et_al.[sage] 投稿日：2007/08/17(金) 00:05:01 ID: 案の定「俺」と書き込む馬鹿がいるな スレタイが「世界一の馬鹿」なら同意してやる 22 名前：Nanashi_et_al.[] 投稿日：04/01/12 22:05 ID: ノイ

前の記事　窓に見えるディスプレー：人の位置で眺めも変化(動画) 「iPadではないタブレット」6選　次の記事 世界一流の講義を無料提供：『iTunes U』から5選 2010年4月20日 社会 コメント： トラックバック (0) フィード社会 Lonnie Morgan iPadは教育ツールとしての可能性も大きい。すでに無料配布して教育に活用しようとする大学も複数ある(日本語版記事)し、次世代検索エンジンWolfram|Alpha(日本語版記事)も、優れた教育ツールになるアプリを公開している。しかし米Apple社は、実は何年も前から教育市場のエースを持っている。iTunesに入っている『iTunes U』だ。 2007年に導入された『iTunes U』では、世界一流の大学教授たちが行なった、音声や映像による講義やプレゼンテーション、デモを無料で視聴することができる。 イェール大学、スタンフ

1 ：名無しの笛の踊り：2009/06/14(日) 23:31:44 ID:gVMdNejw 世界一だと思う交響曲は何ですか？ 90 ：名無しの笛の踊り：2009/07/05(日) 22:23:51 ID:QToYLHO9 第九が、1番まで読んだ。 53 ：名無しの笛の踊り：2009/06/21(日) 03:28:54 ID:K39zEtzv やっぱり第九かな 12 ：名無しの笛の踊り：2009/06/17(水) 02:16:38 ID:ttyLxYAh 第九、ミーハー感があるが、やはりこれほど第一楽章〜四すべてで、美しいシンフォニーはない。 交響曲第9番 (ベートーヴェン) ベートーヴェンの9番目にして最後の交響曲である。 まぎれもなくこの交響曲は、ベートーヴェンの最高傑作の一つである。大規模な編成や1時間を超える長大な演奏時間、それまでの交響曲でほとんど使用されなかった、ティンパニ

世の中には名言、格言、○○語録といった、味わい深いフレーズがいくつもあります。その中には当然（？）エンジニアが語った内容もあるわけです。歴史上の人物、ではなく、現在を生きるエンジニアの言葉を紹介します。

Programming Languages Google's Python Class This is a complete online introduction to Python programming, including writen materials, lecture videos, and coding exercises. The class is geared for people with a little bit of programming experience, and is used within google to introduce Python. Below are video-taped lectures from Google Video on various technology areas. These videos are great oppo

Blog of 0x1fff 0x1fff: 35 Google open-source projects that you probably don't knowにおいてGoogle Codeでホスティングされているプロジェクトから35のプロジェクトが紹介されている。もとはポーランド語で記載された0x1fff: 34 projekty Open Source udost?pnione przez Googleを英訳したものとあるが、翻訳する段階で1つプロジェクトが追加されて35になっている。その後さらに25のプロジェクトが、その後さらに34のプロジェクトが追加され、合計92のプロジェクトがまとめられている。マイコミジャーナルでニュースやハウツーとして取り上げたものも多い。取り上げられているプロジェクトは次のとおり。 テキストファイル処理 Google CRUSH (Custom Repo

2 ：以下、名無しにかわりましてVIPがお送りします[]：2009/12/20(日) 13:20:41.56 ID:aiZCkMoK0 5 ：以下、名無しにかわりましてVIPがお送りします[]：2009/12/20(日) 13:21:50.67 ID:aiZCkMoK0 8 ：以下、名無しにかわりましてVIPがお送りします[]：2009/12/20(日) 13:22:37.78 ID:aiZCkMoK0 11 ：以下、名無しにかわりましてVIPがお送りします[]：2009/12/20(日) 13:24:10.79 ID:aiZCkMoK0 山の神様の社 15 ：以下、名無しにかわりましてVIPがお送りします[]：2009/12/20(日) 13:25:26.50 ID:aiZCkMoK0 民話の故郷、遠野市の薬師岳 天狗が住まうという 16 ：以下、名無しにかわりましてVIPがお送りします

少し前にAppleの創業者であり現在のCEOでもあるSteve Jobsのスピーチが話題となったこと があるが、Steve Jobsに限らず、MicrosoftのBill GatesやGoogleのEric Schmidtのスピーチなど海外のIT有名人のスピーチはどれも非常に面白い。 今回は、海外のIT有名人(というよりはIT系企業の経営者)のスピーチをまとめてみた。 《スティーブジョブズ(Steve Jobs)》 ○H-Yamaguchi.net: Steve Jobsのスピーチ、山口訳 ○スティーブ・ジョブズのスタンフォード大学での卒業式スピーチ (himazu archive 2.0) ○Steve Jobs@スタンフォード大学祝賀スピーチ | DeSight@higherground ○YouTube - Apple創始者・ｽﾃｨｰｳﾞ･ｼﾞｮﾌﾞｽの伝説のｽﾋﾟｰﾁ(1)(動画)