Globularはとっつきにくいソフトウェアなので、使い方を伝えるには、最初から順番に説明する必要があるでしょう。しかし、タクサンの画面キャプチャを撮ってマウス操作の説明を付けていく気力は湧きません(大変過ぎる!)。とりあえず、Globularのデモンストレーションとして、“それなりの内容の定理”を証明したサンプルをお見せします。誰でもアクセス可能なので体験して悟ってください(苦笑)。 http://globular.science/1601.004v2 (Chrome推奨) 「証明の過程を追体験する」の節だけは、頑張って手取り足取りな解説を書いたので、そのとおりに操作してみると雰囲気が伝わるでしょう。 このサンプルの内容はというと: 「絵算の威力をお見せしよう」において、ラルフ・ヒンズ(Ralf Hinze)の論文にある命題を2つ選んで絵に描きました。選んだ2つの命題は、論文の入り口にあ
![Globularの威力をお見せしよう - 檜山正幸のキマイラ飼育記 (はてなBlog)](https://cdn-ak-scissors.b.st-hatena.com/image/square/3ad3d3e1c3a291d84a8419af1b4ad5d47a067699/height=288;version=1;width=512/http%3A%2F%2Fwww.chimaira.org%2Fimg3%2Fglobular2016-01-24.jpg)