【deb系】Ubuntu Linux 11【ディストリ】

1 名前：幻のCUI使い [2007/02/13(火) 14:30:14 ID:D9Du2uLn] Debian開発者の一人が開発したDebianベースのディストリビューション ただし互換性はないのでDebianのパッケージとは混ぜるな危険 ６ヶ月ごとの安定したリリースを目標としている ■公式サイト www.ubuntulinux.org/ ■Ubuntu Japanese Team www.ubuntulinux.jp/ ■まとめサイト FAQ-ディストリビューション別-Ubuntu Linux linux2ch.is.land.to/index.php?InstallationUbuntuLinuxFAQs ■質問スレ 【初心者専用】 Ubuntu Linux 【試行錯誤】 pc8.2ch.net/test/read.cgi/linux/1166458487/ ■前スレ 【deb系】Ubuntu Linux 10【ディストリ】 pc10.2ch.net/test/read.cgi/linux/1167037279/ その他は>>2-10 421 名前：418 mailto:sage [2007/03/07(水) 21:40:20 ID:6E05DHj3] え？同志ですか。しかも９秒差で。 niceとかreniceとか調べてみてるのですがよくわかりません。 もうちょいniceになったら結婚も考えてみます。 422 名前：login:Penguin mailto:sage [2007/03/07(水) 21:45:36 ID:kyUAEFtA] 誰がうまいことを言えと（ｒｙ 423 名前：login:Penguin mailto:sage [2007/03/07(水) 21:49:27 ID:mfC5oVGb] >>418-419 俺もそれにやられた。嫌になって電源落としたけどな。 424 名前：login:Penguin mailto:sage [2007/03/07(水) 23:26:53 ID:UdZn6gS0] さっきインストールしていきなりx11-commonにやられた・・・ x11-common以外をうpデートしといた。 canon MP500でCDレーベル印刷が選択できるようになってるのにびっくり・・・ 425 名前：login:Penguin mailto:sage [2007/03/07(水) 23:27:27 ID:XLMdydbe] いい感じで壊れたパッケージ来たな。 >niceとかreniceとか調べてみてるのですがよくわかりません。 いや調べても意味ないから。w >俺もそれにやられた。嫌になって電源落としたけどな。 こらこら。電源落とすな。w x11-common を一時バージョンの固定するなりしてやり過ごせってば。 端末開いて（既に開いて作業してるならもう一個開いて）kill で殺せば プロセスは落とせる。 426 名前：418 mailto:sage [2007/03/07(水) 23:53:12 ID:6E05DHj3] 一時間以上格闘してて誰も書き込んでないから自分だけかと思ったらみんななんですね。 安心しました。おとなしくやりすごします。久しぶりにWindows立ち上げちゃったよ。 あー俺って小市民。 427 名前：login:Penguin [2007/03/08(木) 00:49:06 ID:z0P3+55t] 地雷だ、地雷だ。みんな踏め踏め。自爆しろ。 こういうときにも、俺の設定が悪いん？　なんて考える香具師が最近使ってるから、威力あるなあ。 debconfの不具合だけであることを祈ってます。 428 名前：login:Penguin mailto:sage [2007/03/08(木) 00:49:34 ID:e1Wu9ubo] 自分のFeistyは普通に動いているよ。あ、でも自分のアカウントのsudoの権利を剥奪された けど。なんか又アップデートが来て返してくれたよ。 nice コマンドは、 command をデフォルト以外の CPU スケジューリング優先順位で実行します (このコマンドの名前は、大きなプログラムを低い優先順位で実行するため、他のシステム ユーザーに「好意的 (nice)」であることに由来します)。だってw ナイスなコマンドですね。 429 名前：login:Penguin mailto:sage [2007/03/08(木) 01:06:12 ID:jGiSeC5l] はいはいナイスナイス 430 名前：login:Penguin mailto:sage [2007/03/08(木) 01:45:19 ID:rBGORo1y] >>418 ubuntuforums.org/showthread.php?p=2259543 Forumでも話題出てるね。 すぐに対処されると思う。 ちなみに俺は64bitの使ってるけど、このトラブル起きなかったw 431 名前：login:Penguin mailto:sage [2007/03/08(木) 03:01:58 ID:XcCKBYIF] >>411 レポジトリカスタムといっしょにやると俺もできなかった。 １回目のiso作成はテーマとレポのみ ２回目のiso作成で１のisoから始めてrecon内部のターミナルからインストしたら成功した。 moduleは使えたり使えなかったりで不安定。 rmodをgeditで開いて中身見ればターミナルの操作がわかるさ。 あとアップデート組み込むときはreconターミナルでやってから 本体を再起動してまたreconを起動。 チェックなしでさっきと同じディレクトリで始めればカスタムの続きができる。 これはバグらしい。 俺も初心者なりにがんばって作ってる最中だからおまえもがんばれ。 432 名前：login:Penguin [2007/03/08(木) 09:51:15 ID:Lk4EfU7m] Feistyアップグレードきましたね。あと一週間でBetaFreezeかぁ。早い。 昨晩は上に出ているようなナイス質問で諦めて寝ましたが、今朝は大丈夫そうでした。 感覚的にですけど、動きが更に軽くなったように思いますが、皆さんはいかがですか？ 433 名前：login:Penguin [2007/03/08(木) 17:12:44 ID:Lk4EfU7m] EdgyからFeistyアップグレード組なんですけど、最終的な安定版リリース後に再度クリーンインストール したほうがいいんですかね。日々膨大なUpdateがあって、段々よくなっていくのが楽しいんですけど、 これって、大丈夫なのか少し不安。 434 名前：login:Penguin mailto:sage [2007/03/08(木) 17:16:52 ID:rne2Cskg] 何したってどうせなんどか入れ直すんだろ。 435 名前：login:Penguin mailto:sage [2007/03/08(木) 17:22:28 ID:EiKr24bO] 特に問題ないはず。ただ微妙に違う点もあるけど。 436 名前：login:Penguin mailto:sage [2007/03/08(木) 17:23:06 ID:atC4PWtc] >>433 それなんてゆとり（ry 437 名前：login:Penguin [2007/03/08(木) 18:06:24 ID:Lk4EfU7m] >>435 > 特に問題ないはず。ただ微妙に違う点もあるけど。 Debian系なので、一度入れたら再インストールは一生無い、って思って いいのかなｗ。 自分はDebian使ったことありますけど、そんな経験はしてませんが。 438 名前：login:Penguin mailto:sage [2007/03/08(木) 18:10:10 ID:pTiroNxq] Distrowatchで上位にあるMEPIS　Linuxを日本語化したい のですが、Ubuntuと同じようにできるのでしょうか？ 誰か使ってる人いませんか？Ubuntu系らしいので。 439 名前：login:Penguin mailto:sage [2007/03/08(木) 18:13:59 ID:j6P8g5xE] >>438 【deb系】MEPIS Linux 【ディストリ】 pc11.2ch.net/test/read.cgi/linux/1070830662/ 440 名前：login:Penguin mailto:sage [2007/03/08(木) 18:17:15 ID:EiKr24bO] >>437 設定ファイルが古いままだったり、dist-upgradeだけでは入らないパッケージがあったり。 >>438 pc11.2ch.net/test/read.cgi/linux/1070830662/ 441 名前：login:Penguin mailto:sage [2007/03/08(木) 18:22:50 ID:pTiroNxq] >>439 ありがとう、スレがあったんですね。 でも過疎ってる。 なんでだろう 442 名前：login:Penguin mailto:sage [2007/03/08(木) 18:28:59 ID:rBGORo1y] KDEが人気ないからとか？ 俺個人ではKDEのソフトはかなり好きだけど、どうもあのデザインが好きになれん。 GNOME上でKDEのソフトを動かす方が好き。 443 名前：login:Penguin mailto:sage [2007/03/08(木) 18:35:12 ID:MxMQG32u] 日本語化していただける有志の方におすすめしたいな uberyl distrofreak.seesaa.net/article/32431220.html 444 名前：login:Penguin mailto:sage [2007/03/08(木) 18:54:04 ID:8DiW/ASV] >>442 >GNOME上でKDEのソフトを動かす方が好き。 遅いでしょ。セッションで、kdeinitやら色々自動起動させていればましだけど。 それに、たしか、GNOMEでもKDEでも、共存させるのは推薦していないはず。 445 名前：login:Penguin mailto:sage [2007/03/08(木) 18:54:24 ID:DupQn/Kj] それわubuntuベースであれば言語パックがはじめから入っていないですか？ 446 名前：login:Penguin mailto:sage [2007/03/08(木) 19:02:42 ID:8DiW/ASV] >>445 >>443へのレスですか？ だとしたら、言語パックが自動でアプリを日本語化してるわけじゃないので、、、（デフォルトの言語を決定してるだけ） 陰で翻訳してくれてる人がいるからこそ、日本語のアプリをみんなが使えてる。 447 名前：login:Penguin [2007/03/08(木) 20:49:27 ID:DupQn/Kj] MEPISのLiveCDからV2C起動で早速書き込み。 LiveCDの部屋バージョンだと完全では無いですが日本語普通に使えますね。 ubuntuベースのKDEみたいですが、こっちのほうが軽く感じます。 悪くなさそう。Kubuntuより良いかも。 448 名前：login:Penguin mailto:sage [2007/03/08(木) 20:57:50 ID:6nJgF4Fo] MEPISスレにどうぞ 449 名前：login:Penguin mailto:sage [2007/03/08(木) 21:00:30 ID:DupQn/Kj] 新しいバージョンからubuntuの派生になったわけですよね。 Kubuntuと同じ扱いしてやっちゃダメなんですかね？ 450 名前：login:Penguin mailto:sage [2007/03/08(木) 21:03:25 ID:LIhiFiiV] ダメです 451 名前：login:Penguin mailto:sage [2007/03/08(木) 21:04:34 ID:EiKr24bO] >>449 残念ながらレポジトリを共有してないのでMEPISの話は混乱の元となるだけです。 452 名前：login:Penguin mailto:sage [2007/03/08(木) 21:11:15 ID:DupQn/Kj] え？ ディレクトリ構成が同じでリポジトリを共有しているんじゃないんですか？ だから試してみたのに・・・ 453 名前：login:Penguin [2007/03/08(木) 21:12:31 ID:1e+TetMm] foodpia.geocities.jp/hdifhishfia/ 裏情報 454 名前：login:Penguin mailto:sage [2007/03/08(木) 21:27:00 ID:EiKr24bO] >>452 ソースパッケージは同じでレポジトリは別だったはず。 455 名前：login:Penguin mailto:sage [2007/03/08(木) 21:28:04 ID:WoXwu1h1] feistyでCD印刷の項目出てるけど、印刷できね〜 CD印刷できた人いたらおしえて 456 名前：login:Penguin mailto:sage [2007/03/08(木) 21:55:54 ID:JWmL9jZB] SimplyMEPIS 6.5だとubuntuのレポジトリを流用して設定している。 日本語化パッケージもそれらを適用する事が可能だが スレ違いなのでここまで。 kubuntuよりはいいな。 457 名前：login:Penguin mailto:sage [2007/03/08(木) 22:19:16 ID:EiKr24bO] >>456 ありゃ、そうだったんだ。勘違いスマソ 458 名前：login:Penguin mailto:sage [2007/03/08(木) 22:38:18 ID:Sg3zUkhc] Debian GNU/Linux　Testing ネットワークインストールしたら、なんか変 カーネルがインストールできませんと警告がでて、ネットに繋がらない それで、こっちに撤退してきますた（°∀°） 2006.6.10リリースだが、どうか悪いことが起こりませんよーにorz 459 名前：login:Penguin mailto:sage [2007/03/08(木) 22:43:29 ID:x2WaRCQ3] debianのなんとかってのより先にfeistyがリリースされたりしてw 460 名前：login:Penguin mailto:sage [2007/03/08(木) 23:35:03 ID:8epR1oaI] まじか じゃあおれ、クブンツやめてメピスにする！ おまいら、ばいなら 461 名前：login:Penguin mailto:sage [2007/03/09(金) 00:15:23 ID:TwoQhNfy] >>460 あんなメンテもろくに去れていないディストリに 移ろうとする馬鹿は死んだほうがいいよ 462 名前：login:Penguin mailto:sage [2007/03/09(金) 00:40:34 ID:YlDoTo2y] >>461 情報ふるくね？ debianの更新されなさで嫌気してubuntuベースに移行したんだよな。 ubuntuベースになってからはメンテされまくりという話だ。 463 名前：login:Penguin mailto:sage [2007/03/09(金) 00:44:33 ID:zOk4XOou] >>456 kubuntuよりはいいのはどのへんで？ 464 名前：447 mailto:sage [2007/03/09(金) 10:33:09 ID:4gWPb5qq] ubuntuのKDEと比較して感じるのは、同じKDEのデスク環境でアプリの起動とかディレクトリを開くとか そういうレスポンスがMEPISのほうが体感的に早く感じるということかな。 まぁubuntuはGNOME環境も入ってるままだからそれはしょうがないんだろうけど。 Kubuntuの場合は若干ubuntuのKDEより早いからそんなに変わらないかも。 だとしたら日本語環境がしっかりしたKubuntu・・・と言いたいところだけど、Kubuntuの日本語環境は それほど良くないのでMEPISと同等かな。 日本語優先したいならubuntuのKDE化で、レスポンス重視ならKubuntuかMEPISって感じ。 465 名前：login:Penguin mailto:sage [2007/03/09(金) 11:17:16 ID:zOk4XOou] >>464 ッスか。かなり微妙ということですかね。。。 466 名前：login:Penguin [2007/03/09(金) 11:21:51 ID:iLI2Kw1O] 何度も言うけど、何でubuntuが前提なんだ？ 467 名前：login:Penguin mailto:sage [2007/03/09(金) 11:23:42 ID:iLI2Kw1O] ageてしまった...orz 468 名前：login:Penguin mailto:sage [2007/03/09(金) 11:30:23 ID:sLhRMqfA] >>466 ubuntuスレで何言ってんだか 469 名前：login:Penguin mailto:sage [2007/03/09(金) 11:36:16 ID:iLI2Kw1O] >>468 すまんスレ間違っちゃった... 470 名前：login:Penguin mailto:sage [2007/03/09(金) 12:35:45 ID:4gWPb5qq] あなたおもしろいよだからゆるすよ 471 名前：login:Penguin mailto:sage [2007/03/09(金) 13:05:07 ID:yXR507QS] ageたあげくにスレ違いとは・・・ (´･ω･｀) 472 名前：login:Penguin mailto:sage [2007/03/09(金) 13:43:05 ID:svM/ckzB] なんか爆笑なやりとりだな 473 名前：login:Penguin mailto:sage [2007/03/09(金) 16:36:52 ID:4gWPb5qq] KubuntuとMEPISというubuntuのKDE化ディストリを単純にどっちを使う？と聞かれたら 微妙な差でMEPISかな。Kubuntuは意外と日本語環境だとヘタれ具合が大きいよ。 474 名前：login:Penguin mailto:sage [2007/03/09(金) 17:08:28 ID:eE4zji3v] ダウソpass：1wse3fv5 zip解凍pass：virus ttp://www.dotup.org/uploda/www.dotup.org3168.zip.html 475 名前：login:Penguin mailto:sage [2007/03/09(金) 17:08:37 ID:rkz1dPeA] MEPISペンギンの腹にNeXTロゴがあるのはなんでなん？ 476 名前：login:Penguin mailto:sage [2007/03/09(金) 17:10:13 ID:bOLyWZ/H] 作者は以前NeXTに係わってたんじゃなかったっけか。 477 名前：458 mailto:sage [2007/03/09(金) 18:22:06 ID:d6aNaKNM] 2006.6.10のISOをCDRWに焼いてブートしたんだが、 cannot find linux image そんでやっぱりDebian GNU/Linux Testingに避難するわ。ガクブル＞＜ 478 名前：login:Penguin mailto:sage [2007/03/09(金) 19:54:31 ID:WYa1r6Gt] CDのチェックしてみた？ 479 名前：login:Penguin mailto:sage [2007/03/09(金) 21:11:39 ID:NEa4/n5I] iso がポツンと有ったりして・・・ 480 名前：login:Penguin mailto:sage [2007/03/09(金) 21:16:06 ID:MG36QYCU] ファイルとして焼いてたりしてw 481 名前：login:Penguin mailto:sage [2007/03/09(金) 21:22:04 ID:4gWPb5qq] CDの焼きかたから・・・・ 482 名前：login:Penguin mailto:sage [2007/03/09(金) 22:50:07 ID:QNvc7gsP] その後、彼の姿を見た者はいない 483 名前：login:Penguin mailto:sage [2007/03/09(金) 23:46:06 ID:RfbdjhSo] UBuntuでBuffaloの無線LANカード"WLI-CB-G54L"を使いたいのですが、どうやればいいのかわかりません。 UBuntu初心者スレで聞いたのですが、「ここは初心者の集まりだから解答を得られる可能性は低い」という御指摘を受け、こちらに参りました。 (私はLinux知識に乏しいので、ここではなくて初心者スレで聞いたのです) 検索してみましたが、解決できませんでした。 www.google.com/linux?num=100&hl=ja&newwindow=1&q=%22wli-cb-g54l%22&btnG=Google+%E6%A4%9C%E7%B4%A2&lr= 力をかして頂けませんか？ 484 名前：login:Penguin mailto:sage [2007/03/09(金) 23:56:49 ID:YlDoTo2y] kubuntuとMEPISの違いといえば MEPISのデフォルトインストールに入るパッケージには セキュリティ関連にkalamav、guarddog システムバックアップにkeepとその他使いそうなソフト類が設定されている事で ありがちなkdeデスクトップそのままのkubuntuと比べたら 多少カスタマイズされた点がちょっと違うかという印象。 （変更すれば同等になるというのは置いておくとして） それに加えてMEPIS ネットワークアシスタント、MEPIS システムアシスタント MEPIS ユーザーアシスタント、MEPIS X-Windowsアシスタント(短縮形…？） なんかのMEPIS専用アプリが入っている。 モニタの設定とnvidia、atiドライバの設定他がGUIで出来るっぽくて便利かも。 kubuntuより作りこみ具合が進んでいて aptラインにubuntuの名前が無ければ、全然違うディストリにしか見えない。 パッケージはMEPISのパッケージ＋ubuntu用パッケージで使ってるけど 混ぜるな危険では無さそうだし、普通に便利。 まとめると メンテナが意欲的に作りこんでいる点。 名前がkubuntuよりMEPISの方がなんかかっこいい。 こんな所だ。 485 名前：login:Penguin mailto:sage [2007/03/10(土) 00:07:18 ID:182jt1KA] >>484 forum.ubuntulinux.jp/viewtopic.php?pid=945 486 名前：login:Penguin mailto:sage [2007/03/10(土) 00:07:50 ID:182jt1KA] >>485 誤爆ｽﾏｿ 487 名前：login:Penguin mailto:sage [2007/03/10(土) 00:08:31 ID:182jt1KA] >>483 forum.ubuntulinux.jp/viewtopic.php?pid=945 488 名前：login:Penguin mailto:sage [2007/03/10(土) 00:10:48 ID:mlj7tqzx] >>487 既に見て試しました。 なのでここに来てるんです 489 名前：login:Penguin mailto:sage [2007/03/10(土) 00:12:06 ID:7y3sWck5] MEPISのスレがあったと思うんだが、 このスレで延々MEPISMEPISMEPIS言ってるところからすると 俺の勘違いの線が濃厚だな 490 名前：login:Penguin [2007/03/10(土) 00:16:33 ID:5nIAVoCm] 今、Xubuntuをカスタマイズしようと奮闘中です。 WindowMakerをデフォルトにして256のUSBに収まる用にする予定。 起動時の画像とかもいじりたいけどどうしたらいいのやら。。 491 名前：login:Penguin mailto:sage [2007/03/10(土) 00:46:43 ID:ikD+zx6B] >>490 ｶﾞﾝｶﾞﾚ 492 名前：login:Penguin mailto:sage [2007/03/10(土) 00:54:35 ID:gbKhw2k8] >>488 なぜか半ギレなのは、たらい回しにされたからかい？ （ ´・ω）⊃旦~~ まあもちついて 493 名前：login:Penguin [2007/03/10(土) 01:07:02 ID:h3SoUbYR] 〉490 おっ独自ディストリ作るの？ 494 名前：login:Penguin mailto:sage [2007/03/10(土) 01:12:56 ID:dwbz9Eet] Xubuntuというか、xfceはパネルの透明化ってできないのかね？ 軽さには定評があるからビジュアルだけちょっと今風にできれば良いんだけどね。 それとも、GNOME風にしてGNOMEドックでも入れれば良いのかな。 495 名前：login:Penguin [2007/03/10(土) 01:17:13 ID:5nIAVoCm] >>491 どうも >>494 Xubuntuに入っているバージョンが古いのでバージョンアップしてみては？ >>493 ディストリビューション「もどき」を作ろうと思っています。本当はUbuntu Liteに期待していたのですが 音沙汰なしなので、自分でいろいろ削ってDamnSmall linuxみたいに出来ればと思っています。 Wmakerはシンプルで軽いながらデザインがキレイで個人的に好きなのでデフォニしようとおもっています。 本当は2chディストリのスレに持ちかけてもよかったのですがあちらは独自にやってい羅紗っているので 個人でひっそりと今は奮闘しようかといじって勉強しています。 496 名前：login:Penguin mailto:sage [2007/03/10(土) 01:24:44 ID:dwbz9Eet] unkobuntuですね 497 名前：login:Penguin mailto:sage [2007/03/10(土) 01:26:18 ID:0/ADCo9f] >>494 あれ、先日入れたxfceは標準で透明化が付いていたと思ったけど。本家から落としてきた やつだとおもったな。 あと自分はFeistyなんですが、最近やたらアップデートが多くないですか？ KDE野良makeとかしてglibとかqtとか上書きしたからかな？ここ一週間で200個はアップデート している様な気がするんだけど。 498 名前：login:Penguin [2007/03/10(土) 01:28:45 ID:h3SoUbYR] >495 それいいな、出来たら欲しいよ。 公開希望 499 名前：login:Penguin [2007/03/10(土) 01:45:53 ID:5nIAVoCm] >>498 まぁ他の方に見せれるような者が出来るよう頑張ります 500 名前：login:Penguin mailto:sage [2007/03/10(土) 01:48:09 ID:Z4dEUE+q] >>497 うち今日だけで１００個きたよ。 501 名前：login:Penguin mailto:sage [2007/03/10(土) 01:52:42 ID:wd4TcjHc] ubuntu2とかbuild1とかのバージョンの付いたパッケージが毎日大量に来るね。 何かやらかしたのを修正してたりするんだろうか。 502 名前：login:Penguin mailto:sage [2007/03/10(土) 02:03:10 ID:hU8/goH2] コンカラで man:hoge で見れること初めて知ったorz 503 名前：login:Penguin mailto:sage [2007/03/10(土) 02:09:26 ID:0/ADCo9f] >>500 >>501 やはり大量にきてるんですね。バージョン7.04と言うからにはやはり2007年4月には何がなんでも 間に合わせるって気合いでしょうかw 504 名前：login:Penguin mailto:sage [2007/03/10(土) 07:35:28 ID:SwVD9tu3] おねがいだから６５０MB以下に抑えてくだし 505 名前：login:Penguin mailto:sage [2007/03/10(土) 09:12:58 ID:uBMcshAU] Feistyのupdate109個。つい最近も200個ぐらいやったのにすげーな 506 名前：login:Penguin mailto:sage [2007/03/10(土) 11:44:48 ID:lwqjoTQz] >>494 >>497 パネルは（半）透明化できるよ。うちは純正パッケージだけど。 507 名前：login:Penguin mailto:sage [2007/03/10(土) 13:04:20 ID:dwbz9Eet] パネルの設定にそういう欄ある？ GNOMEとKDEにはあるけど、xfceには見当たらないよね。 508 名前：login:Penguin mailto:sage [2007/03/10(土) 14:00:25 ID:lwqjoTQz] 個々のパネルの設定じゃないよ。WMの調整＞コンポジット じゃまいか。 509 名前：login:Penguin mailto:sage [2007/03/10(土) 15:08:09 ID:dwbz9Eet] なるへそ 510 名前：login:Penguin mailto:sage [2007/03/10(土) 16:21:22 ID:lwqjoTQz] ごめん、正確には >>508 で有効化してから、個別のパネルの設定する、 って感じが正解みたい。 511 名前：login:Penguin mailto:sage [2007/03/10(土) 16:28:43 ID:jDtwdDgQ] >>495 fluxbuntu　400MB以下 (ubuntu6.06＋fluxbox) 512 名前：login:Penguin mailto:sage [2007/03/10(土) 17:39:02 ID:3HCcPl8l] 初心者スレが本当にひどい。一体何があったんだ？ 513 名前：login:Penguin mailto:sage [2007/03/10(土) 17:49:36 ID:zDbmrg/V] 厨はもうすぐ春休みでフリーなんだろ 見てないけど 514 名前：login:Penguin mailto:sage [2007/03/10(土) 17:52:36 ID:j4AKu89z] twmbuntu 1.44MB 515 名前：login:Penguin mailto:sage [2007/03/10(土) 18:51:16 ID:+5IXEscG] >>512 厨房が湧いてるんだろ。 春だねー。ｼﾐｼﾞﾐ 516 名前：login:Penguin mailto:sage [2007/03/10(土) 18:52:29 ID:hLQxJ1XO] (´-`).｡ｏＯ（春休みとは関係なく、時折出現するやたら(略)な教えて君のような気がする・・・・) 517 名前：login:Penguin mailto:sage [2007/03/10(土) 18:56:02 ID:+5IXEscG] 金「国際社会初心者です、おコメがほしいんですが、どうすればいいですか」 日「まずは埓を解決してくれ」 金「埓はすでに解決しますた、だから聞いてるんです」 日「じゃあ頑張って耕せ」 金「畑はすでに耕しますた。頑張ってどうなるとかいう事象じゃありません」 日「・・・コメは田んぼに植えるんだよ」 金「れすトンクスでつ！やってみます！」 金「田んぼの稲が育ちません、どうすればいいですか」 日「（ ﾟдﾟ）ﾎﾟｶｰﾝ」 518 名前：login:Penguin mailto:sage [2007/03/10(土) 19:00:43 ID:eB7EgOjt] 厨房と蔑みながら自分はスレ違いも甚だしい内容を 恥じらいもなく書き込むこの矛盾について 519 名前：login:Penguin mailto:sage [2007/03/10(土) 19:06:18 ID:bOznaUEw] Ψ(･∀･)ｻﾀﾆｯｸ!!ｳﾌﾞﾝﾄｩ!! 520 名前：login:Penguin mailto:sage [2007/03/10(土) 19:08:33 ID:+5IXEscG] ある体系において何らかの矛盾が成立していたとすると、形式的な仮定「¬B」をおいても矛盾を 導けるということになる。従ってBの二重否定¬¬Bが推論できることになり、二重否定は無視でき る（排中律）ことから結局Bが推論できたことになる。 矛盾の性質として、矛盾を含む体系においてはどんな命題を導くこともできるというものだ。 521 名前：login:Penguin mailto:sage [2007/03/10(土) 20:11:11 ID:j4AKu89z] >>520 そうか。 次の方どうぞ。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef