По теореме Гёделя о неполноте, для любого языка программирования всё равно будут встречаться задачи, неописуемые этим языком. Поэтому языки и развиваются ;-)
Хорошо в математике: если есть формула — значит задача формализована и без потерь может быть переведена на любой язык, буде это Фортран или юридический контракт на португальском.
Это вам не бухгалтер, который неописует свои собственные задачи, которые мы обязаны закодировать.
Я помню, что при изучении Си я имел такой стиль (кстати, вполне культурный K&R), что при просмотре экзерсиза на Паскале я долго плавал взглядом по экрану ища и собирая смысл в кучу. Было такое ощущение, что смысл есть, но он распылён по всей площади экрана с добавлением гигантских лакун.
Это необычное ощущение, когда один и тот же простенький численный метод на Си умещается в фокусе глаза, а на Паскале требует этими глазами дико вращать (и скроллиться к тому же).
Но, я тут же вспомнил, что когда ранее изучал Паскаль, я имел противоположное ощущение — код казался логичным и ясным, в то время как на Си текст того же алгоритма коллапсировал почти в точку и обязательно требовал лупу.
После этого я решил, что вопрос колебания плотности информации на экране (в известных пределах. Я не говорю про Ифкуиль) — это вопрос мимолётной привычки, и полагается смотреть в языке совсем на другое.
Первый месяц-два после закрытия Google News этот Feedly очень плохо синхронизировал метки избранного и прочтённого между смартфоном и сайтом. Сценарий «пробежал на телефоне простые статьи и отложил глубокие статьи до кресла с компом» работал достаточно плохо, чтобы я начал искать альтернативы.
Нынче они могли и исправить всё. И даже InoReader какое-то время повторял их путь с глюками. Но, вот, как-то обратно с InoReader на Feedly у меня «не переползается».
Перебежал тогда ещё на InoReader (после того как Feedly начал глючить). Этот попроще, но обладает определённой органичностью. С учётом ограничений RSS, конечно, — писать из приложения нельзя.
Ну, я то ту стадию лет десять, а то и пятнадцать как миновал, сейчас мне достаточно CheatEngine или DetectiveStory.
Но то я, IT-шник. А куча народу не итишники. И на той стадии ещё сидят.
Да что там — куча народу и поныне упорно открывает письма от неизвестной Маруси «вот фотки, которые ты просил с того отпуска». Не-е, антивири списывать нельзя никак.
Та ни. Вот мне захотелось слегка воспользоваться «тренером» в сингл-плеере. Я не в сети читерством занимаюсь, а просто пытаюсь игру превратить в отдых вместо напряжения. Голда там подкинуть, левела поднять. На расслабон.
И эти все тренеры — половина из них трояны. А половина написано честными хакерами за идею.
В этом разе предупреждение антивиря очень не зря появляется.
Я думаю, что математики знаю определение и устойчивости, и сходимости, включая неточное представление чисел — они не зря численные методы в приложении к диплому имеют, которые созданы именно для вычтеха.
Достаточно попросить их доказать вам, что они решили именно запрошенную задачу, а не что либо другое случайно или злонамеренно. Такой аппарат у них есть.
«Нельзя перейти от неформального к формальному с помощью формальных средств» /Alan Perlis/ (кстати, звучит вполне «математично»).
Если программиста рассматривать как точного переводчика, то потребуется, чтобы он переводил формальную задачу с естественного на формальный машинный.
Такое возможно весьма и весьма редко, так как требует очень чёткой работы постановщиков задач и заказчика. Но.
«Пользователь не знает, чего он хочет, пока не увидит то, что он получил» /Э. Йодан/
А вот это гвоздь в крышку гроба высказывания «программист не более чем кодер».
Так что придётся сменить трактовку с «программист — это переводчик» на «программист — это интерпретатор». Программисту придётся сотворить ранее никем не оговоренную спецификацию.
С натуральной алфавитной сортировкой по выбранному мной критерию. Быстрее доскроллиться до префикса, чем несколько раз кликать для навигации по интерфейсу.
Хорошо в математике: если есть формула — значит задача формализована и без потерь может быть переведена на любой язык, буде это Фортран или юридический контракт на португальском.
Это вам не бухгалтер, который неописует свои собственные задачи, которые мы обязаны закодировать.
Это необычное ощущение, когда один и тот же простенький численный метод на Си умещается в фокусе глаза, а на Паскале требует этими глазами дико вращать (и скроллиться к тому же).
Но, я тут же вспомнил, что когда ранее изучал Паскаль, я имел противоположное ощущение — код казался логичным и ясным, в то время как на Си текст того же алгоритма коллапсировал почти в точку и обязательно требовал лупу.
После этого я решил, что вопрос колебания плотности информации на экране (в известных пределах. Я не говорю про Ифкуиль) — это вопрос мимолётной привычки, и полагается смотреть в языке совсем на другое.
Нынче они могли и исправить всё. И даже InoReader какое-то время повторял их путь с глюками. Но, вот, как-то обратно с InoReader на Feedly у меня «не переползается».
Но то я, IT-шник. А куча народу не итишники. И на той стадии ещё сидят.
Да что там — куча народу и поныне упорно открывает письма от неизвестной Маруси «вот фотки, которые ты просил с того отпуска». Не-е, антивири списывать нельзя никак.
И эти все тренеры — половина из них трояны. А половина написано честными хакерами за идею.
В этом разе предупреждение антивиря очень не зря появляется.
(В Colobot выключить перегрев реактивного)
70 septante швейцарский-бельгийский вместо soixante-dix («60 10»).
80 octante канадский вместо quatre-vingt («4 20»). Но тут французы заставили даже канадцев отказаться от такого удобного слова.
90 nonante швейцарский-бельгийский вместо quatre-vingt-dix («4 20 10»)
Достаточно попросить их доказать вам, что они решили именно запрошенную задачу, а не что либо другое случайно или злонамеренно. Такой аппарат у них есть.
Если программиста рассматривать как точного переводчика, то потребуется, чтобы он переводил формальную задачу с естественного на формальный машинный.
Такое возможно весьма и весьма редко, так как требует очень чёткой работы постановщиков задач и заказчика. Но.
«Пользователь не знает, чего он хочет, пока не увидит то, что он получил» /Э. Йодан/
А вот это гвоздь в крышку гроба высказывания «программист не более чем кодер».
Так что придётся сменить трактовку с «программист — это переводчик» на «программист — это интерпретатор». Программисту придётся сотворить ранее никем не оговоренную спецификацию.
И это потребует вернуть творчество в картинку.
И даже вероятно, что именно такой lib.ru/RUFANT/BELAEW/invisibl.txt_with-big-pictures.html