【ITニュース解説】I Built a Dataflow Engine Where the Graph Is the Program

システムエンジニアを目指す皆さんにとって、プログラムの動作原理を理解することは重要だ。しかし、実際のプログラミングでは、コードの記述、実行、結果確認、修正といったサイクルを繰り返す。もし、プログラムの動きやデータの流れを「目で見て」、しかも「リアルタイムで操作しながら」理解できるとしたら。今回紹介する「Computational World（CW）」、または「Simwire」と呼ばれるプロジェクトは、まさにそのような新しいプログラミング体験を探求している。

CWが目指すのは、計算過程の「見える化」と、要素を組み合わせてシステムを構築しやすく、直接操作できるようにすることだ。従来のビジュアルプログラミングツールは「パーティクルシステム」のような完成された機能を持つ「箱」（ノード）を提供する。これらは便利だが、その計算の内部は見えない。一方、一般的なプログラミングは計算の詳細を制御できるものの、結果確認にはコンパイルや実行が必要となる。CWは、これら二つのアプローチの中間に位置する、新しい「計算との対話」の形を模索している。

CWの基本的なモデルは「有向グラフ」だ。これは「ノード」（操作）と「エッジ」（データの流れや依存関係）で構成される。例えば、「入力」→「掛け算」→「足し算」→「出力」のような流れを想像してほしい。CWでは、このグラフが単なる図ではなく、「グラフそのものがプログラム」だと考える。視覚的に表現されたグラフが、コンピュータが行う計算指示そのものなのだ。出力が足し算に、足し算が掛け算に依存する関係は、プログラム実行時もそのまま適用される。これにより、プログラム構造を直接見て操作できる。

グラフでプログラムを表現する際、課題はノードの実行順序だ。例えば「ノードC」が「ノードA」と「ノードB」両方の結果に依存する場合、CはAとBの計算完了まで実行できない。大規模なグラフでは手動での順序決定は非現実的だ。そこでCWは、「トポロジカルソート」というアルゴリズムで実行順序を自動決定する。これは、依存関係のないノードから実行し、その結果で新たに実行可能になったノードを見つけて実行を繰り返す手法だ。この方法により、CWのランタイムはグラフを通じて計算を確実かつ秩序だって進める。私たちが目で見るグラフ構造と、実際のプログラム実行構造が常に密接に結びつくという特性が生まれる。

CWは「プリミティブな操作」を重視する設計思想を実験している。これは、便利な「ブラックボックス」ではなく、小さく基本的な操作を組み合わせて複雑なシステムを構築することを目指す。例えば「サイン波」のような高レベルなノードを使わず、基礎的な数学操作の組み合わせでその振る舞いを生み出す考え方だ。このアプローチは、数学モデル、物理シミュレーション、信号処理、アルゴリズム、コンピュータアーキテクチャなど幅広い分野に応用可能だ。常に便利とは限らないが、要素を組み合わせていく過程が、システムの理解を深める有用な手段となるかを探求している。

CWが最も重視するのは「ライブ操作」の機能だ。プログラムは、小さな変更ごとに「編集→実行→確認」サイクルを繰り返す必要はないとCWは考える。グラフ上で入力パラメータを変更すると、その変更が即座にグラフ全体に伝播し、出力がリアルタイムで更新される。例えば「入力5」に「2を掛ける」と「出力10」だが、入力値を「20」に変えれば即座に「出力40」と表示される。ここで重要なのは単純な計算ではなく、何かを変えたときにシステム全体がどう反応するかを即座に観察できる「インタラクション」だ。これにより、計算グラフは単なる設計図ではなく「実験を行うための表面」となる。

CWは、計算と視覚出力の関係性も探求する。グラフを流れるデータは、単に数字としてだけでなく、幾何学的な形やインタラクティブなアニメーションといった視覚要素を動かすのに利用できる。計算データが視覚表現に結びつくことで、計算モデル変更が直接画面表示に反映されるシステムを構築可能だ。これはシミュレーションで面白みを発揮する。数学的関係性が動きに、信号が図形に、パラメータがインタラクティブな操作になる。計算は、ソースコード内の抽象的なものではなく、目で直接観察できる具体的なものへと変わる。

この実験環境をブラウザ上で構築するには実用的な理由がいくつかある。ユーザーは特別なインストール不要で、Webブラウザがあればアクセス可能だ。即座の視覚フィードバックとインタラクティブなキャンバス操作で実験がしやすい。また、作成物の共有が容易で、計算結果を直接画面にレンダリングできる。最も重要なのは、計算システムと操作インターフェースが同じブラウザ環境に存在することだ。グラフ変更の結果を即座に視覚確認できるこの一体感が、CWの目指す「計算との新しい対話」実現に不可欠となる。

CWはまだ実験途上であり、このインタラクションモデルの優位性は未解明だ。このプロジェクトは、その疑問を解き明かす実験そのものだ。現在探求されている疑問には、「プリミティブな操作はどこまで低レベルであるべきか？」がある。高レベルすぎるとブラックボックス化し、低レベルすぎると構築が煩雑になるため、「ちょうど良い」中間点を見つける必要がある。また、ノードが数百個に増えた際のグラフの複雑さ、つまり可視性がかえって混乱を招かないかという問題も未解決だ。最も大きな問いは、「この方法が本当に計算理解を助けるのか？」という点だ。単なる視覚化だけでなく、意味のある構造を露出し、洞察を得られるかどうかが重要になる。

今後、CWは多様な計算領域での応用を試す予定だ。数学的関係性の構築とパラメータ操作、物理システムの構築と振る舞い観察、信号処理のデータフロー可視化などだ。アルゴリズムの実行過程を直接観察し、理解を深められるかどうかも探る。将来的には、コンピュータアーキテクチャの低レベル概念、例えば論理回路やメモリ、計算そのものの表現にも挑戦したい。この目標こそが、システムをプリミティブで構成可能なものに保ちたい理由の一つだ。

繰り返すが、CWは開発途上の実験的プロジェクトだ。完成品として提示されているわけではない。このプロジェクトは、「記述→コンパイル→実行→確認」という従来のサイクルではなく、「構築→接続→変更→観察→理解」という新しいインタラクションモデルが、実際に有用であるかを探る試みだ。このアプローチが成功する可能性もあれば、複雑化で破綻する可能性もある。あるいは、ビジュアルな構成と従来のコードの中間に答えがあるのかもしれない。CWは、まさにそれを構築することで、答えを見つけようとしている。