オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
エリート意識と研究者 [理系脳毒之助日記]
エリート意識と研究者 Tweet ポスドク人生に挫折した匿名研究者が書いた文章が話題になっている。以下は元記事全文を引用しながら、自分が読みながら率直に思ったことを書いてみたい。 万人が読むか読まないかを自由に判断できるネット上でまで、そんなことを気にする必要があるのだろうか。 私は小さい頃から自分はエリートで歴史に名を残す人物になると思っていた。幼稚園の頃に既に自分は周りとは違うという意識があった。小学校では天才だと色々な人から言われた。有名な中高一貫校を出てT大学に入った。大学院での研究では同期よりも先輩よりもimpact factorの高い雑誌に論文が掲載された。これまでの研究室の歴史の中で自分の論文が一番高いimpact factorだった。しかし、自分だから当然の結果だと思っていた。そのときは、挫折などは凡人が感じるものだと心の底から信じきっていた。 僕は神童ではなかったしT大出
困ったときにそのまま使える LINQ to XML コードサンプル 18 パターン [2/2]
LINQ to XML の単純なコードサンプル集の後半戦、LINQ と XPath によるノードの選択方法です。 « XML 文書の作成、ノードの操作 XML 要素の選択 (XPath と LINQ) XPath による単一要素の選択 上の 「要素を含む XML ファイルの作成」で作成した次の XML ファイルを考えます。 <?xml version="1.0" encoding="utf-8"?> <!--LINQ to XML Sample http://keicode.com/--> <Employees> <Employee> <FirstName>Keisuke</FirstName> <LastName>Oyama</LastName> <ID>123</ID> </Employee> </Employees> ここから FirstName=Keisuke である、Employ
![困ったときにそのまま使える LINQ to XML コードサンプル 18 パターン [2/2]](https://cdn-ak-scissors.b.st-hatena.com/image/square/293fb6ec3ff4a9e3b998c9e77aed61d41bef5b29/height=288;version=1;width=512/https%3A%2F%2Fwww.keicode.com%2Fimg%2Fog-image-1.png)
武藤研究室 講義
<BODY> <P>このページを表示するには、フレームをサポートしているブラウザが必要です。</P> </BODY>
物理演算ですべて表現 わずか1MバイトのFPS
フロッピー1枚におさまるサイズ インディーズゲームディベロッパー「Cryptic Sea」が開発中の、「A New Zero」というゲームが注目を集めています。どんなゲームなのかは以下の動画をどうぞ。 シンプルなグラフィックに拍子抜けしたかもしれませんが、実はこのゲーム、アニメーションを使わず、物理演算だけですべての動きを制御している点が特徴。銃を撃ったときの反動も、歩行時の視点の揺れも、撃たれて倒れる時のモーションも、すべて物理演算によるもの。たまに障害物にひっかかって豪快にズッこけたりしてますがそれもご愛きょうということで……。 データ量が極めて小さいのも本作の特徴です。アニメーションやテクスチャなどのデータが入っていないため、ゲーム全体でもなんと1Mバイト未満という小ささ。公式サイトでは無料のクライアントソフトも配布されており、Co-op（協力プレイ）や対戦プレイが楽しめます。筆者も
日夏耿之介 - Wikipedia
日夏 耿之介（ひなつ こうのすけ、1890年〈明治23年〉2月22日 - 1971年〈昭和46年〉6月13日）は、日本の詩人・英文学者。本名樋口 國登（ひぐち くにと）（通称は「圀登」の字体を愛用）[2]。号は夏黄眠、黄眠道人、黄眠堂主人、聴雪盧主人、石上好古、溝五位など30数種類存在する。広範な学識と多岐にわたる文学活動で「学匠詩人」と称される。 詩人としては自らゴスィック・ローマン詩體と称す高踏的で荘重幽玄な詩風であり、その神秘主義的な象徴詩は他に類をみない個性を放っている。また、訳詩や文学論考、随筆などの幅広い著作があり、明治大正期の文学論でも知られる。 長野県下伊那郡飯田町（現飯田市知久町）に樋口藤治郎、以志（樋口龍峡の姉）の長男として生まれる。樋口家は清和源氏につながる家系で、数百年前に木曽から移った。祖父興平は北原家から養子に入り、文芸を好む考古学研究家で、郊戸神社、愛宕神社の
)
力学モデル (グラフ描画アルゴリズム) - Wikipedia
力学モデルによる、wiki ページのネットワークの可視化。（辺はリンクを表す） 力学モデル（りきがくモデル）によるグラフ描画（力指向アルゴリズム）は、グラフを美しく描画するためのアルゴリズムの一つである。 このアルゴリズムは、グラフのノードを2次元空間や3次元空間に配置して、辺の長さをほぼ等しい長さにし、グラフの辺ができるだけ交差しないようにすることを目的にしている。 このアルゴリズムでは、グラフの頂点と辺に仮想的な力を割り当て、力学的エネルギーの低い安定状態を探すことで、この目的を達成している。もっとも直截的なモデルでは、それぞれの辺をフックの法則にしたがうばねとみなし、それぞれの頂点をクーロンの法則にしたがう電荷をもつ粒子とみなす。 そして、その力学系の挙動をシミュレートし、弾性力や静電気力が粒子を近づけたり遠ざけたりするようすを計算する。粒子が安定な配置になり、位置が変化しなくなるま
The International Phonetic Alphabet - Audio Illustrations
<body bgcolor="#FFFFFF" text="#000000"> </body>
MMORPGで考えるレベルデザイン
Aiming Inc. 社内で行われたレベルデザインに関する勉強会のスライドです。使用許可の無い画像は削除してあります。ご了承ください。Read less
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
外山雄三：小栗克裕 (Katsuhiro Oguri) 編曲：管弦楽のためのラプソディ
Bret Victor - Inventing on Principle on Vimeo
Les Jeux et les hommes: Le masque et le vertige: Amazon.fr: Roger Caillois: Livres
A Survey of Free Math Fonts for LaTeX
Stress majorization - Wikipedia
Category theory
推薦図書：小澤徹
LAST ALLIANCE
tahensuu1
andorelseif.com
Draw a string to texture in XNA?