?

Log in

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

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

in English [Jul. 1st, 2020|12:00 am]
beroal
[Tags|]

Welcome!

Posts in English in this blog: HTML; Atom.

My favorite links from Diigo: RSS, HTML.

OpenSearch plugin for searching on:

Short proofs in Coq.

test link
Link2 comments|Leave a comment

по-русски [Jun. 1st, 2020|12:00 am]
beroal
Добро пожаловать!

Для обратной связи пишите сюда комментарии. Если я вас не добавляю в друзья, это не значит, что я вас не читаю.

Этот блог узкотематический. У меня есть и другие блоги, просто оставьте запрос.

Поисковые системы на платформе Google Custom Search Engine:
против мошенничества

only Haskell (the programming language)

OpenSearch plugin (то есть для Firefox) для поиска по:

Математические доказательства на языке Coq. В основном мелочь, среди крупных модулей можно выделить CategoryTheory, IntBipart (целые числа как кольцо Гротендика), TakeDrop («take» и «drop» из Haskell.Data.List).

Лента выбранных мною из чужих блогов записей: RSS, HTML. Содержание примерно такое же, как и у данного блога, то есть функциональное программирование, программирование в целом, информатика, реже математика и физика. Надеюсь, вы найдёте в ней интересных людей.

Кто не является моим другом, должен вводить CAPTCHA при добавлении комментария. Я добавляю в друзья всех вменяемых комментаторов, поэтому стукните мне, если я конкретно о вас забыл.

У меня есть личный веб-сайт.
Link6 comments|Leave a comment

интернет и унификация языков [May. 4th, 2017|10:19 pm]
beroal
[Tags|]

Несколько раз с мной случалось следущее. Я выдумываю термин для себя, потом нахожу в интернете общепринятый (в узких кругах, разумеется) термин с тем же смыслом. Мне не важно, чтобы термин был «моим», я выдумал его из-за незнания.

Таким образом, интернет помогает унифицировать профессиональную терминологию. Это и понятно. Чтобы унифицировать терминологию, не используя интернет, нужно собраться на конгресс. В интернете не нужно даже назначать время встречи. Каждый может читать и писать в удобное для него время.

Мне кажется, это можно применить не только к профессиональным терминам, но и к обычным словами, а также к синтаксическим конструкциям естественных языков.
Link2 comments|Leave a comment

будущее капитализма [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

navigation
[ viewing | most recent entries ]
[ go | earlier ]