17,950 followers
@ksknac さすが。kskさんは関係してそうと思ってました。Mathematicaを使って折り紙関係の証明をする研究もありますね。 http://t.co/XarHpkl6Zp これからは、いろいろなツールを使って証明を行うことが増えていくでしょうか。
@ksknac さすが。kskさんは関係してそうと思ってました。Mathematicaを使って折り紙関係の証明をする研究もありますね。 http://t.co/XarHpkl6Zp これからは、いろいろなツールを使って証明を行うことが増えていくでしょうか。