Theorema Webサービス

それはMathematicaのライセンス的に大丈夫なのかとか、わざわざ日本まで来てそんなことやらなくてもいいんじゃないかとか、そもそも誰が使うんだとか、小一時間問い詰めたいが、定理証明系とWebサービスというコラボレーションは、確かに夢が広がる。