確率論理 - Wikipedia
^ Nilsson, N. J., 1986, "Probabilistic logic," Artificial Intelligence 28(1): 71-87. [1] ^ Kohlas, J., and Monney, P.A., 1995. A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence. Vol. 425 in Lecture Notes in Economics and Mathematical Systems. Springer Verlag. ^ Haenni, R, 2005, "Towards a Unifying Theory of Logical and Probabilistic Reasoning," ISIPTA'05, 4th In
マルチンゲール - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "マルチンゲール" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2013年1月） 確率論において、マルチンゲール（英: martingale）とは確率過程の性質の一つであり、過去の情報に制限して計算した期待値と未来の期待値が同一になる性質である。 この性質は公平な賭け事を行っているときの持ち金の変遷に現れるものだと考えられており、マルチンゲールという名前も賭けにおける戦略からとられたものである。 数学的には、情報というのは情報増大系{Ft}であたえられ、未来における期待値はこの情報による条件付期待値となる。 数学的定義[編集] 定義は連続
L-system - Wikipedia
L-system（エルシステム、Lindenmayer system）は形式文法の一種で、植物の成長プロセスを初めとした様々な自然物の構造を記述・表現できるアルゴリズムである。自然物の他にも、反復関数系（Iterated Function System、 IFS）のようないわゆる自己相似図形やフラクタル図形を生成する場合にも用いられる。L-System は1968年、ハンガリーユトレヒト大学の理論生物学者にして植物学者であったアリステッド・リンデンマイヤー（Aristid Lindenmayer）により提唱され、発展した。 起源[編集] L-system により生成された3次元の樹木モデル。 生物学者としてリンデンマイヤーは、酵母や糸状菌、そして藍藻類の Anabaena catenula のような藻類など、様々な生物の成長パターンを研究していた。もともと L-system は、そのような
停止性問題 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "停止性問題" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2018年1月） 計算可能性理論において停止性問題（ていしせいもんだい、英: halting problem）または停止問題は、「どんなチューリングマシン[注 1]、あるいは同様な計算機構についても、それが有限時間で停止するかを判定できるアルゴリズム」は可能か、という問題。 アラン・チューリングは1936年、停止性問題を解くアルゴリズムは存在しないことをある種の対角線論法のようにして証明した。 すなわち、そのようなアルゴリズムを実行できるチューリングマシンの存在を仮定すると「自身
オルバースのパラドックス - Wikipedia
星が限りなくあるのであれば、夜空はこのようにいたるところ輝いて見えるはずだが、実際にはそう見えないのはなぜだろうか。 オルバースのパラドックス（Olbers's paradox, Olbers' paradox）とは、「宇宙の恒星の分布がほぼ一様で、恒星の大きさも平均的に場所によらないと仮定すると、空は全体が太陽面のように明るく光輝くはず」というパラドックスである。 その名は、18 - 19世紀の天文学者であるヴィルヘルム・オルバースに由来する。ただしオルバースが最初に提起したわけではない。オルバースの逆説、オルバースの逆理、オルバースの背理、ド・シェゾー＝オルバースのパラドックス（de Cheseaux-Olbers paradox）[1]などともいう。 このパラドックスの帰結は、星は距離の2乗に反比例して見かけの面積が小さくなるが、距離が遠い星の数は距離の2乗で増えるので、これらはちょ
上原良司 - Wikipedia
上原 良司（うえはら りょうじ、1922年9月27日 - 1945年5月11日）[1]は、大日本帝国陸軍軍人。 陸軍特別攻撃隊第56振武隊員。 「自由主義者」を標榜する遺書の内容で有名[2]。上原が書き残した遺書や手記などは、近代日本史上の軍人が書き残した遺稿の中で、最もよく知られているものの一つであり、『きけ わだつみのこえ』などの多くの書籍に掲載され、映画やドキュメンタリー番組で度々取り上げられている[2]。 人物・来歴[編集] 軍に入隊まで[編集] 長野県北安曇郡七貴村（現・池田町）に医師の父・上原寅太郎、母・よ志江の三男として生まれ、旧穂高町（現・安曇野市）有明で育つ[1]。 遠縁にあたる「有明医院」を継いだ上原家は裕福で子供らに文化的な生活を送らせており、近くの乳房川で家族みんなで写真の撮影会をしたり、家の離れに近所の子供たちを集めて肝試し大会を開催したり、広い裏庭ではテニスをや
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数学記号の表 - Wikipedia