計算機科学では"="は問題空間内の定義に依存するんではないのか？