「ルベーグ積分」の講義ノートPDF。測度論と確率論の入門（演習問題と解答付き） - 主に言語とシステム開発に関して
講義ノートの目次へ 大学の数学で，ルベーグ積分を学習するための講義資料やPDF。 演習問題と解答付き（院試の問題を含む）。 良質なテキストを収集した。高い参考書や問題集を買わなくて済む。 量を定義しにくい複雑な集合を扱う場合， その集合の大きさを積分や確率で「測る」ために，測度が必要。 測度論の入門としてルベーグ積分を学ぶと， 関数解析や確率論，数理ファイナンスなど解析学の応用分野で， 複雑な集合の扱いに困らなくなる。 以下は，ルベーグ積分を独学で学ぶためのノート。 問題を解きながら学習するとよい。 ※微積分の基礎はこちらのノート， 位相空間論の基礎はこちらのノートで復習しよう。 ※続きとして，関数解析のノートはこちら。 ルベーグ積分の講義ノート ページ数が多く，詳しく教えているノート（PDF形式）： 積分論の基礎 ルベーグ積分入門 http://www7b.biglobe.ne.jp/~
Oregon Programming Languages Summer School
Oregon Programming Languages Summer School — July 22-August 3, 2013 Types, Logic, and Verification Speakers Organizers Curriculum Schedule Participants Coq Preparation and Boot Camp Several of the course lecture sequences will assume basic familiarity with the use of the Coq proof assistant. In particular, the lecture sequence Software Foundations in Coq, based on the book of the same name [availa
多様体の基礎のキソ（仮題）
Tomoki Kawahira / Graduate School of Economics / Hitotsubashi University Back to Courses | Home 多様体の基礎のキソ （仮題） 多様体の基礎のキソについて独自の視点で講釈します． ご感想・ご意見・ご要望は kawahiraAmath.titech.ac.jp (@ = A) までどうぞ． ０．このノートについて （ver.20120509） １．線形代数の基礎のキソ （ver.20170131） ２．多変数微分の基礎のキソ （ver.20170131） ３．位相空間の基礎のキソ （ver.20170131） ４．多様体 （ver.20170131) ５．接空間 （ver.20170131) ６．余接空間 （06-cot.pdf) ７．ベクトル場（準備中） ８．ベクトル束 ９．微分形式 １０．ストー
Geometric Folding Algorithms: Linkages, Origami, Polyhedra | Electrical Engineering and Computer Science | MIT OpenCourseWare
This course focuses on the algorithms for analyzing and designing geometric foldings. Topics include reconfiguration of foldable structures, linkages made from one-dimensional rods connected by hinges, folding two-dimensional paper (origami), and unfolding and folding three-dimensional polyhedra. Applications to … Show more This course focuses on the algorithms for analyzing and designing geometri
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
458 Lecture Notes
458 Lecture Notes 458 Lecture Notes 01-intro 02-threads 03-scalable_sync 04-concurrent_data_structures 05-coherence_etc 06-MPI.pdf 07-OpenMP 08-speedup 09-TM 10-SEDA_Capriccio 11-distribution 12-SDSM 2006-03-29_kshen_parallel_IO.pdf fault_tolerance Gauss MP_architecture parallelization README.txt SunFire_Regatta This directory contains lecture notes for CSC2/458, spring 2008. These are posted on
CS240h Lecture notes
CS240h lecture notes Basics [slides, source] Slides from previous lecture include this lecture, starting at slide 28 Memory [slides, source] Testing [slides, source] Concurrency [slides, source] Zippers [slides, source] Phantoms and mutants [slides, source] Monoids and fingertrees Monads and more [slides, source] Iteratees [slides, source] Information flow control [slides, source] Parsing and cont
WATANBAE Hiroshi
渡邉浩志 (WATANABE Hiroshi) 東京大学 新領域創成科学研究科 人間環境学専攻 バイオメカニクス分野 ( 工学系研究科 機械工学専攻 気付) E-Mail: nabe@sml.k.u-tokyo.ac.jp 略歴 研究概要 有限要素法プログラミング演習（fortran, C のソースコードつき）（開発版 Last update 2000 July. 12） 趣味のページ 便利なツール データベース 流体構造 2012年度講義資料まとめ 学部：材料力学（夏）・有限要素法（冬） 大学院：非線形有限要素法の基礎（夏）・非線形有限要素法特論（冬） 2011年度講義資料まとめ 学部：材料力学（夏）・有限要素法（冬） 大学院：非線形有限要素法の基礎（夏）・有限要素法特論（冬） 大学院講義：非線形有限要素法特論(2010) 大学院講義：有限要素法特論(2009) 大学院講義：非線形有限要
Academic Earth | Online Courses | Academic Video Lectures
Rethink Education Academic Earth was launched on the premise that everyone deserves access to a world-class education. In 2009, we built the first collection of free online college courses from the world’s top universities. The world of open education has exploded since then, so today our curated lists of online courses are hand selected by our staff to show you the very best offerings by subject
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www0.cs.ucl.ac.uk/staff/d.silver/web/Teaching.html
http://www.visualecture.com/wordpress/?p=3081
Teaching College-Level Science and Engineering | Chemistry | MIT OpenCourseWare
放送大学オープンコースウェア
Satoshi Izumi