Побеседовал. Нормальный мужик, на самом деле-то.
Про семь чанков взял свои слова назад. Про семь чанков - это для рабочей памяти. В схемотехнике мы пользуемся кратковременной.
Про рисунок логической формулы, предложил увеличить число элементов формулы до 3-х десятков, и сравнить время анализа
Далее у него шло тонкое наблюдение, что известные графические языки "с нестрогой семантикой". Следовательно, они могут быть лишь вторичными. А код, поэтому - главный.

Ну, пристыдил я их: писать о графических языках, и не знать про HiAsm.
И представил его. Оно бы ничего было, если бы среда полноценно заработала под семеркой (все как обычно, в общем). Ладно, ученые, это не конечный пользователь, их работа оценивать идею.

Нормально поговорили. Настолько, что я позволил себе под конец задать вопрос: «а слабо самому сделать язык со строгой семантикой, и пригодный не только для непрограммистов, но и для профессионалов»
Взяли тайм-аут на подумать (он мне тоже информацию о работе своей группы предоставил)