Effective Computation in PhysicsGet full access to Effective Computation in Physics and 60K+ other titles, with a free 10-day trial of O'Reilly. There are also live events, courses curated by job role, and more.
Interactive SICP
Structure and Interpretation of Computer Programs Interactive Version Wizard Book n. Structure and Interpretation of Computer Programs, 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. Interactive SICP n. Interactive Structure and Interpretation of Computer Programs. Online version of
MPS 研究会へようこそ — MPSPortal
情報処理学会 数理モデル化と問題解決(MPS)研究会 概説 当研究会は， 問題の数理的把握とモデル化及び その有効な解決手法の開発に関する研究交流の場として， 1995年に誕生しました． 以来， コンピュータを用いた問題解決が求められる理工系・人文社会系の諸分野全体を対象とし， 活発な学際的研究会として成長してまいりました． 特に， 1999年からは情報処理学会論文誌「数理モデル化と応用」を編集発行し，それにより研究会・シンポジウムの発表， 申し込みも一層活性化されました． 今後， 論文誌の更なる充実・発展を期し， 研究会全体のより一層の国際化及び学際化を進め， 産・官・学の良き交流の場を確立してゆきたいと考えております． 研究会設立の目的 社会や企業等における種々の複雑な実問題を解決するためには， 先ず，いかにしてそれを適切に定式化した数理モデルとして表現するかが， 重要な第一ステップと
Probabilistic method - Wikipedia
In mathematics, the probabilistic method is a nonconstructive method, primarily used in combinatorics and pioneered by Paul Erdős, for proving the existence of a prescribed kind of mathematical object. It works by showing that if one randomly chooses objects from a specified class, the probability that the result is of the prescribed kind is strictly greater than zero. Although the proof uses prob
領域理論 - Wikipedia
領域理論 （りょういきりろん、英: domain theory）は、領域 (domain) と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、順序理論の一分野である。 計算機科学の表示的意味論（英: denotational semantics）を構築するために用いられる。 領域理論は、近似と収束という直観的概念を極めて一般的な枠組で形式化し、位相空間と密接な関係をもつ。 領域理論の意図と直観的意味[編集] 1960年代末にデイナ・スコットが領域についての研究を開始したそもそもの動機は、ラムダ計算の表示的意味論について研究するためであった。 ラムダ計算においては、この言語が定めている記法で記される「関数」について考察する。 このラムダ計算では純粋に文法的に、単なる関数から入力引数として別の関数をとるような関数を作ることが可能である。 このラムダ計算には、不動点コンビネータ（英:
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Computer Science Stack Exchange
GitHub - steshaw/plt: Programming Language Theory λΠ
ソフトウェア工学 - 東京大学大学院総合文化研究科 玉井哲雄
GitHub - papers-we-love/papers-we-love: Papers from the computer science community to read and discuss.
Modern Operating Systems, 4th Edition | InformIT
Resources for learning domain theory?