?

Log in

язык, на котором не говорят [entries|archive|friends|userinfo]
beroal

[ website | personal website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]
[ tags | journal tags ]

How to translate Prolog to logic? [Apr. 16th, 2017|12:28 pm]
beroal
[Tags|, , ]

My question on Computer Science Stack Exchange. It is related to the post on operational semantics (in Russian).
LinkLeave a comment

жульничество операционной семантики [Apr. 13th, 2017|09:33 am]
beroal
[Tags|]

Читаю учебник Winskel-а по семантике япов. Операционная семантика считается проще денотационной. Поэтому денотационная излагается после операционной (или вообще не излагается). Мне кажется, операционная семантика проще, потому что она жульничает.

Семантика япа L — это функция, которая берёт программу на L и возвращает математический объект. Тексты, которые называются операционной семантикой, — это не тексты на языке математики, это тексты на языке Пролог. Операционная семантика не даёт определения рекурсии, она использует рекурсию Пролога. Поэтому операционная семантика не полна. Чтобы получить настоящий математический объект, надо добавить денотационную семантику Пролога. В ней используются наименьшие неподвижные точки, из-за которых денотационная семантика и кажется сложнее.
Link3 comments|Leave a comment

«Я — твой слуга, я — твой работник» [Apr. 3rd, 2017|07:39 am]
beroal
[Tags|, , ]

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

Простой случай — когда нужно, чтобы поисковый сервис понимал грамматическую структуру текста. Пример. Почти любой учебный материал имеет так называемые пререквизиты, то есть то, что надо выучить перед ним. Отношение «быть пререквизитом» образует ориентированный ациклический граф. Вряд ли я первый, кому в голову пришла эта идея. Но как выразить эту идею ключевыми словами? По запросу «knowledge learning graph edge vertex» Гугл выдаёт, разумеется, учебники по теории графов. Гугл не отличает понятия «знания о графах» и «знания как граф».

Однако таких «конкретных» запросов не достаточно. Что я хочу найти, это то, как сделать свою жизнь лучше. ☺ Давать такой запрос Гуглу бесполезно. Ну, я найду какой-то материал по этой теме. Потому что сеошники уже создали веб-страницу для каждой фразы, имеющей смысл. Но эта страница будет бесполезной для меня.
Link3 comments|Leave a comment

стереотипы, мешающие развитию япов [Mar. 25th, 2017|08:25 am]
beroal
[Tags|, ]

  • 0. Стереотип, что программистам не нужно создавать япы.
  • 1. Стереотип, что исходный код программы — это директории, файлы, текст.
  • 2. Стереотип, что для развития япов не хватает какой-то особой программы.

Читати даліCollapse )
Link4 comments|Leave a comment

Почему я не пользуюсь Diaspora* [Mar. 23rd, 2017|02:43 pm]
beroal
[Tags|, ]

0. Эта социальная сеть децентрализованна, но это не значит, что её пользователи независимы. Просто серверов много, и пользователи зависимы от этих серверов, которые называются «подами». Например, я выбрал под с нормальным uptime, но через время он начал выключаться регулярно примерно раз в месяц на недельку. После этого я выяснил, что я не могу перенести свой аккаунт на другой под. Я могу получить свои данные, но не могу загрузить их в свой аккаунт на другом поде, потому что это пока что не реализовано. Даже если бы я мог это сделать, я потеряю тех, кто на меня подписан, по понятной причине. В общем, я недоумеваю, какую выгоду пользователям даёт такая децентрализация.

1. В этой социальной сети много социалистов и параноиков, на мой вкус. По моей оценке, 80 %. То есть реально много. Полагаю, что таковыми являются её отцы-основатели, потому что, как мне показалось, в сеть приходят по знакомству. Мне просто нечего там обсуждать. В социальной сети это не такая уж большая проблема, потому что я выбираю, кого читать и с кем общаться. Пока что я собеседников не нашёл, но это может произойти в будущем.
LinkLeave a comment

compiling modules in the Chicken Scheme 4 [Mar. 15th, 2017|10:10 am]
beroal
[Tags|, ]

Size of my programs in Scheme reached the point when it is desirable to split them into parts. Doing this in the Chicken Scheme 4 is not obvious. This document contains what I gathered by reading the documentation, asking and a little experimentation. It is only relevant if you want to split your program into files. A reader should know basics of the Scheme PL and compilation process in Linux.

to be continuedCollapse )
LinkLeave a comment

my view on PL module systems [Mar. 15th, 2017|09:16 am]
beroal
[Tags|, ]

Here is what I want to see in a module system for Scheme (or any PL).
  • File and directory names are module names. I mean, we already disperse program code over the file system. (It’s not the only choice. We can store code in a relational database.) Appending another set of names to file system names may be misleading. Imaging that a file “vector graphics” contains a module “raster graphics”. Seriously, it’s not funny.
  • Linkage mostly is not specific to PLs. So the linkage language should be separate from PLs, and linkage information should be stored outside files with program code. Thus we can use 1 linkage language with various PLs.
  • Optimize for the common case. Resolution of names can be made very complex. Forcing all programmers to learn a complex module system because a minority wants a peculiar feature is not efficient. The minority should program and extend the module system as they wish.
  • A user has the final vote on linkage. The user delegates linkage decisions to authors of programs, but he/she should have a capability to override them.
  • Linux distributions already have package managers. Using them would be prudent. I mean, if you did not come up with anything better, you would be reinventing the wheel.
LinkLeave a comment

сила убеждений [Mar. 12th, 2017|07:30 pm]
beroal
[Tags|, ]

В западных учебных курсах и учебниках я иногда встречал выражение «convince yourself». Например, «убедите себя», что алгоритм корректен или что ответ на вопрос правилен. В инженерном деле как-то стрёмно полагаться на человеческие убеждения. Природе плевать на них. Допустим, программа некорректна, а её автор твёрдо убеждён, что она корректна. Будем уважать его убеждения? ☺
Link8 comments|Leave a comment

ideas are cheap [Feb. 26th, 2017|08:49 am]
beroal
[Tags|, ]

В последнее время я всё чаще вспоминаю эту западную (американскую?) поговорку. «Ideas are cheap», «идеи дёшевы». Идей много и в интернете, и у меня. Но важнее найти не идею, а ответ на вопрос «Кто будет оплачивать банкет?» Потребитель не хочет платить, пока не попробует. Способен ли он попробовать идею?
Link3 comments|Leave a comment

собирание виртуальных дипломов [Feb. 12th, 2017|07:52 am]
beroal
[Tags|, ]

На образовательных веб-сайтах я столкнулся с парадоксом. Как и в физической жизни, большинство студентов интересует только одна вещь: как сдать экзамен и свалить. Поэтому вопросы на форумах в основном логистические: последний срок сдачи экзамена, а почему так мало попыток. При этом работодателей мало интересуют онлайн-сертификаты, поэтому главным мотивом для прохождения онлайн-курса должно быть желание научиться, а не получить «корочку». Почему так происходит?
Link1 comment|Leave a comment

navigation
[ viewing | 10 entries back ]
[ go | earlier/later ]