Bookmarks@MarkupDancing
Tags — mathematics
See what's hot on Bookmarks@MarkupDancing, or go to Poppular Tags.
ライスの定理 - Wikipedia
saved on 2011-11-09 18:14:47
ライスの定理（ライスのていり、英: Rice's theorem）は、計算機科学における計算可能関数の理論に関する定理で、 定められた性質Fを満たすかどうかを任意の部分計算可能関数について判定する方法は(Fが自明な場合を除いて)存在しない、というもの。 名称の由来は Henry Gordon Rice から。
中村ナンバー - Wikipedia
saved on 2011-11-09 18:14:22
協力ゲーム理論および社会選択理論において、中村ナンバー なかむらナンバー、Nakamura 数、 Nakamura number とは、投票ルールに代表される 集合的意思決定ルールの合理性の度合いをはかる指標 整数 である。
[1103.0422] On Zaremba's Conjecture
saved on 2011-10-03 11:45:25
It is shown that there is a constant A and a density one subset S of the positive integers, such that for all q in S there is some 1<=p<q, (p, q)=1, so that p/q has all its partial quotients bounded by A.
Anuj Dawar
saved on 2011-09-09 11:30:19
I am mainly interested in applications of logic in Computer Science. I am especially interested in those areas of theoretical computer science where logical and combinatorial methods combine in the study of algorithms. These include finite model theory and its connection to the study of computational complexity; the theory of databases; the complexity of games and the expressive power of logical formalisms.
Algebra and Logic
saved on 2011-09-09 11:17:29
"Algebra and Logic" is a translation of "Algebra i Logika", a publication of the Siberian Fund for Algebra and Logic. This bimonthly journal publishes papers presented at the meetings of the seminar "Algebra and Logic" in Novosibirsk State University. The journal was founded by A.I. Mal'tsev in 1962.
The Japan Society for Industrial and Applied Mathematics - JSIAM
saved on 2011-09-08 13:04:56
日本応用数理学会は，最近の研究，産業，教育における数理的イノベーションに応えるために，1990年4月に発足致しました学会であります. 本学会会員の専門分野は数学，物理，化学，電気・電子，機械，材料，建築，情報処理， 通信，計測・制御，システム工学，人間工学，経営，等々極めて多岐にわたっており， 学際的に異分野の第一線の研究者や技術者が集まり，下記のような事業により， 応用数理を研究，産業，教育に結び付けるための研究開発と普及，会員相互の連携・親睦， 国際的な交流を積極的に行っております.
Singular
saved on 2011-08-31 17:02:23
Singular is a computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory. It is free and open-source under the GNU General Public Licence. Singular provides highly efficient core algorithms, a multitude of advanced algorithms in the above fields, an intuitive, C-like programming language, easy ways to make it user-extendible through libraries, and a comprehensive online manual and help function.
DLMF: NIST Digital Library of Mathematical Functions
saved on 2011-08-31 16:58:26
Project News 2011-08-29 DLMF Update; Version 1.0.3 2011-08-11 Safari 5.1 supports MathML More news
Apache Mahout の紹介
saved on 2011-08-30 12:46:23
データやユーザー入力から学習するインテリジェントなアプリケーションの開発は、これまでは巨額の研究予算のある学術界や企業でしか行われていませんでしたが、今や一般的になりつつあります。クラスタリングや協調フィルタリング、カテゴリー分けなど、機械学習の手法に対するニーズは今までにないほど高まっています。機械学習の用途には、大勢の人達の間での共通性の発見、あるいは大量の Web コンテンツの自動タグ付けなどがあります。Apache Mahout プロジェクトは、インテリジェントなアプリケーションの作成を容易に、そして迅速にすることを目標としています。この記事では Mahout プロジェクトの共同設立者である Grant Ingersoll が機械学習の基本的な概念を紹介し、Mahout を使って文書をクラスタリングする方法、レコメンデーションを行う方法、コンテンツを構成する方法を説明します。
A history of the mathematical theory of probability : from the time of Pascal to that of Laplace : Todhunter, I. (Isaac), 1820-1884 : Free Download & Streaming : Internet Archive
saved on 2011-08-21 00:39:24
Author: Todhunter, I. (Isaac), 1820-1884 Subject: Probabilities Publisher: Cambridge ; London : Macmillan Possible copyright status: NOT_IN_COPYRIGHT Language: English Call number: ucb_banc:GLAD-84008222 Digitizing sponsor: MSN Book contributor: University of California Libraries Collection: cdl; americana
Popular Tags
- programming
- security
- python
- development
- javascript
- openid
- design
- PHP
- database
- WebDesign
- software
- performance
- framework
- Erlang
- reference
- Haskell
- identity
- password
- privacy
- Usability
- business
- philosophy
- Web
- network
- language
- architecture
- algorithm
- c
- library
- mathematics
- management
- authentication
- functional
- opensource
- tools
- cryptography
- encryption
- AJAX
- algorithms
- Internet
- testing
- css
- math
- blog
- code
- History
- server
- api
- java