Новости информационных технологий - 21130

У меня, как и у многих, к компьютеру подключено 2 монитора. Ранее для обоев я использовал либо одну и ту же картинку на обоих мониторах, либо 2 разные картинки. Но совсем недавно в голову пришла мысль: «А почему бы не использовать 1 большую картинку?». И не просто распилив ее пополам, а чтобы все было «правильно», то есть учитывая разную плотность пикселей мониторов, их расположение, расстояние между активными областями и т.п… Ниже вы видите пример того что у меня получилось. Под «хабракатом» описание как это можно сделать самому с использованием Photoshop'а и линейки.

Читать полностью »

Это достаточно вольный перевод статьи. Дело в том, что несмотря на конструкции в одну строчку, материал сложен для понимания.
Беря во внимание то, что в комментариях Прелюдия или как полюбить Haskell просили, чтобы код был понятный, я внёс достаточно ремарок, и, надеюсь, код будет понятен и тем, кто далёк от Хаскеля.

Давайте начнём с самого трудного — с самого заголовка: многим непонятны все его слова.
Хаскель — это чистый и ленивый функциональный язык.
Лёб — это немецкий математик, о котором мы поговорим чуть позже.
Ну, и наконец, самое интересное — странные петли.

Странные петли — это запутанные категории, когда двигаясь вверх или вниз в иерархической системе, находишь то же самое, откуда начал движение.
Зачастую такие петли содержат само-референтные ссылки.
Например, подобной странной петлёй обладает рекурсивные акронимы: «PHP — PHP: Hypertext Preprocessor».
Ну, и на сегодняшний день наиболее загадочным словом, содержащим странные петли, является понятие «я».

Странные петли будоражат людей своей красотой. И очень приятно, когда находишь их в самых неожиданных местах. Очень интересные функции со странными петлями можно написать на Хаскеле.

Немецкий математик Лёб мигрировал в 39-м году ХХ-го столетия в Великобританию. Лёб, в частности, развивал математическую логику и миру прежде всего известен Теоремой Лёба. Это теорема развивала труды Гёделя о неполноте математики. Теорема Лёба о взаимосвязи между доказуемостью утверждения и самим утверждением, она гласит, что

во всякой теории, включающей аксиоматику Пеано (аксиоматика о натуральных числах), для любого высказывания P доказуемость высказывания «если доказуемо P, тогда P истинно» возможна только в случае доказуемости самого высказывания P.

Всю эту сложность высказывания можно записать символически:

Можно ли такую функцию написать на Хаскеле?! Можно! И всего в одну строчку!
Читать полностью »

Мечтают ли андрооиды об электрооовцах ?

В системах компьютерной математики, таких как Maple или Mathcad, математическое выражение вводится при помощи или специальной панели инструментов, или при помощи формального языка, похожего на LaTeX: другими словами, именно так программа понимает с чём именно ей придётся иметь дело — с квадратным уравнением или логарифмическим неравенством, к примеру. А вот что насчёт того, чтобы текст задания ввести на естественном языке, без каких либо условностей, и получить ответ?

Японская Fujitsu Laboratories в сотрудничестве с Национальным Институтом Информатики (National Institute of Informatics) опубликовала пресс-релиз о последних результатах своего научного проекта по созданию «искусственного мозга» по имени Todai с длинным названием «Todai Robot Project — Can a Robot Pass the University of Tokyo (Todai) Entrance Exam?». Конечная цель такова — Todai в 2016 году должен получить высокие оценки по тестам Национального центра вступительных экзаменов (National Center for University Entrance Examinations), которые в Японии сдают все школьники, и поступить в Токийский университет в 2026 году -формально, конечно. При этом Todai не должен «жить» в чём-то, что больше или лучше по вычислительным способностям обычного ноутбука.
Читать полностью »