{"type":"rich","version":1.0,"provider_name":"Speaker Deck","provider_url":"https://speakerdeck.com/","title":"止まらない比較を止める — 余帰納法で無限ストリームを比べる","author_name":"INA Lintaro","author_url":"https://speakerdeck.com/tarao","html":"\u003ciframe id=\"talk_frame_1628992\" class=\"speakerdeck-iframe\" src=\"https://speakerdeck.com/player/f644b9dc037c4644afe2cbf8d6b9b9c7\" width=\"710\" height=\"399\" style=\"aspect-ratio:710/399; border:0; padding:0; margin:0; background:transparent;\" frameborder=\"0\" allowtransparency=\"true\" allowfullscreen=\"allowfullscreen\"\u003e\u003c/iframe\u003e\n","width":710,"height":399,"ratio":1.7753623188405796}