[アーカイブ c 17.03.2008] ユーモア [アーカイブ to 28.04.2012]. - ページ 345

 
Farnsworth:

その通りなのですが、論理学は最小限の背景情報から最大限の知識を得るためのものでもあります。

前書きにはそう書いてあった。新しいものを発明するのではなく、ありのままを受け止める。ここでは形式論理(逆定理の形成規則:A => B ならば、not-B => not-A)を適用すれば十分である。

不思議なことに、形式的なロジックがないと、なかなか合格できない。

 

このユニークな演習のおかげで、プログラミング言語を全く知らなくても、本物のプログラマー・プロフェッショナルの気分を味わうことができます。

このエクササイズに必要なものは、以下の通りです。
- の2名が参加しました。
- 時計(ストップウォッチ付きが望ましい)。
- 白紙一枚。
- ペン(ボールペンでもヘリウムでもいいが、ペンは重要)。

参加者の一方を「クライアント」(雇用主)、もう一方を「コントラクター」(プログラマー)とする。

"クライアント "には時計と投票権が与えられ、"コントラクター "には紙とペンが与えられます。

エクササイズの開始
"顧客 "は10分で、"契約者 "にタスクを与える。
"かわいい女の子を描いてください"
そして、「する人」が絵を描いている間、「する人」の「上」に立って、その絵に対して次のような願いを込めてください。

0:30 「彼女の手に剣を持たせてください。
1:00〜両手で持っている両手剣!?
1:30 - そしてもう片方の手で超音波を当てる。
2:00 - 彼女は疲れた旅人であり、座って休んでいるように。
2:30 - 剣の上に彼女は寄りかかり、休み、そして。
3:00~風に乗って展開するマントを着ていますように
3:30 「...あと、水着ね。
4:00 「そして鎧兜!
4:30「...じゃない制服だ!
5:00 - マントを脱ぐ、制服に合わない。
5:30〜宇宙戦艦ヤマトの艦橋に大胆に立たせる!
6:00 「なぜ彼女は剣を持っているのか?その古いものを処分してください。そして、超音波をブラスターに変える!
7:30 「彼女の髪が風に吹かれている...」。美のために。
7:00 「ブラスターがおかしい...。を仕舞う。
彼女はこの船の船長だ、ブラスターは必要ない!
7:30 キャプテンキャップが必要ですそして、きちんと頭の上でまとめた髪!
8:00 「そして、彼女は船長の椅子に座る必要があるんだ!」。
8:30 - 美しく、厳格で、並外れた勇気を持つ海賊船の船長...。
9:00--いや、銀河連邦軍の戦闘艦隊だ!
9:30〜...指を伸ばし、進路変更を指示...。

10分後、「顧客」は「請負人」の作品を手に取り、批判的に検討し、感想を述べる。
"そんなの全然望んでいない!彼女の信頼できるアドバイザーはどこだ?なぜ彼女はサービス・ウェポンを持っていないのですか?そして、一般的には、なぜ彼女は魅力的でなく、厳しいのでしょうか?可愛い女の子を頼んだのに!しかも、図面にはたくさんの落書きが...。プログラマーとして失格だ、来るんじゃなかった......。そんなハッキングに金は払わん!"

 
Mathemat:

前書きにはそう書いてあった。新しいものを発明するのではなく、ありのままを受け止める。ここでは形式論理(逆定理の形成規則:A => B ならば、not-B => not-A)を適用すれば十分である。

不思議なことに、形式的な論理がなければ、このテストに合格するのはむしろ難しい。

そういうものだ、反論はしない。まさに理屈の線引きがどこにあるかということです。慣例として、何らかの理由で泡を吹くことができると考えられています。私が与えた仮定・推論の性質は全く同じです。

タキが読んだ。テストは本当に良いものです。ただし、合格したわけではなく、その場で、79%と答えました。

 

>
 
gumgum:


これらはフランスのアニメで、非常に良いものです。数十のものがあります。
 

xxxx:力によってなされる行為は、不自然であり、したがって望ましくないと考えるべきか?
oooh: 泣き言言わずに宿題を書けよ

 

 
Farnsworth: ただ、推理の線引きはどこにあるのでしょう。

論理とは、やはり最小限の 背景情報から最大限の知識を得ることだ」と、ご自身で書かれていたと思います。それが、このラインです。

追加情報はございません。だから、形式論理を適用して、汗をかかないようにするのです。

 
Mathemat:

ご自身でも「論理とは、やはり最小の 背景情報から最大の知識を得ることだ」と書かれていたと思います。その線引きです。

追加情報はございません。だから、形式論理を適用して、汗をかかないようにするのです。

付け足すのを忘れていたが、「信用できる」。そして、この信頼性と曖昧さのなさは、必ずしも信頼性と曖昧さのないものではありません。:о)形式論理を推論で確認すると、あらゆる推論を適用可能なものに限定してしまうんですね。

追記:そうですね。