プログラマーに、論理的思考が欠かせない。論理的思考と数学の関係を巡る議論のつぶやきメモ

20
前へ 1 ・・ 6 7 次へ
@xxkickerxx

RT @nikkeibpITpro: クラウドよりBABOKが重要である(記者のつぶやき) #itprojp #babok http://ff.im/-ih620

2010-03-29 00:30:50
@no_ga_itai

そういえば、以前勤めてた某会社ではreturnの行に「値を返す」ってコメントつけてるソースコードを上司が賞賛してたなぁ QT @kimtea: ワロタw QT @kuenishi: 某電話会社…(・∀・) RT @kotabe: 昔,某電話会社ではソースコードの全ての行にコメン

2010-03-29 00:31:15
(・∀・)キムティ♪@荒浪一城 @kimtea

言ってはいけないことをw QT @tagomoris: まー設計書なんて書く方は気合入れて書くけど、読む側が書く側よりわかってることなんて滅多にないんだよね(とか

2010-03-29 00:31:42
tagomoris @tagomoris

コード触ろうかとも思ったが、割と酔っぱらい……文字コード本読みつつ寝るか

2010-03-29 00:32:14
tagomoris @tagomoris

@marblejenka あーそうそう、大きい会社でもコード書く人達はなぜか設計書書かないんですよねえ。ていうか設計思想なんて無(ry

2010-03-29 00:33:03
marble @marblejenka

議論の発端は数学的思考と論理的思考の相関関係か。まあ、数学は前提となる適切な公理系を発見するというところまで含んでて、それは論理の範疇じゃないっす、帰結を導く過程は数学も論理も同じっす、という感じ?

2010-03-29 00:33:49
marble @marblejenka

@tagomoris 設計思想がないのはあばばばばば

2010-03-29 00:34:22
tagomoris @tagomoris

仕事で他所様の設計書のレビューをやったりもしたけど、あれはけっこう楽しい。あーここは手を抜いたなーとかここは経験論でOKと思ってるから書きにくいんだろうなーとか、透けて見える。

2010-03-29 00:34:45
marble @marblejenka

@stnhm 同感ですね。現実的には難しいとこがあるのはわかるのですが、せめて引き継ぎをしっかりやるとか、いろいろ打つ手はありそうな感じではあります。

2010-03-29 00:35:28
marble @marblejenka

これめっちゃわかる。実際ね、書きようがないこともあるもんね。プロだからがんばれと言われると、まあ精進しますという感じですが。

2010-03-29 00:36:35
@xxkickerxx

RT @Tetsuya_K: @ エキスパートとは、ごく限られた分野で、ありとあらゆる間違いをすべて経験した人物である Niels Bohr

2010-03-29 00:36:42
(・∀・)キムティ♪@荒浪一城 @kimtea

仰るとおりですのw QT @tagomoris: @marblejenka あーそうそう、大きい会社でもコード書く人達はなぜか設計書書かないんですよねえ。ていうか設計思想なんて無(ry

2010-03-29 00:39:34
Suguru ARAKAWA @ashigeru

@_daiki ていねいにどもです。結局は「だれがどう読むことを想定してるか」って話になっちゃいますね。何も残っていないよりは残っていたほうが良いですが、ソースコードを読まない層に伝えるためにはソースコードに書くべきでないし、逆もまたしかりといったところでしょうか。

2010-03-29 00:40:00
@xxkickerxx

RT @imksoo: RAIDストライプサイズによる性能の変化って結構きれいに出るのね。。。。やってみるとおもしろいわー。 http://bit.ly/9knw7B

2010-03-29 00:40:11
Suguru ARAKAWA @ashigeru

@marblejenka わからない人に対して正しく伝えてこそプロだと思います、と煽ってみます

2010-03-29 00:41:04
marble @marblejenka

結局、全体設計(ってかなりあれな言い回しだけど)的なドキュメントをつくってるのと見たことないのと半々かな。母集団少ないけど。

2010-03-29 00:42:10
marble @marblejenka

@ashigeru いや、それは多分無理だし、ドキュメント書く目的でもないっす。僕のかわりが僕よりレベル低いなら、PMの見る目がないって話しかなと。前提知識がない僕が読んで、一ヶ月もあれば僕と同じことができるようなレベルのものは仕事だと残してます。

2010-03-29 00:43:42
marble @marblejenka

趣味の方も、みんなの力を分けてくれー、なスタンスならちゃんとドキュメント書かないといかん。

2010-03-29 00:44:16
@no_ga_itai

ああ、確かにそうですね。論理には公理は含まれません。 QT @marblejenka: 議論の発端は数学的思考と論理的思考の相関関係か。まあ、数学は前提となる適切な公理系を発見するというところまで含んでて、それは論理の範疇じゃないっす、帰結を導く過程は数学も論理も同じっす、という

2010-03-29 00:45:21
@no_ga_itai

今日は有意義な議論ができて楽しかったです。どうもありがとうございました。 > みなさん

2010-03-29 00:46:19
(・∀・)キムティ♪@荒浪一城 @kimtea

(0゜・∀・)wktkした。Togetterでまとめます。 QT @no_ga_itai: 今日は有意義な議論ができて楽しかったです。どうもありがとうございました。 > みなさん

2010-03-29 00:48:38
kuenishi @kuenishi

"ハラウェイ 人間とロボットは違う。でもその種の信仰は白が黒でないという意味において、人間が機械ではないというレベルの 認識にすぎない。..." http://tumblr.com/xlw7xfck0

2010-03-29 00:48:59
Suguru ARAKAWA @ashigeru

@marblejenka 私は有限の時間で伝わることが最低限必要かなと思ってます。後は伝達コストの問題です

2010-03-29 00:50:23
marble @marblejenka

@ashigeru 停止性・・・しげる先生っぽい。参考書籍もドキュメントに書いてるし、前提知識がなくても3ヶ月くらいっすかね。javaとかの使う言語を、使う立場でわかってる前提もありますが。

2010-03-29 00:52:17
Suguru ARAKAWA @ashigeru

@marblejenka ある時間内に伝えることがミッションならその範囲で伝えるべきだし、そうでない場合は飛躍が無いようにたどれるようにするのが重要かなと。それすら不要というのはお金をもらう立場だとほとんど無いんじゃないかと思います

2010-03-29 00:55:37
前へ 1 ・・ 6 7 次へ