Hexirp Prixeh<p><a href="https://misskey.io/tags/数学" rel="nofollow noopener noreferrer" target="_blank">#数学</a><span> </span><a href="https://misskey.io/tags/プログラミング" rel="nofollow noopener noreferrer" target="_blank">#プログラミング</a><span> </span><a href="https://misskey.io/tags/トポロジー" rel="nofollow noopener noreferrer" target="_blank">#トポロジー</a><span> </span><a href="https://misskey.io/tags/計算可能実数" rel="nofollow noopener noreferrer" target="_blank">#計算可能実数</a><span> </span><a href="https://misskey.io/tags/計算可能性理論" rel="nofollow noopener noreferrer" target="_blank">#計算可能性理論</a><span> </span><a href="https://misskey.io/tags/定理証明支援系" rel="nofollow noopener noreferrer" target="_blank">#定理証明支援系</a><span> </span><a href="https://misskey.io/tags/構成主義数学" rel="nofollow noopener noreferrer" target="_blank">#構成主義数学</a><span><br><br>RE: </span><a href="https://mathstodon.xyz/users/MartinEscardo/statuses/111439342950964225" rel="nofollow noopener noreferrer" target="_blank">https://mathstodon.xyz/users/MartinEscardo/statuses/111439342950964225</a></p>