連合国はどうやってドイツの戦車生産数を割り出したのか | スラド サイエンス
javascript - NANDで何でもやってみよう-2.引き算と比較 : 404 Blog Not Found
2010年08月10日06:00 カテゴリLightweight Languages書評/画評/品評 javascript - NANDで何でもやってみよう-2.引き算と比較 ゼロから学ぶ ディジタル論理回路 秋田純一 というわけで、今回は引き算を出来るようにしてみましょう。 404 Blog Not Found:javascript - NANDで何でもやってみよう-1.まずは足し算から 次は減算を実装します 負数をどう表現するか といっても、実はやる事はそれほどありません。加算さえできれば、減算は自動的に出来るからです。「aからbを引く」のではなく、「aに-bを加える」というわけですね。でもbに対する-bって一体どう表現すればいいのでしょう? ここで、0b0001に0b1111を足してみます。答えは0b10000ですが、もし整数の桁数が4ビットしかなければ、答えは0b0000ということ
Não Aqui! » 10行強で書けるロジスティック回帰モデル学習
ロジスティック回帰（logistic regression）の学習が，確率的勾配降下法（SGD: stochastic gradient descent）を使って，非常に簡単に書けることを示すPythonコード．コメントや空行を除けば十数行です． リストの内包表記，条件演算子（Cで言う三項演算子），自動的に初期化してくれる辞書型（collections.defaultdict）は，Python以外ではあまり見ないかも知れません． リストの内包表記は，Haskell, OCaml, C#にもあるようなので，結構メジャーかも知れません． [W[x] for x in X] と書くと，「Xに含まれるすべてのxに対し，それぞれW[x]を計算した結果をリストにしたもの」という意味になります．sum関数はリストの値の和を返すので，変数aにはXとWの内積が計算されます． Pythonでは，三項演算子を条
数学者もスペインの勝利を予言していた - 蝉コロン
ぼやぼや… that could rival the psychic octopus.Mathematical formula predicts clear favourite for the FIFA World Cup, Queen Mary, University of Londonvia Mathematical formula predicts clear favorite for the FIFA World Cup先週末の記事。ロンドン大学の数学者Dr. Javier López PeñaとDr. Hugo Touchetteが、スペインが勝つことを「数学的に」予測していましたので紹介。 それまでの全試合からパスのデータを集めて、グラフ理論っていうので、パスの「ネットワーク」を解析した。それぞれの選手のcentralityをスコア付けしている。その人がいないと困るネットワーク
メルセンヌ・ツイスタ - Wikipedia
良い乱数・悪い乱数
マルコフ連鎖
第4章 マルコフ連鎖 4.1 確率行列 4.1.1 確率行列 4.1.2 同時確率 4.1.3 同時確率行列 4.1.3.1 例1 4.1.3.2 例2 4.1.4 条件付確率行列 4.1.5 確率行列の式 4.1.6 行列演算 4.1.6.1 例 4.2 マルコフ連鎖 4.2.1 マルコフ連鎖の定義 4.2.2 マルコフ連鎖における同時確率 4.2.2.1 例1 4.2.2.2 例2 4.3 定常性 4.3.1 定常性 4.3.2 非定常的ランダムウォーク 例1 4.3.3 非定常的ランダムウォーク 例2 4.3.3.1 余談(エントロピー増大) 4.3.3.2 余談(ブラウン運動) 4.4 状態遷移図とエルコード性 4.4.1 状態遷移図 4.4.2 エルコード性 4.4.2.1 例 〇 章末テスト
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
perlのImager.plでマンデルブロを描いた - ICPC突破専用ザク
ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
