Сильная и слабая типизация или строгая и нестрогая типизация — характеристика системы типов языка программирования, отражающая существенные ограничения на приведение типов при присваиваниях и операциях. Языки, в которых такие ограничения менее строгие, называют — слабо типизированными.
Рефал — один из старейших функциональных языков программирования, ориентированный на символьные вычисления: обработку символьных строк ; перевод с одного языка на другой; решение проблем, связанных с искусственным интеллектом. Соединяет в себе математическую простоту с практической направленностью на написание больших и сложных программ.
Норма́льный алгори́тм (алгори́фм) Ма́ркова — один из стандартных способов формального определения понятия алгоритма. Понятие нормального алгоритма введено А. А. Марковым (младшим) в конце 1940-х годов в работах по неразрешимости некоторых проблем теории ассоциативных вычислений. Традиционное написание и произношение слова «алгорифм» в этом термине также восходит к его автору, многие годы читавшему курс математической логики на механико-математическом факультете МГУ.
Автома́тное программи́рование — это парадигма программирования, при использовании которой программа или её фрагмент осмысливается как модель какого-либо формального автомата.
Валентин Фёдорович Турчин — советский и американский физик и кибернетик, создатель языка Рефал и новых направлений в программировании и информатике, участник правозащитного движения в СССР, автор «самиздата», председатель Советской секции «Международной амнистии». С 1977 года работал в Университете Нью-Йорка. Отец П. В. Турчина.
Ефре́м — библейский ветхозаветный персонаж; родоначальник колена Ефремова.
Институт прикладной математики им. М. В. Келдыша РАН был создан для решения расчётных задач, связанных с государственными программами атомной и термоядерной энергетики, исследования космического пространства и ракетной техники. Институт входит в состав Отделения математических наук Российской академии наук. Основное направление деятельности института состоит в использовании вычислительной техники для решения сложных научно-технических проблем, имеющих важное практическое значение. С 2016 года в сферу научной деятельности института вошла разработка математических и вычислительных методов для биологических исследований, а также непосредственное решение задач вычислительной биологии с использованием таких методов.
Рефаимы — слово из Еврейской Библии (Танаха), также встречается в нееврейских древних текстах Ханаана. Термин «рефаим» относится либо к людям высокого роста («великаны»), либо к мёртвым предкам, которые являются обитателями подземного мира.
Ремфан — астральный бог, упоминаемый в Деяниях апостолов и в Книге пророка Амоса. Ассоциировался с некой звездой (Сатурн), поклонение которой прогневило Бога и способствовало вавилонскому плену.
Вы приняли скинию Молохову и звезду бога вашего Ремфана, изображения, которые вы сделали, чтобы поклоняться им: и Я переселю вас далее Вавилона.
M-220 — советская полупроводниковая электронная вычислительная машина. Развитие М-20, разработана в 1968 году под руководством главного конструктора Вениамина Степановича Антонова. Основные разработчики — В. Гуров, Н. Егорычева, Г. Г. Зоткин, В. С. Клепинин, А. А. Шульгин.
Р120:
Долина Рефаимов или Рефаимская долина, описана в Библии как плодородная и богатая хлебными полями долина Ис. 17:5 на границе уделов Иуды и Вениамина, между Иерусалимом и Вифлеемом.
Женский:
Библейские гиганты — название людей необыкновенного телосложения в собрании переводов Танаха на древнегреческий язык — «Септуагинте». Этим словом обычно переводятся два еврейских слова — нефилим и рефаим.
Гомоикони́чность — свойство некоторых языков программирования, в которых структура программы похожа на его синтаксис, и поэтому внутреннее представление программы можно определить, прочитав текстовую разметку. Если язык гомоикони́чен, это означает, что текст программы имеет такую же структуру, как её абстрактное синтаксическое дерево. Это позволяет всему коду на языке быть доступным и обработанным в качестве данных, используя одно и то же представление.
Нур Эль-Рефай — шведская актриса, телеведущая и комик сирийско-ливанского происхождения. Получила известность благодаря участию в юмористическом шоу со скрытой камерой Raj Raj в 2007 году и как ведущая Melodifestivalen 2014. Эль-Рефай также появилась в нескольких фильмах, таких как Kronjuvelerna и Johan Falk: Spelets regler.
Гибборим — слово еврейского происхождения, называющее гигантов.
Подразделение «Рефаи́м» — отборное подразделение батальонного уровня Армии обороны Израиля в составе 99-й маневренной пехотной дивизии «Хевзек».
Бюлан — фамилия и топоним французского происхождения.