| планирование с помощью приоритетов |
[Jul. 15th, 2021|08:01 pm]
beroal
|
Встретился алгоритм планирования с помощью приоритетов, который автоматически назначает приоритеты. По-моему, это оксимирон.
Рассмотрим алгоритм планирования, которые даёт процессор потоку, у которого общее время процессора, которое этот поток использовал, наименьшее. (Кстати, вполне рабочий алгоритм.) Получается, здесь приоритет — это использованное время процессора с обратным знаком (чем больше приоритет, тем больше вероятность, что поток получит время). ☺
В моём понимании планирование с помощью приоритетов — это когда приоритеты задаёт системный администратор или пользователь. |
|
|
| proof theory |
[Sep. 29th, 2017|06:34 pm]
beroal
|
I have started reading a textbook (Negri and von Plato 25) on proof theory. I would say, it is an easy read. My impression is that the theory is very meticulous. Check an inference rule, then check another inference rule, then check another inference rule… IMHO, it would be more productive to find common properties of inference rules and reason from those properties. In the textbook, it is not justified why we study specific inference systems. How do we know that those inference systems are correct and useful? I guess that the authors should prove that inference systems are deductively equivalent to a gold standard like natural deduction in sequent calculus style.
Works Cited
Negri, Sara, and Jan von Plato. Structural Proof Theory. Cambridge University Press, 2001. |
|
|
| How to extend Unicode? |
[Jul. 6th, 2017|09:46 am]
beroal
|
This is not a manual on extending the existing Unicode standard. This is just a suggestion.
Suppose that people want to use new characters not present in the standard and would like to see those characters in the standard in the future. These characters will be called “custom” for certainty. Before adding custom characters to Unicode, we need to check whether these characters are useful. An unnecessary addition is cognitive load on the users of the standard. Checking is an experiment when we implement the custom characters in a program or a web site so people can add the characters to their documents. The code points for the custom characters should be in private use areas. The check is successful if the custom characters become popular.
( to be continuedCollapse ) |
|
|
| интеллектуальный поиск по интернету |
[Jan. 18th, 2017|10:31 am]
beroal
|
Как обстоят дела сейчас с интеллектуальным поиском по интернету? Я имею в виду поисковый сервис, который для веб-страницы запоминает не только ключевые слова, но и смысл текста. У меня бывают поисковые запросы, для которых нет специфических ключевых слов. Google, несмотря на свою мощь, ищет по ключевым словам. Он выдаёт много мусора на мой запрос, приходится фильтровать вручную, заходить на каждую веб-страницу. Это отнимает много времени.
Я понимаю, что интерпретация текста на естественном языке требует много вычислений. Допустим, я готов платить за каждый ответ на мой запрос. Сколько примерно это будет стоить?
P. S. Когда-то семантический веб был модной темой. С ней стало то же, что и с всеми модными темами — «воздушный замок», используя выражение Дейкстры. ☺ Впрочем, кажется, семантический веб — немного не то. В семантическом вебе веб-мастера должны добавлять к своим веб-сайтам семантическую информацию на специальном языке. |
|
|
| Пролог и фанатизм в информатике |
[Dec. 18th, 2016|09:03 am]
beroal
|
Присказка. Однажды я захотел создать файл в формате Low Level Virtual Machine Intermediate Representation (LLVM IR). В ходе работы выяснилось, что официальная документация неясна, неполна и некорректна. Не то, чтобы совсем бесполезна, но многие вещи пришлось выяснять с помощью экспериментов и чтения исходного кода парсера на C++, который я не люблю. Родилась идея описать этот формат формально, чтобы потом уже обращаться к формальному описанию, а не блуждать каждый раз в плохой официальной документации. Я думал, что это не займёт много времени. I had no idea. ☺
( Читати даліCollapse ) |
|
|
| изучение формальных грамматик |
[Dec. 7th, 2016|08:13 am]
beroal
|
Учебные курсы по грамматикам называются «теория автоматов». Это примечательно. Автомат — это реализация парсера. В курсе «теория автоматов» изучают оптимизацию парсеров. Это вопрос сложный. В ходе оптимизации парсер теряет мощность. Например, парсер «вниз» не переваривает леворекурсивные грамматики. Для парсеров LR и LALR вообще трудно понять, какие классы грамматик они переваривают.
Разве теории формальных языков включает только оптимизацию парсеров? Можно изучить более простые и менее эффективные парсеры. Можно изучить принтеры. Мне кажется, эти темы не изучаются потому, что они слишком простые. Как бы получается, что там нечего изучать. Я считаю, что обучение должно идти от простого к сложному. Поэтому пропускать эти простые темы ни в коем случае нельзя. |
|
|
| логическое и ассоциативное мышление |
[Oct. 27th, 2016|11:26 am]
beroal
|
Думаю, каждый из нас хотя бы раз наблюдал этот способ мышления, когда человек, решая задачу или отвечая на вопрос теста или просто какой-то вопрос в разговоре, не столько думает, сколько угадывает по ключевым словам и по смысловой близости. Что-то связано с чем-то, что-то похоже на что-то, какие-то слова употреблялись в тексте рядом. У нас это называют: «Чув дзвін, та не знає, де він». Это ассоциативное мышление. Наверное, оно даже не достойно называться мышлением. Но как-то надо называть, поэтому я решил расширить понятие мышления. Другой способ мышления, логическое мышление — это мышление с помощью утверждений и логического вывода (дедукции, доказательств).
( Читати даліCollapse ) |
|
|
| закрыть TCP-соединение |
[Nov. 20th, 2015|05:46 pm]
beroal
|
Никогда не мог понять, зачем в TCP позволено закрывать трубы по отдельности. (TCP-соединение состоит из 2 антипараллельных труб.) Если надо обозначить, что по какой-то трубе больше не будет данных, это можно встроить в протокол. Скорее всего, это уже встроено, например, по трубе передаётся 1 сообщение, которое содержит свою длину. Если связь рвётся или компьютер выключается, закрываются обе трубы. Программа, которая обрабатывает закрытие соединения, сложнее в случае, если позволено закрывать трубы по отдельности. |
|
|
| recursion is fast, bro |
[Nov. 19th, 2015|12:42 pm]
beroal
|
Originally posted by  beroal at recursion is fast, bro“Use recursion to solve problems much faster than conventional Java technqiues.” Нашёл эту фразу в описании курса по программированию. Что бы она значила? |
|
|
| Coursera/Algorithms, Part II |
[Jun. 22nd, 2015|05:10 pm]
beroal
|
Это отзыв о курсе по алгоритмам от Принстонского университета.
Положительные стороны. Изложение учебного материала обстоятельное, даже очень. Сказано о применении алгоритмов. Задачи на программирование мне понравились, требуют некоторой смекалки.
Отрицательные стороны. Доказательства корректности алгоритмов невнятны. Мне приходилось доказывать самостоятельно или искать в интернете. Из-за невнятности доказательств и алгоритм иногда понять трудно. Вместо доказательств преподаватель тратит время на анимацию алгоритмов, то есть делает именно то, что не рекомендовал Дейкстра. Причём он комментирует эти анимации настолько подробно, «мы идём в эту вершину графа, потом в эту», что я буквально засыпал за экраном :-) . |
|
|
| navigation |
| [ |
viewing |
| |
most recent entries |
] |
| [ |
go |
| |
earlier |
] |
| |
|
|
