hal 関数リファレンス