はじめに GeoGebraでは、グリッド間隔を特に指定しなければ、現在の縮尺に最適な間隔を自動で計算して、グリッドを描画してくれます。 今回は、このときのグリッド間隔の情報を取得するオリジナルツールを紹介します。 オリジナルツール「GridIntervalPoint…