バージョンの充足可能性問題 | POSTD
(注：2017/02/06、いただいたフィードバックを元に翻訳を修正いたしました。修正内容については、 こちら を参照ください。) Dependency HellはNP完全ですが、この状況から脱却できるかもしれません。 パッケージにおけるバージョン選択の問題とは、完全である（全ての依存関係を満たしている）かつ互換性のある（互換性のない2つのパッケージが選択されていない）トップレベルパッケージPをビルドするために使われる依存関係の集合を見つけることです。ただし、菱形依存問題があるので、このようなセットは存在しない可能性があります。菱形依存問題とは、AはBとCが必要、BはDのバージョン2ではなくバージョン1が必要、CはDのバージョン1ではなくバージョン2が必要といったような問題のことです。この場合、Dの両方のバージョンを選択することはできないため、Aをビルドすることができないわけです。 パッケ
社会人SEが数学を学びなおすならば情報処理学会誌の記事はいかがでしょう？ - 発声練習
社会人になってから何かを学ぼうとするのは尊い。素晴らしい。 tkykhk.hatenablog.com 一方で、高校数学を教養と考えるならば別として、情報処理技術者としての背骨として数学を学びなおそうとするのであれば、今後のことを想像しながら勉強するほうがモチベーションが上がると思う。で、思い出したのが（というか、研究室掃除していたら見つけたのが）2015年5月号の情報処理学会誌「情報処理」の特集「いまさら聞けない！コンピュータの数学」。情報系の大学に入った大学1年生の方々にもおすすめ。「なんで、こんなに数学ばっかりなの？」に答える（今やっている授業がどこにつながるのかがわかる）特集。お近くの情報処理学会員にお願いした以下の記事だけダウンロードして読ませてもらうのが良いかと。不幸にして情報処理学会員が近くにいなければ、お近くの大学図書館で閲覧するか、Amazonで買うか（2015年5月号「
Post correspondence problem - Wikipedia
Not to be confused with the other Post's problem on the existence of incomparable r.e. Turing degrees. The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946.[1] Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability. Definition of the problem[edit] Let be an alphabet with at leas
I hate the Pumping Lemma
I hate the Pumping Lemma for regular languages. It’s a complicated way to express an idea that is fundamentally very simple, and it isn’t even a very good way to prove that a language is not regular. Here it is, in all its awful majesty: for every regular language L, there exists a positive whole number p such that every string w∈L that has p characters or more can be broken down into three substr
arXiv.org
arXiv is an e-print service in the fields of physics, mathematics, non-linear science, computer science, quantitative biology and statistics. The contents of arXiv conform to Cornell University academic standards. arXiv is owned, operated and funded by Cornell University, a private not-for-profit educational institution. arXiv is also partially funded by the National Science Foundation. Contact
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
