論理構造を記述するのに最も効率がいいのが、プログラミング言語によるコーディングなんだから、
それなしじゃ結局非効率になるだけ。