パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

prologで実装された論理憲法」記事へのコメント

  • by Anonymous Coward on 2016年03月17日 8時43分 (#2982169)

    いま有効な全ての法律をこんなふうにデータベース化したら便利かな。
    省令・政令・条例・判例も。

    • by Anonymous Coward on 2016年03月17日 9時21分 (#2982200)

      無理ですよ。あちこち矛盾があるので推論が止まっちゃう。

      親コメント
      • Re:全ての法律 (スコア:2, すばらしい洞察)

        by Anonymous Coward on 2016年03月17日 9時31分 (#2982206)

        じゃあそろそろ法律デバッガー党が必要なんじゃない?

        親コメント
        • by Anonymous Coward

          それこそ法学者や官僚の仕事なんだけどな。

          • by monyonyo (43060) on 2016年03月17日 14時31分 (#2982435)

            政令や府省令については実はクラウドソーシングされており、パブリックコメントと呼ばれる手続でベータ版のデバッグに世界中の人が参加できます。ただし、無償ですし、指摘されたバグが修正されるとは限らず、パブリックコメントに対して公表される「当局の考え方」で応急措置が施されるにとどまる場合もあります。

            親コメント
      • by monyonyo (43060) on 2016年03月17日 14時27分 (#2982429)

        矛盾というのがどういったものを指しているのか分かりませんが(両立しないルールが記述されている場合、一方が他方に優先しますし、そのためのルールもあります。)、同じ言葉が多義的に使われていたり、同じことが別の表現で示されていたり、きちんと書かれていないので行間を読む必要があったり、誤記があったり、ということはありますね。

        親コメント
      • by Anonymous Coward

        判例や学説を整理して「...という論点で見解が分かれている」って出してくれれば十分なんだが
        矛盾が出るからダメ、ってそこで思考止めちゃうのはコンピューターだけでいい

    • by Anonymous Coward on 2016年03月17日 9時43分 (#2982214)

      現行法では矛盾はいっぱいあると思いますが、仮にそれがクリアできたとして。
      法律は一階述語論理で記述可能なんでしょうかね?

      親コメント
      • by Anonymous Coward on 2016年03月17日 9時50分 (#2982218)

        それ位じゃないと一般庶民には理解不可能だし実用的じゃない

        親コメント
        • by Anonymous Coward

          彼らは一般庶民に理解可能で実用的な法律を作ろうとしてるんですかね

          • by Anonymous Coward

            そんなことをしたら、量産型弁護士の死活問題になるじゃないか。

            • by Anonymous Coward

              情に訴える人権派もな

身近な人の偉大さは半減する -- あるアレゲ人

処理中...