プログラミング
Show HN: Impossible Machines: 物理世界を宣言的にプログラムする
Show HN: Impossible Machines: declaratively program the physical world (impossiblemachines.xyz)
要約
Impossible Machinesは、物理世界を対象とした宣言的プログラミングの概念を探求する思考実験です。ユーザーが望む効果を宣言すると、システムがそれを達成する方法を自動的に見つけ出します。このアプローチは、問題解決をより高次の抽象レベルで行えるようにすることを目指しています。
全文翻訳
皆さん、こんにちは。
私が考えた思考実験を共有します。その前提は、「物理世界における宣言的プログラミングとはどのようなものか？」ということです。
このパラダイムは、ソフトウェアの世界ではすでに馴染み深いものです（例: SQLなど、私たちが望むものを宣言し、実行エンジンがその方法を見つけ出す）。
アクチュエータにアクセスできなかったため、ソフトウェアで概念をモックアップしました。その仕組みは、効果を実演すると、システムがそれを達成する方法を見つけ出すというものです。例えば、ベルを鳴らしたいとして、クランクがあるとします。システムはそれらを接続する方法を見つけます。障害物を追加すると、それを回避する方法を見つけ出します（内部で制約ソルバーを実行します）。
このアプローチの興味深い点は、システムが意図した効果を達成する方法を見つけ出す一方で、問題についてより高次の抽象レベルで考えられることだと思います。
いずれにせよ、反応、フィードバック、そしてこれを拡張するための興味深いアイデアを読むのを楽しみにしています！