記事へのコメント21

    • 人気コメント
    • 新着コメント
    efcl efcl "循環するオブジェクトも考慮した同値性の定義はさまざまなバリエーションが考えられる" 再帰構造の同値について

    2021/08/26 リンク

    その他
    yhoriz yhoriz Coqみたいな厳密な再帰構造なら循環しないし、厳密な余再帰構造なら(循環しない無限構造を許す以上)判定不能 なまじアドレス同一性判定ができるせいで最悪O(nm)の比較をすることに…

    2021/08/24 リンク

    その他
    komlow komlow “Communicating and Mobile Systems: The Pi-Calculus”

    2021/08/24 リンク

    その他
    strawberryhunter strawberryhunter 公開するAPIだと何が来るかわからないので、そういうものを作るときには設計がまずいとかいう次元の低い言い訳で逃げるわけにいかないはず。

    2021/08/24 リンク

    その他
    kirakking kirakking Isabelle とか coq だと同一性の実装どうなっているんだっけな。inductive definition とかの周辺確認しないと。

    2021/08/24 リンク

    その他
    tettekete37564 tettekete37564 ===ってポインタアドレスの一致みたいなのじゃなかったっけ?複雑な構造のデータ一致はソートルール付きのシリアライズして比較すれば良くね?

    2021/08/24 リンク

    その他
    mysql8 mysql8 power-assert.deepEqual「同値性判定を実装してないとかお前それ、@t_wadaの前でも同じこと言えんの?」

    2021/08/24 リンク

    その他
    n_knuu n_knuu 再帰的な構造が問題というよりも循環参照が問題なのでは?という感じがする.json を扱ってると辞書の中に辞書があるみたいな再帰構造を持つデータは普通に出てくると思うので.理論的には面白い.

    2021/08/23 リンク

    その他
    syunnchang syunnchang GraphQLで起きがち

    2021/08/23 リンク

    その他
    napsucks napsucks チューリングマシンの停止性問題っぽい

    2021/08/23 リンク

    その他
    kazuau kazuau そんなの親が面倒見る必要なくて、equalsとhashCodeをオブジェクト側で定義してやればいいのでは?(Javaだけど) だが現状通り参照の同一性判定の方がシンプルでわかりやすいと思う。

    2021/08/23 リンク

    その他
    tarao tarao 言語の利用者が循環するオブジェクトを悪とするのは勝手ですが、循環参照を簡単に作れる言語設計で、かつ同値性判定も言語仕様に含むなら、循環する場合も当然うまく同値性判定できる言語設計にすべきと思います。

    2021/08/23 リンク

    その他
    yujiorama yujiorama 双模倣性(bisimulation)

    2021/08/23 リンク

    その他
    t-tanaka t-tanaka 結論:循環参照は悪。同値関係の判断が必要なオブジェクトの中に循環参照が入っているとしたら,設計自体が間違っている。

    2021/08/23 リンク

    その他
    valinst valinst 畑違いのプログラマだけど再帰的な構造のデータの同値判定なんて必要だったことがないので、それが必要な設計がまずいのではと思ってしまう

    2021/08/23 リンク

    その他
    ko-ya-ma ko-ya-ma 双模倣

    2021/08/23 リンク

    その他
    ginpei ginpei 循環する構造をどうdeepEquals判定するか。『x = { a: { a: x } } と x = { a: x } は同じか』『それをちゃんと判定できるか』 双模倣性という概念があるそうだ。

    2021/08/23 リンク

    その他
    morita_non morita_non 昔schemeで見たやつだ。どうやってたかは。。。忘れた。。。

    2021/08/23 リンク

    その他
    turanukimaru turanukimaru 頭とケツが繋がってる循環した linked list を良く作るのだが Scala ではとてもやりにくい…それはおいとて、△と▽は同値か?みたいな問題もあるので結論は equals を真面目に書け、となる。超絶めんどくさいが。

    2021/08/23 リンク

    その他
    zu2 zu2 “再帰的な構造があると困ってしまう*1. なぜなら循環している可能性があるから. 同値性を判定できないと主張したいわけではなくて「同値性をどう定義したらいいか自明ではない」という話”

    2021/08/23 リンク

    その他
    kkobayashi kkobayashi 思ったよりややこしい話だった

    2021/08/23 リンク

    その他

    人気コメント算出アルゴリズムの一部にヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    関連記事

    再帰的な構造のデータの同値性判定はどうしたらいいか - 貳佰伍拾陸夜日記

    数日前にTwitterで, JavaScriptオブジェクトに対する===の挙動初心者には難しいみたいな話を見かけ...

    ブックマークしたユーザー

    • n-karasu2022/05/24 n-karasu
    • yamori04082021/09/16 yamori0408
    • lugecy2021/08/29 lugecy
    • sonota882021/08/26 sonota88
    • efcl2021/08/26 efcl
    • mkt2021/08/26 mkt
    • UDONCHAN2021/08/26 UDONCHAN
    • asayamakk2021/08/26 asayamakk
    • xef2021/08/25 xef
    • l-_-ll2021/08/24 l-_-ll
    • yhoriz2021/08/24 yhoriz
    • Nyoho2021/08/24 Nyoho
    • komlow2021/08/24 komlow
    • gomi_ningen2021/08/24 gomi_ningen
    • mas-higa2021/08/24 mas-higa
    • tumo300-5002021/08/24 tumo300-500
    • bouzuya2021/08/24 bouzuya
    • se7en12021/08/24 se7en1
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    同時期にブックマークされた記事