# "*": "https://raw.githubusercontent.com/wefindx/schema/master/method/oo-item.yaml" # "base:title": "0oo - Operation Search Equations" "og:title": "Operation Search Equations" "og:description": "In the elementary schools, we are asked to solve equations with the assumption that operators are already given. For example: **"4 `+` X = 5"**, or **"6 `-` X = 9"**, etc., mostly with the already defined operators, like **`+`, `-`, `*`,...** etc. However, what's more useful in real life, is the creativity and operation search. So, instead of providing **`+`, `-`, `*`, `÷`, `∫`, `∇`,...** etc. as given, teach kids to do operation search to satisfy conditions defined by the equality sign. For example, **"4 `?` = 5"**, meaning, -- what can we do with **"4"** to get **"5"**. …" "og:image": "https://wiki.mindey.com/shared/shots/3166bb428b30e829f98516e94.png" "og:url": "/method/936/" "base:css": "/static/css/bootstrap.min.9c25540d6272.css" "base:extra-css": "/static/css/base.57997aeac1df.css" "base:favicon": "/static/favicon.acaa334f0136.ico" "base:body_class": "" "layout:logo": "/static/0oo.8d2a8bbef612.svg" "layout:index": "/" "layout:menu": "/menu/" "layout:categories": "/intents/" "layout:ideas": "/methods/" "layout:projects": "/projects/" "layout:users": "/users/" "layout:about": "/about/" "layout:help": "/help/" "layout:bug_report": "https://github.com/wefindx/0oo" "layout:login": "/accounts/login/" "layout:light-off": "/darken/?darken=true" "layout:set-multilingual": "/mulang/?mulang=true" "layout:lang": "言語" "layout:set-language-post-action": "/i18n/setlang/" "layout:csrf-token": "WQ350Eo2pkXF9f9Xu78jZKqIqDZaqKZq3EVZ9Gda7xe1SxYgOhivSfAOwN52UftA" "layout:input-next": "/method/936/" "layout:languages": [{"code": "ja", "is-active": "true", "name": "日本語"}, {"code": "lt", "is-active": "false", "name": "Lietuviškai"}, {"code": "zh-hans", "is-active": "false", "name": "简体中文"}, {"code": "en", "is-active": "false", "name": "English"}, {"code": "ru", "is-active": "false", "name": "Русский"}, {"code": "oo", "is-active": "false", "name": "O;o,"}] # "item:parent:intents": [{"url": "/intent/1268/", "title": "科学:数学"}, {"url": "/intent/971/", "title": "教育"}] "item:title": ".:en:Operation Search Equations.:cn:操作搜索方程" "item:summary": ".:en:Thing ? = Other Thing.:cn:事物?=其他事物" "item:voting": +4 "item:voting:add": "/admin/hlog/voting/add/?method=936" "item:voting:csrf_token": "WQ350Eo2pkXF9f9Xu78jZKqIqDZaqKZq3EVZ9Gda7xe1SxYgOhivSfAOwN52UftA" "item:voting:submit-value-option": {"selected": "[-]", "value": "-"} "item:voting:submit-value-option": {"selected": "[+]", "value": "+"} "item:base-administration": false "item:body": | .:en In the elementary schools, we are asked to solve equations with the assumption that operators are already given. For example: **"4 `+` X = 5"**, or **"6 `-` X = 9"**, etc., mostly with the already defined operators, like **`+`, `-`, `*`,...** etc. However, what's more useful in real life, is the creativity and operation search. So, instead of providing **`+`, `-`, `*`, `÷`, `∫`, `∇`,...** etc. as given, teach kids to do operation search to satisfy conditions defined by the equality sign. For example, **"4 `?` = 5"**, meaning, -- what can we do with **"4"** to get **"5"**. Or **"6 `?` = 9"** -- what can we do with **"6"** to get **"9"**? Now, replace the numbers with real situations in kids' lives, and teaching operation search math can help them, fostering their creativity rather than life in one axiomatics of mathematics. And, perhaps the question mark is not the best symbol here, as it is directional. Something like an infinite-dimensional circular question mark around one side of equation would be more appropriate. Credits: [Mindey](https://www.halfbakery.com/user/Mindey) of [HalfBakery](https://www.halfbakery.com/idea/Operation_20Search_20Equations). .:cn 在小学校,要求我们在已经给出运算符的前提下解方程。 例如:**"4 `+` X = 5"**或**"6 `-` X = 9"**,等等。大多使用已经定义的运算符,例如**`+`, `-`, `*`,...**等。然而在现实生活中更有用的是创造力和操作搜索。 因此,与其提供给定的**`+`, `-`, `*`, `÷`, `∫`, `∇`,...**等,不如教孩子进行操作搜索以满足等号定义的条件。 例如,**"4 `?` = 5"**,意思是用**"4"**做什么可以得到**"5"**。或是**"6 `?` = 9"**——用**"6"**怎么得到**"9"**?现在,将数字替换为孩子们生活中的真实情境,操作搜索数学教学可以帮助他们,培养他们的创造力,而不是生活在数学公理中。 而且,问号可能不是这里的最佳符号,因为它是有方向性的。像在等式一侧的无限维圆形问号之类的东西会更合适。 最初由[Mindey](https://www.halfbakery.com/user/Mindey)发布在 [HalfBakery](https://www.halfbakery.com/idea/Operation_20Search_20Equations) "item:source-date": "" "item:permalink": "/method/936/?l=ja" "item:owner": "Mindey" "item:created": "2020-04-07T22:48:21.169000" "item:ownerlink": "/user/147/Mindey" # "item:link:items": - "id": "l-26001" "url": "https://0oo.li/intent/41001/automated-api-traversal-program-synthesis#1627933578" "text": "Automated API traversal - Program synthesis" "note": "How to traverse API calls from a specification of the problem to be solved." "owner": "chronological" "ownerlink": "/user/198/chronological" "permalink": "/method/936/?l=ja#l-26001" "created": "2021-09-04T18:05:47.938472" - "id": "l-27001" "url": "https://0oo.li/method/24001/advice-engine#1622393510" "text": "Advice engine" "note": "" "owner": "chronological" "ownerlink": "/user/198/chronological" "permalink": "/method/936/?l=ja#l-27001" "created": "2021-09-04T18:08:26.674952" "item:link:add": "/admin/hlog/link/add/?parent=936" "item:project:items": "item:project:add": "/admin/hlog/project/add/?parent=936" "item:comment:add": "/methods/addnote?parent=936" "item:comment:add:csrf_token": "WQ350Eo2pkXF9f9Xu78jZKqIqDZaqKZq3EVZ9Gda7xe1SxYgOhivSfAOwN52UftA" "item:comment:form": |
  • コメントが新しい問題を挙げるとマークする。
  • コメントが潜在的な解決を提供するとマークする。
  • コメントが推論に役に立つの事実があるとマークする。
  • ログインしてください。 # "item:comment:items": - "id": "a-917" "mtrans": | だから私は不思議に思います。「オペレーションズリサーチ」の分野ではないですか-無意識のうちにすでにそのようなx-esを見つけるために数学を適用しようとしているのでしょうか。フィールドは問題のドメインをどのように正式に定義しているのでしょうか... "text": | So I wonder: isn't the field of "operations research" - subconsciously already trying to apply math to finding such x-es? I wonder, how does the field formally define its problem domain... "owner": "Inyuki" "ownerlink": "/user/206/Inyuki" "permalink": "/method/936/?l=ja#a-917" "created": "" - "id": "a-945" "mtrans": | これにより、インターネット検索はこのように機能するはずだと思います。現在の条件は何か、ターゲットの条件は何ですか(達成しようとしていること)を指定し、? -は、そこに到達するために検索エンジンが提供する必要がある運転ルートまたは一連のヒントです。それを行うには、実際には現在の状況に関する情報が必要です。多くの検索エンジンは、Googleの場合に大量のサービスを使用しているため、自動的にこれを実行します。だから、彼らはそれぞれの人がどのような状況にあるかを知っています。今の仕事は、それぞれの人が実際に何をしたいのかを理解し、そのコンテキストを念頭に置いて検索結果を提供し、それを実現することです...おそらく失敗する可能性がありますか? "text": | That makes me think, that this is how internet search should work -- you specify what is your current condition, and what is your target conditions (what you're trying to achieve), and the ? -- is the driving directions, or sequence of hints, that the search engine should provide to get you there. To be able to do that, it actually does require to have information about your current situation. Most search engines do that automatically, as we use a plethora of their services (in case of Google). So, they know what situation each person is in. Now, the task is to figure out what each person actually wants to happen in their lives ^__^ and provide search results with that context in mind, to make it happen... What could possibly go wrong? "owner": "Mindey" "ownerlink": "/user/147/Mindey" "permalink": "/method/936/?l=ja#a-945" "created": "" - "id": "a-960" "mtrans": | コンピュータはこれを行うことができますか? 象徴的な推論? "text": | Can computers do this? Symbolic reasoning? "owner": "chronological" "ownerlink": "/user/198/chronological" "permalink": "/method/936/?l=ja#a-960" "created": "" - "id": "a-962" "mtrans": | //コンピュータはこれを行うことができますか?象徴的な推論? "x?= y"のxとyに依存します。それらが数値またはいくつかの複雑度の低いオブジェクトである場合、コンピューターはこれを行うことができます([エンティティグラウンディング](https://web.archive.org/web/20141130194155/http://tedsider.org/teaching/ground)と呼ばれることもあります/HO_entity_grounding_and_truthmaking.pdf))。たとえば、[技術的方法](https://www.halfbakery.com/idea/Technology_20Maps_20_99)のように、コンピューターが経路を検索するのと同じように、コンピューターが経路を検索する方法を想像するのは簡単です。 ただし、xとyが自明ではない(あいまいな機能または機能の組み合わせにあいまいな値の依存性がある(人間がそれを見て、自分の値システムを使用してそれについて感じる場合にのみ評価できる)、または計算が複雑であるかどうかメモリに収まるようにすると、宇宙や人間をコンピュータと見なさない限り、コンピュータは通常それを行うことができません。 "text": | // Can computers do this? Symbolic reasoning? Depends on what is x and y in "x ? = y". If they are numbers or some low complexity objects, then computers can do this (it is sometimes called [entity grounding](https://web.archive.org/web/20141130194155/http://tedsider.org/teaching/ground/HO_entity_grounding_and_truthmaking.pdf)). For example, it is easy to imagine how computers can do search for path, like [technological method](https://www.halfbakery.com/idea/Technology_20Maps_20_99), in a similar way how it searches for driving directions. However, if x and y are non-trivial (having vague features or vague value dependency on feature combinations (that can only be evaluated by a human looking at it and using one's value system to feel about it), or computationally complex, or not fitting into memory), then computers usually can't do it, unless you think of entire universe and humans as computers, which is probably not what you meant by "computers" :) "owner": "Mindey" "ownerlink": "/user/147/Mindey" "permalink": "/method/936/?l=ja#a-962" "created": "" - "id": "a-58001" "text": | I had an idea for computers to work out how to perform an action based on representations. So If you have an image it might not be in the right format for a crop code. so you need to convert it to pixels first. First it would detect the image format is PNG and find a PNG decoder. Then it would find an operation that works on decoded PNG. Such as crop. https://github.com/samsquire/ideas#11-representational-computing "owner": "chronological" "ownerlink": "/user/198/chronological" "permalink": "/method/936/?l=ja#a-58001" "created": "" - "id": "a-149001" "mtrans": | このアイデアはアドバイスエンジンに関連していると思います。 人生はちょっとした決定木です。 ステップ1で、ハーバード、オックスフォード、ケンブリッジの専攻大学に行くことはできません。最初に他のことをする必要があります。 ガイド付きブラウジングを実現するためのアイデアもありました。これは半分のパン屋にあります。アイデアは、検索を完了する前に一連のページを確認することです。これまでに行ったことに反応するチュートリアルのように。 https://www.halfbakery.com/idea/Guided_20web_20browsing "text": | I think this idea is related to advice engine. Life is a bit of a decision tree. You can't just go to Harvard or Oxford or Cambridge an exclusive university at step 1. You need to do other things first. I also had an idea for achieving guided browsing. Which is on half bakery. The idea is you go through a set of pages before concluding your search. Like a tutorial that is reactive to what you have done so far. https://www.halfbakery.com/idea/Guided_20web_20browsing "owner": "chronological" "ownerlink": "/user/198/chronological" "permalink": "/method/936/?l=ja#a-149001" "created": "" - "id": "a-150001" "mtrans": | このアイデアは、自動APIトラバーサル(プログラム合成)にも関連しています。 "text": | This idea is also related to Automated API traversal - Program synthesis. "owner": "chronological" "ownerlink": "/user/198/chronological" "permalink": "/method/936/?l=ja#a-150001" "created": "" - "id": "a-151001" "mtrans": | これは、前向き連鎖および後向き連鎖の論理的推論にも関連しています。 終了値に向かって計算するには、距離関数と方向が必要です。 distance(current_value)が0より大きい間{ next_functions(function)の関数の場合( 候補=関数(current_value) 距離(候補)が距離(現在の値)未満の場合( Directions.append(関数) Current_value =候補 壊す )。 )。 )。 "text": | This is also related to forward chaining and backward chaining logical inferences. To calculate towards an end value you need a distance function and a direction. While distance(current_value) greater than 0 { For function in next_functions(function) ( Candidate = Function(current_value) If distance(candidate) Less than distance(current_value) ( Directions.append(function) Current_value = Candidate Break ) ) ) "owner": "chronological" "ownerlink": "/user/198/chronological" "permalink": "/method/936/?l=ja#a-151001" "created": "" - "id": "a-154001" "mtrans": | ここで説明することは、実際には新しいことではありません。操作検索方程式を解くことは、[truth](https://en.wikipedia.org/wiki/Ground_expression)を検索して[truth関数](https://en.wikipedia.org/wiki/Truth_function)。ここで、記号 `=`は、その両側が等しくなるための要件です。 この場合、「演算」は、演算検索方程式の「基本用語」または「解」であると言えます。 ここでの目新しさは、説明を単純化して、現代の思考で抽象化と語用論のレベルに追いつくことを教育システムに関連させることだけだと思います。つまり、子供たちに既存の機能や演算子を逆流させてプラグインするように求めるのではありません。彼らに与えられた問題を解決します-彼らが関心のある問題を解決するためにリソースに適用する可能性のあるオペレーターを想像できるようにします:例: -コンピュータプログラムを書くことは一種の演算子検索であり、書かれたプログラムは見つかった演算子であり、 -ドリルのような器具を作ることは一種のオペレーター検索であり、作られた器具(ドリル)はオペレーターが見つけたものです、 NS。 "text": | What is described here, is really not new: solving operation search equations can be shown to be equivalent to search for [ground terms](https://en.wikipedia.org/wiki/Ground_expression) to solve truth equations made from [truth functions](https://en.wikipedia.org/wiki/Truth_function), where symbol `=` is a requirement for both sides of it to be equal. An "operation" then can be said to be a "ground term" or a "solution" to an operation search equation. I think the novelty here is only in simplification of description to make it relevant to education systems to catch up in the levels of abstraction and pragmatics with the modern day thinking: i.e., instead of asking kids to regurgitate existing functions or operators to plug in to solve problems given to them, -- allowing them to imagine possible operators to apply to the resources to resolve a problem that they care about: for example: - writing a computer program is a kind of operator search, where the program written is the operator found, - making an instrument like a drill, is a kind of operator search, where the instrument (the drill) made is the operator found, etc. "owner": "Mindey" "ownerlink": "/user/147/Mindey" "permalink": "/method/936/?l=ja#a-154001" "created": "" - "id": "a-160001" "mtrans": | 問題には常に複数の演算子があり、それらは順番に適用されると思いました。 あなたが言うように、これはプログラミングです。オペレーション検索ができれば、コンピューターにプログラミングをさせることができます。 シーケンス間ニューラルネットワークが役立つかどうかはわかりません。これらは、翻訳の問題や文のツリーに使用されます。 付加的なGUIページでGithubのOpenAIコーデックスについて言及されましたが、それはこのアイデアに関連していると思います。 次のような自分自身をプログラムするシステムが欲しい- F(データベース状態1、要求)=(出力HTML、データベース状態2、ネットワーク呼び出し) プログラムは、HTMLとデータベース挿入の連結文字列を作成するために、要求で使用される情報の参照を検索できます。リクエストのorder_numberがデータベース状態1のOrdersテーブルに対応するように指定すると、コンピューターはおそらく、出力HTMLに引き出す必要のあるデータを計算できます。 "text": | I assumed there was always multiple operators in the problem and they are applied in order. This as you say is programming. We can have computers programming themselves if they can do operation search. I dont know if sequence to sequence neural networks can help. They are used for translation problems and sentence trees. You mentioned Github's OpenAI Codex on additive GUI page, I think that is relevant on this idea. I want systems that programs themselves such as the following function - F(database state 1, request) = (output HTML, database state 2, network calls) The program can search for references for information used in the request to create the concatenated strings of HTML and database inserts. If you specify that order_number in the request corresponds to Orders table in database state 1 then the computer can probably work out what data needs pulling out into the output HTML. "owner": "chronological" "ownerlink": "/user/198/chronological" "permalink": "/method/936/?l=ja#a-160001" "created": "" - "id": "a-167001" "mtrans": | [ミンディ]、これはレッスン/学習体験としてどのように見えるでしょうか?例を挙げていただけますか? 「Think?= Other Thing」は、創造性による問題解決の枠組みのように聞こえます。学習者は「他のこと」を定義しますか、それとも教師はレッスンを促進しますか? "text": | [Mindey] , I wonder, how would this look like as a Lesson / Learning Experience? Can you give some example? "Think ? = Other Thing" sounds like a framework for problem solving through creativity. Would a learner define the "other thing" or a teacher facilitating a lesson? "owner": "Ruta" "ownerlink": "/user/170/Ruta" "permalink": "/method/936/?l=ja#a-167001" "created": "" - "id": "a-168001" "mtrans": | // 考え ? =その他のこと」は、創造性による問題解決の枠組みのように聞こえます。 そうですね、「OtherThing」を「DesiredThing」(Y)に、最初の「Thing」を現在の状況(F)に、疑問符を「X」に置き換えると、基本的に「F(X)=」になります。 Y」。 "text": | // Think ? = Other Thing" sounds like a framework for problem solving through creativity. Yeah, well, replace "Other Thing" with 'Desired Thing' (Y), and the first "Thing" with current circumstances (F), and the question mark with "X", and you get essentially "F(X)=Y". "owner": "Mindey" "ownerlink": "/user/147/Mindey" "permalink": "/method/936/?l=ja#a-168001" "created": "" "base:js": "/static/js/base.c7357c06cc89.js"