¶¶¶ 数学と電子計算機 ¶¶¶
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
2006/05/27(土) 10:26:04電子計算機でどんどん数学やろう！
0002１３２人目の素数さん
2006/05/27(土) 11:13:550003１３２人目の素数さん
2006/05/27(土) 15:54:110004１３２人目の素数さん
2006/05/27(土) 18:19:400005１３２人目の素数さん
2006/05/27(土) 19:06:210006１３２人目の素数さん
2006/05/27(土) 20:29:40高々有限のことしかできない以上、数学には何にも本質的な
ところでは寄与することはない。ワープロや論文をゲットする
為の文房具にしかならないよ。数学のように土台がしっかりして
もいなくて、しょっちゅう改定されたり、変わったりするような
いいかげんなものなど、信頼するにあたらない。
0007１３２人目の素数さん
2006/05/27(土) 22:15:05昔学生の頃の大学の講義で電子計算機命令計画法なんてのがあった
今でいうとコンピュータアルゴリズムだよ
0008１３２人目の素数さん
2006/05/28(日) 09:32:220009１３２人目の素数さん
2006/05/28(日) 09:54:090010１３２人目の素数さん
2006/05/28(日) 20:11:130011１３２人目の素数さん
2006/05/28(日) 20:16:110012１３２人目の素数さん
2006/05/28(日) 22:03:550013１３２人目の素数さん
2006/05/28(日) 22:09:28昔コボルで小説書いちゃった人もいた。
0014１３２人目の素数さん
2006/05/29(月) 07:07:26他人の作ったプログラミング言語なんて使ってるようじゃ
いつまでたってもラマヌジャンにはなれないぞ。
0015１３２人目の素数さん
2006/05/29(月) 17:14:05マシン語なんて泥臭いものは指先すら触れない
0016１３２人目の素数さん
2006/05/29(月) 19:07:190017１３２人目の素数さん
2006/05/29(月) 21:10:490018１３２人目の素数さん
2006/05/29(月) 23:05:55いや、俺はよく知らないが
0019１３２人目の素数さん
2006/05/29(月) 23:58:040020１３２人目の素数さん
2006/05/30(火) 03:41:44＞数ヲタならマシン語直接書けよ。
＞他人の作ったプログラミング言語なんて使ってるようじゃ
＞いつまでたってもラマヌジャンにはなれないぞ。
マシン語をつかっても特にラマヌジャンに近づくわけでもないが。
0021１３２人目の素数さん
2006/05/30(火) 06:47:200022１３２人目の素数さん
2006/05/30(火) 23:48:060023１３２人目の素数さん
2006/05/31(水) 22:26:120024１３２人目の素数さん
2006/05/31(水) 22:33:280025１３２人目の素数さん
2006/05/31(水) 22:35:130026１３２人目の素数さん
2006/06/03(土) 10:41:05どうちがうの？
0027１３２人目の素数さん
2006/06/03(土) 12:26:530028１３２人目の素数さん
2006/06/03(土) 16:43:360029１３２人目の素数さん
2006/06/03(土) 16:59:15void main(){}
~$ gcc -Wall foo.c
foo.c:2: warning: return type of 'main' is not 'int'
>>28
そんな古い本は捨てろ
0030１３２人目の素数さん
2006/06/03(土) 17:03:09【解析】｢円周率｣は壮大な循環小数だった!【終了】
http://news18.2ch.net/test/read.cgi/news7/1149263284/
0031GiantLeaves ◆6fN.Sojv5w
2006/06/03(土) 19:19:140032中川泰秀 ◆Cb128rs0FE
2006/06/03(土) 19:50:30大学の数学コースでも、５００円の電卓だけの使用で卒業できるのでは ？
0033１３２人目の素数さん
2006/06/03(土) 21:04:38電子回路が半田の代わりに鼻糞でつけてあるような。
0034１３２人目の素数さん
2006/06/03(土) 21:15:350035１３２人目の素数さん
2006/06/03(土) 21:39:470036１３２人目の素数さん
2006/06/03(土) 23:00:47voidでも自動生成されるんでしょ？
0037１３２人目の素数さん
2006/06/03(土) 23:43:43このルールで適宜return 0かreturn 1を使い分ける。
上のひとが言ってるみたいに、
プログラムが正常終了したかを確認したい場合
呼び出しもと（shellなど）でこの値を参照する。
ダメとは言わないがvoid mainは好ましくない。
0038１３２人目の素数さん
2006/06/04(日) 00:32:56ただmain()とだけある
return0;はあるのだが
0039変人
2006/06/04(日) 00:42:55機械に分数を表現させることは出来ますか？
できるのならどなたか方法を教えてください。
0040１３２人目の素数さん
2006/06/04(日) 01:30:13化石Cだとそれで正しい。
void main() は最近voidが支持していたよｗ
0041１３２人目の素数さん
2006/06/04(日) 02:03:12数値計算をやってみたい。
0042１３２人目の素数さん
2006/06/04(日) 02:52:10分数（有限の有理数）を扱える数式処理ソフトならいくつもある。
pariなりGAPなりmathematicaなり。
C++とかでやるなら有理数クラスでもつくればいいんじゃない？
int型(longでも)ふたつ持たせて、計算後は毎回約分できるかをチェックする。
もちろん演算(+-*/)も別途定義して…って感じで。
すでにライブラリありそうな気もするけど。
>>41
Numerical Recipes in Cとかが数値計算の
ハンドブックとしていいんじゃないでしょうか。
和訳もあるし。
もし、C言語の入門本を探してるのなら
なんでもいいと思う。ネットだけでも覚えられるし。
0043１３２人目の素数さん
2006/06/04(日) 03:08:06LCMやGCDも必要だし、これ全部自前じゃかなり面倒かも。
今見てたらBoostに有理数ライブラリ発見（使ったことはない
http://boost.cppll.jp/HEAD/libs/rational/rational.html
当然だけど、ググったら誰かが作ったライブラリがいくらでもある。
0044１３２人目の素数さん
2006/06/04(日) 08:43:270045１３２人目の素数さん
2006/06/04(日) 08:44:28サンクス
ＨＰ見てみたらNumerical Recipes in Cなかなかよさげです。
書店で探してみます（とりあえず和訳ね）。
0046１３２人目の素数さん
2006/06/04(日) 22:14:380047１３２人目の素数さん
2006/06/04(日) 22:37:41ニューメリカルレシピ・イン・シー 日本語版
http://www.amazon.co.jp/exec/obidos/ASIN/4874085601
0048１３２人目の素数さん
2006/06/04(日) 22:46:12http://www.library.cornell.edu/nr/bookcpdf.html
0049１３２人目の素数さん
2006/06/05(月) 00:14:56古いのかね？
0050１３２人目の素数さん
2006/06/05(月) 00:47:340051１３２人目の素数さん
2006/06/05(月) 04:25:45いきなり変数に値を代入みたいな形では実数を与えることは出来ない
から、数列みたいなものを与えて、（収束するならば）それが実数に収束するか、
有理数に収束するかを判定することになるのかな・・・？
しかし、なんか変な気がする・・・
0052１３２人目の素数さん
2006/06/06(火) 20:45:11注文した
0053１３２人目の素数さん
2006/06/06(火) 20:54:360054１３２人目の素数さん
2006/06/08(木) 21:08:490055１３２人目の素数さん
2006/06/09(金) 02:01:270056１３２人目の素数さん
2006/06/09(金) 09:09:260057１３２人目の素数さん
2006/06/09(金) 23:58:19昔学校にあったＦＡＣＯＭに
１行ずつプログラム書いたマークシート通したっけ
懐かしい・・・
0058１３２人目の素数さん
2006/06/10(土) 01:58:560059１３２人目の素数さん
2006/06/10(土) 11:17:49役に立つ？
0060１３２人目の素数さん
2006/06/10(土) 16:21:290061１３２人目の素数さん
2006/06/10(土) 17:50:19フォートランコンパイラ。
0062１３２人目の素数さん
2006/06/10(土) 18:52:130063１３２人目の素数さん
2006/06/11(日) 10:23:160064１３２人目の素数さん
2006/06/11(日) 20:28:290065１３２人目の素数さん
2006/06/12(月) 11:03:450066１３２人目の素数さん
2006/06/12(月) 19:42:14そうですか。
他の言語と比較してどんなところが楽しいですか？
0067１３２人目の素数さん
2006/06/13(火) 15:45:490068１３２人目の素数さん
2006/06/13(火) 21:34:47素晴らしいことだ。
0069１３２人目の素数さん
2006/06/13(火) 21:46:20フォートラン、 コボル、 コンパイラ
って、バビル二世の しもべ たちだろ ?
0070１３２人目の素数さん
2006/06/13(火) 22:12:45自動証明に興味あるんですが。
0071１３２人目の素数さん
2006/06/13(火) 22:28:08前者ならフリーの処理系があると思う
0072（ ´ⅴ｀）
2006/06/14(水) 00:35:230073１３２人目の素数さん
2006/06/14(水) 04:09:17名前はマイナーだけど流行ってるとこでは流行ってるのかなぁ・・・
0074１３２人目の素数さん
2006/06/14(水) 11:38:360075１３２人目の素数さん
2006/06/15(木) 12:25:41どうしても遅くなるね。やっぱりCが最高。
0076１３２人目の素数さん
2006/06/16(金) 00:25:060077１３２人目の素数さん
2006/06/16(金) 00:26:47えっ？
C++でメモリを意識しないで組むなんてC以上に困難なんだが。
あっ、オブジェクト指向しないってことね！
0078１３２人目の素数さん
2006/06/16(金) 07:06:18なんでもSTLのコンテナにぶち込んじゃうじゃん。
楽だから。
0079１３２人目の素数さん
2006/06/16(金) 22:05:410080１３２人目の素数さん
2006/06/17(土) 03:58:240081１３２人目の素数さん
2006/06/17(土) 05:11:44「無意味なスレ立て厳禁」
って読めませんか？
そういうくだらない話は質問スレでやってください
終 了
そして>>1はすぐ死ね
0082１３２人目の素数さん
2006/06/17(土) 09:36:50ヲタは自分を客観的に見る能力が欠如してるから多めに見てやれ。
0083１３２人目の素数さん
2006/06/17(土) 20:11:370084１３２人目の素数さん
2006/06/18(日) 08:32:140085１３２人目の素数さん
2006/06/21(水) 23:38:41０～１０まで（９までではない）の数字キーが縦に１桁ずつズラッと並んで、
表示は液晶や電光ではなく数字の書いた板が上下する。
おばはんがレバーを押すとガチャガチャと機械音がうなってチーンとレジの金入れが開く。
子供心に操作してみたかった・・・
0086１３２人目の素数さん
2006/06/21(水) 23:40:49ttp://www.ncr.co.jp/library/library/register/zoom/08_bpc1963_2.jpg
0087１３２人目の素数さん
2006/06/22(木) 00:12:22「あなたは電子計算機に勝てますか？」だったりね。
0088１３２人目の素数さん
2006/06/22(木) 22:59:30パソコンなどではなく、ただ単に大判の卓上電子計算機。
関数もなさそうだった。
あんなの今だったら貰っても邪魔なだけ。
0089１３２人目の素数さん
2006/06/23(金) 20:12:440090１３２人目の素数さん
2006/06/28(水) 21:05:340091１３２人目の素数さん
2006/06/29(木) 00:13:06そろばんが出来たりしたからなｗｗｗ
0092１３２人目の素数さん
2006/06/29(木) 21:40:380093１３２人目の素数さん
2006/06/29(木) 21:42:310094１３２人目の素数さん
2006/06/29(木) 21:57:010095１３２人目の素数さん
2006/06/29(木) 22:19:55落として、Hackしてみようかな・・・
0096１３２人目の素数さん
2006/06/29(木) 22:26:202cm 側の 0cm の部分と 5cm 側の 3cm が合うでしょ？
これで、5-2=3 が計算できるわけ。
目盛を反対向きにすれば足し算もできるよね？
さて、そこで、対数目盛の物差しを使うと、なんとかけ算も割算も
出来てしまうって話。
これだけ分かれば自作できるよね？
0097１３２人目の素数さん
2006/06/29(木) 22:27:560098１３２人目の素数さん
2006/06/30(金) 01:23:50まだ手に入りそうだ。
0099１３２人目の素数さん
2006/06/30(金) 01:56:26今に１本うん十万円、うん百万円などという値段がつく日もあるかと。
0100１３２人目の素数さん
2006/06/30(金) 03:37:37工学者は懐から計算尺をとりだし、
「2…かける3…だな。目盛りを読むと…5.9か。だいたい6だな」
と、計算結果を教えた。
0101１３２人目の素数さん
2006/06/30(金) 07:01:510102１３２人目の素数さん
2006/06/30(金) 13:54:360103１３２人目の素数さん
2006/06/30(金) 18:40:140104１３２人目の素数さん
2006/06/30(金) 22:54:500105１３２人目の素数さん
2006/06/30(金) 23:34:09あったらいいな
0106１３２人目の素数さん
2006/06/30(金) 23:38:14デジタル計算って。どう考えてもアナログ計算機だろう。>>100みたいに。
0107１３２人目の素数さん
2006/06/30(金) 23:50:06計算尺メーカーも学校も教材会社も教育用に残しておくべきだったと思う。
0108１３２人目の素数さん
2006/07/01(土) 00:07:230109１３２人目の素数さん
2006/07/01(土) 01:02:070110１３２人目の素数さん
2006/07/01(土) 01:16:59一体どんな意味があったのだろう。
0111１３２人目の素数さん
2006/07/01(土) 01:20:270112１３２人目の素数さん
2006/07/01(土) 01:21:340113１３２人目の素数さん
2006/07/01(土) 01:52:21計算尺でもなかったっけ？
0114１３２人目の素数さん
2006/07/01(土) 02:12:49http://computers.yahoo.co.jp/download/vector/win31/personal/dentaku/
http://www.vector.co.jp/soft/win31/personal/se009946.html
そろばんは
http://hp.vector.co.jp/authors/VA041064/software/index.htm
http://www.vector.co.jp/soft/win95/art/se046521.html（シェアウェア）
とか
0115１３２人目の素数さん
2006/07/01(土) 16:55:06実数：float
虚数は？
0116１３２人目の素数さん
2006/07/01(土) 19:16:55float real;
float img;
}Complex
0117１３２人目の素数さん
2006/07/01(土) 19:23:120118１３２人目の素数さん
2006/07/01(土) 20:10:54floatは浮動小数点数ですよ。
実数を計算機上で表現する事はできない。
(証)
計算機のメモリ上で区別できる数は可算無限個である。
可算無限長の記述で非可算無限個の実数は表現できない。
■
0119１３２人目の素数さん
2006/07/01(土) 22:50:09double
どっちがいいの？
0120１３２人目の素数さん
2006/07/01(土) 23:26:140121１３２人目の素数さん
2006/07/02(日) 09:31:44代表元の取り方がちょっと特殊だけど・・・
0122１３２人目の素数さん
2006/07/02(日) 11:22:490123１３２人目の素数さん
2006/07/02(日) 11:25:230124１３２人目の素数さん
2006/07/03(月) 03:57:11ZFの可算モデル使えよ。
まあ、計算機の「実数型」が近似小数であることは間違いないが。
0125１３２人目の素数さん
2006/07/04(火) 00:27:48受けようかな？
0126１３２人目の素数さん
2006/07/04(火) 00:33:200127１３２人目の素数さん
2006/07/04(火) 01:33:20>計算機のメモリ上で区別できる数は可算無限個である。
そんなすごい計算機があるんですか？
0128１３２人目の素数さん
2006/07/04(火) 16:22:020129５２
2006/07/05(水) 00:05:39やっと届いた
近所の本屋で注文したが約1ヶ月かかった
本屋で注文すると時間がかかるのはなかなか改善されないね
0130１３２人目の素数さん
2006/07/05(水) 20:34:55取って使えるというものではないので、
情報系エンジニアでも受けない人も多いんだろうな。
0131１３２人目の素数さん
2006/07/07(金) 21:12:010132１３２人目の素数さん
2006/07/28(金) 16:58:100133１３２人目の素数さん
2006/08/04(金) 22:23:23プラパズルかぁ・・・
１個か２個うちにあったなあ。
0134１３２人目の素数さん
2006/08/04(金) 23:11:320135１３２人目の素数さん
2006/08/05(土) 01:59:530136１３２人目の素数さん
2006/08/17(木) 23:17:27はなやまだっけ？
0137１３２人目の素数さん
2006/08/30(水) 16:57:300138１３２人目の素数さん
2006/10/03(火) 00:21:550139１３２人目の素数さん
2006/10/29(日) 13:34:32r─────────────┐
| この機械が何をするものか .|
| わかるのかね？ .|
└─ｖ ――――― ― ―― ――┘ r──────────┐
,,,,,, ｜ 自動的に計算を行う |
,彡{｛｝}}i､ ｜ 機械だと思います ｜
彡 ,._ _,.}} ┌─ｪＴｪエｪＴｪ___ └──ｖ ───────┘
6､ ｀・Ｊ・ｉ. ├|!挂i圭i卦l|┤ ,.,rrｍ､
,/ヽ/冖人. ├|!挂i圭i卦l|┤ /彡!!!ｼ☆@
, -''{ {l>O<l }｀ー､＿___＿.├|!挂i圭i卦l|┤ {ﾐl_._ _._｀{ミ}!i
l l l {{i}} .l ├|!挂i圭i卦l|┤ {ﾐ} ・､ ・｀ {ﾐ}!!l
.| y ヽ l{{i}ﾚ ｒー----- ├|!挂i圭i卦l|┤ ヽワ ノi !!〈
l | ヽ/ | ├|!挂i圭i卦l|┤ ／∬{：}∬::::＼
￣￣￣￣￣￣￣￣￣￣￣ :::i三三三三三三i ￣￣￣￣￣￣￣￣￣￣￣￣￣
0140１３２人目の素数さん
2006/11/13(月) 02:27:020141１３２人目の素数さん
2006/11/16(木) 21:26:34どうみてもヌメリカルだよな
0142１３２人目の素数さん
2006/12/10(日) 23:27:01それはない。
材質はほとんど竹だ。
老朽化が激しい。
うちの学校にくさるほどある。というかくさってる（悪臭がする）。
0143１３２人目の素数さん
2006/12/12(火) 16:25:280144１３２人目の素数さん
2007/01/19(金) 23:28:29数学は必要か？
0145１３２人目の素数さん
2007/01/20(土) 00:37:370146１３２人目の素数さん
2007/01/28(日) 20:31:30今から勉強。
0147１３２人目の素数さん
2007/02/01(木) 22:05:560148１３２人目の素数さん
2007/02/02(金) 01:24:12答え丸暗記でいい問いは、数学とは呼ばない。算数。
0149１３２人目の素数さん
2007/02/05(月) 18:17:340150１３２人目の素数さん
2007/02/15(木) 15:23:55ルンゲクッタ法では誤差が抑えられるらしいのですが、
そうなる理由などももちろん証明されているんですよね。
それって数値解析のどんな本でも載ってますか？
0151１３２人目の素数さん
2007/02/17(土) 06:42:470152１３２人目の素数さん
2007/03/05(月) 19:36:41Ｃ言語はじめてでもおｋなやつ。
0153１３２人目の素数さん
2007/03/11(日) 21:28:070154１３２人目の素数さん
2007/04/04(水) 00:56:410155１３２人目の素数さん
2007/05/04(金) 21:48:05安いので。
0156１３２人目の素数さん
2007/05/04(金) 21:51:550157１３２人目の素数さん
2007/05/05(土) 09:49:18数・四則演算
方程式・不等式・行列
三角比・三角関数
指数・対数
統計
微積分
0158１３２人目の素数さん
2007/05/05(土) 13:33:10十進BASICで十分。シンボリックな計算（多項式の因数分解とか）を
したいのならMAXIMA。
0159１３２人目の素数さん
2007/05/05(土) 18:58:01微分積分から多項式の因数分解まで可能になるらしい。
Ruby言語については調べてないけど、
かなり野心的なプロジェクトだからねえ…ありそうな予感。
0160１３２人目の素数さん
2007/05/05(土) 23:51:430161１３２人目の素数さん
2007/05/06(日) 00:17:530162１３２人目の素数さん
2007/05/06(日) 00:22:420163１３２人目の素数さん
2007/05/06(日) 18:37:43http://www.computer.org/portal/site/cise/menuitem.92a12adebee18778161489108bcd45f3/index.jsp?&pName=cise_level1_article&TheCat=1015&path=cise/2007/n3&file=oli.xml&
Pythonね。
Rubyは……Cのライブラリそのまま呼べばいいんじゃない？
いちおう
http://pub.cozmixng.org/~the-rwiki/rw-cgi.rb?cmd=view;name=Ruby+for+Science
いずれにせよ、
> >>157ぐらいなら大体の言語でできそうだな
同意。
0164１３２人目の素数さん
2007/05/13(日) 23:34:25それなんて読むの？
ﾏｽｴｯﾁ?
0165１３２人目の素数さん
2007/05/25(金) 23:44:550166KingOfUniverse ◆667la1PjK2
2007/05/26(土) 08:37:160167１３２人目の素数さん
2007/05/26(土) 09:43:150168KingOfUniverse ◆667la1PjK2
2007/05/26(土) 13:08:260169１３２人目の素数さん
2007/05/26(土) 14:25:470170１３２人目の素数さん
2007/05/26(土) 23:22:59おっさんやなあー。DOS時代の人？
0171KingOfUniverse ◆667la1PjK2
2007/05/26(土) 23:24:480172１３２人目の素数さん
2007/06/03(日) 02:19:080173１３２人目の素数さん
2007/06/03(日) 19:32:08漏れは授業ではマッスドットヘッダって読んでるよ。
マスエッチじゃせんずりがＨということになってしまう。
0174１３２人目の素数さん
2007/06/04(月) 12:54:55ああこうやって無限展開すれば良いのかと。微分ってスバラシイなと。
0175KingOfUniverse ◆667la1PjK2
2007/06/04(月) 17:17:410176１３２人目の素数さん
2007/06/06(水) 22:53:51i=0
wile test $i -le 9
do
let j=i+1
echo $j > $i.dat
let i=i+1
done
0177１３２人目の素数さん
2007/06/07(木) 21:45:450178２次方程式ax2+bx+c=0の解を求める。
2007/06/08(金) 00:19:09{
double a,b,c,d,e,ans1,ans2;
scanf("%lf %lf %lf",&a,&b,&c);
d=b*b-(4.0*a*c);
e=a*2.0;
if (d==0.0)
{
ans1=(-b/e);
printf("ans=%lf\n",ans1);
}
else if (d>0.0)
{
ans1=(-b+sqrt(d))/e;
ans2=(-b-sqrt(d))/e;
printf("ans1=%lf ans2=%lf\n",ans1,ans2);
}
else if (d<0.0)
{
printf("error\n");
}
return 0;
}
0179１３２人目の素数さん
2007/06/08(金) 00:21:38いまはMSもVC++を無料配布してる
0180１３２人目の素数さん
2007/06/08(金) 04:14:490181１３２人目の素数さん
2007/06/08(金) 07:07:47http://www.akita-nct.ac.jp/~yamamoto/lecture/2003/2E/add_circuit/node4.html
0182１３２人目の素数さん
2007/06/08(金) 16:29:470183KingOfUniverse ◆667la1PjK2
2007/06/08(金) 17:56:070184１３２人目の素数さん
2007/06/09(土) 01:09:05計算過程より意味が知りたい。
基礎論でやるのか？
0185１３２人目の素数さん
2007/06/09(土) 16:24:38可算器の中身が知りたいということか？
0186１３２人目の素数さん
2007/06/17(日) 22:28:55虚数解を求められるように作り変えてくれ。
0187１３２人目の素数さん
2007/06/23(土) 07:47:130188エレガントな解答を求む
2007/06/23(土) 07:51:440189エレガントな解答を求む
2007/06/23(土) 08:04:15許される言語は、Pascal, C, アセンブラ
以外の言語によるプログラムはプログラムとは認めません
0190１３２人目の素数さん
2007/06/23(土) 08:37:030191１３２人目の素数さん
2007/06/23(土) 08:47:11是非
0192エレガントな解答を求む
2007/06/23(土) 09:36:26コーディング遅いねｸｽｸｽ
0193１３２人目の素数さん
2007/06/23(土) 09:47:020194１３２人目の素数さん
2007/06/23(土) 09:57:521600ビットの多バイト長演算ができれば十分だな。
その問題に限るのならば
３倍することと、下の桁から０が幾つ続くか数える機能があれば十分だ。
0195エレガントな解答を求む
2007/06/23(土) 10:04:090196１３２人目の素数さん
2007/06/23(土) 10:21:20/* 加算 */
void add(char *buf1,char *buf2,int size)
{
char cf = 0;
int p = 0;
while(p < size){
cf += buf2[p] + buf1[p];
buf1[p++] = cf & 1;
cf >>= 1;
}
}
/* 複写 */
void copy(char *buf1,char *buf2,int size)
{
int p = 0;
while(p < size){
buf1[p] = buf2[p];
p++;
}
}
/* 下桁からの0のカウント */
int count(char *buf1,int size)
{
int p = 0;
int c = 0;
while(p < size){
if(buf1[p++]) break;
c++;
}
return c;
}
0197エレガントな解答を求む
2007/06/23(土) 10:38:04カメッ！！！
0198１３２人目の素数さん
2007/06/23(土) 10:38:27例えば Lisp ならたった一行ですむぞ
(log (gcd (expt 2 (ceiling (* 960 (log 3 2)))) (1- (expt 3 960))) 2)
0199エレガントな解答を求む
2007/06/23(土) 10:41:10答えを出力するのに何秒かかりますか？
漏れのコードは2.5秒くらいです
0201１３２人目の素数さん
2007/06/23(土) 11:20:480202エレガントな解答を求む
2007/06/23(土) 11:29:42マシン名とOSと計算時間を計測できた証拠をスクリーンショットうｐして
0203sage
2007/06/23(土) 11:29:54960=2^４ x 3 x 5
n = 2^{４+2} = 2^6 = 64
0204間違い
2007/06/23(土) 11:33:50n = 2^{６+2} = 2^8 = 256
0205１３２人目の素数さん
2007/06/23(土) 11:44:110206１３２人目の素数さん
2007/06/23(土) 11:49:51めんどくさいんで自分で適当な処理系入れて試してくれ
xyzzy でもちゃんと動く
0208198
2007/06/23(土) 11:57:06WinXP, Celeron 2.66GHz, 480 MB RAM
clisp の出力ぐらいなら貼り付けとこうか
[9]> (time (log (gcd (expt 2 (ceiling (* 960 (log 3 2)))) (1- (expt 3 960))) 2))
Real time: 0.0 sec.
Run time: 0.0 sec.
Space: 2800 Bytes
8
[10]> (time (log (gcd (expt 2 (ceiling (* 9600 (log 3 2)))) (1- (expt 3 9600))) 2))
Real time: 0.015625 sec.
Run time: 0.015625 sec.
Space: 14400 Bytes
9
0209１３２人目の素数さん
2007/06/23(土) 12:04:472^8 * 5^2 * 7 * 11^2 * 13 * 17 * 31 * 41 * 61 * 73
* 97 * 193 * 241 * 271 * 577 * 769 * 1181 * 4561 * 4801
* 6481 * 7297 * 13921 * 14401 * 68737 * 76801 * 298801
* 8194721 * 21523361 * 26050081 * 42521761 * 47763361
* 96948097
* 84489691563403358010750402934223330835094869318273679247085691259038830946067063
46130758565511717535968463344839720676313265201537026350658106114057528584175327
37881542252917430405648860728861897621986007254705144459597953689970233790588789
40990758782068609632751654358615313822695368149806235137742298772639880296678657
140009594801562574017
0211間違い
2007/06/23(土) 12:59:043^{2^t x 奇数} = 1 mod. 2^{t+2}
0212１３２人目の素数さん
2007/06/23(土) 16:16:483^{2^t x 奇数} ≠ 1 mod. 2^{t+k}
はどうやって分かるの？
0213エレガントな解答を求む
2007/06/23(土) 18:19:23クドくてすみません
そのウインドウのスクリーンショットうｐ願います
0214１３２人目の素数さん
2007/06/23(土) 18:24:420215エレガントな解答を求む
2007/06/23(土) 18:27:480216エレガントな解答を求む
2007/06/23(土) 18:33:07http://amezolog.hp.infoseek.co.jp/source/up6033.jpg
計測はストップウオッチでしました（失礼）
0217エレガントな解答を求む
2007/06/23(土) 18:48:59これですか、windows版にportされてるんでしょうか
0218１３２人目の素数さん
2007/06/23(土) 22:14:15V_p(x) で、有理数 x を既約分数で書いたとき分子が p で割れる回数(加法的 p進附値)を表すと
(例 V_2(8/7)=3 )
V_p(xy) = V_p(x) + V_p(y) ...(1)
V_p(x+y) >= min(V_p(x), V_p(y)) ...(2) もし右辺の min が引き分けでなければ等号成立
で、わしの計算にバグがなければ、 C(n,k) で n 個から k個とる2項係数を表すとし、
0 < b < a 整数、 a は p で割れない、m > 0 整数、 d < p^m に対して
V_p( C(ap^m , bp^m+d) ) = m + V_p(C(a, b)) + V_p(a-b) - V_p(d) ...(3)
となる。 p = 2, m = 6, a = 15 を代入、_2 は省略すると
V( C(960, 64 b + d) ) = 6 + V(15, b) + V(15 - b) - V(d) ...(4)
さて 3^960 - 1 = (4-1)^960 -1 = \sum_{j=1}^{960} C(960, j) (-4)^j ...(5) の各項の V( ) を考える。符号は無関係。
j を 64 で割った商を b 余りを d とすると、
V( C(960, j) 4^j ) = 128 b + 2d + 6 + V(C(15, b)) + V(15 - b) - V(d) ...(6)
この式からわかること:
b = 0 のとき V( C(960, d) 4^d ) = 2d + 6 - V(d)
で、 d = 1 ならこれは 8、 一方 d >= 2 なら d > V(d) に注意して V( C(960, d) 4^d ) > d + 6 >= 8
より C(960, d) は 2^9 で割れる。 b >= 1 のとき、C(960, j) 4^j が 2^128 で割れることも簡単にわかる。
結局、(5)の２項展開の 第1 項目を除き 2^9 で割り切れ、そして第１項目はジャスト 2^8 で割れる。
式(2) を利用することにより、V(3^960-1) = 8 であることがわかった。
n = 0, 1, ..., 8.
0219エレガントな解答を求む
2007/06/23(土) 22:24:00http://ftp.gnu.org/pub/gnu/clisp/packages/
どれをインスコすればいいですか？(;´Д`)
当方Fedora ７です
>>218
勉強になります
で、0∈N でしたっけ？(;´Д`)
0220217
2007/06/23(土) 22:27:33ちなみに、全然関係ない話ですが、通常V_p(0) = ∞ と定義する。
0多項式の次数 を -∞と定義すると辻褄があうのと同じ理由で。
0223218 orz
2007/06/23(土) 22:45:38d は 0 以上が前提になっています。また、b = d = 0 も考えない。
式(3)(6), b >= 1, d = 0 のときのみ、 最後の-V_p(d) は -V_p(b)-m
と書きかえる。(もともとは、-V_p(b p^m + d) という項で、こう書けば場合分けはいらなかった）
この場合 2^128 で割れる？という部分が心配。
V( C(960, 64b ) 4^64b ) = 128 b + 6 + V(C(15, b)) + V(15 - b) - V(b) - 6
まあ～ b >= v(b) ぐらいを考えて、2^127 でならわれるでしょう、というあたりでよしとする
0224198
2007/06/23(土) 22:49:04で、実は 1/64 秒単位での計測らしい。
1 ミリ秒かからんとか書いたけどそこまで正確なことはわからなかったな。
ちゃんと確かめなくてすまんかった。
まあ、xyzzy で 0.4 ミリ秒ぐらいみたいなんで間違ってはないだろうけど。
0225エレガントな解答を求む
2007/06/23(土) 23:00:24Cygwinですか？
0秒とは奇跡的ですね
失礼ながら、解を全て列挙するようにプログラムをmodifyしていただけますか？
やっぱり０秒でしょうか
0226218
2007/06/23(土) 23:03:23? valuation(3^960-1, 2)
%6 = 8
（時間までは計っていないが一瞬)
0227198
2007/06/23(土) 23:18:39いや、WinXP で。
変更といっても最大値が求まればあとは表示するだけだからなあ。
なんか表示で時間を食うのか、real time だけ 0.015625 になったりならなかったり。
0228エレガントな解答を求む
2007/06/23(土) 23:41:35すいません
その clisp というものの binary はどこでゲットできるでしょうか
あと、できれば、解nを全て列挙するコードもいっしょに
0229198
2007/06/23(土) 23:51:46ttp://lispuser.net/commonlisp/clisp.html#clisp-for-win32-slime-ltk
列挙するコードつーか最大値求めてそれ以下のものを並べるだけなのだが
(time (loop for x from 0 to (log (gcd (expt 2 (ceiling (* 960 (log 3 2))))
(1- (expt 3 960))) 2) do (print x)))
0230エレガントな解答を求む
2007/06/24(日) 00:11:07ttp://lispuser.net/commonlisp/clisp.html#clisp-for-win32-slime-ltk
ダメだあ。DLしてもzipが壊れてる(;´Д`)
＞列挙するコードつーか最大値求めてそれ以下のものを並べるだけなのだが
ちなみに何msで出ますか？
0231198
2007/06/24(日) 00:44:37real time と run time でも違う
粗すぎてよくわかんないけど 15ms ぐらいなのかな
0232１３２人目の素数さん
2007/06/24(日) 00:58:200233エレガントな解答を求む
2007/06/24(日) 06:01:44(EXPT 3 960) is not a function name
と出てevaれないんですけど(;´Д`)
0234エレガントな解答を求む
2007/06/24(日) 06:21:19あー なんかCでシコシココーディングするのが莫迦莫迦しくなってきた(;´Д`)
0235エレガントな解答を求む
2007/06/24(日) 08:23:22ちょっと質問です
nについての方程式：(3^960-1)/4^n∈N を解いて
解を全て列挙せよ
はどうやって解けばよろしいでしょうか？
0236orz 218
2007/06/24(日) 09:20:40>>223
式(3)(6), b >= 1, d = 0 のときのみ、 最後の-V_p(d) は -V_p(b)-m
と書きかえる。(もともとは、-V_p(b p^m + d) という項で、こう書けば場合分けはいらなかった）
よく見直すと、その -V_p(b p^m+d) の項は d がゼロのときは出ない「おつり」であることが判明 orz
V_p( C(ap^m , bp^m+d) ) = m + V_p(C(a, b)) + V_p(a-b) - ((d>0) ? V_p(d) : 0)
? : は Cの３項演算子です。これを(3)の修正版とします
>>235
4^t = 2^(2t) なんだから、あらためて解く必要はないのでは
（解くプログラムを作れという課題ならともかくとして）
なおロシア式はいまのところ割る数が素数 p （直上の議論で素数べき)にしか対応してません。
4 より 6 とかですかね
あと lisp で log に誤差がでないかちょっと心配（中で底が 2 のときは別処理してるのかな。
とすると 2 を別の数 に変えた問題で使うときは要注意かも
0239198
2007/06/24(日) 10:46:502 を 4 にするだけでいいんじゃない
>>236
> log に誤差
じゃあ素直にこんなのとか。有理数しか使ってないので安心。
(do ((x 0 (1+ x))
(y (1- (expt 3 960)) (/ y 2)))
((not (integerp y)))
(print x))
0240間違い
2007/06/24(日) 11:04:23(do ((x 0 (1+ x))
(y (1- (expt 3 966661)) (/ y 2)))
((not (integerp y)))
(print x))
でやってみて？
0242218 236
2007/06/24(日) 12:26:120243１３２人目の素数さん
2007/06/24(日) 13:05:240244１３２人目の素数さん
2007/06/24(日) 14:47:270245１３２人目の素数さん
2007/06/24(日) 14:52:560246エレガントな解答を求む
2007/06/24(日) 16:26:09結局
問題
>>235
は解けたのでしょうか？
0247１３２人目の素数さん
2007/06/24(日) 16:48:080248エレガントな解答を求む
2007/06/24(日) 17:11:50Celron 2.8GHz Mem 1GB
で約2.5秒ほどでした
http://amezolog.hp.infoseek.co.jp/source/up6057.jpg
http://amezolog.hp.infoseek.co.jp/source/up6058.jpg
目標は、あるコンピュータを使って、0.2秒くらいにチューニングすることです
0249１３２人目の素数さん
2007/06/24(日) 17:58:17x=3**960-1
i=0
while x%2==0: x/=2; i+=1
return i
0250エレガントな解答を求む
2007/06/24(日) 20:54:14何語ですかぁ～？
バグってるし
0251１３２人目の素数さん
2007/06/24(日) 21:02:210252エレガントな解答を求む
2007/06/24(日) 21:26:45x=3**960-1
i=0
while( x%2==0){ x/=2; i+=1;}
return i
こんなかんじだったらわかるようなわからないような
眠い
0253エレガントな解答を求む
2007/06/24(日) 22:09:10x=3**960-1
i=0
while( x%2==0){
xx=x;
for(j = 0; j < i; j++, xx/=2){
if( xx%2 == 1){ printf("ATARI=%d\n", j); break;}
}
x/=2; i+=1;}
return i
こうですね
http://amezolog.hp.infoseek.co.jp/source/up6059.jpg
0.063 sec まで高速化？しました！？
0254エレガントな解答を求む
2007/06/24(日) 22:12:03def a():
x=3**960-1
i=0
while( x%2==0){
xx=x;
for(j = 0; j < i; j++, xx/=2){
if( xx%2 == 1){ printf("ATARI=%d\n", j); break;}
}
x/=2; i+=1;}
return i
こうですね
http://amezolog.hp.infoseek.co.jp/source/up6059.jpg
0.063 sec まで高速化？しました！？
0256１３２人目の素数さん
2007/06/24(日) 22:35:55こっちで計算したら下16バイトはこうなったんだけど
4082d184176febff4ef057ea089e1301
0257エレガントな解答を求む
2007/06/24(日) 23:26:12CPUなに使っておられますか？
当方Celron2.8G
0258エレガントな解答を求む
2007/06/24(日) 23:30:58はい 少々手抜きしております
http://amezolog.hp.infoseek.co.jp/source/up6061.jpg
0259１３２人目の素数さん
2007/06/24(日) 23:35:223^960 を16進表示したら下32桁はどうなるかを計算した結果が >>256
0260エレガントな解答を求む
2007/06/24(日) 23:49:40print_bignumber(int i, BIGNUMBER *X){
int j;
printf("\n%d:", i);
for(j=0;j < MAX_BIGNUMBER;j++){
printf("%08x", X->u[j]);
}
}
0261エレガントな解答を求む
2007/06/24(日) 23:50:46とやるんでしたっけ？
0262エレガントな解答を求む
2007/06/24(日) 23:52:54だと
printf("%010x",..) ???
0263１３２人目の素数さん
2007/06/25(月) 00:20:24octal は8進数
0264１３２人目の素数さん
2007/06/25(月) 00:31:51%08x でいいんじゃね？
でも足し算の実装見ると最上位ビットはキャリーフラグ用になってる？
0265１３２人目の素数さん
2007/06/25(月) 01:49:32>>249はpythonという言語。x=3**960-1のところもそのまま動く。
0266エレガントな解答を求む
2007/06/25(月) 06:35:02int は32bit で32/4=8だから %08xでいいんですね。ラリってました
＞でも足し算の実装見ると最上位ビットはキャリーフラグ用になってる？
当たり carry も見れたほうがデバッグ上安心だと思って
>>265
python て C のbreak; 制御語みたいの使える？あと switchとか
0267１３２人目の素数さん
2007/06/25(月) 10:52:06switchはないけど、breakならあるよ
>>249の同値な書き換え
def a():
x=3**960-1
i=0
while 1:
if x%2 != 0: break
x/=2
i+=1
return i
0268エレガントな解答を求む
2007/06/25(月) 19:30:28因みに計算時間はどのくらいかかりますか？63msより速いでしょうか
0269１３２人目の素数さん
2007/06/25(月) 21:37:450270エレガントな解答を求む
2007/06/25(月) 21:45:570271１３２人目の素数さん
2007/06/26(火) 00:08:021000回平均で大体0.000053 ～ 0.000054秒ぐらいらしい・・
一応pythonに似た言語のrubyでも計ってみたら、ほぼおんなじ関数で、平均0.000182 ～ 0.000188秒くらい・・
0272198
2007/06/26(火) 00:35:53つーことで clisp にこれを評価してもらった。
(time (dotimes (a 10000)
(do ((x 0 (1+ x))
(y (1- (expt 3 960)) (/ y 2)))
((not (integerp y)))
(print x))))
Real time: 1.953125 sec.
Run time: 1.953125 sec.
Space: 59506100 Bytes
GC: 113, GC time: 0.53125 sec.
ふむ。一回だとゴミはあまり出ないとして 0.14ms?
ちなみに print しなかったら 1.11 sec ぐらいだった。
あと出力はファイルにリダイレクトしないとえらいことになるかも。
>>270
そうなの？
0273エレガントな解答を求む
2007/06/26(火) 06:46:26漏れも１０回計算して平均とってみた 35ms 悔しい
でも ＞Space: 59506100 Bytes メモリ使い杉
時間*空間 で勝負したら負けないと思う
＞そうなの
今、perl で state machine 作ってるので
elsif elsif ・・・ でプログラムが汚い
0274エレガントな解答を求む
2007/06/26(火) 07:12:18小せえな俺
0276エレガントな解答を求む
2007/06/26(火) 19:00:01lisper の方は if( if( if( if()))))))) とかに美学を感じるのですか
0277１３２人目の素数さん
2007/06/26(火) 19:35:54でも大掛かりなシステム組むんじゃないんだから、堅苦しいこといわないで、気軽に使えばいいと思う。
0278エレガントな解答を求む
2007/06/26(火) 19:40:36確かに、大掛かりなシステムの場合はそれが、、、
0279１３２人目の素数さん
2007/06/26(火) 19:43:060280エレガントな解答を求む
2007/06/26(火) 20:00:49必要なような、そうでないような、、、
0281198
2007/06/26(火) 20:27:49いや、別にそうではないが。
というか大量の分岐を直接書くこと自体が好きじゃなくて、
可能ならばハッシュ表なり配列なりを参照して済ませたいなとか思う。
0282エレガントな解答を求む
2007/06/26(火) 20:41:01ハッシュも配列も複雑すぎる木がしますぅ
0283エレガントな解答を求む
2007/06/26(火) 21:00:33を過ごしたので貧乏性なんです
0284198
2007/06/26(火) 21:35:02なんとなくわかるかも
0285１３２人目の素数さん
2007/06/26(火) 21:37:170286１３２人目の素数さん
2007/06/27(水) 16:29:06するようなプログラムなんて書いたことないや
0287１３２人目の素数さん
2007/06/27(水) 18:27:48「大量」ってのはどのくらいを指すんだろう？
0288198
2007/06/27(水) 21:20:33一画面に収まりきらないぐらいになると美しくないと感じる。
まあしょうがないことも多いんだけどね。パーサとか。
0289１３２人目の素数さん
2007/06/28(木) 02:36:19小さくまとめることも可能なんだが
そうするとかえって面倒なことになることもあるな。
0290286
2007/06/28(木) 20:47:15その後、lex,yaccに誘惑されて、、、、、、、、、、、、、、
結局今はSQLの勉強しています
0291１３２人目の素数さん
2007/07/01(日) 19:20:100292１３２人目の素数さん
2007/07/02(月) 02:44:34CPUが1MHzだったころにメモリ1k3000円で買えたっけ？
0293１３２人目の素数さん
2007/07/06(金) 01:00:210294１３２人目の素数さん
2007/07/06(金) 01:29:131k3000円ではちょっと無理かな‥
0295１３２人目の素数さん
2007/07/06(金) 20:38:260296１３２人目の素数さん
2007/07/17(火) 21:46:450297297
2007/07/19(木) 22:26:010298298
2007/07/19(木) 22:39:550299299
2007/07/19(木) 22:52:100300１３２人目の素数さん
2007/07/20(金) 21:44:260301デニス リッチー
2007/07/21(土) 12:05:050302カーニハン
2007/07/21(土) 12:49:490303ニクラウス ヴィルス
2007/07/21(土) 14:47:270304１３２人目の素数さん
2007/07/21(土) 21:20:230305ケン トンプソン
2007/07/21(土) 21:32:320306石田晴久
2007/07/21(土) 21:56:090307ビョ～ン ストラウストラップ
2007/07/21(土) 21:58:580308１３２人目の素数さん
2007/07/29(日) 00:16:550309名無しさん＠そうだ選挙に行こう
2007/07/29(日) 03:20:13算数しかありません、以上
0310１３２人目の素数さん
2007/08/01(水) 01:15:49３０歳でやっとこさ旧２種通った。
0311１３２人目の素数さん
2007/08/01(水) 08:51:160312１３２人目の素数さん
2007/08/01(水) 19:19:18制度が変わるようだな
0313１３２人目の素数さん
2007/08/19(日) 19:09:52今申し込んだ
さて、通るかな？
0314１３２人目の素数さん
2007/08/19(日) 19:11:550315１３２人目の素数さん
2007/08/19(日) 21:45:380316１３２人目の素数さん
2007/08/19(日) 21:53:480317１３２人目の素数さん
2007/08/19(日) 21:56:57真面目にやるならそれなり鴨。
ただ、出題者も理論をさっぱり理解できていないのがこの世界。
バカでもまぐれでも答えさえ合えば良いんだよ！
0318１３２人目の素数さん
2007/08/19(日) 23:53:29２進数なんかの計算はとりあえず必要だな。
0319１３２人目の素数さん
2007/08/20(月) 00:33:39つかクイックソートもバブルソートもｇｄｇｄ。
「とにかく覚えとけ」だってｗ
そんなレベル。
0320１３２人目の素数さん
2007/08/20(月) 08:07:290321１３２人目の素数さん
2007/08/20(月) 10:02:18ソフ開の参考書にないかえ？
0322１３２人目の素数さん
2007/08/21(火) 07:44:17シェルソートのタイトな計算量評価は非常に難しいことが
知られている。常識だと思うんだが。
0323１３２人目の素数さん
2007/08/30(木) 21:39:41ぜひ教えて下され。
0324１３２人目の素数さん
2007/08/31(金) 14:25:210325１３２人目の素数さん
2007/09/19(水) 22:38:500326１３２人目の素数さん
2007/09/20(木) 00:32:040327１３２人目の素数さん
2007/10/02(火) 10:10:190328１３２人目の素数さん
2007/10/02(火) 11:07:080329１３２人目の素数さん
2007/10/07(日) 01:20:530330１３２人目の素数さん
2007/10/30(火) 13:52:180331１３２人目の素数さん
2008/01/04(金) 11:09:300332１３２人目の素数さん
2008/01/06(日) 21:17:100333333
2008/01/15(火) 21:53:560334１３２人目の素数さん
2008/03/15(土) 10:46:38応援してね!
0335１３２人目の素数さん
2008/04/14(月) 20:59:490336１３２人目の素数さん
2008/04/15(火) 21:27:170337１３２人目の素数さん
2008/04/15(火) 22:49:100338１３２人目の素数さん
2008/04/15(火) 23:02:200339１３２人目の素数さん
2008/04/16(水) 00:42:570340１３２人目の素数さん
2008/04/16(水) 09:24:44入らないんだぜ？
03411stVirtue ◆.NHnubyYck
2008/04/16(水) 14:12:160342１３２人目の素数さん
2008/04/17(木) 21:40:220343１３２人目の素数さん
2008/04/18(金) 12:20:440344１３２人目の素数さん
2008/04/19(土) 19:03:100345１３２人目の素数さん
2008/04/19(土) 23:58:06がんがれ。時間切れに注意しろ。
0346１３２人目の素数さん
2008/04/20(日) 00:13:18サンク
んじゃねま～す
0347１３２人目の素数さん
2008/05/27(火) 17:26:040348１３２人目の素数さん
2008/05/31(土) 02:25:280349１３２人目の素数さん
2008/05/31(土) 09:35:480350１３２人目の素数さん
2008/06/09(月) 21:17:32「(あるクラスの)環ＡのイデアルＩが、自然数ｎについての条件(Ｐn)を満たすなら、Ｉはｎ個(以下)の元で生成される。」
0351１３２人目の素数さん
2008/06/12(木) 02:17:130352１３２人目の素数さん
2008/06/12(木) 06:12:46↑一時期これが欲しくなって数万出して買いそうになった。
が、思いとどまってよかった
0353１３２人目の素数さん
2008/06/12(木) 10:52:200354１３２人目の素数さん
2008/06/29(日) 13:52:010355１３２人目の素数さん
2008/06/30(月) 00:34:160356１３２人目の素数さん
2008/06/30(月) 13:03:560357１３２人目の素数さん
2008/06/30(月) 14:46:440358１３２人目の素数さん
2008/08/11(月) 19:32:230359１３２人目の素数さん
2008/10/04(土) 11:35:050360１３２人目の素数さん
2008/10/13(月) 09:06:09写真撮らなきゃ・・・
0361１３２人目の素数さん
2008/10/19(日) 01:33:43貼った！
さあどうだどうだ！
0362１３２人目の素数さん
2008/11/19(水) 22:36:050363１３２人目の素数さん
2008/11/26(水) 23:48:520364１３２人目の素数さん
2009/01/06(火) 10:15:56精選予想600題
問282
A,B,C,Dは、ある関係Rの属性集合の部分集合であり、関数従属A→BC,
CD→Eが成り立つ。これらの関数従属から導かれる関数従属はどれか。
ここで、XYはXとYの和集合を示す。
ア：A→E
イ：AD→E
ウ：C→E
エ：D→E
答
関数従属A→BCは、A→BかつA→Cを意味しているので、Aが成り立てばCは成り立つ。
関数従属CD→Eは、CとDが成り立てばEが成り立つことを意味している。ここで、
A→Cなのだから、AとDが成り立てば、CとDが成り立つことになり、Eが成り立つ。
つまり、AD→Eである。
あってる？
0365１３２人目の素数さん
2009/01/06(火) 16:22:330366１３２人目の素数さん
2009/01/06(火) 17:15:170367１３２人目の素数さん
2009/01/07(水) 02:14:41普通何らかの記号を挟まないかい？
0368１３２人目の素数さん
2009/01/07(水) 10:33:000369１３２人目の素数さん
2009/01/08(木) 16:08:44ここがわからん。
BCが和集合なら A→BC は A→BまたはA→C を意味しそうなもんだが
関数従属というのはそういうものじゃないのか？
0370１３２人目の素数さん
2009/01/11(日) 09:07:17IE使ってた頃は履歴を削除したつもりでも、エクセルでセルをハイパーリンクするときに、
ブラウザしたページのところに削除したつもりの履歴が参照リンク先として出てきて恥ずか
しということがなくなってよかったわ。
0371370
2009/01/11(日) 09:11:250372370
2009/01/11(日) 10:07:04だった。ミスだらけ、書かなきゃよかった。。
0373１３２人目の素数さん
2009/01/11(日) 23:19:490374370
2009/01/12(月) 05:25:56どう？ 違和感ある？
0375１３２人目の素数さん
2009/01/12(月) 19:11:41＞BCが和集合なら A→BC は A→BまたはA→C を意味しそうなもんだが
違うよ。
答の通り。
0376１３２人目の素数さん
2009/01/12(月) 19:48:560377１３２人目の素数さん
2009/01/12(月) 22:25:150378１３２人目の素数さん
2009/01/13(火) 01:35:07λx . x ---> I combinator
λxy . x ---> K combinator
λxyz . xz(yz) ---> S combinator
λf . (λx . f(xx))(λx . f(xx)) ---> Y combinator
0379１３２人目の素数さん
2009/01/13(火) 11:24:370380１３２人目の素数さん
2009/01/13(火) 18:35:59詳しい人のようだからさらに尋ねてみる。
通常の論理では
A ⇒ （B∨C）
= （B∨C） ∨ ￢A
= B ∨ C ∨ ￢A
= (B ∨￢A) ∨ (C ∨￢A)
= (A⇒B) ∨ (A⇒C)
となると思うんだが
関数従属というのはそういうものとは違うものなの？
0381１３２人目の素数さん
2009/01/13(火) 18:47:57375ではないが
関数従属の→は論理の⇒とは異なる関係。
A→Bは、「Aに含まれる属性をもつならば、Bに含まれる属性は一意に決定される」ことを指す。
0382１３２人目の素数さん
2009/01/16(金) 22:09:56現場にいたことないからわからん。
0383１３２人目の素数さん
2009/01/16(金) 22:46:520384１３２人目の素数さん
2009/01/17(土) 11:17:020385１３２人目の素数さん
2009/02/11(水) 16:45:480386１３２人目の素数さん
2009/02/17(火) 22:15:01今度こそ取るぞ！
0387１３２人目の素数さん
2009/02/18(水) 20:26:280388１３２人目の素数さん
2009/02/18(水) 20:31:53締め切りました）※2/19(木)20時締切
・ITパスポート試験
・基本情報技術者試験
・初級システムアドミニストレータ試験
これならまだ受け付けてるぞ。
0389１３２人目の素数さん
2009/02/21(土) 21:43:160390１３２人目の素数さん
2009/02/23(月) 20:17:27秋にがんがってね。
0391１３２人目の素数さん
2009/04/13(月) 21:03:46情報処理技術者
やるぞー！
やるぞー！
0392１３２人目の素数さん
2009/05/27(水) 11:26:040393１３２人目の素数さん
2009/07/10(金) 08:28:310394１３２人目の素数さん
2009/07/19(日) 23:08:33僕が持ってる旧２種と大分違うみたいだ。
0395１３２人目の素数さん
2009/07/25(土) 12:22:380396１３２人目の素数さん
2009/07/25(土) 14:48:20謎の箱を４日目にして開けた１
中身は数年前のフィルムだった
現像して出てきた暗号を解きたい！
協力求む！
【箱開けて】アバカムしたらフィルム出た【現像した】■
http://takeshima.2ch.net/test/read.cgi/news4vip/1248489848/
0397１３２人目の素数さん
2009/08/20(木) 11:55:150398１３２人目の素数さん
2009/08/20(木) 11:57:220399１３２人目の素数さん
2009/08/20(木) 13:35:330400１３２人目の素数さん
2009/08/20(木) 19:33:230401１３２人目の素数さん
2009/08/21(金) 00:49:060402１３２人目の素数さん
2009/08/21(金) 19:57:27後から勝手に「初級」なんてつけやがった。
0403１３２人目の素数さん
2009/09/15(火) 15:23:030404１３２人目の素数さん
2009/09/17(木) 20:52:53情報処理技術者って。
0405１３２人目の素数さん
2009/09/18(金) 01:24:580406１３２人目の素数さん
2009/09/18(金) 09:41:20高2の頃、馬鹿高校にいて旧通産省第二種情報処理を1ヶ月半勉強して合格
与謝野馨の名前入り症状が来たが大学で数学科に行ったし通産省も第二種も無くなって資格の使い道が無くなったのでもはや使い道無し
それぐらいのレベル
0407１３２人目の素数さん
2009/09/21(月) 19:53:000408１３２人目の素数さん
2009/09/29(火) 00:09:360409１３２人目の素数さん
2009/09/30(水) 12:19:190410１３２人目の素数さん
2009/09/30(水) 23:06:500411１３２人目の素数さん
2009/10/01(木) 00:34:180412１３２人目の素数さん
2009/10/01(木) 22:36:060413１３２人目の素数さん
2009/10/02(金) 18:37:410414１３２人目の素数さん
2009/10/03(土) 11:24:38表計算を導入したことにより、
一部旧シスアドの内容を含むようになった。
0415１３２人目の素数さん
2009/10/25(日) 10:32:43皆どうだった？
0416１３２人目の素数さん
2009/10/25(日) 12:52:16受験料、無駄にしてしまったorz
が、受験しても無駄にしたかもなー
0417１３２人目の素数さん
2009/10/25(日) 18:11:27ただ、マークシートの消し跡が大丈夫か不安だなぁorz
0418１３２人目の素数さん
2009/10/26(月) 21:23:480419１３２人目の素数さん
2009/12/03(木) 22:16:000420１３２人目の素数さん
2009/12/13(日) 18:08:510421１３２人目の素数さん
2009/12/13(日) 20:13:000422１３２人目の素数さん
2009/12/14(月) 00:35:02＞旧通産省第二種情報処理
懐かしいね。この資格昭和６２年に取得したよ。
言語はＦＯＲＴＲＡＮの問題を選択したと思う。
まあ自分の場合は会社でソフト開発をしていたから
やりやすかったな。
0423１３２人目の素数さん
2009/12/17(木) 01:25:070424１３２人目の素数さん
2009/12/17(木) 01:33:340426猫は珍獣 ◆ghclfYsc82
2009/12/17(木) 09:07:05馬鹿っちゅうんが絶滅種やないから困るんやけんどナ。
そやし誰か馬鹿を全部集めて撲滅してんかーーー
猫
0427１３２人目の素数さん
2009/12/17(木) 12:34:570428１３２人目の素数さん
2009/12/18(金) 23:12:500429１３２人目の素数さん
2009/12/18(金) 23:39:08彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください
0430１３２人目の素数さん
2009/12/19(土) 00:00:24宇宙船の中の生きていると同時に死んでいる猫。
0431１３２人目の素数さん
2010/02/04(木) 18:48:300432１３２人目の素数さん
2010/03/09(火) 14:35:50柳下浩紀
さんのことなの？非線形拡散方程式って
専門は解析だね。つか、偏微分方程式？
0433１３２人目の素数さん
2010/03/28(日) 20:12:54って最初思った。
0434１３２人目の素数さん
2010/03/28(日) 20:14:46違う
オート羊 だ
0435１３２人目の素数さん
2010/03/30(火) 01:09:080436１３２人目の素数さん
2010/03/31(水) 10:18:23今度こそ取るぞ！
0437１３２人目の素数さん
2010/06/27(日) 11:23:32■ このスレッドは過去ログ倉庫に格納されています