スタート地点が1マス目でゴールが50マス目？

足してピッタリ20と40になる確率がわからん
結構な数ありそうだけど

障害が「スタートに戻る」にしかないつまらない双六

(1)はpythonで書くとこんなかんじ?10万回の試行でだいたい70%強ぐらい。
import random
def sugoroku(turn_num=25,field=50):
turn = 0
for i in range(turn_num):
turn += random.randint(1,6)
if (turn == 20 or turn == 40):
turn = 0
return turn >50
success_count = 0
for i in range(100000):
if sugoroku():
success_count += 1
print success_count ,"/",100000,float(success_count)/float(100000)

うげ、インデント潰されてる。まあいっか
(2)は3回試行して1回だけゴールできないときの確率をいくらか決めて、いい感じのターン数を割り出す感じかな？
最初見積もりではサイコロの期待値が3だから0.5*3/2=0.75ぐらいかなと思ってたけど、スタートに戻される割引が5%ぐらいあるのね

サイエンスライターや学者が誇張表現をすることはよくある。
それを真に受けるのは馬鹿。

自動的に数学的規則や構造を発見して形式に置き換え、解釈に基づいて推論を行う機械を作れたら
人間の意思とは無関係に、機械的に動作するだろう
あとは機械を作り出す機械を作ればよい

それはある意味、人間や生物全般の模倣だよね。

>そうそう。素人はロボットに意思が有ると勝手に思い込むから恐怖を感じたり魔法だと思ったり
サイコロ画像のように人間が勝手に喋ったとかの意味を付け加えただけ。サイコロを生物の様に扱う人が馬鹿馬鹿しい

木から取れた葉がどこに落ちるか？、予測は出来ても当てる事は出来ない
コンピューターとはそういう物だよ

ってスレ題からかなり外れてるな

>例えば、ZFの置換公理や無限公理を有限の算術公理と述語論理から、どうやって定義する？
あんたもZF言うてるやん
「そういう関数」fとどう違うの?
ZFに定義は何語で書いてあるん?
それは操作としてパソコンで表現できんのん?

多重人格なの？
それともバレてない思っての自演？

コンピュターが２進法なのは電気がＯＮとＯＦＦだからでしゅ
インダス文明が２進法だったのは、各桁を構成する数値で一番小さい数字が１だったからで、より少ない分銅で測ろうとすれば、計量の基数が１になる事はしょんなに驚く事実ではありましぇん
しゅかも分銅は、１２８までは２進行の比率でしゅが１６０から３２０００までは１０進法の比率でしゅた

初期の数え方で言うと原始人は無い・有る・沢山の３進法を使っていましゅた
１ビットの２進法と見做すだけなら中国の陰陽も一種の２進法でしゅし、八卦・六十四卦もそれぞれ３ビット・６ビットの２進数でしゅ
しゅかしこれらは二種の値の組を辞書式順序に並べただけで計算には用いられていましぇんでした

１・２・３・４・５・６・７・８・９は、和語数詞では、ひと・ふた・み・よ・いつ・む・なな・や・ここの、になりましゅ
これをローマ字表記しゅるとHito・huta・mi・yo・itu・mu・nana・ya・kokono、になりましゅ
１hitoの２倍は２huta　３miの２倍は６mu　４yoの２倍は８ya　の様に母音が他の母音に変化しゅると数値が２倍に改良２進法でしゅ

ンギティ語では三十二進法を使うらしい

ぶっちゃけ、スレ表題だけでは数学命題とするにはあまりにも漠然過ぎるのですが、
「a％の判定」に厳格な達成基準なりアルゴリズムなりが与えられるのであれば、
例えばΟ(2^n)やΟ(n!)といった具合に時間（ここでは何分何秒という時刻ではなく「計算時間（時間計算量）」）
での評価を示すことができるかもなのですよ。

vid. アルゴリズムデータベース
http://www-or.amp.i.kyoto-u.ac.jp/algo-eng/db/

>そこまでの時間を競う
運が悪いと永遠に彷徨うの？

グラフの各頂点ごとにa%という終了判定のパラメータがひっついてるの？
それで、各頂点の終了判定の%は異なっていてもいいのか、それとも全頂点で同じa%?

頂点間の移動に重み付け（かかる時間やコストの差）などの条件は？

>「とある拠点に着いたらa％の判定で商談成立して、その時点で仕事は終了。そこまでの時間を競う」
そのとある拠点まで最短で移動して、商談が成立するまで近くの拠点との間をいったり来たりする
が、正解かな?

無限に成立しない場合があるね

僕はもうぢかんでしかない！

なんかいつもアーベルとガロアがごっちゃになる

アーベル群を可換群と呼びたくなる固有名詞フリーな立場かなんかか？

CommutativeはAbelianより少数派って印象はないけどな。