「出頭は不利」の不思議 - ビジネススタイル - nikkei BPnet
「出頭は不利」の不思議 （日経ビジネスAssocie編集） Q．“不幸”にして取り締まりを受けたらどうすればよいか？ （1）速やかに警察に出頭する （2）放置違反金の請求を待つ A．ドライバーにとって有利なのは（2）。 （1）出頭した場合、反則金を納めるほか違反点数も付される。一定期間に6点を超えれば30日間の免許停止。 （2）運転者として出頭せず、車の使用者として放置違反金（反則金と同額）を支払えば、違反点数はつかずゴールド免許のままでいられる。 放置違反金の納付命令を半年で3回受けた場合は、当該車両に20日間の使用制限命令が出されるが、免許は無傷なので他の車は運転できる。どう見ても（2）がおトクだ。ステッカーを張られる前なら、「今動かします」と駆けつければ口頭注意だけで済むようだ。が、すでに張られてしまったら、その場はやり過ごした方がよいことになる。 施行に際して各警
最上の日々 - 数学を表現するのに最適な媒体はコンピュータである
▼ 数学の表現の媒体としてのコンピュータつづき あのあとyoriyukiさんから有用な示唆をもらいました。 （これだけ書くのも大変だろうなあ。いつもお世話になってます。） 証明チェッカのあちら側とこちら側 私的にみたハイライトはこの辺りかな： 論理に関する部分はうまくいかなそうな気が(直観的には)します。言語や論理について一般の人が抱いている直観は誤っているか、すくなくとも混乱していることが多く、そのまま形式化しようとするとうまくいかないからです。例えば、名詞は何か対象を名指している、といった考えがその例になるでしょう。この場合、何の対象も指さない時や、複数の対象に当てはまるときにどうするか、といった問題が考えられてないのですが、にもかかわらず強固な直観としてなかなかここから自由になれないようにに思います。 言い方を変えると、自然言語に近いもの純粋に形式的に取り扱おうとすると
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
