アルゴリズム記述用の抽象言語みたいなのってないのかな