07/10/24 01:15:12
>>731
いろいろとアドバイスをありがとう。
ａ○↑ｂはｎ重帰納関数なので
ａ○↑↑ｂ＝ａ○↑（ａ○↑↑（ｂ-1））＝Ｆ［ω＾ω＊ω］（ｎ）
としたのがそもそも間違いだったのかな？
07/10/24 01:15:12
>>731
いろいろとアドバイスをありがとう。
ａ○↑ｂはｎ重帰納関数なので
ａ○↑↑ｂ＝ａ○↑（ａ○↑↑（ｂ-1））＝Ｆ［ω＾ω＊ω］（ｎ）
としたのがそもそも間違いだったのかな？
07/10/24 01:15:12
>>731
いろいろとアドバイスをありがとう。
ａ○↑ｂはｎ重帰納関数なので
ａ○↑↑ｂ＝ａ○↑（ａ○↑↑（ｂ-1））＝Ｆ［ω＾ω＊ω］（ｎ）
としたのがそもそも間違いだったのかな？