魔法少女「無限ゲームと優先法」+α

y. @waidotto

無限ゲームと優先法 #kansaimath #kansaimath307

ぴあのん @piano2683

魔法少女『無限ゲームと優先法』 #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

魔法少女～～～～～～～ #kansaimath #kansaimath307

ぴあのん @piano2683

ここで言うゲームとは、囲碁やチェスなどのターン性のゲーム。ただし、ωターンある。 #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

ああいうゲームを想定してます #kansaimath #kansaimath307

plasma_effect @plasma_effector

無限ゲームの無限はターンが無限 #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

基本ルールがすでに無限ターン想定されている! #kansaimath #kansaimath307

y. @waidotto

ωターンのゲーム #kansaimath #kansaimath307

みゅぎゅぐう名誉丼ジラッシーちゃんミ☆ @NARUOHA

ターンが無限のゲーム？ ヒミコでポンのことに違いない #kansaimath307

てつを @dD485583189M

ターンが無限のゲームについて考えます #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

魔法少女が定義してる! #kansaimath #kansaimath307 #魔法少女

V-alg-d（ZZ） @alg_d

部分写像 #kansaimath #kansaimath307 #魔法少女

y. @waidotto

f:A⇀B:部分関数 #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

ωよりNが良い魔法少女 #kansaimath #kansaimath307 #魔法少女

みゅぎゅぐう名誉丼ジラッシーちゃんミ☆ @NARUOHA

0は自然数 #kansaimath307

V-alg-d（ZZ） @alg_d

みなさんも魔法少女タグ使いましょう #kansaimath #kansaimath307 #魔法少女

y. @waidotto

計算可能性は定義しない #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

定義がいっぱいあるが定義しません #kansaimath #kansaimath307 #魔法少女

ぴあのん @piano2683

【部分函数】 集合A,Bに対して、「Aのある部分集合からBへの写像」のことを部分函数といい、f: A \rightharpoonup Bと表す。 #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

定義しなくても魔法があるから大丈夫なのか #kansaimath #kansaimath307 #魔法少女

みゅぎゅぐう名誉丼ジラッシーちゃんミ☆ @NARUOHA

fは計算可能という定義はいっぱいあるのですが、定義しません。 理想化されたコンピューターでプログラムできるという認識で十分です。 #kansaimath307

V-alg-d（ZZ） @alg_d

P_1 := 計算可能な部分関数N^n→N全体 #kansaimath #kansaimath307 #魔法少女

plasma_effect @plasma_effector

N^nからNの計算可能な部分関数全体をP1とする #kansaimath #kansaimath307

ぴあのん @piano2683

部分函数の記号、実況の便宜上、harpと書きます #kansaimath #kansaimath307

y. @waidotto

ℙ_1:={f:ℕ^n⇀ℕ:計算可能} #kansaimath #kansaimath307