5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

プログラマーの考える哲学

1 :一星 ◆Cppn/.YI3. :04/12/08 12:29:10
お前ら、哲学を考えることはある?

118 :仕様書無しさん:04/12/29 10:38:38
動けバインダー

119 :仕様書無しさん:04/12/29 13:12:54
>>117
そう、あなたは神です。

この世界は、あなたの夢から漏れ出る一幕の幻。あなたが目を醒ませば日が
生まれ、閉じれば夜。穏やかならば雨となり、怒れば風となり、乱れれば霧
となる。我々ですらその中で生かされています。そして、あなたはその世界
の中で完全無欠です(なぜならあなたが識り得た以外のことは存在すらしな
いから)。

でもしかし他にも神はいます。
悲しいかな、あなたは他の63億の神の中の一人にしかすぎません。神はあまり
にもありふれているのです。

120 :仕様書無しさん:04/12/29 16:56:08
114の両親が見たら笑うだろうな

121 :114:04/12/30 05:26:59
>>120
両親も、オレが組んだスクリプトで動いてますが、なにか?

122 :仕様書無しさん:04/12/30 12:19:41
>>51
一階述語論理の完全性定理っていうのがある。

123 :仕様書無しさん:04/12/30 19:46:30
>>77
養老先生だな。
ttp://www.amazon.co.jp/exec/obidos/ASIN/4791751469/250-4918697-5909044

124 :ちゃむ ◆3Qich1CHAM :04/12/30 20:19:03
どっちかっつーと永井さんな希ガス
http://www.amazon.co.jp/exec/obidos/ASIN/4061493019/ref=pd_bxgy_img_2/250-3257913-7166608

125 :仕様書無しさん:04/12/30 20:38:03
>>124
書評やレビューを見ると、この本はこのスレには高尚すぎる気がする。
対象年齢が低い本ではないし、対象知識レベルの低い本でもなさげ。

126 :仕様書無しさん:04/12/30 20:42:11
永井均のウィトゲンシュタイン入門は分りやすくておもしろかった

127 :仕様書無しさん:04/12/30 20:48:04
あ、面白そう。
明日買いに行こう。

128 :仕様書無しさん:04/12/31 01:03:41
>>126
「言葉はそれが使われる場面でしか意味を持たない」とかね、
会話を解析するプログラムとか考えたことがあると、納得する部分があるよ。

129 :仕様書無しさん:04/12/31 01:09:00
哲学って不毛だよな。
このスレが証明している。

130 :仕様書無しさん:04/12/31 01:11:23
>>129
前に石黒が同じ事をいってたような……

131 :仕様書無しさん:04/12/31 01:27:19
あっ、ほんとだ。
でも実際不毛なんだからいいや。

132 :仕様書無しさん:04/12/31 01:54:03
この世で不毛でなはいものを教えてくれ。

133 :仕様書無しさん:04/12/31 01:55:57
パイパン

134 :仕様書無しさん:04/12/31 02:10:09
あぁ 無毛だ

135 :仕様書無しさん:04/12/31 03:21:44
>>129
それは、関係ないふたつの命題を組み合わせて片方を成り立ってるとすることで、関係ない片方を成り立ってるとする、論理学のアレですね?

136 :仕様書無しさん:04/12/31 03:34:40
>>132はなぜ不毛ではないものとしてパイパンを挙げたんだろう
パイパンは不毛なのでは

137 :仕様書無しさん:04/12/31 04:11:33
哲学を分かりやすく漏れに説明汁


138 :仕様書無しさん:04/12/31 04:53:08
諸所の現象に対するそれらしい説明。

139 :仕様書無しさん:04/12/31 05:32:54
つまりは認識論。数学必須ですよ。一般のイメージと違うかもしれんが。

140 :仕様書無しさん:04/12/31 06:01:15
>>139
へー・・・確かに漏れの認識と違うw
数学で言う公理みたいなのはあるわけ?

141 :仕様書無しさん:04/12/31 06:41:14
しらねーよ。かじっただけだからな。それらしー定理をみつけた。
http://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86

つうか、2chにも哲学板あったろ。

142 :仕様書無しさん:04/12/31 06:49:40
>>139
数学が必須なのは、哲学の中でも論理学に位置付けられるものじゃないの?
哲学っていうのは「学」が付いているから学問のような印象があるけど、素直に訳せば「思考法」。
哲学は、ある現象についてどう考えるべきか、という思考法。
ふつう哲学といって思い浮かぶ学問は、「哲学文献学」のような感じで、哲学の文献を読みましょう、という学問。
だから、哲学を生半可に勉強している人は、哲学自体の議論じゃなくて、「フーコーはこういった」「いやその解釈は違う」というような、生産的ではなく半ば「語りえぬもの」について議論してたりする。

たとえば、
「ツメを切ったとき、切られたツメは私ではなく、ツメのついてた腕の側が私だ。
腕を切断したとすると、切られた腕は私ではなく、胴体の側が私だ。
それでは、どこを残せば私と言えるのか、私はどこにあるのか、そもそも私とはなにか」
みたいな、言葉の定義を考えるときの思考法、言葉自体の役割とかを考えたり、そもそも考えるとはなにかを考えたりするみたい。

143 :仕様書無しさん:04/12/31 06:56:07
論理学や倫理学っていうのも哲学の一種で、たとえば論理学だと
「私はうそつきだ」
といったパラドックスがどういう構造になっていてパラドックスになるのか、というのを一般的に説明するのに、数学の記号を使う。

ゲーデルの不完全性定理は、たとえば、一冊の辞書があって、その辞書の中に矛盾がないとしても、その辞書自体が正しいかどうかは、その辞書の記述からは判断できない、みたいな感じだと思う。
存在しない言葉の辞書を作ったとして、その辞書に矛盾がなくても、その言葉が正しくないということはその辞書を読んだだけではわからない、という。
生半可にかじっただけでは、たぶん、そんな感じだ。

144 :仕様書無しさん:04/12/31 06:57:26
コンピュータやプログラム言語は、論理学の産物だね。

145 :仕様書無しさん:04/12/31 07:27:59
>>143
それだと、哲学は多くの工学と同じで道具として数学を使ってるって感じがする

>>144
計算可能性とかの話ね。

哲学から計算可能性まで話が飛ぶとは思わんかったなw
俺のイメージだと哲学ってあれ。ナポリタンの赤方偏移。

146 :仕様書無しさん:04/12/31 07:49:25
数学は道具だから。

ナポリタンはなぜ赤いかっていうのは物理の話なんだけど、そこで、ナポリタンが赤いとはどういうことか、ナポリタンが赤い理由を考えるのにどういう手順が必要かっていうのが、哲学だと思う。
哲学というよりも、現代思想とか言ったほうがいいんだろうけど、現代思想っていう言葉自体が認知されてないね。

計算可能性の話は、哲学→論理学→計算機科学の流れがあるので、実は全然飛んでないのさ。

147 :仕様書無しさん:04/12/31 08:14:34
>>146
わかったようなわからんような・・・
どっちかっつーと分からんww

飛ぶってのは言い方が悪かったかな。広がると言うべきだったか

とりあえず、意外と厳密な学問だということは分かった。
ありがとう。

148 :仕様書無しさん:04/12/31 08:45:35
ナポリタンがなぜ赤いか
ここで、ナポリタンが赤いということをどう定義するかで話は変わる。
・ナポリタンをみたほとんどの人が「これは赤い」という
・ナポリタン方向から波超700nmの光線がやってくる
よく聞く話の場合は、文脈から判断すると後者だ。
どちらにしても、トマトが入っているからというような、構成要素は理由にならない。
それではその要素が赤いのはなぜか、という話に話題がうつるだけである。

今回は、比較的簡単な、前者の定義をもとに考えよう。
そうすると話は簡単だ。
ほとんどの人は波長700nmの光線を赤いという共通言語で示す。
ナポリタンから波長700nmの光線が放出されている。
そのためナポリタンの色を表すとき、赤いという。
だから、ナポリタンは赤い。

ここで、単に後者の問題につながっただけに見えるが、実は違う。
われわれ全員が高速で地球から遠ざかる宇宙船に乗ってすべての物体をみるようになったとする。
そうすると、すべての物体の色が赤色に近づく。
その結果、いままで青だった赤は青といい、いままで赤だった赤は赤という。
つまり、スペクトル分布と色表現のマッピングが変化する。
そうすると、それまで赤という色で表現されていた700nmの光線は緑という色で表現されるようになるかもしれない。
後者の命題は意味をなさなくなる。

149 :仕様書無しさん:04/12/31 08:52:39
イデア論てどう?
オブジェクト指向の元ネタのように思うんだけど。

150 :仕様書無しさん:04/12/31 09:01:49
それを言うなら、直接の元ネタといえるのは、記号論理学を確立したラッセルという人が論理分析にクラスの概念を使ったことだと思う。
ラッセルの考えも元をたどればプラトンに行き着くという点では、元ネタだろうけど。

151 :仕様書無しさん:04/12/31 09:06:20
何度Falseにしても勝手にTrueになるプロパティの夢を見た

おしっこ漏れるサインでした

152 :仕様書無しさん:04/12/31 09:08:48
ワラタ。
初夢じゃなくて良かったね。

153 :仕様書無しさん:05/01/06 03:25:25
ナポリタン・ボナパルト

154 :皆さん申し訳ありません:05/01/06 04:22:18
申し訳ありません(o*。_。)oペコッ
場違いなのは解ってるのですが、凄腕のみなさんにお願いがあって
周ってます。

今、私達の和んでいる掲示板が荒らされていて荒らしを退治したいのですが
私達の力じゃどうにも出来ないのです。何かお力になりたいのでアドバイスを
お願いします(o*。_。)oペコッ

155 :仕様書無しさん:05/01/06 07:49:15
>>154
2週間程度閉じれば?


156 :仕様書無しさん:05/01/06 11:07:10
>>155
釣られるなよ・・・

157 :皆さん申し訳ありません:05/01/06 14:54:08
155さん>ありがとうございます(o*。_。)oペコッ

えっと個人の掲示板って感じじゃないんです。管理人もいないので
好き放題に荒らしがやってきてみんなで楽しく会話すらできません。

156さん>釣られるとはどういう意味でしょうか?
無知識なものでごめんなさい・・・。

158 :なぎさっち ◆Nagi/FmYMM :05/01/06 17:05:08
まずはURLだ、話はそれからだ。

159 :仕様書無しさん:05/01/06 18:37:29
荒らされるようなことしたんだろ

160 :仕様書無しさん:05/01/06 18:43:25
世の中には避けて通ることしか解決方法のない事柄も沢山ありますからね。

161 :名無し:05/01/06 20:05:02
堀江さんは実業家よりタレントになるべし

162 :皆さん申し訳ありません:05/01/06 21:16:23
えっと、中傷やエロスレがあったら必ず荒らしが
今から『荒らします』と一言始まってから
30分〜1時に亘って他の関係ないスレ〜中傷やエロスレ
をどんどん下げてみんなの書き込み出来なくしているんです。
それも、最初は決まった時間で朝方の3時お昼頃夕方これが
繰り返されていました。その後から『荒らします』と言う様に
なったのですが、その他にも遊びで本人は楽しんでいるのか
何でもないスレを書き込みが出来なくなる様にしているんです。
投稿する場所を文字流しのように動かして投稿出来なくさせたり
・・・。元々その掲示板10代〜みんながサークルや若者向け雑誌
の話や相談や雑談する場所だったんです。荒らしがいる事によって
非常に迷惑なんです・・・。でも、私はそこの管理人でも何でもなく
その掲示板へ遊びに来ているユーザーなので管理者専用の場所には
行く事も荒らしを退治する事も出来ません。どうしたら良いのかと
思いこちらへ投稿しました。長々と申し訳ありません(o*。_。)oペコッ

163 :仕様書無しさん:05/01/06 21:48:24
>>162
ここじゃ解決せんだろ。
どっかよそへ。

164 :皆さん申し訳ありません:05/01/06 23:01:38
163>解りました(o*。_。)oペコッ
お邪魔して申し訳ありません・・。
ありがとうございました(o*。_。)oペコッ


165 :仕様書無しさん:05/01/07 00:27:10
おい、いろんなスレを見て回ったけどすごい必死な香具師を見つけたぞ!!
1001ってコテハンで1000逝ったほとんどのスレで1001ゲットしてやんの。板を選ばずに。
もうね、早朝だろうが深夜だろうが1001と見るとゲットせずにいられないなんて
大人気ないよな。(禿藁
レス内容もコピペばっかだし。
>このスレッドは1000を超えました。
>もう書けないので、新しいスレッドを立ててくださいです。。。
だって。んなことお前なんかに決められたかないんだよ。

しかもそいつ、なんか裏技知ってるらしくて1001以降レス出来なくしたり、
日付とIDを「Over 1000 Thread」なんてわけわかんないのに統一してよろこんでんの(ププ
で、たまにこれに失敗しても、もう1003だろうが1015だろうがさっきのコピペばっか。もうイタすぎるよね。
きっとこいつ24時間2ちゃんばっかしてる童貞のデブオタだよ(ププ

1001必死だな(藁藁

166 :仕様書無しさん:05/01/07 00:35:03
>>165
最高に頭悪そうな発言してください
http://pc5.2ch.net/test/read.cgi/tech/1101931660/l50


167 :仕様書無しさん:05/01/07 09:51:21
>>164
http://pc5.2ch.net/hack/

168 :仕様書無しさん:05/01/08 15:08:14
科学とは宇宙の仕様書を書き起こす作業である。
                      ―――ゲイツ―――

169 :仕様書無しさん:05/01/08 16:53:05
わたしの存在は宇宙の中の小さなバグである。
                      ―――哲人―――


170 ::05/01/08 16:53:44
聞いてくれてあーりがと アロエリーナ♪
\_______________/
          |/
         ∧_∧
   Ψ     (∀・  )
   □     (∩∩  )
 ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄


171 :仕様書無しさん:05/01/25 23:53:48


172 :仕様書無しさん:05/01/26 00:02:49
宇宙の仕様書の納期はいつなんでしょうね?
宇宙の仕様に変更が加わったら何が起きるんでしょうか?

173 :仕様書無しさん:05/01/26 08:16:26
>>172
発注側の担当者が、すべての自然数を数え終わったあとで納品することになってます。
宇宙の仕様変更は慎重にバックアップをとってから行われるので、あなたの世界には影響ありません。
次回リリースから仕様変更が適用されます。

174 :仕様書無しさん:05/01/26 19:20:40
>>173
すごい哲学的。

175 :仕様書無しさん:05/01/26 19:25:22
おでは哲学とは何かを理解していないが
妄想を哲学と呼ぶなら確かに>>173は哲学的だ。

176 :仕様書無しさん:05/01/26 20:16:13
哲学とは何かを理解していないものにとって、哲学は妄想としか思えないものだ。

177 :仕様書無しさん:05/01/26 21:46:24
哲学とは何かを考えるのが哲学です

178 :仕様書無しさん:05/01/26 22:08:48
解説すると、ニュートンが万有引力を書いた本が「自然哲学の数学的諸原理」だったことからもわかるように昔は考えること一般を哲学と言ったわけだ。
そこから数学、物理学が最初に独立し、心理学、社会学も独立していって、最後に残った哲学とは何かを考えるハメになったのだな。

179 :仕様書無しさん:05/01/27 06:08:18
>考えること一般から数学、物理学が最初に独立し、心理学、社会学も独立していって、

最後に残るのはプログラミングですか?

プログラミング=哲学か。

180 :仕様書無しさん:05/01/27 08:29:22
>>179
客観性を排除して絶対的な真理を追究していった結果できたのがチューリングマシンだったりノイマン型コンピュータだったりするわけだ。
ということで最後に残ったのはコンピュータってことだな。

プログラミングは単なる作業だな。
頭使わなくてもできる。

181 :仕様書無しさん:05/01/27 15:59:07
IT土方

182 :仕様書無しさん:05/01/27 16:02:28
あいてーひじかた

183 :仕様書無しさん:05/01/27 16:09:58
あ、痛ッ、肘、肩

184 :仕様書無しさん:05/01/31 02:04:21
 

185 :仕様書無しさん:05/01/31 02:24:43
きてきてhttp://hamq.jp/i.cfm?i=k9uraken

186 :仕様書無しさん:05/02/04 00:47:41
 

187 :仕様書無しさん:05/02/04 01:33:20
哲学者の当面の敵はマトリ。

188 :仕様書無しさん:05/02/17 01:16:28
>>180
頭使わなくてもできる?
それは違うぞ。

189 :仕様書無しさん:05/02/17 10:55:53
煽るつもりは無いのだが。
「単純な」頭脳労働なのだ

190 :仕様書無しさん:05/02/18 00:56:41
人にも限界があるのさ。不確定性原理が示すように。

191 :仕様書無しさん:05/02/18 22:06:28
 

192 :仕様書無しさん:05/02/19 10:31:10
>>190
不確定性原理が示す人の限界っていうのは、地面にもぐることができないとか、壁を通り抜けることができないとか、そんなやつか。

193 :仕様書無しさん:05/02/19 16:59:41
>>192
観測行為そのものが観測対象に影響を与えるというやつじゃない?

巨乳で美人のお姉さんに質問された場合とブサイクな姉ちゃんに質問
された場合では回答が異なる。

嘘です。ハイゼンベルク先生すみません。

194 :仕様書無しさん:05/02/19 19:54:57
>>193
そっちの場合、「限界」っぽくないし。
人が壁を押すことで、壁の原子が圧縮されて場所が限定されて、場所が確定するとエネルギーがわけわからないくらい大きくなるので、反発されて、人は壁をぬけることができない、ということらしい。

195 :仕様書無しさん:05/02/25 00:52:08
おまいらみんなスクリプト

196 :_:05/02/25 15:46:17
プログラマは、諦めたと思うまで諦めない。

197 :仕様書無しさん:05/02/25 16:07:01
プログラマは死ぬまで生きている

198 :仕様書無しさん:05/02/25 22:00:11
プログラマは寝るまで起きている


199 :仕様書無しさん:05/02/25 23:20:58
プログラマはプログラマである限りプログラムを書きつづける

200 :仕様書無しさん:05/02/25 23:50:59
なお死して屍拾うものなし


201 :仕様書無しさん:05/02/26 01:08:18
キーボードを制する者は時間を制す

202 :仕様書無しさん:05/02/26 07:38:32
キーボードを笑うものはキーボードが壊れて泣く

203 :仕様書無しさん:05/02/26 12:22:38
再現性のないバグは存在しないものとする。

204 :仕様書無しさん:05/02/26 12:44:26
バグは死ぬまで殺す。

205 :仕様書無しさん:05/02/26 13:07:00
プログラマはオナニしてはいけない。
追求されるべきは理論でも設計の審美性でもなく動く実装だから。

プログラマはオナニしてはいけない。
オナニーすると人に必要とされるアプリケーションが書けなくなるから。

206 :仕様書無しさん:05/02/26 15:06:17
風俗はおっけですか?
             ---ニーチェ

207 :仕様書無しさん:05/02/26 15:55:32
おみやげは、無バグでいいのよ、お父さん

208 :仕様書無しさん:05/02/26 15:56:53
>207
おまいはこっち
ttp://pc5.2ch.net/test/read.cgi/prog/1079765978/

209 :仕様書無しさん:05/02/27 01:01:41
短歌とライムは違いますか?
              ---はいでっが

210 :ちゃむ ◆3Qich1CHAM :05/02/28 12:56:15
語りえぬ仕様については沈黙しなくてはならない
                           ---ゐトゲンスタイソ

211 :仕様書無しさん:05/02/28 13:08:14
6.41 仕様の意義は仕様の外にあらねばならない
                  --- うぃとげん

212 :仕様書無しさん:05/03/08 20:30:57
 

213 :仕様書無しさん:05/03/08 21:28:56
[C言語好き]
アメリカンプラグマティズムの体現者。ナイフ一本で砂漠から帰還する。

[Pascal好き]
貴族趣味で、退廃の美に酔っている。

[Lisp好き]
いずれインドに修行に行く。

他にある?

214 :仕様書無しさん:05/03/08 22:16:55
それって元ネタなんだっけ?

215 :仕様書無しさん:05/03/08 23:18:04

密かに潔く自己を保持せよ
周りはひたすら荒れるにまかせよ

マイ座右の銘

216 :仕様書無しさん:05/03/14 21:16:40
>>213
プログラミング言語の文化って
結局その三つの源流に行き着いてしまうのかねえ。

217 :仕様書無しさん:05/03/17 10:41:24
>>216
CとPascalは、似たもの同士だとおもうんだけど。
SmalltalkとCで比較したほうがいいと思う。

218 :仕様書無しさん:05/03/17 19:09:11
>CとPascalは、似たもの同士だとおもうんだけど。

どういうところが?

48 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)