rinkun の回答履歴

ネットの画像を転送するのは犯罪ですか？ 他のサイトに載っている画像などを無断で転送する(ブログなどに貼る)ことは、 法律で禁止されていますか？前に禁止事項だということを聞いたのですが、本当なのか知りたいです。

フロッピーディスクについて 　最近フロッピーディスクの解析が話題になっていますが、フロッピーディスクにはファイル毎の改竄期日、使ったパソコンなどが記録されているということでしょうか。

車の任意保険について 更新にいってきたのですが、住所が変わっていることを伝えるのを忘れました。車を使用する場所は、以前の住所の近辺です。その以前の住所へは毎週のように帰ります。更新時に伝えておかなければ、事故した場合にお金がおりないケースがありますが、住所については重要項目に設定はされていませんでした。このような場合、事故時に保険金はおりますでしょうか？よろしくお願いいたします。

第2可算公理が成立すると第1可算公理が成立します。ところで、その逆「第1可算公理が成立するが第2可算公理が成立する」は必ずしも言えないのでしょうか。それはどのような場合でしょうか。

ＥＴＣカードが複数枚必要なのはなぜですか？ ＥＴＣを初めて取り付けました。取り付け業者の方から「ＥＴＣカードが複数枚有ると便利ですよ」と言われましたが意味が解りません。 複数枚有る場合のメリットをご教授お願いします。

今度の３連休の１９日、豊橋に止まるひかり号は混みますか？東京から自由席でも座れますか？

オススメの旅行会社 彼女と冬休みを利用して旅行に行きたいと思います 車を持ってないので、お財布にも優しい旅行会社を使って行きたいと思っていますが 初めてなもので会社もよく知りません 下記の条件が一番当てはまるオススメの旅行会社がありましたら教えてください 全部が当てはまらなくてもいいです １．未成年者同士（18歳♂+16歳♀）のご利用でも親権者の同意が不必要 ２．交通+宿泊先だけではなく、行き先のテーマパークのフリーパスまで手配などと親切 ３．静岡県から出発が出来る（新幹線）。若しくは静岡県から出発が出来る（バス） ４．旅行先がテーマパークですが、テーマパーク向けのプランがそれなりにある

【ZFC】置換公理の定義の統合【置換公理】 ZFC公理系の置換公理に就いての質問です。 ZFCの公理を見渡すと、置換公理と、分出公理は、複数のパラメタを取る事が知られて(しかも、分出公理は置換公理に拠って導く事が出来ます)います。 しかし、ネットを見回して診ると、関係式(φ,P,F etc.)が、複数のパラメタを採る物と、採らない物が在ります。 複数のパラメタは考慮されずに記述された置換公理 ttp://okwave.jp/qa/q2959778.html ttp://de.wikipedia.org/wiki/Zermelo-Fraenkel-Mengenlehre ↑9. ttp://ufcpp.net/study/set/axiom.html ttp://blog.livedoor.jp/calc/archives/50760599.html# ttp://www.geocities.co.jp/Technopolis/9587/tips/zahlen.html 複数のパラメタを考慮して記述された置換公理 ttp://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory ↑6. ttp://en.wikipedia.org/wiki/Axiom_schema_of_replacement ttp://pauli.isc.chubu.ac.jp/~fuchino/tmp/kikaku03-proj.pdf ↑10頁 ttp://page.mi.fu-berlin.de/geschke/ModelleMengenlehreV2/MMskriptV2.pdf ↑1頁(7) 公理は1ヶなのに、上記のサイトを見廻して診ると、まるで2つの記述法が在る様な印象を受けます。もしも、統合可能な場合、どの様な記述に成るのでしょうか。 「複数のパラメタは考慮されずに記述された置換公理」を自分なりに記述した物 ∀x ' ∀X ( x ' ∈ X ⇒ ∀Y_0 ∀Y_1 ( F( X , Y_0 ) ∧ F( X , Y_1 ) ⇒ Y_0 = Y_1 ) ⇒ ∃Y ∀y ( y ∈ Y ⇔ ∃x ( x ∈ X ∧ F( x , y ) ) ) 「複数のパラメタを考慮して記述された置換公理」を自分なりに記述した物（ ∧ , ⇒ 等かなりいい加減です） ∀y_1 … ∀y_n ∀A ( ∀x ( x ∈ A ⇒ ∃1y ( f ( x , y , y_0 , … , y_n ) ) ) ) ⇒ ∃Y ∀y ( y ∈ Y ⇔ ∃x ( x ∈ A ∧ f ( x , y , y_0 , … , y_n ) ) )

【ZFC】置換公理の定義の統合【置換公理】 ZFC公理系の置換公理に就いての質問です。 ZFCの公理を見渡すと、置換公理と、分出公理は、複数のパラメタを取る事が知られて(しかも、分出公理は置換公理に拠って導く事が出来ます)います。 しかし、ネットを見回して診ると、関係式(φ,P,F etc.)が、複数のパラメタを採る物と、採らない物が在ります。 複数のパラメタは考慮されずに記述された置換公理 ttp://okwave.jp/qa/q2959778.html ttp://de.wikipedia.org/wiki/Zermelo-Fraenkel-Mengenlehre ↑9. ttp://ufcpp.net/study/set/axiom.html ttp://blog.livedoor.jp/calc/archives/50760599.html# ttp://www.geocities.co.jp/Technopolis/9587/tips/zahlen.html 複数のパラメタを考慮して記述された置換公理 ttp://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory ↑6. ttp://en.wikipedia.org/wiki/Axiom_schema_of_replacement ttp://pauli.isc.chubu.ac.jp/~fuchino/tmp/kikaku03-proj.pdf ↑10頁 ttp://page.mi.fu-berlin.de/geschke/ModelleMengenlehreV2/MMskriptV2.pdf ↑1頁(7) 公理は1ヶなのに、上記のサイトを見廻して診ると、まるで2つの記述法が在る様な印象を受けます。もしも、統合可能な場合、どの様な記述に成るのでしょうか。 「複数のパラメタは考慮されずに記述された置換公理」を自分なりに記述した物 ∀x ' ∀X ( x ' ∈ X ⇒ ∀Y_0 ∀Y_1 ( F( X , Y_0 ) ∧ F( X , Y_1 ) ⇒ Y_0 = Y_1 ) ⇒ ∃Y ∀y ( y ∈ Y ⇔ ∃x ( x ∈ X ∧ F( x , y ) ) ) 「複数のパラメタを考慮して記述された置換公理」を自分なりに記述した物（ ∧ , ⇒ 等かなりいい加減です） ∀y_1 … ∀y_n ∀A ( ∀x ( x ∈ A ⇒ ∃1y ( f ( x , y , y_0 , … , y_n ) ) ) ) ⇒ ∃Y ∀y ( y ∈ Y ⇔ ∃x ( x ∈ A ∧ f ( x , y , y_0 , … , y_n ) ) )

【ZFC】置換公理の定義の統合【置換公理】 ZFC公理系の置換公理に就いての質問です。 ZFCの公理を見渡すと、置換公理と、分出公理は、複数のパラメタを取る事が知られて(しかも、分出公理は置換公理に拠って導く事が出来ます)います。 しかし、ネットを見回して診ると、関係式(φ,P,F etc.)が、複数のパラメタを採る物と、採らない物が在ります。 複数のパラメタは考慮されずに記述された置換公理 ttp://okwave.jp/qa/q2959778.html ttp://de.wikipedia.org/wiki/Zermelo-Fraenkel-Mengenlehre ↑9. ttp://ufcpp.net/study/set/axiom.html ttp://blog.livedoor.jp/calc/archives/50760599.html# ttp://www.geocities.co.jp/Technopolis/9587/tips/zahlen.html 複数のパラメタを考慮して記述された置換公理 ttp://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory ↑6. ttp://en.wikipedia.org/wiki/Axiom_schema_of_replacement ttp://pauli.isc.chubu.ac.jp/~fuchino/tmp/kikaku03-proj.pdf ↑10頁 ttp://page.mi.fu-berlin.de/geschke/ModelleMengenlehreV2/MMskriptV2.pdf ↑1頁(7) 公理は1ヶなのに、上記のサイトを見廻して診ると、まるで2つの記述法が在る様な印象を受けます。もしも、統合可能な場合、どの様な記述に成るのでしょうか。 「複数のパラメタは考慮されずに記述された置換公理」を自分なりに記述した物 ∀x ' ∀X ( x ' ∈ X ⇒ ∀Y_0 ∀Y_1 ( F( X , Y_0 ) ∧ F( X , Y_1 ) ⇒ Y_0 = Y_1 ) ⇒ ∃Y ∀y ( y ∈ Y ⇔ ∃x ( x ∈ X ∧ F( x , y ) ) ) 「複数のパラメタを考慮して記述された置換公理」を自分なりに記述した物（ ∧ , ⇒ 等かなりいい加減です） ∀y_1 … ∀y_n ∀A ( ∀x ( x ∈ A ⇒ ∃1y ( f ( x , y , y_0 , … , y_n ) ) ) ) ⇒ ∃Y ∀y ( y ∈ Y ⇔ ∃x ( x ∈ A ∧ f ( x , y , y_0 , … , y_n ) ) )

『Blu-ray読書きドライブ』、『USB3.0』、『SSD』搭載のノートPCが欲しいのですが、2010秋冬モデルにはなさそうです。 春まで待てば、出る可能性はあるのでしょうか？ ご存知の方、よろしく

広島から関空までの行き方（新幹線利用）で安い方法教えてください。 広島から関空まで新幹線利用で安くを購入する方法を教えてください。 なお、ルートは広島駅→新大阪→関空で考えております。 （乗り継ぎ回数を最小限にしたいと思っています） (1)みどりの窓口で購入 広島→関空　￥11,730 往復で購入したら安くなるのでしょうか？ (2)新幹線を金券ショップで回数券購入 広島→新大阪　￥9,370 新大阪→関空（特急はるか）乗車券￥？？　特急券￥1,460　 新幹線を金券ショップで購入するとはるかの特急券が半額にならない？ (3)JR西日本株主優待券を金券ショップで購入 株主優待券　￥4,000 広島→関空　￥11,730*0.5＝5,865 上記で考えると、金券ショップで株主優待券を購入するのがいいのかなと思うのですが、 それぞれ注意点とかもっといい方法等あれば教えてください。 宜しくお願いいたします。

【ZFC】置換公理の定義の統合【置換公理】 ZFC公理系の置換公理に就いての質問です。 ZFCの公理を見渡すと、置換公理と、分出公理は、複数のパラメタを取る事が知られて(しかも、分出公理は置換公理に拠って導く事が出来ます)います。 しかし、ネットを見回して診ると、関係式(φ,P,F etc.)が、複数のパラメタを採る物と、採らない物が在ります。 複数のパラメタは考慮されずに記述された置換公理 ttp://okwave.jp/qa/q2959778.html ttp://de.wikipedia.org/wiki/Zermelo-Fraenkel-Mengenlehre ↑9. ttp://ufcpp.net/study/set/axiom.html ttp://blog.livedoor.jp/calc/archives/50760599.html# ttp://www.geocities.co.jp/Technopolis/9587/tips/zahlen.html 複数のパラメタを考慮して記述された置換公理 ttp://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory ↑6. ttp://en.wikipedia.org/wiki/Axiom_schema_of_replacement ttp://pauli.isc.chubu.ac.jp/~fuchino/tmp/kikaku03-proj.pdf ↑10頁 ttp://page.mi.fu-berlin.de/geschke/ModelleMengenlehreV2/MMskriptV2.pdf ↑1頁(7) 公理は1ヶなのに、上記のサイトを見廻して診ると、まるで2つの記述法が在る様な印象を受けます。もしも、統合可能な場合、どの様な記述に成るのでしょうか。 「複数のパラメタは考慮されずに記述された置換公理」を自分なりに記述した物 ∀x ' ∀X ( x ' ∈ X ⇒ ∀Y_0 ∀Y_1 ( F( X , Y_0 ) ∧ F( X , Y_1 ) ⇒ Y_0 = Y_1 ) ⇒ ∃Y ∀y ( y ∈ Y ⇔ ∃x ( x ∈ X ∧ F( x , y ) ) ) 「複数のパラメタを考慮して記述された置換公理」を自分なりに記述した物（ ∧ , ⇒ 等かなりいい加減です） ∀y_1 … ∀y_n ∀A ( ∀x ( x ∈ A ⇒ ∃1y ( f ( x , y , y_0 , … , y_n ) ) ) ) ⇒ ∃Y ∀y ( y ∈ Y ⇔ ∃x ( x ∈ A ∧ f ( x , y , y_0 , … , y_n ) ) )

【ZFC】置換公理の定義の統合【置換公理】 ZFC公理系の置換公理に就いての質問です。 ZFCの公理を見渡すと、置換公理と、分出公理は、複数のパラメタを取る事が知られて(しかも、分出公理は置換公理に拠って導く事が出来ます)います。 しかし、ネットを見回して診ると、関係式(φ,P,F etc.)が、複数のパラメタを採る物と、採らない物が在ります。 複数のパラメタは考慮されずに記述された置換公理 ttp://okwave.jp/qa/q2959778.html ttp://de.wikipedia.org/wiki/Zermelo-Fraenkel-Mengenlehre ↑9. ttp://ufcpp.net/study/set/axiom.html ttp://blog.livedoor.jp/calc/archives/50760599.html# ttp://www.geocities.co.jp/Technopolis/9587/tips/zahlen.html 複数のパラメタを考慮して記述された置換公理 ttp://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory ↑6. ttp://en.wikipedia.org/wiki/Axiom_schema_of_replacement ttp://pauli.isc.chubu.ac.jp/~fuchino/tmp/kikaku03-proj.pdf ↑10頁 ttp://page.mi.fu-berlin.de/geschke/ModelleMengenlehreV2/MMskriptV2.pdf ↑1頁(7) 公理は1ヶなのに、上記のサイトを見廻して診ると、まるで2つの記述法が在る様な印象を受けます。もしも、統合可能な場合、どの様な記述に成るのでしょうか。 「複数のパラメタは考慮されずに記述された置換公理」を自分なりに記述した物 ∀x ' ∀X ( x ' ∈ X ⇒ ∀Y_0 ∀Y_1 ( F( X , Y_0 ) ∧ F( X , Y_1 ) ⇒ Y_0 = Y_1 ) ⇒ ∃Y ∀y ( y ∈ Y ⇔ ∃x ( x ∈ X ∧ F( x , y ) ) ) 「複数のパラメタを考慮して記述された置換公理」を自分なりに記述した物（ ∧ , ⇒ 等かなりいい加減です） ∀y_1 … ∀y_n ∀A ( ∀x ( x ∈ A ⇒ ∃1y ( f ( x , y , y_0 , … , y_n ) ) ) ) ⇒ ∃Y ∀y ( y ∈ Y ⇔ ∃x ( x ∈ A ∧ f ( x , y , y_0 , … , y_n ) ) )

申し込んだホテルをキャンセルせずに、新たに自分でホテルを取ると安い場合について。 ２泊３日の飛行機とホテルとレンタカー（オプション）のプランを申し込みました。 しかし、旅行の行程を変える必要がでてきたため、宮崎の予約したホテルとレンタカーをキャンセルし、熊本のホテルに変更したいのです。 旅行まで近いため、キャンセルして新たに熊本泊で予約しなおすと、２万円ほどキャンセルりょうがかかります。 しかし、熊本にホテルをとると5000円で済みます。 この場合、 プランをキャンセルして新たに予約しなおしせずに、熊本に自分でホテルをとって旅行に行き、 当日にでも宮崎のホテルとレンタカーのお店に事情によりいけなくなったと連絡すれば キャンセル料２万円はかからないと考えて大丈夫でしょうか。 ホテルとレンタカーのお店には迷惑ではないと思うのですが・・。 回答よろしくお願いします。

ハイブリッドのホンマはどのくらいの燃費ですか？ ハイブリッドを実際に乗った方もしくはもっている方のみに 回答をお願い致します。 実際ハイブリッド車の燃費は、どのくらいなのでしょうか？ リッター40キロも走るのでしょうか？

Python で、既存のテキストにデータを書き加えたいと思っています。 こんにちは、 私はプログラミング初心者であります。仕事で必要に迫られたこともあり、知人より簡単だから、とPythonを薦められ、学習を始めています。 質問は、既存のテキストファイルの文頭に、数字と文字を付け加えたいと思っているのですが、上手く行きません。 既存のテキスト(data.txt)はこんな感じで、保存されています。 1111.1111 　　2222.2222 　　3333.3333 　　4444.4444 　　5555.5555 5555.5555 　　6666.6666 　　7777.7777 　　8888.8888 　　9999.9999 1010.1010 　　1110.1111 　　1210.1212　　 1310.1313 　　1414.1414 実際には縦横に永遠とデータが羅列されています。空白部分はタブ区切りになっています。横に7000ほどのデータを読むと、改行されています。これがテキスト方式で保存されています。 このデータ群の先頭に６行文のデータを追加したいと試みています。以下のような感じのデータです。 ncols 　　　　　1019 nrows 　　　　　1923 xllcorner　　　 -67.2327777773961 yllcorner　　 　44.63742951396 cellsize 　　　0.000277777777779674 NODATA_VALUE　　 -999 open関数で data.txt を開き、write を使ってしまうと、data.txt 内のデータが全て消えてしまうのですが、どのようにすれば上記にある６つのデータを書き加える事ができるのでしょうか？ 大本のデータは縦横に 9000x7000 近くのデータがタブで区切られて保存されており、その大きさが 500MB を越えていて、職場のPCではノートパッドで開いてから書き足す事ができません。 どなたかアドバイスを頂ければ幸いであります。

メモリ増設、デュアルチャンネルについて 現在、Windows Vistaを使っています。 メモリは1G(512MB×2)で、動作は重く扱いづらかったので増設しました。 増設をしたはいいのですが、最大が2Gまでしか増設できないことを知らず2Gのメモリを一枚買ってしまいました。(余裕があれば2G×2にしようと思っていました) 「ぴったり2Gだし、別にいいか」と思っていたのですが、 デュアルチャンネル（？）で1Gを2つのスロットに入れた方がいいという事を聞きました。 なので ・2Gを一枚スロットに入れて、空きスロット１つ ではなく ・1Gを2つのスロットに一枚ずつ の方がいいのでしょうか？ 後者の様にして、かなりパフォーマンスが変わるというのであれば今からでも変えようと思います。 あまり変わらないのであれば、やめておこうと思います。（学生でお金が無いため、返品などの無駄なお金はかけたくないので…） 機種はLL550HG OSはWindows vista 使っているメモリはI-O DATAのSDX667-2G/ECです。 回答よろしくお願いします。

レッツノートR2の無線が切断する？ 古いノート（CF-R2BW1AXR)の内蔵ワイヤレスネットワークが切断を繰り返すようになり 困ってます。 修理する価値はないので以下のことを教えてください。 １：故障の過程においてこのように接続切断を繰り返すことはあり得るのでしょうか？ ２：５年くらい使っていると思います。他もそろそろ壊れる可能性があるのでしょうか？ みなさんはノートパソコンを何年くらい使っているのでしょうか？ 現在ケーブルで繋いでいます。使用上は快適です。 ｂって使ってはいけない規格みたいですね！？

プロキシサーバー 普通のＩＰアドレスと変わらないはずなのにサイト側にプロキシ接続であることが わかってしまう（書き込み等できない）のは、何を元に判断しているのでしょうか？