Эпоха бре­до­вой фор­ма­ли­за­ции. Ком­би­на­тор­ный взрыв

за­ни­ма­юсь раз­ра­бот­кой ин­фор­ма­ци­он­ных си­стем и ав­то­ма­ти­за­ци­ей на их базе раз­лич­ных бизес-​процесмов

вы на­зна­ли и мою об­ласть де­я­тель­но­сти...

По­это­му: пра­виль­ная фор­ма­ли­за­ция - залог успе­ха.

И опишу про­бле­мы, с ко­то­ры­ми столк­нул­ся я, как раз­ра­бот­чик, ко­то­рые не по­лу­ча­ет­ся ре­шить в рам­ках опи­сан­ной схемы:
1) по­яв­ле­ние новых усло­вий. По факту чем силь­нее ме­ня­ют­ся усло­вия, тем боль­ше нужно пе­ре­пи­сы­вать за­но­во.
2) по­яв­ле­ние ред­ких нестан­дарт­ных тре­бо­ва­ний. Ко­то­рые не преду­смот­ре­ны си­сте­мой при про­ек­ти­ро­ва­нии. На­при­мер, вне­зап­ный пе­ре­ход на че­ты­рех­ва­лют­ную си­сте­му. В си­сте­ме преду­смот­ре­на толь­ко одна ва­лю­та, ко­то­рая яв­ля­ет­ся го­су­дар­ствен­ной. Можно по­ме­нять гос.ва­лю­ту, но нель­зя ис­поль­зо­вать сразу 4 раз­ных ва­лю­ты!
Живу в рес­пуб­ли­ке, в ко­то­рой несколь­ко лет была офи­ци­аль­ная че­ты­рех­ва­лют­ная си­сте­ма -- дол­лар, евро, рос­сий­ский рубль, укра­ин­ская грив­на. Сей­час толь­ко рос.рубль, но ино­гда мель­ка­ет укр.грив­на.
Сюда же -- смена гос.языка.  В моем слу­чае -- с укра­ин­ско­го на рус­ский.
3) про­бле­ма незна­ния це­ле­вой об­ла­сти. Когда ни кол­лек­тив не знает, ни сам раз­ра­бот­чик. Это при­во­дит к неиз­беж­но­сти оши­бок. Но такое бы­ва­ет для новых и ре­струк­ту­ри­зи­ру­е­мых пред­при­я­тий, когда ста­рый кол­лек­тив не су­ще­ство­вал или же был рас­пу­щен, а новые еще не осво­ил­ся.
И про­дол­жа­ю­ща­я­ся смена укр.стан­дар­тов на рос­сий­ские. При­ня­тие новых актов. Когда никто тол­ком не знает, что про­изо­шло. Ин­фор­ма­ци­он­ная си­сте­ма будет го­то­ва через услов­ный год, а ра­бо­тать то нужно уже сей­час!
4) Обу­че­ние поль­зо­ва­те­лей. Увы, но это везде хро­ма­ет. Т.к. после боль­шин­ства онлайн-​курсов или же ре­аль­ных лек­ций я ни капли не по­лу­чаю опыта раз­ра­бот­ки.
Не го­во­ря о том, чтобы на­учить поль­зо­ва­те­лей ИС ра­бо­тать с этой ИС.

Удив­лю, но ре­ше­ние уже давно най­де­но и есть целая от­расль, ко­то­рая экс­плу­а­ти­ру­ет новые ме­то­ды и даже вы­сме­и­ва­ет ста­рые.
В том числе поз­во­ля­ет ра­бо­тать даже в стре­ми­тель­но ме­ня­ю­щих­ся усло­ви­ях!

Ответ -- ком­пью­тер­ные игры. Eve Online ви­де­ли? Там эко­но­ми­ка на­столь­ко слож­ная, что в какой-​то мо­мент ре­аль­ная эко­но­ми­ка может по­ка­зать­ся слиш­ком про­стой.
Space Engineers -- можно по­стро­ить свой кос­ми­че­ский ко­рабль из бло­ков. Minecraft -- из бло­ков хоть свой город.
Factorio -- по факту раз­вод­ка мик­ро­кон­трол­ле­ров, если де­лать все на кон­ве­е­рах.
У игр есть обу­ча­ю­щий режим. Он двух типов -- с пол­ным по­гру­же­ни­ем или же всплы­ва­ю­щие плаш­ки. Всплы­ва­ю­щие со­об­ще­ния, оста­нав­ли­ва­ю­щие иг­ро­вой про­цесс -- их вы­сме­и­ва­ют в одной игре, чем иг­ро­вой про­цесс со­сто­ит из ты­ся­чи всплы­ва­ю­щих пла­шек с опи­са­ни­ем про­стых дей­ствий и обу­че­ния в стиле "если с неба ка­па­ет вода, то это зна­чит, что идет дождь".
И тут воз­вра­ща­юсь в услов­ный 1С, в ко­то­ром даже отчет может быть за­хард­ко­рен. И если по­ме­нял­ся за­го­ло­вок, то все, нужно пи­сать в ИТ-​отдел, чтобы они пе­ре­пи­са­ли этот и ана­ло­гич­ные от­че­ты и по­ме­ня­ли за­го­ло­вок. В ворде то можно всю стра­ни­цу пе­ре­пи­сать, но кто ж такое даст в кор­по­ра­тив­ной си­сте­ме?
О, а вне­се­ние из­ме­не­ний в до­ку­мен­ты -- это во­об­ще от­дель­ная песня! Ино­гда при­хо­ди­лось брать пачки до­ку­мен­тов по 10+ шт и ра­бо­тать в ре­жи­ме Hg/Git, со­би­рая из из­ме­не­ний те­ку­щую дей­ству­ю­щую ре­дак­цию.

И за­меть­те -- услов­ный RimWorld пол­но­стью нели­не­ен! За счет чего и ре­иг­ра­бе­лен. В от­ли­чи­ее от какой-​нибудь шу­те­ра, огра­ни­чен­но­го уз­ки­ми ко­ри­до­ра­ми.

ВЫВОД:

кто смо­жет по­нять как сде­лать иг­ро­фи­ка­цию кор­по­ра­тив­ных при­ло­же­ний -- тот и будет в дам­ках!

По­то­му что нель­зя сде­лать иг­ро­фи­ка­цию кор­по­ра­тив­ных при­ло­же­ний с по­мо­щью фор­маль­ной ло­ги­ки, иначе будет на­гро­мож­де­ние ко­сты­лей.

Есть ва­ри­ант по­про­ще -- иг­ро­фи­ка­ция про­грам­ми­ро­ва­ния. Пока не особо то и по­лу­ча­лось. Я знаю лишь пару хо­ро­ших игр по про­грам­ми­ро­ва­ние на ас­сем­бле­ре -- 7 billions human и Human Resource Machine. Боль­ше пока дру­гих игр по про­грам­ми­ро­ва­нию не видел, боль­шин­ство экс­плу­а­ти­ру­ет про­грам­ми­ро­ва­ние внут­ри игры и такие игры особо не от­ли­ча­ют­ся от обыч­но­го про­грам­ми­ро­ва­ния, про­сто IDE вы­гля­дит немно­го ди­на­мич­нее.

де­мо­на Ла­пла­са

Их те­перь два.
Фор­маль­ный -- как и был с теми же про­бле­ма­ми.

Го­ло­гра­фи­че­ский -- чем боль­ше зна­ком с объ­ек­том, тем точ­нее он может ска­зать про его про­шлое и бу­ду­щее, не тре­буя на­чаль­ных усло­вий.

ре­ше­ние урав­не­ния Навье-​Стокса

В ка­че­стве ис­поль­зу­е­мой ана­ло­гии лучше под­хо­дит ин­тер­фе­рен­ция света. И бла­го­да­ря ему и по­рож­да­ет­ся го­ло­гра­фия.

Для жид­ко­стей я пока не знаю такой ана­ло­гии.

Хотя.. У меня были на­ра­бот­ки как можно сде­лать го­ло­гра­фию для жид­ко­стей, но мне от­ка­за­ли в про­дол­же­нии ис­сле­до­ва­ний, при­чем при­чи­на -- необ­хо­ди­мый НИИ был лик­ви­ди­ро­ван и на базе него сфор­ми­ро­ва­но дру­гое пред­при­я­тие, а остав­ши­е­ся ра­бот­ни­ки не за­ни­ма­ют­ся на­уч­ны­ми ис­сле­до­ва­ния, они ско­рее для под­дер­жа­ния те­ку­щей де­я­тель­но­сти.

Вот вам кто ме­ша­ет прямо сей­час со­зда­вать ИИ мухи вме­сто того пи­сать здесь об ИИ че­ло­ве­ка?

Стар­то­вый ка­пи­тал.

Моя зар­пла­та за пол­ный ра­бо­чий день в про­шлом году со­став­ля­ла шесть тысяч руб­лей. Это почти в 2 раза мень­ше рос­сий­ской ми­ни­маль­ной зп.

И я не имеют воз­мож­но­сти ко­пить нор­маль­ный ПК, чтобы де­лать все рас­че­ты. И в первую оче­редь думаю как уве­ли­чить доход, мне не до ис­сле­до­ва­ний, ко­то­рые дадут вы­хлоп в луч­шем слу­чае через год.

Можно, ко­неч­но, и сва­лить из этой стра­ны в нор­маль­ные стра­ны. На­при­мер, в ту же Рос­сию. Но мне остал­ся всего лишь один год обу­че­ния в ма­ги­стра­ту­ре без права пе­ре­ве­стись на за­оч­ку. Право то есть, но я по­те­ряю воз­мож­ность по­лу­че­ня рос­сий­ско­го ди­пло­ма и за­оч­ка толь­ко кон­тракт, а это боль­ше 50 тыс руб. Про зар­пла­ту я выше писал.

по­лу­чи­те неогра­ни­чен­ное фи­нан­си­ро­ва­ние на со­зда­ние ИИ че­ло­ве­ка

Можно мне хотя бы ми­ни­маль­ную ЗП как в РФ, готов ра­бо­тать даже сто­ро­жем! Кста­ти, это даже было бы лучше -- сижу в ка­мор­ке, пе­ри­о­ди­че­ски доки про­ве­ряю, а в осталь­ное время пишу тот самый ИИ. С груз­чи­ком или охра­на в ма­га­зине уже не катит -- все время на ногах и на­пи­сать ни­че­го не по­лу­чит­ся.

и при жизни вам по­ста­вят па­мят­ник из чи­сто­го зо­ло­та.

Если и дру­гой риск. Рас­стре­ля­ют. Я живу в го­ря­чей точке, пе­ри­о­ди­че­ски слышу ка­но­на­ду от об­стре­лов. Слу­чай­ная пуля и нет меня. И никто не по­ста­вит па­мят­ник, не го­во­ря уже о чи­стом зо­ло­те.

И даже уго­лов­ное дело не от­кро­ют. Про­сто -- граж­дан­ский, ко­то­рый погиб во время во­ен­ных дей­ствий. И все.

Также есть еще один риск -- кража тех­но­ло­гии. Если про­сто раз­бол­тать все в по­дроб­но­стях, то кто ме­ша­ет тем же ки­тай­цам вы­пу­стить ана­лог за ко­пей­ки? По­ста­вив меня на грань ра­зо­ре­ния, если за­хо­чу вло­жить­ся.

А я вам скажу. Вы клон марк­си­стов, ко­то­рые умеют толь­ко бол­тать о со­ци­а­лиз­ме, ком­му­низ­ме, свет­лом бу­ду­щем, но стро­ить ни­че­го не умеют.

Мне хва­тит и мир­но­го неба над го­ло­вой да со­ци­аль­ной об­ста­нов­ки не ниже, чем в Рос­сии. А то цены как в РФ, а зар­пла­ты кот на­пла­кал. Не живем, а вы­жи­ва­ем.

Прямо сей­час я ра­бо­таю в одной го­су­дар­ствен­ной кон­то­ре, где и пла­ни­рую про­дви­гать свои идеи. И про­шло­год­ние шесть тысяч руб­лей -- это офи­ци­аль­ная ми­ни­маль­ная зар­пла­та в гос.ор­га­нах! Я на част­ни­ков не ра­бо­тал.

Со­от­вет­ствен­но, дан­ная ста­тья -- это ско­рее сбор раз­лич­ных мне­ний, воз­мож­но, под­го­тов­ка к сле­ду­ю­щим пуб­ли­ка­ци­ям.

И в от­ли­чие от марк­си­стов -- я уже ра­бо­таю в го­су­дар­ствен­ных ор­га­нах, со­отет­ствен­но, могу на­пря­мую об­ра­щать­ся куда угод­но. С со­от­вет­ству­ю­щи­ми рис­ка­ми, что за вы­пол­нен­ную мной ра­бо­ту мне ска­жут "спа­си­бо", вы­пла­тят вы­ход­ное по­со­бие и по­про­ща­ют­ся.

Так что как я могу при­не­сти поль­зу го­су­дар­ству, ра­бо­тая в этом го­су­дар­стве, но при этом из­бе­жав рис­ков, свя­зан­ных с ин­тел­лек­ту­аль­ной соб­ствен­но­стью, еще пред­сто­ит по­ду­мать.

Как ва­ри­ант -- через год, когда в 2022 году за­кон­чу ма­ги­стра­ту­ру, я могу пойти пи­сать кан­ди­дат­скую дис­сер­та­цию на тему ИИ.

Я за фор­ма­ли­за­цию и осо­знан­ность

Ска­за­ли при этом про­ти­во­ре­чие. Т.е. осо­знан­ность про­ти­во­ре­чит фор­ма­ли­за­ции.

Мало того, в рам­ках фор­ма­ли­за­ции осо­знан­ность яв­ля­ет­ся чер­ным ящи­ком и это про­ти­во­ре­чие нераз­ре­ши­мо!

Мо­же­те прямо сей­час по­пы­тать­ся фор­ма­ли­зо­вать че­ло­ве­че­ский опыт и спо­соб пе­ре­да­чи между людь­ми. Сразу по­лу­чи­те куцый от­ре­зок, из-за ко­то­ро­го по­лу­ча­ет­ся раз­ни­ца между тео­ри­ей и прак­ти­кой.

С дру­гой сто­ро­ны нужны ли нам мега жёст­кие по­ня­тия, или они долж­ны от­ра­жать наши воз­рас­та­ю­щие зна­ния/опыт о мире?

Во­прос фор­маль­ной ло­ги­ки.

Могу по­зна­ко­мить с го­ло­гра­фи­че­ским мыш­ле­ни­ем, бла­го­да­ря ко­то­ро­му все ста­но­вит­ся иным.

Фор­маль­ная ло­ги­ка по­ро­ди­ла со­вре­мен­ную науку.

Го­ло­гра­фи­че­ская ло­ги­ка по­ро­ди­ла со­вре­мен­ную ли­те­ра­ту­ру. Но пи­са­те­ли не по­ни­ма­ют, чем они поль­зу­ют­ся.

Ко всему под­хо­дить со здра­вым смыс­лом, и фор­ма­ли­за­ция, и от­сут­ствие фор­ма­ли­за­ции долж­ны быть.

Здра­вый смысл, ин­ту­и­ция, лю­бовь, чув­ства, со­весть -- яв­ля­ют­ся обы­ден­ны­ми для го­ло­гра­фи­че­ской ло­ги­ки.

Для фор­маль­ной ло­ги­ки эти по­ня­тия чужды и непо­нят­ны.

Толь­ко вот беда -- в рам­ках фор­маль­ной ло­ги­ки невоз­мож­но по­нять как ра­бо­та­ет го­ло­гра­фи­че­ская. А вот в рам­ках го­ло­гра­фи­че­ской -- легко!

При­ве­ду при­мер -- каж­дая цвет­ная точка-​пиксель на экране ва­ше­го дис­плея фор­ми­ру­ет­ся тремя цве­та­ми -- крас­ным, зе­ле­ным, синим. Есть еще HDR-​механики, когда до­бав­ля­ют­ся до­пол­ни­тель­ные цвета. В слу­чае чер­нил ис­поль­зу­ют­ся ше­сти­цвет­ные ка­три­джи.

Так вот -- фор­маль­ная ло­ги­ка при­ка­зы­ва­ет ис­поль­зо­вать толь­ко белый све­то­ди­од. Но можно ре­гу­ли­ро­вать яр­кость по дис­крет­ным зна­че­ни­ям. По­лу­ча­ет­ся услов­ные 255 яр­ко­стей бе­ло­го, т.е. от­тен­ки бе­ло­го, се­ро­го и чер­но­го.

Го­ло­гра­фи­че­ская ло­ги­ка -- это ис­поль­зо­ва­ние еще и цве­тых све­то­ди­о­дов.

В па­мя­ти в обоих слу­ча­ях хра­нят­ся зна­че­ния яр­ко­сти све­то­ди­о­да. Толь­ко вот для фор­маль­ной ло­ги­ки па­мять и ито­го­вое изоб­ра­же­ние сов­па­да­ют. А вот для го­ло­гра­фи­че­ской па­мя­ти раз­ни­ца есть -- в па­мя­ти есть три цвета из крас­но­го, зе­ле­но­го, си­не­го, а на дис­плее может быть фи­о­ле­то­вый, жел­тый и т.д., ко­то­рые, по фор­маль­ной ло­ги­ке, не хра­нят­ся в па­мя­ти, т.к. в па­мя­ти нет по­ня­тия "яр­кость жел­то­го".

И од­но­вре­мен­но я вам рас­ска­зал что такое го­ло­гра­фи­че­ская ло­ги­ка -- это со­че­та­ние раз­лич­ных по­ня­тий, их ин­тер­фе­рен­ция, для по­лу­че­ния но­во­го. Фор­маль­ная ло­ги­ка уста­нав­ли­ва­ет чет­кие гра­ни­цы и она не может по­лу­чить что-​то новое, т.к. серый+серый дадут дру­гой от­те­нок се­ро­го, ко­то­рый уже су­ще­ству­ет в рам­ках фор­маль­ной ло­ги­ки.

Это по­верх­ност­ная ана­ло­гия лишь для по­ни­ма­ния раз­ни­цы между го­ло­гра­фи­че­ской и фор­маль­ной ло­ги­ки.