なんかなんか

「バグのないプログラム」と「バグのないプログラムは作れない」と停止性問題について

停止性問題やライスの定理を持ち出して、「バグのないプログラムは存在しない」もしくは「バグのないプログラムを作ることができない」という主張が、数学や論理に長けた人の間でも交わされることがあります。 いやいやそんなことはないよ、という話をするん…

ブログに記事を無断で転載、男性を逮捕

ブログに記事を無断で転載、男性を逮捕 | 著作権侵害事件 | ACCS とのこと。 具体的にどんなことをやっていたのかわかりませんが、記事の無断転載が刑事事件になるのはそれなりに悪質だったということなんでしょうか。 ただ、こういった事件がきっかけとなっ…

クラウドの一貫性って

CAP定理というのは、 Consistency Availability Partitions という状態の2つまでしか達成できない。3つすべてを達成することはできないという定理である。例えばConsistency(一貫性)とAvailability(可用性)を同時に満足させるとPartitions(分散)を達成す…