最上の日々 - 数学を表現するのに最適な媒体はコンピュータである
▼ 数学の表現の媒体としてのコンピュータつづき あのあとyoriyukiさんから有用な示唆をもらいました。 （これだけ書くのも大変だろうなあ。いつもお世話になってます。） 証明チェッカのあちら側とこちら側 私的にみたハイライトはこの辺りかな： 論理に関する部分はうまくいかなそうな気が(直観的には)します。言語や論理について一般の人が抱いている直観は誤っているか、すくなくとも混乱していることが多く、そのまま形式化しようとするとうまくいかないからです。例えば、名詞は何か対象を名指している、といった考えがその例になるでしょう。この場合、何の対象も指さない時や、複数の対象に当てはまるときにどうするか、といった問題が考えられてないのですが、にもかかわらず強固な直観としてなかなかここから自由になれないようにに思います。 言い方を変えると、自然言語に近いもの純粋に形式的に取り扱おうとすると
レコ協、音楽配信にも「ゴールドディスク」
日本レコード協会は6月20日、今秋より携帯電話向けを含めた有料音楽配信のチャートを公開開始すると発表した。 上位100位の着うた月間チャートを公開していくほか、着うた／着うたフル／PC向け音楽配信それぞれについてダウンロード数を集計し、ゴールドやプラチナ、ミリオンといった認定を行う。 着うたについては、ダブル・プラチナ（50万ダウンロード）、トリプル・プラチナ（75万ダウンロード以上）、ミリオン（100万ダウンロード以上）を設け、着うたフル／PC向け音楽配信ではこれに加えてゴールド（10万ダウンロード）、プラチナ（25万ダウンロード）、ダブル・プラチナ（50万ダウンロード）を設定する予定。 日本レコード協会は1989年1月21日以降に発売された作品に対し、正味出荷枚数が10万枚を超えた作品を「ゴールド」、25万枚を超えると「プラチナ」、50万枚を超えると「ダブル・プラチナ」などと認定する「
asahi.com：体罰を語る４ ミス肯定が選手伸ばす スタンハンセン氏
2006年06月16日 プロレスラーになる直前の１年間、米国で中学校の教師をしていた。当時まだ２２歳。受け持った体育の授業では、騒いでいた男子生徒の尻を棒でたたいたこともある。自分もそうされていたし、疑問を持たなかった。 しかし、ある日、校長に呼ばれて「気をつけた方がいい。裁判になる」と注意された。事実、その頃から米国では学校の暴力が多く法廷に持ち込まれるようになった。今は学校での体罰はほとんど聞かなくなった。 スポーツでも、自分たちはたたかれて育った米国最後の世代だと思う。大学生の頃はアメリカンフットボール部のコーチから体罰を受けた。ミスをした時、抱きかかえられ腹をドスンとやられた。厳しい言葉を浴びせられ、くじけそうにもなった。しかし、僕が大学を卒業して間もなく、他大学の有名監督が選手へ暴力を振るって解任された。以降、指導者の意識は劇的に変わった。 愛情に基づいた親のしつけはともかく、ス
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.asahi.com/national/update/0620/TKY200606200351.html
はてなにブクマスパムが発生中 | fladdict