だるろぐ

明日できることは、今日しない。

2013-04-09から1日間の記事一覧

ライプニッツの法則(Leibniz' law)

ライプニッツは、識別できない2つの個体はないとする不可識別者同一の原理を立てた。この原理は、Xのもつ全ての性質をYがもち同時にYがもつ全ての性質をXがもつとき、X=Yが成り立つことを示すものと解されている。 同一性 - Wikipedia ライプニッツによれば…

Windows 8 のシャットダウン

「Windows 8 をシャットダウンする方法が分からない」という声をよく聞く。そのせいか、シャットダウンの方法を解説するブログ記事をよく見かける。チャームを出して、[設定]を押して……というヤツだ。ほかにも[Ctrl]+[Alt]+[Delete]キーを押して画…