bijection

2熱

1答えて

質問はどのようにしてAgdaで双峰性を定義するのですか？定義：我々は数字のためにその 2 + 2 = 2 × 2 = 2^2 = 4 知っています。同様に、我々は、A〜= Bは、AとBとの間の全単射はつまり、存在することを意味 Bool + Bool ∼= Bool × Bool ∼= Bool → Bool は、がf : A → Bと各他の逆数であるg : B → Aがあること、

5熱

5答えて

文字と数字の間の可能な双対を見つける

文字列Sとlen（S）= len（L）のようなリストLの数字列があるとします。各文字が1桁に一致するように、文字列の文字とシーケンス内の数字との間に双射を見つけることができるかどうかを確認する最もクリーンな方法は何でしょうか。多分、は例えば、「AABBCCは」115522と一致している必要がありますがありません123456または 111111私は2枚のdictsとループを持つ複雑なセットアップ

7熱

2答えて

擬似ランダム探して一対一int32-> int32の機能

私は格安の全単射（1対1対応）あるint32-> int32の機能を探しています少なくとも1つの方向で計算するは、増加するシーケンス0,1,2,3、...を良い擬似ランダムシーケンスのように見えるシーケンスに変換するパターン）

0熱

2答えて

範囲といくつかの定数との間の対称関係は？

この質問をCode Review -areaに移動してください。私は以下のコードが迷惑であることを知っており、私は書き直しを完了するために重要なフィードバックを求めていたので、そこにはより適しています。 Pythonでset-to-constantリレーションを書くにはどうしたらいいですか？したがって、範囲内のAの場合は、対応する定数を返します。 [0,10] <-> a ]10,77] <->

14熱

2答えて

正確な入力を再構築できるパーサーを作成する方法は確立されていますか？

言語でファイルを解析したいとします。X。本当に、私はその中の情報のほんの一部にしか関心がありません。その目的のためにHaskellの多くのeDSL（例えばMegaparsec）にパーサを書くのは簡単です。容易に機能getFoo :: Text -> Maybe Fooを生じさせる data Foo = Foo Int -- the information I'm after. parseFoo