Исследователи Центра языка и мозга НИУ ВШЭ представили RusLan-M — открытый мультимедийный корпус, который позволяет проследить развитие русской речи у детей от первых слов до появления сложных грамматических конструкций. В базе собраны около 41 часа видеозаписей и более 35 тысяч детских высказываний. Новый ресурс поможет ученым точнее изучать, как дети осваивают русский язык, а в перспективе — создавать более надежные инструменты для оценки речевого развития. Исследование опубликовано в журнале Language Resources and Evaluation.
Действующие подходы Росстата к оценке неформальной занятости в России уже не в полной мере отражают современную ситуацию на рынке труда. К такому выводу в своем исследовании пришли экономисты ИСИЭЗ НИУ ВШЭ. Ученые считают, что новые международные стандарты помогут получать более достоверные данные о рынке труда, а значит, принимать более эффективные государственные решения.
26 августа Московский институт электроники и математики им. А.Н. Тихонова (МИЭМ) ВШЭ и Национальный исследовательский университет «Московский институт электронной техники» (МИЭТ) подписали договор о сотрудничестве. Соглашение направлено на развитие совместных исследований в области физики, перспективного материаловедения и электроники, объединяющих экспериментальные и вычислительные подходы, выполнение совместных опытно-конструкторских работ, а также подготовку заявок на российские и международные научные гранты.
Berger G., Беклемишев Л. Д., Tompits H., Logic Journal of the IGPL 2018 Vol. 26 No. 5 P. 505–538
We consider a many-sorted variant of Japaridze’s polymodal provability logic (GLP). In this variant, which is denoted GLP∗, propositional variables are assigned sorts n≤ω, where variables of finite sort n<ω are interpreted as Π_{n+1}-sentences of the arithmetical hierarchy, while those of sort ω range over arbitrary ones. We prove that GLP∗is arithmetically complete with respect to this interpretation. Moreover, we ...
Беклемишев Л. Д., Успехи математических наук 2018 Т. 74 № 4 С. 3–52
Строго позитивные логики в последнее время привлекают внимание специалистов благодаря их сочетанию эффективности и приемлемой выразительности. Язык исчисления рефлексий RC состоит из импликаций между формулами, составленными из пропозициональных переменных и константы “истина” лишь с помощью связки конъюнкции и модальностей, интерпретируемых в арифметике Пеано как ограниченные равномерные схемы рефлексии. Мы расширяем язык RC дополнительным семейством модальностей, соответствующих операторам, которые сопоставляют данной арифметической теории T её ...