kabaokaba の回答履歴

こんばんわ。 仕事でプログラミングをすることになったのですが、現在は現場で使えるレベルではないので どうにかしてスキルアップを図りたいです。 そこでプログラマのみなさんはどのようにトレーニングしましたか？ 私の現状としては、インターネットを参考にしながら .NET frameworkで約1200ステップの1対1ソケットプログラムを 0から作成するのに1か月半かかりました。 (恥ずかしながらコメントも含んでいるのでソースのみだともっと少ないです) ステップ数をスキルの目安にするのは賛否両論あるようですが、 ほかに目安になりそうなものがなかったので記載しました。 また、次の目標としておすすめの例題などありましたらアドバイスいただきたいです。 言語はJAVA・C#・C・VBAなどの中から選ぼうと思います。 例）5000～10000ステップくらいで作成可能な日常で使うツール・ゲームなど。 以上よろしくお願いします。

a(1)=1,a(n+1)=√(2+a(n))の数列において、n=kの時にa(k+1)<a(k+2)を証明したいのですが,√(2+a(k))<√(2+a(k+1))であることをどう証明したらよいでしょうか？またこの数列は2に収束しますが、√(2+a(k))<2であることをどう証明したらよいでしょうか？

次のことをどう証明したらいいのでしょうか？ わかる方いたら教えてください。 f(x)∈Z(x)がもしQ(x)上で可約ならば、Z(x)においても可約である。 すみませんが宜しくお願いします。

１．負の二項定理の証明が思いつかないので教えてください。 ２．いろいろ調べていると負の二項定理は二項定理の（１＋ｘ）＾aのｘを-xとし、aを有利数まで拡張した（１-x）＾aのテイラー展開式でかける関連があることだけわかりましたがどのようにつながっているのかわかりません。 お手数ですが教えてください。

L=lim(n→∞)Σ(k=1→n)(1/2k) を計算するとL→∞に発散するらしいのですが L→∞になるまでの経過を教えてください。

ペアノの公理を満たすものを自然数と言うそうですが、 私は可算無限集合ならペアノの公理を満たすと思います。 そうすると、有理数も可算無限集合なので、 有理数は自然数となってしまいます。 有理数は自然数でないので、 ペアノの公理を満たさない筈ですが、 ペアノの公理を満たさないと何故言えるのか分かりません。 何方か教えていただけないでしょうか？ 私の言っているペアノの公理は、 　集合N，N の元e，写像φ : N → N　が、 　　(1) φ は単射である 　　(2) φ(N) ⊂ N＼{e} 　　(3) M ⊂ N ∧ e ∈ M ∧ φ(M) ⊂ M　⇒　M = N です。 (1)と(2)を満たす写像φを定義でき、 ∃e ∈ N；φ(N) = N＼{e}である。 と解釈しています。

ペアノの公理を満たすものを自然数と言うそうですが、 私は可算無限集合ならペアノの公理を満たすと思います。 そうすると、有理数も可算無限集合なので、 有理数は自然数となってしまいます。 有理数は自然数でないので、 ペアノの公理を満たさない筈ですが、 ペアノの公理を満たさないと何故言えるのか分かりません。 何方か教えていただけないでしょうか？ 私の言っているペアノの公理は、 　集合N，N の元e，写像φ : N → N　が、 　　(1) φ は単射である 　　(2) φ(N) ⊂ N＼{e} 　　(3) M ⊂ N ∧ e ∈ M ∧ φ(M) ⊂ M　⇒　M = N です。 (1)と(2)を満たす写像φを定義でき、 ∃e ∈ N；φ(N) = N＼{e}である。 と解釈しています。

今日ネットでたまたまimpressiveというプレゼンテーションソフトを見つけたので，使えそうだと思い， TEXのbeamerで作ったプレゼンテーション資料をimpressiveで表示しようと思っていますが，日本語部分が表示されなくて困っています。 dvipskでpsにしたあとにAcrobat DistillerでPDF化しており，その際にフォントはすべて埋め込む設定にはしているのですが，どうもうまくいきません。 詳しい方いらっしゃいましたらご教示願えないでしょうか？ なお，エディターにLabeditorというTEX専用のエディタを使っており，コンパイルはエディタに任せっきりなのでコマンドラインでの操作はTEXに関してはほとんど知りません^^;

今日ネットでたまたまimpressiveというプレゼンテーションソフトを見つけたので，使えそうだと思い， TEXのbeamerで作ったプレゼンテーション資料をimpressiveで表示しようと思っていますが，日本語部分が表示されなくて困っています。 dvipskでpsにしたあとにAcrobat DistillerでPDF化しており，その際にフォントはすべて埋め込む設定にはしているのですが，どうもうまくいきません。 詳しい方いらっしゃいましたらご教示願えないでしょうか？ なお，エディターにLabeditorというTEX専用のエディタを使っており，コンパイルはエディタに任せっきりなのでコマンドラインでの操作はTEXに関してはほとんど知りません^^;

問、Ｑ；有理数体、Ｒ：実数体とすると、ＲはＱ上の（無限次元）ベクトル空間である。実数列ａ₁，ａ₂・・・ａn　がたがいに従属であるための必要十分条件は、実数列ａ₁，ａ₂・・・ａnがQ上の一次従属となることである。 　「実数列ａ₁，ａ₂・・・ａn　がたがいに従属である」の定義は次の通りです。 ａ₁，ａ₂・・・ａkの自明でない従属関係式が存在するとき、その列はたがいに従属であると定義する。すなわち、整数ｎ₁・・・ｎkで次の条件を満たすものが存在するときである。 　(1)n₁a₁+…nkak＝０ 　(2)ｎ₁・・・ｎkの少なくとも一つは0でない。 一次関係式から有理数上にどう帰着させるか、逆として有理数上一次関係式から実数上で従属にどう帰着させるかが分りません。 　解答方針などご教授願います。よろしくお願いします。

最近、双子素数予想解決につながるかもしれない結果が出されたそうですが http://www.asahi.com/tech_science/update/0521/TKY201305210004.html 「双子素数は無限にあるか？」という問題は誰が最初に言い出したのでしょうか？ 古代ギリシャから～というフレーズはちょっと信じられません。 できればソース付でお願いいたします。

問、Ｑ；有理数体、Ｒ：実数体とすると、ＲはＱ上の（無限次元）ベクトル空間である。実数列ａ₁，ａ₂・・・ａn　がたがいに従属であるための必要十分条件は、実数列ａ₁，ａ₂・・・ａnがQ上の一次従属となることである。 　「実数列ａ₁，ａ₂・・・ａn　がたがいに従属である」の定義は次の通りです。 ａ₁，ａ₂・・・ａkの自明でない従属関係式が存在するとき、その列はたがいに従属であると定義する。すなわち、整数ｎ₁・・・ｎkで次の条件を満たすものが存在するときである。 　(1)n₁a₁+…nkak＝０ 　(2)ｎ₁・・・ｎkの少なくとも一つは0でない。 一次関係式から有理数上にどう帰着させるか、逆として有理数上一次関係式から実数上で従属にどう帰着させるかが分りません。 　解答方針などご教授願います。よろしくお願いします。

αが無理数の場合も(x^α)'=αx^(α-1)が成り立ちますか。

mは全ての実数を取るとする。L:y=mx、M:x+my-2=0の二直線の交点の軌跡を求めよ、という問題があります。 解法は3つほど思いつきますが、そのうち一つは綺麗に答えが出ません。 無理やり過程を解釈することで、他の解と一致させることができましたが、この解釈で良いのか教えて下さい。 変数mを消去する。 Mを変形し、m=(-x+2)/y…(1)とする。 (1)とLを連立すると、(x-1)^2+y^2=1、y≠0。 *ここで、y≠0とは、(1)式を利用したため、(x-1)^2+y^2=1に含まれるかどうか検証不可なだけとみなす。他の手段で検証し、矛盾が確認されたら、その部分は答案から外す。 (x-1)^2+y^2=1において、y=0の時、x=0,x=2。この二点について、LとMの交点として成立するか検証する。 LとMを連立し、x+xm^2-2=0 x=0の時、-2=0となり矛盾。 x=2の時、m=0ならば成立。mは全ての実数をとるから、y=0、x=2の時、(x-1)^2+y^2=1は成立。よって、軌跡は (x-1)^2+y^2=1、(0,0)を除く となる。 わざわざこんな解き方をしなくても、直線の定義から解答も出せますし、Lを変形してmを求めればここまで苦労はしないのですが、色々試していて気になりました。小さなことですが、ご教授願います。

何故ですか？ 「K上の線形空間Xの元 x1,x2,・・・,xn について、 　a1x1＋a2x2＋・・・＋anxn=0 を満たす ak (k＝1,2,・・・,n) が、 　a1=a2=・・・=an=0 だけであるとき、x1,x2,・・・,xn は線形独立」 みたいですが、これを見ても何故一次従属だと係数比較出来ないのかが分かりません 教えてください

mは全ての実数を取るとする。L:y=mx、M:x+my-2=0の二直線の交点の軌跡を求めよ、という問題があります。 解法は3つほど思いつきますが、そのうち一つは綺麗に答えが出ません。 無理やり過程を解釈することで、他の解と一致させることができましたが、この解釈で良いのか教えて下さい。 変数mを消去する。 Mを変形し、m=(-x+2)/y…(1)とする。 (1)とLを連立すると、(x-1)^2+y^2=1、y≠0。 *ここで、y≠0とは、(1)式を利用したため、(x-1)^2+y^2=1に含まれるかどうか検証不可なだけとみなす。他の手段で検証し、矛盾が確認されたら、その部分は答案から外す。 (x-1)^2+y^2=1において、y=0の時、x=0,x=2。この二点について、LとMの交点として成立するか検証する。 LとMを連立し、x+xm^2-2=0 x=0の時、-2=0となり矛盾。 x=2の時、m=0ならば成立。mは全ての実数をとるから、y=0、x=2の時、(x-1)^2+y^2=1は成立。よって、軌跡は (x-1)^2+y^2=1、(0,0)を除く となる。 わざわざこんな解き方をしなくても、直線の定義から解答も出せますし、Lを変形してmを求めればここまで苦労はしないのですが、色々試していて気になりました。小さなことですが、ご教授願います。

複素数の問題なんですが、自分の解答のどこがダメなのか分かりません。 （問） i+i^2+i^3+……+i^50を計算せよ。 （解） 与式=(i+i^3)+(i^2+i^4)+……+(i^47+i^49)+(i^48+i^50) 　　　=i(1+i^2)+i^2(1+i^2)+……+i^47(1+i^2)+i^48(1+i^2) 　　　=i(1-1)+i^2(1-1)+……+i^47(1-1)+i^48(1-1) 　　　=0 と計算したんですけど答えと違っていました。 どこがいけなかったんでしょうか？

こんにちは、 タイトルの通りです。 「０より（-１）小さい数が１になるのは何故なのか？」が今回の質問です。 中学生の時に、 ０－（－１） ＝０＋１ ＝１ と習らったと思います。 ですがふと、"負の数を引くってどういうこと？"、"負の数を引くことが足し算になるのはどうして？"と疑問に思いました。 できましたら、的確で端的にご回答いただけるとありがたいです。 よろしくお願いします。

f(x,y)=x / 1-y という２変数の関数は、 y≠1であれば、連続であることを示したいのですが、 分子のxは、１変数の関数と見れば明らかに連続で、 分母の1-yも１変数の関数とみれば、連続。 だから、fは連続である。 という考え方は間違っているでしょうか。 そもそも、変数が１つしかない関数を、２変数とみなしてもよいのでしょうか。 （例えば、g(x,y)=xという風に。） どなたかご教示お願いします。

a^m=b^nが成り立つ場合、この等式を満たすｍ，ｎの値はあるんですか？