最上の日々 - 数学を表現するのに最適な媒体はコンピュータである
▼ 数学の表現の媒体としてのコンピュータつづき あのあとyoriyukiさんから有用な示唆をもらいました。 （これだけ書くのも大変だろうなあ。いつもお世話になってます。） 証明チェッカのあちら側とこちら側 私的にみたハイライトはこの辺りかな： 論理に関する部分はうまくいかなそうな気が(直観的には)します。言語や論理について一般の人が抱いている直観は誤っているか、すくなくとも混乱していることが多く、そのまま形式化しようとするとうまくいかないからです。例えば、名詞は何か対象を名指している、といった考えがその例になるでしょう。この場合、何の対象も指さない時や、複数の対象に当てはまるときにどうするか、といった問題が考えられてないのですが、にもかかわらず強固な直観としてなかなかここから自由になれないようにに思います。 言い方を変えると、自然言語に近いもの純粋に形式的に取り扱おうとすると
too sweet to eat - そこそこの才能を持つ人2.0
「週刊エコノミスト」をランチタイムに読みました。明日にはおっさんになってしまうかもしれません。 特集がウェブ2.0とはなんぞや、で、後ろのほうには私も参加したLAの「LOHAS10」の模様とLOHAS事情の記事が。ちょうど昨日原稿を書いていたのでなかなか面白く拝見。というか先に読んでおけばよかったぜ。 2.0がらみの記事では、梅田さんのインタビューの中の「『エリートと大衆』の間にかなり質の高い第三の層（中略）が台頭することが大きいと思う。」という部分、 こんな人がソトに対して発言できる機会が多くなるのは社会にとって益というお話なのですが、『ウェブ進化論』の同様の内容の記述ではあまりピンとこなかったのですが、 内容の実例で、 「今まではあまり外に対して発言をしてこなかったけれど、『中学や高校のクラスの上から５人』とか、『親戚という小さなコミュニティーで一番敬意を持たれている人』とか」 ってい
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
犬にかぶらせろ！: ナイキvsアディダスのワールドカップ
はてなブログ | 無料ブログを作成しよう
Engadget | Technology News & Reviews
『フラット化する世界』: mediologic.com/weblog
