Как найти формулу в интернете

Учимся искать формулы в интернете

int x^3 dx

Пример набора формулы в визульном редакторе

Результат поискового запроса формулы

Математическая поисковая система с визуальным вводом формул

Почти полгода назад я написал на хабре статью о проекте математической поисковой системы uniquation.ru. Тогда была получена конструктивная критика, которая помогла улучшить проект.

С тех пор проект претерпел множество изменений, главное из которых — визуальный ввод формул — теперь, чтобы найти информацию о каком либо математическом объекте, необязательно знать его представление в формате TeX.

О влиянии хабра

В развитии проекта было несколько переломных точек, первая — это участие в Imagine Cup 2009, когда он был представлен публике, второй — запуск альфа-версии и анонс на хабре. После этого события со мной связался создатель dxdy.ru, и в результате сотрудничества появилась специализированная версия поиска, которая ищет только по этому форуму — uniquation.ru/dxdy, а на самом форуме — форма поиска.

В свою очередь, после прочтения статьи на хабре Опыт создания решебника на базе MediaWiki, уже я связался с автором и предложил сотрудничество — результат тот же: специализированная версия с поиском по pluspi.org — uniquation.ru/pluspi и форма поиска на сайте решебника.

Я абсолютно уверен, что эти изменения произошли бы и без влияния хабра, но позже; а раннее их внедрение спровоцировало рефакторинг кода пауков, а также части индексатора, что благотворно повлияло на архитектуру, и даже сейчас те изменения способствуют более быстрому изменению кода.

Об изменениях

Самые важные изменения с момента предыдущего запуска: добавление визуального ввода формул и группировка одинаковых по смыслу формул в выдаче. Первое позволяет пользоваться системой, не зная теха, а второе — получить нужный результат быстрее, так как теперь при запросе ‘sin(x+y)’ первая страница поисковой выдачи не замусорена формулами вида: ‘sin(a+b)’ и ‘sin(x+y)’ — и содержит, скорее всего, искомую формулу синуса суммы.

Кроме этого на сайте появился интерактивный учебник по языку TeX, который может быть полезен тем пользователям, которые не используют windows7.

О технологиях

Основной подход при разработке системы в выборе технологий очень прост — писать на том, на чем умею, и стремиться избежать vendor lock-in. В данном случае это язык C# и две реализации платформы: mono и .net framework.

К сожалению, исключить vendor lock-in на клиенте не удалось, так как сносный компонент для визуального ввода формул доступен в виде COM-компонента windows 7, а единственной платформой RIA с доступом к COM является silverlight 4. Его выход около месяца назад позволил быстро реализовать ввод формул.

В текущий момент идет работа над тем, чтобы сделать серверную часть распределенной. Модификация работы с базой данных позволила свести любую операцию к чтению или записи по ключу, что прекрасно ложиться на DHT. Пока используется MySQL, но, возможно, в будущем это будет что-нибудь из мира NoSQL.

Другим аспектом (помимо базы данных) создания распределенной системы является реализация общения между машинами. Стремление держаться подальше от vendor lock-in наложило табу на WCF и MSMQ, а желание минимизировать воздействие на будущее неудачными архитектурными решениями сегодня спровоцировало выбор независимых систем кодирования и передачи сообщений. В качестве кодирования была выбрана Protocol Buffers от Google — конце концов Uniquation — тоже поисковая система:) Проблема заключалась в том, что Google предоставляет API только для C++, Java и Python, а сторонние библиотеки являются слишком молодыми и тяжелыми. В качестве решения я впервые использовал IKVM.NET — программу, которая одной командой превращает java’s jar в .net’s dll. Данное приложение уже сейчас позволяет сконвертировать проект уровня eclipse)

О будущем

Будущее — это хорошо забытое прошлое.

Данная фраза работает и здесь. Еще в комментариях к прошлому посту была высказана идея о поиске не конкретного решения, а класса решений, совместимых с данным запросом — это позволит развить поисковую систему математической информации в CAS. Мы выступали на втором Hackday’е с этой идеей и заняли второе место, данный прототип назывался GaloisWiki (его анонс на hackday2).

Процесс работы над GaloisWiki:

Урок 1. Как найти нужную информацию и проверить надежность сайта

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

Поиск информации такой же навык, как и все остальные. Со временем человек интуитивно начинает понимать принцип работы поисковых систем и отличия авторитетных ресурсов от обманки с рекламой. У вас не возникнет сложностей, если вы ищете рецепт блюда или физические упражнения для похудения. Но вот если ваша цель – поиск научной работы, интересной статьи или книги, то тут пригодятся некоторые хитрости. Вот несколько советов, чтобы найти нужную информацию быстрее и проще.

Четко формулируйте то, что хотите найти, подбирайте синонимы и уточняйте запрос

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

В данном случае необходимо уточнить свой запрос следующим образом: альбедо поверхности земли, что такое альбедо земной поверхности, формула альбедо поверхности.

Используйте комбинацию Ctrl+F для поиска информации на сайте

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

Используйте поиск по картинке и все инструменты, которые предлагает Гугл

С помощью них можно задать параметры поиска: язык и новизну публикации, точность совпадения с запросом, длительность.

Не ограничивайте поиск одним сервисом

Если не можете загуглить, воспользуйтесь Яндексом. Если хотите услышать отзывы живых людей, используйте социальные сети и поиск в них. «Вконтаке», «Твиттер», «Одноклассники», «Инстаграм» тоже имеют свои поисковые строчки, которые позволят найти и узнать информацию от конкретных людей. Очень выручает «Ютуб» – с его помощью мы нашли видео о том, как разобрать старенький ноутбук со своими «особенностями».

Будьте внимательны

Уделяйте внимание источникам, указанным на сайте, смотрите комментарии и описания к материалу/видео. Очень часто вся необходимая информация содержится именно там – ссылки на литературу, на личные страницы людей, названия книг/фильмов, статей.

Адаптируйте браузер и поиск под себя

Чем дольше вы пользуетесь своим браузером, тем больше он подстраивается под вас. Со временем искать информацию станет проще. Создавайте закладки с нужными веб–страницами, формируйте отдельные папки с ссылками, которые вам еще понадобятся. Так вы не потеряете то, что действительно полезно для вас. Не забывайте создавать учетные записи в поисковых системах и на сайтах, которые дают возможность добавлять информацию в избранное. Это поможет восстановлению данных, если что–то случится.

Проблемы, с которыми сталкивается каждый пользователь интернета при поиске информации:

– Сайты со всплывающей рекламой. Иногда ее настолько много, что невозможно прочитать текст и разглядеть интересующую картинку;

– Мошеннические ресурсы, имеющие схожие дизайн и адрес. Встреча с такими сайтами–подделками может наградить вас вирусами, постоянно всплывающей рекламой, которая захватывает все больше и больше пространства вашего ПК;

– Захламленность поисковой системы спамом, ненужной информацией, и рейтинговая система, которая выдает наиболее популярные результаты на запрос, которые могут совершенно не подходить конкретно вам.

Для каждой проблемы есть свое решение.

• Сайты с большим количеством рекламы перестанут быть для вас проблемой с помощью специальных программ. Мы давно пользуемся AdGuard – его можно установить, как расширение для браузера, которое будет работать непосредственно в нем, или как программу на компьютер, что избавит вас от рекламы в большинстве случаев.

• Мошеннические сайты–подделки в большинстве своем не несут угрозы, потому что установленные на компьютер программы–антивирусы блокируют к ним доступ. Многие браузеры также имеют встроенный детектор сайтов с плохой репутацией. Например, Яндекс подсвечивает безопасность сайта в адресной строке в виде замочка:

Урок 2. Работа с источниками

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

• Перепроверяйте информацию

Можно воспользоваться поиском по ключевым словам, заголовкам. Если вы наткнулись на новость, которая вызывает недоверие, поищите информацию на этот счет. Пользуйтесь другими источниками, если в чем–то сомневаетесь. Чаще всего, если новость является ложной – про это уже написали.  Если это новости про новые законы, меры, какие–то аналитические данные, обращайтесь к сайтам государственных органов или деловым изданиям. Не стесняйтесь обращаться к энциклопедиям и историческим событиям, если в сети вновь появился интригующий материал о прошлом.

• Авторитет СМИ

Авторитетность издания и уровень доверия к нему – очень важные показатели. Бывают моменты, когда небольшие СМИ копируют недостоверную информацию друг у друга, и ложная информация распространяется со скоростью света. Журналистике присущ человеческий фактор – ошибки порой допускаются по невнимательности и высокой загруженности. Среди газет доверием читателей располагают «Известия», «Коммерсантъ», «Ведомости», а среди Интернет–ресурсов – «РБК», Lenta.ru», «Интерфакс». Как видите – СМИ с хорошей репутацией предостаточно, а значит, всегда есть где перепроверить новость.

• Учитесь делать выводы

Читайте новости и анализируйте их. Обращайте внимание на стиль изложения и эмоциональность аргументов. У вас не должно возникать ощущения, что кто–то вас переубеждает или агитирует к чему–то. Если после прочтения новости у вас появилось ощущение, что вам навязывают свою точку зрения – насторожитесь. Один из основополагающих принципов журналистики – это непредвзятая констатация фактов.

Еще один источник информации, который требует особого внимания, – это сообщества в социальных сетях, в которых публикуются новости города или региона. В них чаще встречаются случаи обмана: про помощь животным, пропажу детей, пожертвования и все то, что очень близко людям и вызывает у них эмоциональный отклик. Но случаи, когда помощь действительно нужна, никуда не исчезнут. Как же их отличить от фейка ради лайков и развода мошенников? Проиллюстрируем на примерах.

«Подлежат усыплению 20 воспитанных умных овчарок»

Эта новость давно пробежалась по многим группам «Вконтакте» и разным форумам в интернете. В посте публиковали новость о том, что расформировался отдел охраны, а собаки, рожденные служить и охранять порядок, теперь никому не нужны. Пристроить щенков пытались не только во многих городах России, но и в Казахстане, Украине. Щенята оказались мифическими, а вот номера, указанные в посте, реальными. Жертвы получали десятки звонков за день и не понимали, что происходит. И этому фейку уже больше десяти лет.

«Кому нужны щенки–долматинчики, породистые, за бесплатно? Иначе хозяева их утопят»

А в этом случае, позвонив по указанным номерам, люди лишались денег, которые были у них на счету. Новость также распространялась по многим сообществам в переписанных вариантах и с разными номерами.

Эти случаи научили людей проверять телефонные номера в интернете и искать похожие новости. Сейчас существует множество статей, в которых разоблачаются подобные обманы. Но что делать, если просьба о помощи не входит в их перечень? Во–первых, обращайте внимание на то, кто сделал публикацию и можно ли этому источнику доверять. Свяжитесь с ним или с родственниками, с его близкими друзьями и уточните информацию. Во–вторых, осторожно относитесь к очень уж заманчивым бесплатным предложениям. Узнайте в комментариях, что пишут другие люди, задайте интересующие вопросы. В–третьих, проверьте время публикации, ее наличие в других социальных сетях, аккаунт автора – убедитесь в том, что это живой человек с настоящей аудиторией.

Мы поговорили с молодыми людьми о том, как они выбирают источники информации и проверяют достоверность новостей.

Денис, 21 год: «Прежде всего, я выбираю источники по рекомендации людей, которым доверяю и к мнению которых чаще прислушиваюсь. Это могут быть и медийные личности, и мои друзья. Смотрю по актуальным темам – это может оказаться любое издание или сайт, который осветил интересующую меня тему. Критерий хорошего СМИ – это не только материалы о насущных проблемах, но и затрагивание нишевых областей искусства, науки, технологии и музыки. Если я добрался до данного СМИ через рекомендацию от человека, в правоте и честности которого я уверен, то я верю материалу, который прочитаю, но пропускаю через себя, естественно».

Евгения, 21 год: «Обычно, я не выбираю какие–то конкретные источники, а рассматриваю все варианты. Бывает, что я заранее знаю, какая мне нужна информация и где ее найти, поэтому я сразу захожу на сайты и аккауны, на которые подписана. Критерии хорошего СМИ – достоверность и ссылки на другие источники, объективность. Достоверность информации проверяю, поискав первоисточник, похожую информацию, проверяя другие сайты, которые дублировали тот или иной текст. Чаще всего этого достаточно».

Тимофей, 22 года: «Я выбираю СМИ по репутации и отсутствию/наличию госфинансирования. Если мне необходима всесторонняя оценка, могу обратиться и к государственным изданиям, и к интернет–ресурсам, и к блогерам. Основной критерий для хороших СМИ – это публикация в статьях нескольких точек зрения, изучение темы с разных сторон. Если новость публикуется в государственных СМИ, то я не испытываю волнения о ее правдивости – вероятнее всего, это действительно произошло».

Екатерина, 21 год: «Достоверность новостей я проверяю только в том случае, если какая–то важная информация попадается мне в новостной ленте в социальных сетях. Тогда я захожу на ресурсы, которым я доверяю, чтобы убедиться в достоверности конкретной новости. СМИ, которые я читаю: «Медуза», «Коммерсантъ», «Лента.ру». Из региональных предпочитаю news–hm.ru и Единый официальный сайт государственных органов ХМАО. Эти источники дают мне всю необходимую информацию о происходящем в округе, в котором я живу».

Автор: София Кузнецова

Отправлено 14 Февраль 2013 – 12:06

1. Как искать математические примеры в гугле и яше? Всякие специальные смволы. интегралы, квадраты и корни, деление смежных функций, сложную степень, пи, фи, лямба, общая сумма, и др.
2. Есть ли решебники (с ответами) по темам: ряды; диферинциальные уравнения; кратные и криволинейные интегралы.

• Наверх