887 followers
RT @ksknac: @cutsea110 はい,こちらは余帰納法による証明の例で証明木は無限(正規木)になります.以前書いた論文が元ネタになっています. https://t.co/9l09y8PBYE
RT @ksknac: @cutsea110 はい,こちらは余帰納法による証明の例で証明木は無限(正規木)になります.以前書いた論文が元ネタになっています. https://t.co/9l09y8PBYE
RT @ksknac: @cutsea110 はい,こちらは余帰納法による証明の例で証明木は無限(正規木)になります.以前書いた論文が元ネタになっています. https://t.co/9l09y8PBYE
@cutsea110 はい,こちらは余帰納法による証明の例で証明木は無限(正規木)になります.以前書いた論文が元ネタになっています. https://t.co/9l09y8PBYE
@jmitani 井田先生の研究ですね. 1年前くらいになりますが,私もCoqでジャグリングを定式化するという論文を書いていました. http://t.co/Tue9xUaQ8r 既に知られている定理でもCoqで証明し直すと,別の定理や手法の発見につながったりして楽しいです.