2013-02-01から1ヶ月間の記事一覧

否定の証明のコスト

「否定の証明は悪魔の証明」という言葉がある。「お化けのいないことの証明は悪魔の証明」とも言われる。 お化けがいることの証明は、お化け本人をつれてくれば済む。 しかし、お化けがいないという否定の証明となると、宇宙の隅々を調べないといけないので…

国語と法律

仕事の中で法律が出てくることが結構多い。例えば、会計・税金であったり、知的財産法などもある。 一方、過去に国語の授業を受けて何か役に立ったことがあったかと思うと、思いつくものがあまりない。国語に関しては試験勉強をした記憶がない。せいぜい漢字…

システム依存度というモノサシ

システム依存度というものについて考えてみよう。 例えば、デジタルカメラの場合、旅行にそのまま持っていって写真を撮ることができる。写真を撮るという機能が単独の機械で得られるので、システム依存度を1とする。 家庭用のスキャナやプリンタの場合、大…