405 followers
887 followers
RT @ksknac: @cutsea110 はい,こちらは余帰納法による証明の例で証明木は無限(正規木)になります.以前書いた論文が元ネタになっています. https://t.co/9l09y8PBYE
1,118 followers
RT @ksknac: @cutsea110 はい,こちらは余帰納法による証明の例で証明木は無限(正規木)になります.以前書いた論文が元ネタになっています. https://t.co/9l09y8PBYE
760 followers
@cutsea110 はい,こちらは余帰納法による証明の例で証明木は無限(正規木)になります.以前書いた論文が元ネタになっています. https://t.co/9l09y8PBYE