オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
Templates for the Solution of Linear Systems, 2nd Edition
How To Use This Book Contents Index Richard Barrett Michael Berry Tony F. Chan James Demmel June Donato Jack Dongarra Victor Eijkhout Roldan Pozo Charles Romine Henk van der Vorst This book is also available in Postscript and PDF from these sources: www.netlib.org/templates/templates.pdf ftp.netlib.org/templates/templates.ps from any machine on the Internet type: rcp anon@www.netlib.org:templates/
Numerical Recipes in C
Important: Effective 1/1/07 (6/15/07 for Linux), you will need the free FileOpen plugin for Adobe [Acrobat] Reader® to use this free resource. If you are getting blank pages, or error boxes, instead of Numerical Recipes chapter sections, then you probably have not installed the plugin. The plugin is available for Windows, Mac OSX, and Linux. Please see: How to download and install the plugin Numer
サービス提供終了のお知らせ
日頃より、Momoたろうインターネットクラブをご愛顧いただきまして誠にありがとうございます。 「ホームページサービス」のサービス提供は2015年11月30日をもちまして終了させていただきました。 これまで長らくご利用いただき、誠にありがとうございました。 今後も、皆様によりよいサービスをご提供させていただけるよう、サービス品質向上に努めて参りますので、何卒、ご理解いただけますようお願 い申し上げます。 ＜Momoたろうインターネットクラブをご契約のお客様へ＞ 後継サービスとして「userwebサービス」を提供させていただいております。 詳しくは、以下のリンクをご参照ください。 ▼「userwebサービス」のご案内 http://www.ejworks.info/userhp/mmtr/index.html 今後ともMomoたろうインターネットクラブをご愛顧いただけますようお願い申し上げます
Welcome to the SICP Web Site
Wizard Book n. Hal Abelson's, Jerry Sussman's and Julie Sussman's Structure and Interpretation of Computer Programs (MIT Press, 1984; ISBN 0-262-01077-1), an excellent computer science text used in introductory courses at MIT. So called because of the wizard on the jacket. One of the bibles of the LISP/Scheme world. Also, less commonly, known as the Purple Book. from The New Hacker's Dictionary, 2
Algorithm
§Algorithm§ 一覧表（項目数=26 01/01/15現在） 回数 題目 公開日 更新日 ●統計(4項目) 第２６回 簡単な補間理論その二 UP! 01/01/15 01/01/15 第２５回 簡単な補間理論 00/12/31 00/12/31 第２４回 最小二乗法による回帰直線 00/12/25 00/12/25 第１３回 偏差値を求める 00/05/10 00/05/10 ●探索(1項目) 第２３回 文字列の探索 00/11/25 00/11/25 ●算数(2項目) 第２２回 n進数→m進数への変換 00/11/05 00/11/05 第１回 最大公約数を求める 99/11/19 99/11/20 ●データ構造(1項目) 第２１回 PictureBox の二次元配列化～パレットの作成～ 00/10/02 00/10/02 ●幾何(6項目) 第１５回 直接的な線分交差判定 00/
東京工業大学 情報理工学院 数理・計算科学系
大岡山地区の建物 大学正門より，桜並木のウッドデッキを通り，右手の芝生をつっきる小径が西8号館，西7号館に続くみちです． 大岡山西8号館（Ｅ棟，Ｗ棟）: キャンパスマップの18, 19番の建物にあたります．本館の西隣りに位置しています．正面玄関をはいったところは３階です． Ｅ棟においでの方は廊下をはいってすぐ左手のエレベータをご利用下さい． Ｗ棟にはじめておいでの方は十分に注意して下さい．Ｅ棟とＷ棟を繋いでいる通路は３階と１０階にしかありません．Ｅ棟のエレベータを利用すると迷子になります．正面玄関から廊下をまっすぐにおいでになり，奥の右手にあるエレベータをご利用下さい． 西7号館：キャンパスマップの17番の建物にあたります．西8号館から，建物を二つ挟んだ並びにあります．芝生から向う場合，左手に本館を見ながら進み，本館がとぎれたあたりの右手にある小さな建物が西7号館です．橋を渡ってはいったと
数値計算法 - Katsurada Labo. Text
桂田研卒研ノート 主に数値計算法を中心に、 過去の卒研や院生ゼミで扱った題材についてまとめた (寄せ集めた) ものです。 (こんなの書きたくないのですが、 数値計算関係は学生が迷子になってしまう本が多くて…) プログラムについては、 「公開プログラムのページ」 を探した方がよいかも。 また、コンピューターの使いこなしについては、 「桂田研KnowHowページ」が参考になるかも。 最近更新したもの 2007年度卒研は、S-W 近似が少しだけ前進。ノウハウ系で色々前進があった。 ぼちぼち書いていきます。 『Laplace変換ノート』 (HTML), (PDF) (2008/3/25) 『音の取り扱いに関するメモ』 (HTML), (PDF) (2008/3/6) 『Laplacian と極座標』 (PDF)(2007/5/12) 『C言語これくらいは覚えよう』 (HTML), (PDF) 『熱
ビギナーのための曲面モデリングセミナー（予告編）
ＮＵＲＢＳ（ナーブス）モデラーなる道具が出現して、立体をデザインするなら最初から３次元でやってしまおうという流れが定着してきました。実際に本物を作ってしまう前に、見栄えや性能をコンピュータ上で評価できるのですから、工業製品などでしたら試作段階の無理無駄がどれだけ省けるか効果は絶大ですよね。 筆者はその昔、大手ガラスビンの製造会社に勤めておりました。多くの人に、お酒や清涼飲料、調味料はよく知られていますが、それを包んでいるガラスビンは、さほど関心をもたれたことがないでしょう。工業デザインの例としてコカコーラのビンが有名ですね。ロングスカートの女性のシルエットを模したというあれです。ガラスビンのデザインは、実は結構大変なのです。ビンの中身はたいてい味のあるものですが、味を見てもらう前にお店の棚からとってもらわなければなりません。商品としては中身で勝負と言いたいけど、現在の流通の仕組みからは外見
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.mie-chukyo-u.ac.jp/~aihara/?%B7%D0%BA%D1%BF%F4%B3%D8%C6%FE%CC%E7
http://www-mi.sci.ibaraki.ac.jp/~yamagami/teaching.html
黒木玄のウェブサイトだった場所
http://yaneu.com/cgi/yanebbs/dobbsr.cgi?a=view&topic_id=1077382762
http://homepage2.nifty.com/PAF00305/index_m.html
複素関数論入門 - 広島工業大学
http://momonga.t.u-tokyo.ac.jp/~ooura/fftman/index.html
最適化ソフトとテスト問題集
http://green.cc.tsukuba.ac.jp/tetsu/shibaura/ed.html
Roderick Murray-Smith
微分積分