on logics

Dec. 19th, 2016 01:43 pm
wizzard: (Default)
[personal profile] wizzard
как же так осилить interaction nets? несколько лет уже про них читаю, и все никак мозгов не хватает(

у меня тут в мозгах что-то щелкнуло на тему того что memoizing lambda interpreter - это кхм quick and dirty реализация то ли EAL то ли LAL логики

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

да, также интересны Ludics и Geometry of Interactions...

Date: 2017-01-05 04:45 pm (UTC)
codedot: (Default)
From: [personal profile] codedot
Я когда-то переводил главу из учебника про interaction nets, но там как-то длинно получилось, и основные идеи размазаны.

А в прошлом году был первый раз в жизни на конференции вообще и первый раз с докладом. Получилось плохо, так как оказалось, что я представлял себе аудиторию совсем неправильно. После этого в статью решил дописать краткое введение (в запасе оставалось только две страницы, на статьи были ограничения в 10 страниц) и выложил в виде поста перевод на русский язык.

В связи с проявленным интересом к interaction nets, хотелось бы спросить, стало ли введение понятнее по сравнению с переводом главы учебника?

Profile

wizzard: (Default)
wizzard

March 2017

S M T W T F S
    1234
567891011
12131415161718
19202122232425
262728293031 

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Mar. 1st, 2017 05:54 pm
Powered by Dreamwidth Studios