bitlaw_jp – version control for better laws.
Concept 法令文はそれだけでは単なる文字列にすぎない。人が法をもとに思考することで初めてそれは意味を持つ。法律に関する議論は法律文そのものではなくその読み方について行われる。それは法的思考と呼ばれ、そこから生まれた解釈は一つの条文に対して複数存在し、文章化されず、いつの間にか更新される。 法の管理と編集を開かれたものにするGitLawという思想がある。しかし、現状の法令文はあまりにも複雑で高度に専門化されているため、その実現は難しいのではないだろうか。 bitlawは、法律文自体をコンピュータで処理できる形に書き換えることで、法的思考を用いずに結論を導き出すシステムの制作を目的とする。意味を持たないはずの法律文から取り出された結論は専門家から見れば間違っていることもある。それはアマチュアのシステムであるといえる。しかしそれによって、人々が法律文そのものについて議論することが可能になる
カーマーカーのアルゴリズム - Wikipedia
カーマーカーのアルゴリズム（英: Karmarkar's algorithm）とは1984年、ナレンドラ・カーマーカーにより発見された線形計画問題の解法である。このアルゴリズムは、しばしば、カーマーカー法（英: Karmarkar's method）とも呼ばれる。また、このアルゴリズムを発明とする特許が米国や日本で出願され、請求特許は時折カーマーカー特許 (Karmarkar's patent) とも呼称される。 カーマーカーのアルゴリズムは、線形計画問題に対する多項式時間アルゴリズムで初めての実用的なものである。楕円体法（英語版）も多項式時間アルゴリズムであるが、実用上の効率は良くない。 カーマーカーのアルゴリズムは内点法の一種である。内点法は、候補解を実行可能領域の境界に沿って更新する単体法とは異なり、実行可能領域の内部を通るよう更新する。この更新は解の精度を定数倍改善し、これを繰り返
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
