Globularの使い方 (1) - 檜山正幸のキマイラ飼育記 (はてなBlog)証明支援系Globularを使っている人っているのかな？ まー、いても少数でしょうね。僕はたまに使います。しばらく使わないでいると使い方を忘れます。少なくとも一人のユーザー（＝僕・檜山）にとっては意味があるので、「Globularの使い方」を記録しておきます。 何回かに分けますが、気が向いたら書くつもりなので全体で何回になるか分かりません。何をどこまで書くかの計画もありません。 内容： はじめに 参考URL ワークスペースの管理など 画面構成 左側がセルパレット 中央がビューペイン ビューコントロールとビューイング方式 シリーズ目次 Globularの使い方 (1) Globularの使い方 (2)： サンプル・ワークスペース Globularの使い方 (3)： 定理と証明 はじめに Globularは、機能的には“ある種の”お絵描きソフトです。普通のお絵描きソフトと違うのは、n次元（n
