?

Log in

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

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

будущее капитализма [May. 3rd, 2017|06:14 pm]
beroal
[Tags|]

Если видишь статью под названием «Будущее капитализма» — будь уверен, что в ней описан социализм. ☺ Это не значит, что будущее капитализма действительно социализм. Это значит, что социалисты пытаются поддержать веру в социализм. Они не могут указать на успешные примеры социализма в настоящем, поэтому рассказывают о социализме в будущем.
Link3 comments|Leave a comment

(no subject) [Apr. 30th, 2017|01:29 pm]
beroal
[Tags|, , ]

Mathematics is perceived as a difficult subject by most people and feelings of insufficiency are very common, among both laymen and professionals. This is not strange. Mathematics is difficult and demanding, just like classical music or athletics may be very difficult and demanding, which may create a lot of negative feelings for students pushed to perform. There is no way to eliminate all the difficulties met in these areas, except by trivialization. Following Einstein, one should always try to make Science and education based on Science as simple as possible, but not simpler.

In music and athletics the way out in our days is clear: the student who does not want to spend years on practicing inventions by Bach on the piano, or to become a master of high-jump, does not have to do so, but can choose some alternative activity. In mathematics this option is not available for anyone in elementary education, and not even an arts student at an American college may get away without a calculus course, not to speak of the engineering student who will have to pass several mathematics courses.

Mathematics education is thus compulsory for large groups of students, and since mathematics is difficult, for students on all levels, problems are bound to arise. These problems, apparent for everybody, form much of the motivation behind the task of the Mathematics Delegation.

“Dreams of calculus: Perspectives on mathematics education” by Johan Hoffman, Claes Johnson, and Anders Logg.
Link2 comments|Leave a comment

complex concepts before simple ones [Apr. 19th, 2017|02:24 pm]
beroal
[Tags|, , ]

This is a copy of my post on the forum of the course “Teaching Science at University.”

There is an example in computer science demonstrating how wrong preconceptions get in the way. Students learn an imperative programming language as their first programming language. Typically, they learn declarative programming later. From scientific point of view, imperative programming is an additional concept on top of declarative programming.

to be continuedCollapse )
LinkLeave a comment

Coursera/Teaching Science at University [Apr. 19th, 2017|01:42 pm]
beroal
[Tags|, ]

Currently I am taking an online course “Teaching Science at University” by Kai Niebert from University of Zurich. Well, not taking really because I am not an instructor. Probably, I will copy my posts from the course forum into my blog.

to be continuedCollapse )
LinkLeave a comment

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

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