Почему у Вас два компонента с названием «Timer Translation»? Переименуйте их во что-нибудь вроде «Timer Translation (Move Left)». Иначе как Вы выбираете их при настройке состояния? И зачем для состояний «Move Left» и «Move Right» нужны разные классы? Нельзя просто создать в объекте два компонента-скрипта типа State с разными названиями?
Насколько я понимаю, у них должен быть какой-то договор или что-то такое. Что-то, на основание чего «Дождь» попал в пакет программ. Если бы это что-то официально расторгли — мы бы услышали об этом в другом ключе.
В видео в конце упомянута OpenSSL с гостами, она работает? В OpenSSL есть поддержка гостов, но она выполнена в виде отдельного модуля (engine), и чтобы это работало его надо специально подключать (вероятно, на этапе компиляции).
Зависит не только от хвата, но и от мышки. На большой высокой мыши, которая хорошо лежит в руке правый нижний угол самый неудобный, мышь в руку упирается; левый верхний самый простой — пальцами мышь выталкивается; остальные углы — примерно одинаково запястье повернуть. С маленькой нетбучной мышкой во все углы нормально.
Существуют языки, отсутствие ошибок в которых формально доказано. Математически. И если такой язык скажет, что доказательство верно — оно действительно верно, в рамках математики, которой доказано что верен язык (интерпретатор языка). Если же интерпретатор говорит, что док-во неверно, он сообщает также, какой переход неправилен. Математику нужно лишь проверить, соответствует ли код, написанный для этого перехода, самому переходу в док-ве. При этом переход достаточно элементарен — на том уровне абстракций, на котором он применяется (а ля «согласно теореме Х», при этом у теоремы простые условие и вывод, но сложное док-во). Если переход закодирован неверно, математик его исправляет и возобновляет проверку, в противном случае док-во содержит ошибку.
Мне кажется, что реализовать требуемую систему не слишком сложно. Сложно реализовать эту систему с поиском доказательства, но если математик нашел док-во, то занесение его в систему эквивалентно написанию программы на императивном языке по алгоритму. Формальная проверка каждого этапа должна быть не сложной (я не математик). Грубо говоря, есть аксиомы, они формализованы. Есть правила вывода, их тоже не слишком сложно формализовать. Есть теоремы, для каждой теоремы можно вручную указать цепочку вывода (еще раз, нам не нужен автоматический вывод). Для проверки просто придется перегнать все 1000+ страниц статей этого японца в код. Это бы не было проблемой, если бы он сразу писал код по мере получения результатов. Проблема в том, что нужна такая система, формальное доказательство работоспособности этой системы и внедрение этой системы в комьюнити.
А нам и не нужно. В этом-то вся суть. Мы не узнаем правдив ли охранник, и не узнаем находятся ли сокровища за дверью лжеца, но узнаем находятся ли они за дверью, охранника которой мы спрашиваем.
Если «Да» и этот охранник правдив, то в другую дверь.
Если «Да» и охранник лжец, то в другую дверь.
Аналогично, если ответ «Нет», идти надо в дверь этого охранника. Это просто переформулированный вопрос о вопросе.
Смотрел на этот вариант. Остановила необходимость подгонять входные-выходные данные для стороннего БПФ-а (в каких-то библиотеках есть коэффициент 1/N, в каких-то нет, к примеру, ну не доверяю я сторонним математическим библиотекам), а свой БПФ на момент задачи не осилил. А сейчас вот так смотрю, и думаю, видимо придется все-таки свой БПФ писать.
Кстати, даже если самолет неподвижен относительно Земли, есть небольшой шанс что он взлетит. Лента конвейера ведь движется назад и увлекает за собой воздух…
Я согласен насчет абсолютности. Но если мы возьмем идеальную ленту, которая идеально подстраивается под скорость колес, без задержек, то как только самолет сдвинется с места, получится что скорость колес больше скорости ленты, лента мгновенно увеличит скорость, это мгновенно увеличит скорость колес и так далее. В итоге скорость ленты станет бесконечной, и скорость колес тоже. И самолет взлетит. И ничего я не путал — лента же подстраивается.
P.S. У разрушителей оборудование нарушало условия — лента медленно (не мгновенно) реагировала на колеса.
Как только колеса начнут крутиться в два раза быстрее — лента начнет двигаться в два раза быстрее. Там получается, что как только самолет сдвигается с места, колеса и лента начинают двигаться с бесконечными скоростями. Равными между собой (по условию) и одновременно отличающимися на скорость самолета относительно Земли.
В этой стране это так не работает. У нас светское государство с основами религии в школе.
Если «Да» и охранник лжец, то в другую дверь.
Аналогично, если ответ «Нет», идти надо в дверь этого охранника. Это просто переформулированный вопрос о вопросе.
P.S. У разрушителей оборудование нарушало условия — лента медленно (не мгновенно) реагировала на колеса.