id:Gemma さんに教えてもらった。amb がスゲーんだよって話をしていて、amb ワカンネーつって、そもそも非決定性計算がなんなのか (用語的にまったく) わかってなくて調べたりきいたりしたメモ

• 非決定性計算 → 非決定性は「曖昧」って意味 → amb/iguous
• コード中で、値が曖昧なものは曖昧なままコードを書いて、計算結果をだす
  • その部分のコードだけ見ると、まるで答えが既にでているかのように見える
  • ↑ 宣言的なコードになる
  • パズルみたいなのがキレイに解ける。すごい
• 中でやってることは総当たりだけど、実装法によって効率が変わる
  • バックトラックするために継続つかったりする
  • 遅延評価するとバックトラックと同じことになったりする → List モナドがほげほげ

適当な言語で実装してみよう。しかしほんとパズルとかやったことないな!