2006-07-25から1日間の記事一覧

量化子

これまた wikipedia の全称記号だけれども、以前ある記述がフレーゲ流で意味不明だったがちょっと分かった。それと とかの が Bool としての演算から来ていることに気がついて感心した。

メール

ポストに午前3時に手紙を投函するのを遠慮する理由はないよね。でも、電話をかけるのはまずい。インターホン鳴らすのはまずいが、書置きを新聞受けいれておくのはOK。メールは明らかにポストの側だ。その論拠として、メールは仕様上、受け手が取りに行かない…