Jan. 2nd, 2017

bamalip: (Default)
По мотивам предыдущего поста https://bamalip.dreamwidth.org/193844.html и ответа akuklev.livejournal.com я начал в новом году упражняться в реализации этого всего на Скале. Комментарии к коду воспоследуют в виде постов по мере реализации. Цель - формализовать понятия вычислимой компактности, а также индуктивно заданных семейств компактов, произведения которых вновь являются вычислимыми компактами. Польза - надежно проверять кванторы на бесконечных областях. Для себя я хочу увидеть, насколько широко можно применять такой фокус, и заодно - насколько Скала применима для таких штук.

UPD забыл сразу дать ссылку, вот репозиторий https://github.com/zraffer/real-cats

Profile

bamalip: (Default)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 19 20212223
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 21st, 2017 05:28 pm
Powered by Dreamwidth Studios