Anton Petrusevich -> [email protected]  @ Tue, 28 Mar 2006 
17:48:17 +0200:

 >> А, ну-ну...  Хинт: чтобы это работало, надо построить _полную_ систему
 >> этих самых правил.  Доказать ее полноту и дать специально образованным
 >> людям проверить доказательство.  И после каждого изменения в программе
 >> проверять, не нарушили ли где протокол.  Каковая проверка ой, не всегда
 >> бывает локальной операцией...

 AP> Ой, страшно как... Что, бросать программы писать, и подаваться в
 AP> управдомы?  Или не искать способов посложнее,

... с чего я и начал.

 AP> тем более, что "специально образованные люди", как показала
 AP> практика, часто сами не понимают о чём говорят.

Если не понимают, то это не тому обученные люди.

-- 
Artem Chuprina
RFC2822: <ran{}ran.pp.ru> Jabber: [EMAIL PROTECTED]

Win-юзеры - это типа Win-модемов и Win-принтеров: такие же юзеры, но попроще,
без мозгов и памяти на борту.
        http://www.livejournal.com/~dottedmag/158509.html


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Ответить