エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Globularの威力をお見せしよう - 檜山正幸のキマイラ飼育記 (はてなBlog)
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Globularの威力をお見せしよう - 檜山正幸のキマイラ飼育記 (はてなBlog)
Globularはとっつきにくいソフトウェアなので、使い方を伝えるには、最初から順番に説明する必要がある... Globularはとっつきにくいソフトウェアなので、使い方を伝えるには、最初から順番に説明する必要があるでしょう。しかし、タクサンの画面キャプチャを撮ってマウス操作の説明を付けていく気力は湧きません(大変過ぎる!)。とりあえず、Globularのデモンストレーションとして、“それなりの内容の定理”を証明したサンプルをお見せします。誰でもアクセス可能なので体験して悟ってください(苦笑)。 http://globular.science/1601.004v2 (Chrome推奨) 「証明の過程を追体験する」の節だけは、頑張って手取り足取りな解説を書いたので、そのとおりに操作してみると雰囲気が伝わるでしょう。 このサンプルの内容はというと: 「絵算の威力をお見せしよう」において、ラルフ・ヒンズ(Ralf Hinze)の論文にある命題を2つ選んで絵に描きました。選んだ2つの命題は、論文の入り口にあ