最上の日々 - 数学を表現するのに最適な媒体はコンピュータである
▼ 数学の表現の媒体としてのコンピュータつづき あのあとyoriyukiさんから有用な示唆をもらいました。 （これだけ書くのも大変だろうなあ。いつもお世話になってます。） 証明チェッカのあちら側とこちら側 私的にみたハイライトはこの辺りかな： 論理に関する部分はうまくいかなそうな気が(直観的には)します。言語や論理について一般の人が抱いている直観は誤っているか、すくなくとも混乱していることが多く、そのまま形式化しようとするとうまくいかないからです。例えば、名詞は何か対象を名指している、といった考えがその例になるでしょう。この場合、何の対象も指さない時や、複数の対象に当てはまるときにどうするか、といった問題が考えられてないのですが、にもかかわらず強固な直観としてなかなかここから自由になれないようにに思います。 言い方を変えると、自然言語に近いもの純粋に形式的に取り扱おうとすると
ブログは文章力を上げるとは限らない - 304 Not Modified
これは私が体験したお話です。 私は、自分のサイトで日記を書いています。大学時代からほぼ毎日書き続けていたため、入社時は多少は文章力が上がっていただろうと思ったものです。しかし、いざ正式な文章を書こうとすると全く書けませんでした。また、どうにか書いた文章も先輩に多くの添削を受けてしまいました。 さて、それはなぜだと思いますか？ 当時、2000年前後はテキストサイト全盛期でした。侍魂の先行者人気から、誰もが「フォント弄り」や「（笑）」などによって多種多様な表現をしていました。もちろん私も例外ではありませんでした。そして、そのような文章を毎日書いていたおかげで、日本語だけで表現しきれなくなったのです。 文末に、「（笑）」をつけない自分の文章に違和感を持ったり、強調したい部分では「ここでフォントサイズを＋３にしたい」と思ったり、２ちゃん語を多用したり。日本語を使っての表現ではなく、見た目や記号のみ
はてなブックマーカーがドラえもんで良かった。 - べにぢょのらぶこーる
参考記事 ■「mixi疲れ」にみる引用問題 （チミンモラスイ？さま） 「あっ！私のブログがホットエントリーに入ってる！！」 と思ったら他人のブログでした。 みなさんもそんなご経験はありませんか？ 今ならCtr＋CとCtr＋Vであっという間にホッテントリ入りできます！ 使い方はいたってカンタン♪ 最後に”○○より抜粋”と付け加えるだけ！名づけて”最後に抜粋と書くメソッド”です！！！ のっけから嫌味な書き方をしてしまってすみません。 あの、実際そんなに怒ってないです。 というよりそもそも、紅には怒る資格がないのです。 ぶっちゃけ転載されてたことはどうでもよくて、 問題は、自分はたった一人でもちゃんと怒れるのかということ。 紅は、卑怯な女なんです。 該当のエントリは会社にいるときに見つけたのですが、（仕事しろよ） 読み終えたあと、真っ先にはてブのコメントを見ました。 そこではてなブックマーカーが
はてなブログ | 無料ブログを作成しよう
ベルギーに行った 先日、ベルギーに行きました。 マグリットの絵とルーベンスの絵を見るのが目的。 あまり時間もなく、ブリュッセルとアントワープを駆け足気味で巡ることに。 ミュンヘンから車で10時間近くかかり、なんでこんな無茶をしてしまったのかとも思いましたが、ヨーロッパの方…
2006-12-11
先日ある店に入ったとき、店頭の商品の陳列方法がユニークだったので、写真に撮ってブログで紹介しよう、と思ったんです。で、レジの人に、「このディスプレイを写真に撮って個人ブログで紹介したいのですがよいですか？」と許可を求めたところ、レジの彼は新人だったらしく、ちょっと待ってくれ、ということで、より詳しそうな人を呼びに行きました。呼ばれてきた人もまた別の人を呼びに行き、最終的にフロア責任者みたいな人までやってきて、数人で輪になってアレコレ話したあげくに出てきた言葉が、「恐れ入りますが私どもでは判断出来かねますので、当社の広報部に確認していただけますでしょうか？」でした。 ちょっとマテなにその「揉め事や責任はすべて回避したい姿勢」ってー、えー？ 個人ブログだって言ってんじゃーん？ と思ってその場は心の中でブツブツ言いながら立ち去ったんですが、ふと思うと、そもそもぼくがその姿勢なんだった。勝手に写真
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.asahi.com/politics/update/0406/TKY200704060124.html
