2007-01-23
証明
- Reference URI
- http://lowreal.net/blog/2007/01/23/3
- Directory
- /thinking/
- Date
- 2007-01-23 04:41 Edit
正しさは反論できないけど、納得できるかどうかは別の問題だと思う。だから表現。所詮論理なんて人を説得したり、理解させて納得させるための手段なのに、それが一番になって表現がないがしろになって、納得しにくくなったら意味がない。
数学の証明が、他人にわかるように書けばいいことに気付くまで時間がかかった。しかも解ったときには既に文系に進んでいて数学の授業がなかった。それまで自分は「コンピュータに理解させる証明」を書かないといけないと思っていた。でも証明に使うのは自然言語だから、そんな証明は書くことができない (コンピュータはそもそも「理解」がいまのところできない)。だから「とりあえずこう書けばいい」の組合せから抜けられなかった。
でもまだ、なんで自然言語で書かれた証明が「証明」になるのかよくわからない。みんなが考えている「論理的方法」が本当に同じものなのかわからない。頭悪くてどっちにしろ証明自体が楽しいと思えるようにはならないだろうからどうでもいいといえばどうでも、いい。
伝わったって感じることが大切だと思う。
関係ないけど、プッシュ型のメディアとプル型のメディアってちゃんと考えないといけないと思った。プッシュ型のメディアで大きいコンテンツを配信するのってちょっとどうなの……みたいな。「読まされる」とか「聞かされる」のって気持ち的にあんまり好ましくない。話の長くならないように気を付けないと……
「すいません先生! あとでじっくり考えたいのでブログに纏めておいてくれませんか? 今は作業を進めたいです!」
2007-01-23
写真撮るのが楽しい。
- Reference URI
- http://lowreal.net/blog/2007/01/23/2
- Directory
- /photo/
- Date
- 2007-01-23 03:41 Edit
新しい発見があるってのが解ってきた気がする。わかってなかったのかよ、って感じだけど……
しかしこうもっとこう、撮影者と被写体との距離感 (のバランス) を感じるのが撮りたい。
でもあんまり拘らないでやっていきたいと思う。色がどうこうとか、細かく考えると微妙にオカルトチックになってしまうのでおおざっぱにやりたい。特に色は Web で公開してるのがメインだから拘っても無駄だし
2007-01-23
PC の使用時間
- Reference URI
- http://lowreal.net/blog/2007/01/23/1
- Directory
- /thinking/
- Date
- 2007-01-23 02:36 Edit
自分の場合、寝るとき・食事をとるとき以外は殆ど PC の画面を見ている (といってもやってることはいろいろ) わけだけど、PC をあんまり使わない人ってその大部分の時間に何をしているんだろう。
パッと思いつくのは
- 本
- テレビ
ぐらいしかない。でもこれだけで時間を潰せるわけないよなぁ。
でも逆に普段 PC をあんまり使わない人からしたら、ずっとディスプレイを見ているのは不思議に映るのかもしれない。うーん。
