[過去ログ] プログラム板自治スレッド その3 (964レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
644
(1): 2012/02/29(水)21:11 AAS
>>642はアンカー打ち間違い。あまりのクズっぷりにあきれ返る。

>>638

>>633において>>628
> ム板のレスにおいて可能性がないことを証明するのは不可能。

>可能性がないことを証明するのは不可能。

と、改ざんするして言いがかりをつけるクズだから、相手にするだけ無駄。
かき回すのが目的。
645: 忍法帖【Lv=40,xxxPT】 【Dtech1307109814766606】 ◆QZaw55cn4c [ぼちぼち締め上げましょうか] 2012/02/29(水)21:11 AAS
>>640
「有限の」コンピュータ資源上で証明すること
おっと新しい言葉を導入してきましたね。「有限」の定義を教えていただきましょうか?
646: 2012/02/29(水)21:12 AAS
いい加減に他でやれよ

自治どころかプログラム板にすら関係なくなりつつあるだろ
647: 忍法帖【Lv=40,xxxPT】 【Dtech1307109814766606】 ◆QZaw55cn4c [ぼちぼち締め上げましょうか] 2012/02/29(水)21:14 AAS
>>641
>この世に存在しないことを証明しろ。
√2 = n / m を満たす整数 m, n はこの世に存在しないことはたやすく証明できますよね。で、これが「悪魔の証明」ですか?
648
(1): 2012/02/29(水)21:15 AAS
>>626
> 626 名前:デフォルトの名無しさん [sage]: 2012/02/29(水) 20:38:59.32
> 証明不可能でないことを根拠として、
> 証明困難なことを証明しろと要求するのは詭弁。
>
> と言えばご理解頂けますかね?

という書込みに対して、「〜〜要求するのは詭弁」に反論せずに

>>632
> >証明不可能でないことを根拠として、
> >証明困難なことを証明しろと要求
省14
649
(1): 忍法帖【Lv=40,xxxPT】 【Dtech1307109814766606】 ◆QZaw55cn4c [ぼちぼち締め上げましょうか] 2012/02/29(水)21:16 AAS
>>644
ム板のレスにおいて
がついてなにが変わるというのです?説明してください。
650: 2012/02/29(水)21:16 AAS
うんこ
651
(2): 2012/02/29(水)21:16 AAS
妨害だけが目的のクズは放置しておいて、新ローカルルール案です。

この板はプログラムを作る人のための板です。<br>
<br>
<b>あらゆる質問はまず<a href="/test/read.cgi/tech/1328439334/l50">すれ立てるまでもない質問はここで</a>スレにしてください。</b><br>
<br>
その他、<a href="/test/read.cgi/tech/967778156/l50">お勉強ページへのリンクスレ</a>、<br>
<a href="/test/read.cgi/tech/1250040767/l50">推薦図書・必読書スレ</a><br>もあります。<br>
<br>
プログラム・ソフトの使い方は PC 初心者板やソフトウェア板へ。<br>
ウイルス、ハッキング・クラッキングを求めるような発言は禁止です。<br>
省5
652
(1): 2012/02/29(水)21:18 AAS
>>649
それがわからない池沼も議論に参加する資格は無い。
653: 忍法帖【Lv=40,xxxPT】 【Dtech1307109814766606】 ◆QZaw55cn4c 2012/02/29(水)21:18 AAS
>>648
ま、「悪魔の証明」とかいうわけのわからない道具で一刀両断にこっちの論拠を廃棄しようとするから、わけがわからなくなっているだけでしょうね。

私の主張は >>621 にまとめました。
654
(2): 2012/02/29(水)21:19 AAS
営利目的禁止ってことは
こういうスレッドもダメってこと?

ニートの俺が何か開発して食いつなぐスレ
2chスレ:tech
655
(1): 2012/02/29(水)21:19 AAS
>>636
ある性質Aを持つ object は存在しない。
「objectを取り扱うプログラミング言語上において有限である」
コンピュータ資源上で証明することは悪魔の証明ではないよね。

どれにも該当しない。が答え。
バカジャネーノ

objectってC言語とかじゃない話だよね?
プログラミング言語上の話だと思うんだけど、
何のプログラミング言語でのobjectか指定してもらえない?
656: 忍法帖【Lv=40,xxxPT】 【Dtech1307109814766606】 ◆QZaw55cn4c 2012/02/29(水)21:20 AAS
>>652
ということにしたいのですね。説明できないのですね。よくわかりました。
657: 忍法帖【Lv=40,xxxPT】 【Dtech1307109814766606】 ◆QZaw55cn4c 2012/02/29(水)21:20 AAS
>>651
>営利目的(対価を得ることを目的とした)のレス、スレッドば禁止です。<br>
反対です。
理由は >>621 に記しました。
658: 忍法帖【Lv=40,xxxPT】 【Dtech1307109814766606】 ◆QZaw55cn4c 2012/02/29(水)21:22 AAS
>>655
背理法を直接計算機上で扱うのはなかなか難しいのではないかと思います。
あるいは背理法を否定する論理学的立場もあるようです。
659
(2): 2012/02/29(水)21:24 AAS
この板はプログラムを作る人のための板です。<br>
<br>
<b>あらゆる質問はまず<a href="/test/read.cgi/tech/1328439334/l50">すれ立てるまでもない質問はここで</a>スレにしてください。</b><br>
<br>
その他、<a href="/test/read.cgi/tech/967778156/l50">お勉強ページへのリンクスレ</a>、<br>
<a href="/test/read.cgi/tech/1250040767/l50">推薦図書・必読書スレ</a><br>もあります。<br>
<br>
プログラム・ソフトの使い方は PC 初心者板やソフトウェア板へ。<br>
ウイルス、ハッキング・クラッキングを求めるような発言は禁止です。<br>
営利目的(対価を得ることを目的とした)のレス、スレッドは禁止です。<br>
省8
660
(1): 2012/02/29(水)21:29 AAS
>>659
全面的に反対です。
2ちゃんねる削除ガイドラインには営利目的のスレを禁止する項目がなく、かつ、
>>579 板ルールであっても、削除依頼を前提とする禁止規定は削除ガイドラインが原則であるから、>>659 は板ルールとしては不適当、と主張いたします。
661
(2): 2012/02/29(水)21:32 AAS
>営利目的(対価を得ることを目的とした)のレス、スレッドは禁止です(ただし削除依頼の対象にはなりません)。

ならば許容します。理由は >>621 >>579
662
(6): 2012/02/29(水)21:39 AAS
前提・目的

と併記するのがいいのかなー、と言うのが一点目。

二点目は、
対価の支払いを前提・目的とした書込みに対して、
対価の支払いが履行された・されないという点に、
問題が発生すると予想できます。

現実社会においても対価・金銭の支払いが問題となり、
揉め事が起こることは枚挙に暇がありません。
2ch上では今までそのような揉め事が発生したとは記憶しておりませんが、
それは、対価・金銭の支払いを前提・目的とした、
省7
663
(3): 2012/02/29(水)21:40 AAS
>>654
直接的に対価が発生するようなレスを禁止にしたいと思っています。
ローカルルールの書き方が悪いかな。これでどうでしょう。

この板はプログラムを作る人のための板です。<br>
<br>
<b>あらゆる質問はまず<a href="/test/read.cgi/tech/1328439334/l50">すれ立てるまでもない質問はここで</a>スレにしてください。</b><br>
<br>
その他、<a href="/test/read.cgi/tech/967778156/l50">お勉強ページへのリンクスレ</a>、<br>
<a href="/test/read.cgi/tech/1250040767/l50">推薦図書・必読書スレ</a><br>もあります。<br>
<br>
省7
1-
あと 301 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.012s