非ユークリッド幾何におけるコンピュータサイエンスのアルゴリズム