数学的な検索エンジンの一意性

Uniquationプロジェクトのαテストを開始しました。 これは、方程式、等式、およびインターネットに投稿された他の数学的オブジェクトの間で解決策を探す数学的検索エンジンです。 開発の現在の段階では、CASの開発中と見なすことができます( wiki )。 この投稿に加えて、 プレゼンテーションでそれについて読むことができます。



画像












私たち( shai_xylydgreenmankonfuze )は、何か新しいものを作成して探索することに興味がある冒険者の小さなチームです。 私たちの協力の結果、このプロジェクトは生まれ、改善を続けています。 まず第一に、私たちは関心によって動かされています。 私たちの能力、新しいツール、および私たちが作成するものを研究することからの関心。



特徴



現在のバージョンでは、検索はウィキペディアeqworldの式に従って実行されますが、すべての数学的なインターネットサイトを潜在的な知識ベースと見なし 、検索技術の開発により、記号計算の分野に存在するよりも優れたコンピューター代数システムを作成できるようになります。



単純な算術式、いくつかの関数(sin、cos、ln、階乗...)、不定積分、和、偏微分方程式がサポートされるようになりました。 通常の微分方程式、制限、組み合わせは完全にはサポートされていません。



プロジェクトの歴史



数式の伊藤積分を計算しようとしたときに、数学的検索を作成するというアイデアが思い浮かびましたが、結果は演習の答えと一致しませんでした。 その後、インターネット上でソリューションを見つけて解決策を比較したかったのですが、残念ながら、当時は適切な検索エンジンが存在しなかったため、見つけることができませんでした。 現在のアルファは、まだ確率方程式で検索することはできませんが、開発中であり、すでに小さなクラスの問題を解決するのに役立ちます。



エンジンの開発は、2008年の秋に仕事と勉強から空いた時間に始まりました。 最初は、コードは命令型スタイルで記述されていましたが、その後、主題領域をより完全に分析した後、機能的なパラダイムに切り替えることが決定されました。その結果、2月10日頃開発。 この頃、私の友人はImagine Cupコンペティションに参加することを提案しました。その結果、仕事はより激しくなりました。 エンジンに加えてウェブサイトの設計に取り組む必要があったため、ウェブデザイナーとして働いてハブに登録したサンクトペテルブルクの学生向けのスパムメールを手配しました。 この方法は非常に有益であり、私がメッセージを送信したほとんどの人が答えました。 だからkonfuzeはチームに入りました。 2009年1月12日、エンジンは初めて正常に検索されました。



2009年3月17日、Imagine Cup大会の北西ステージでパフォーマンスが行われ、チームが2位になりました。 Business Petersburgでパフォーマンスについて読むことができます。 コンテストの後、私たちはImagine Cupの準備中に発見された間違いを修正することに集中しました。 また、コンテストへの参加は、アイデアが実行可能であるという自信を与えました。



2009年4月11日、Uniquationは、サンクトペテルブルクのCoffee&Codeでアスペクト指向プログラミングを使用して作成されたプロジェクトの例として発表されました。



4月24日以降、エンジンはマルチプラットフォームになり、すべてのバージョンがWindowsとLinuxの両方でテストされています。



夏には、私の友人であるgreenmanが開発チームに加わり、新しいプロジェクトを作成し、Uniquationテクノロジーをそれに統合しました。



2009年9月5〜6日、プロジェクトはハックデイに参加しました。 式を入力するためのグラフィカルエディタの作成を支援するJSスペシャリストを募集しています。 残念ながら、それは見つかりませんでした。グリーンは、 DrugMath Javaアプレットを私たちの目標に適合させることに切り替えました。



2009年10月2日に、プロジェクトで最も重要な変更の1つが行われました。式を正規化するアルゴリズムが完成しました。 使用される変数に関係なく、また可換演算の引数の順序に関係なく、式を検索できるようにするのは彼です。 このタスクはNP完全なクラスに属します。したがって、理論的にはすべての可能な式に対して高速アルゴリズムを使用することはできません。



10月末に、新しい機能の開発は凍結され、このαバージョンの準備に全力が注がれました。



建築



検索は単純なアイデアに基づいています-数式を標準形式にし、データベースで検索します。 そこから一歩下がらなかったという事実により、メンテナンスが容易なコードを記述し、データベースを読み取り専用に使用できるようになりました(ログを除く)。 アマゾンからクラウドにアプリケーションを移動するとき、それは順番に問題を引き起こしませんでした。



オープンソース



私たちはオープンソースが大好きですが、Uniquationプロジェクト自体は非営利ですが、使用しているテクノロジーに基づいてスタートアップを立ち上げることを計画しているため、ソースをオープンすることはできません。 しかし、オープンなフォーミュラエディターを改善することで、コミュニティに利益をもたらすことを願っています。



なぜ促進しているのですか?



フィードバックが欲しいです。 たとえば、このサービスがあなたにとって役に立つかもしれないと思うなら、今あなたが不足しているものを今書いてください。 検索を改善する方法について多くのアイデアがありますが、それを必要とする誰かがいることを知って、仕事をすることは常により楽しいです。 これらは完全に異なる願望であるかもしれません。例えば、「問題に同じ式を組み合わせることは価値があります」、「制限のサポートを改善する| 多次元積分| ODE | ...「または」ユーザーがソリューションを共有して議論できるサイトを作成し、「または」インデックスdxdy.ruを作成します



All Articles