table)という新しい手法を使って、ディシジョン・テーブルとデータフローを融合させる方法です。これによってプログラムを宣言的に記述できます。チキマチック・テーブルは、コード生成ツールとしても、ダイアグラム言語としても使えます。発表される予定の論文です。上の説明でピンと来る人はかなりの通。これもまた、プログラムを画像表現する手法についての話です。データフローと条件文というのは相当相性悪いのです。この人はスキマチック・テーブルという新発明で解決するらしいです。条件文は基本的なプログラム要素ですが、言語によって沢山のやり方があります。文、パタンマッチング、ポリフォニズム。文では直接意図を表現出来ないからです。文ほど読むのに苦痛な物はありません。条件文が全ての条件を網羅しているか、論理的にダブってないかと見つけるのはすごく大変です。文を完全に駆逐するに至っていません。真理表は長らく論理を表すのに使われてきました。真理表の欠点は、組み合わされた条件を表現すると途端に複雑さが増大する事です。文による文章的な方法が適しているという調査もあります。文と異なり、真理表の中にコードを埋め込むと気持ちが分断されてしまいます。これを解決するスキマチック・テーブルのアイデアは以下のとおり。計算と論理は直行しているので、タテヨコに分けて書けば良い。二次元の表はただのテキストより便利で、コードが分断されるのを防ぐ。論理的な不変性を保つ事でプログラムの苦労が減るスキマチックテーブルはプログラムの意味の同一性を保証出来る。手動レイアウトを不要にしてリファクタリングを簡単にする。よってプログラムがくっつく。単純なスキマチック・テーブル横向き(行)には、変数とその値が並んでいる。縦向き(列)には、状況が並んでいる。