論理
一昨日(20131128)はHaskell勉強会の2回目 Haskell(とそれを含む関数型言語)はType Theory(Wiki記事)と関係があるという Type Theoryは煎じ詰めると"In type theory, every "term" has a "type" and operations are restricted to terms of a certain type."…
昨日の続き という関数がの範囲で大まかにはに入っているような場合に、乱数を使っての値を求めることができる、という話 という置き換えができる はその値がわかっていれば、それを使う。わかっていなくても、の確率でランダムに0/1の値を発生するような状…
こちらで「決断」のことをやっている 平易な例としては、2つの選択肢があって、片や成功・失敗がa,b回、片や成功・失敗がc,d回であるとき、それぞれの選択肢の成功・失敗確率の分布はに比例した形(ベータ分布)になるという場合があげられる このとき、それ…