二葉双曲面を用いた実特殊線形変換群$SL$(2,$mathbb{R}$)の3次元モデルと, $SL$(2,$mathbb{Z}$)の立方格子上のパターン (数学ソフトウェアとその効果的教育利用に関する研究)