問題タブ [equivalence]

ruby_parser と Ruby2Ruby の gem を使用して、どの条件が評価され、その結果とパラメーターがどのようなものであったかを追跡するコードを作成しています。これをできるだけ単純にするために、AST を少し書き直すことがあります。もちろん、結果がオリジナルとまったく同じように機能することが確実な場合にのみ、それを行うことができます。

次の 3 つの Ruby スニペットは、3 つのドットが有効な Ruby 式に置き換えられていると仮定して、機能が同等であると主張するのは正しいでしょうか? エッジケースを見落としていませんか?

重複の可能性:
Java String.equals と ==

私はJavaが初めてなので、物事が簡単になるとは思わないでください。しかし、これには完全にショックを受けました。一体なぜ if ステートメントが適切に評価されないのか:

さまざまなレベルの要因の大きなリストを生成していますが、それらの2つが同じパーティションを定義していることを検出できるようにしたいと考えています。たとえば、次のすべてが互いに同等であると検出したいとします。

これを行うための最良の方法は何ですか？

さて、私は証明しなければならない同等性を持っています。これらの等価性は、二条件とブール代数を使用します。しかし、論理的等価性の法則を適用する順序がわかりません。

編集：

課題です。私は何日もの間、さまざまな答えを得るために立ち往生してきました。

私は必ずしも誰かにそれを解決してもらいたいわけではありません。一般的な方法で、彼らがどのように解決するのか、そして法律を適用する順序を説明してほしいのです。そうすれば、そこから学ぶことができます。

次の場合：

たとえば、Aのどの列が私のベクトルaに等しいかを調べたいと思います。

私の最初の試みは次のとおりです。

それはしませんでした。（正直なところ、私はそれが何をしたのかさえ理解していません）2番目の試みは：

これは間違いなく正しい方向への一歩ですが、マトリックスに拡張されているようです。私が好んだのは、行の1つだけのようなものです。ベクトルを列と比較するにはどうすればよいですか？また、ベクトルと等しい行列内の列を見つけるにはどうすればよいですか？

私は現在、論理的等価性の質問に答えていますが、おそらく「知っておくべきこと」であるため、法律のリストにないため、ある時点で使用したルールの確認をお願いします.

私の作業の一部は、(NOT(p) OR NOT(q)) OR r == (NOT(p) OR r) OR (NOT(q) OR r)
後で単純化することです(p implies r) OR (q implies r)

真理値表の作成と LogicWorks による作成 両者は論理的に同等だと思いますが、最初の部分で使用した法則は何ですか? 連想？

編集: andは論理的に同等である可能性がある
ことを理解していますが、ステップアウトを逃した可能性がありますか?LHSRHS

ラムダと組み合わせ項を表すデータ型がいくつかあるとします。

ラムダ項の自由変数のリストを取得する関数もあります。

ラムダ項を組み合わせ項に変換するには、抽象的な排除規則が役立ちます。

1) T[x] => x

2) T[(E₁ E₂)] => (T[E₁] T[E₂])

3) T[λx.E] => (KT[E]) (E で x が自由に発生しない場合)

4) T[λx.x] => I

5) T[λx.λy.E] => T[λx.T[λy.E]] (x が E に自由に現れる場合)

6) T[λx.(E₁ E₂)] => (ST[λx.E₁] T[λx.E₂])

この定義は次の理由で有効ではありません5):

だから、私が今持っているものは次のとおりです。

私が欲しいのは（私がそれを正しく計算することを願っています）：

質問:

ラムダ項と組み合わせ項が異なるタイプの表現を持っている場合、どの5)ように定式化できますか?

Fortran の配列で大きな割り当て可能なベクトルの束をどのように組み合わせることができますか? reshape配列が大きいため、コピーと再形成を避けたいと思います。私が実現したい効果はequivalence、説明するために Fortran の のようなものです。

ただし、これは割付け配列では機能しません。行列のベクトルにアクセスする場合は、ポインターを介して簡単に実装できます。しかし、2 次元配列でベクトルを組み合わせるにはどうすればよいでしょうか。今まで私は問題のあるポインタの配列にしか来ませんでした:

これは見苦しく、xs(i)、ys(i)、zs(i) にアクセスできません。コピーなしでやりたいことをすることは可能ですか？

次のラティスグラフィックスに対して、2つの等価プロットを一緒に追加したいと思います。この関数の通常のトリックは、これらの格子ベースのグラフではplot()機能par(mfcol=c(1,2))しません。ソリューションから必要な情報を抽出できないようですが、関連する投稿を確認しました。次の等価プロットを組み合わせて、出力で互いに隣接するようにするにはどうすればよいですか？または、言い換えれば、格子は何に相当しpar(mfcol=c(1,2))ますか？