08/05/26 23:28:14 tUya/Ihd
Ｙ＝Ｆ（Ｘ１，Ｘ２，・・・、Ｘｎ）
Ｘ１，Ｘ２，・・・、Ｘｎを勝ち負けを決めるパラメータとし、
関数Ｆは勝ち組のときＹ＝１、負け組みのときＹ＝０を取る関数としようや。
これらのパラメータと計算可能な関数Ｆを定義してほしいもんやな。
これがでけんのやったら勝ち組・負け組の判定する帰納的アルゴリズムは存在せんことになるな。
08/05/26 23:28:14 tUya/Ihd
Ｙ＝Ｆ（Ｘ１，Ｘ２，・・・、Ｘｎ）
Ｘ１，Ｘ２，・・・、Ｘｎを勝ち負けを決めるパラメータとし、
関数Ｆは勝ち組のときＹ＝１、負け組みのときＹ＝０を取る関数としようや。
これらのパラメータと計算可能な関数Ｆを定義してほしいもんやな。
これがでけんのやったら勝ち組・負け組の判定する帰納的アルゴリズムは存在せんことになるな。