¶¶¶　数学と電子計算機　¶¶¶

[表示 : 全て最新50 1-99 101- 201- 301- 2chのread.cgiへ]
Update time : 05/10 00:23 / Filesize : 65 KB / Number-of Response : 392
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

¶¶¶　数学と電子計算機　¶¶¶

1 名前：１３２人目の素数さん [2006/05/27(土) 10:26:04 ]: 数学と電子計算機の関係は密接だ。
電子計算機でどんどん数学やろう！
2 名前：１３２人目の素数さん [2006/05/27(土) 11:13:55 ]: 電卓で数学
3 名前：１３２人目の素数さん [2006/05/27(土) 15:54:11 ]: 電子計算機っつかクルタ計算機が超欲しい
4 名前：１３２人目の素数さん [2006/05/27(土) 18:19:40 ]: タイガー計算機使ってみたい。
5 名前：１３２人目の素数さん [2006/05/27(土) 19:06:21 ]: 情報処理技術者試験って数学いる？
6 名前：１３２人目の素数さん [2006/05/27(土) 20:29:40 ]: 電子計算機なんて所詮ある公理系に従うゲームに過ぎないのだ。
高々有限のことしかできない以上、数学には何にも本質的な
ところでは寄与することはない。ワープロや論文をゲットする
為の文房具にしかならないよ。数学のように土台がしっかりして
もいなくて、しょっちゅう改定されたり、変わったりするような
いいかげんなものなど、信頼するにあたらない。
7 名前：１３２人目の素数さん [2006/05/27(土) 22:15:05 ]: 電子計算機って懐かしい響きだな。
昔学生の頃の大学の講義で電子計算機命令計画法なんてのがあった
今でいうとコンピュータアルゴリズムだよ
8 名前：１３２人目の素数さん [2006/05/28(日) 09:32:22 ]: コボルで数学は可能か？
9 名前：１３２人目の素数さん mailto:sage [2006/05/28(日) 09:54:09 ]: なんでVBにはevalがないんですか＞＜
10 名前：１３２人目の素数さん [2006/05/28(日) 20:11:13 ]: 数学やるのにふさわしい言語はやっぱりＣ？
11 名前：１３２人目の素数さん [2006/05/28(日) 20:16:11 ]: 僕はC++ちゃん！
12 名前：１３２人目の素数さん [2006/05/28(日) 22:03:55 ]: CとC++の違いはなんだろう？
13 名前：１３２人目の素数さん mailto:sage [2006/05/28(日) 22:09:28 ]: >>8
昔コボルで小説書いちゃった人もいた。
14 名前：１３２人目の素数さん mailto:sage [2006/05/29(月) 07:07:26 ]: 数ヲタならマシン語直接書けよ。
他人の作ったプログラミング言語なんて使ってるようじゃ
いつまでたってもラマヌジャンにはなれないぞ。
15 名前：１３２人目の素数さん [2006/05/29(月) 17:14:05 ]: 真の数ヲタはlispやhaskellの信者
マシン語なんて泥臭いものは指先すら触れない
16 名前：１３２人目の素数さん mailto:sage [2006/05/29(月) 19:07:19 ]: unlambda最強
17 名前：１３２人目の素数さん [2006/05/29(月) 21:10:49 ]: コボルで数学は可能だろうとは思うが、かなり無理矢理。
18 名前：１３２人目の素数さん mailto:sage [2006/05/29(月) 23:05:55 ]: 数ヲタなら categorical programming とか
いや、俺はよく知らないが
19 名前：１３２人目の素数さん [2006/05/29(月) 23:58:04 ]: コボルでマクローリン！
20 名前：１３２人目の素数さん [2006/05/30(火) 03:41:44 ]: >>14
＞数ヲタならマシン語直接書けよ。
＞他人の作ったプログラミング言語なんて使ってるようじゃ
＞いつまでたってもラマヌジャンにはなれないぞ。

マシン語をつかっても特にラマヌジャンに近づくわけでもないが。
21 名前：１３２人目の素数さん mailto:sage [2006/05/30(火) 06:47:20 ]: んな当たり前のことをマジレス風味で返されても・・・
22 名前：１３２人目の素数さん [2006/05/30(火) 23:48:06 ]: 電卓で十分。
23 名前：１３２人目の素数さん [2006/05/31(水) 22:26:12 ]: 小中学校はもっと電卓を取り入れるべきだ。
24 名前：１３２人目の素数さん mailto:sage [2006/05/31(水) 22:33:28 ]: 計算機代数といえば野呂氏
25 名前：１３２人目の素数さん [2006/05/31(水) 22:35:13 ]: ポラロイドを使えば光スイッチが作れる？
26 名前：１３２人目の素数さん [2006/06/03(土) 10:41:05 ]: int mainとvoid main
どうちがうの？
27 名前：１３２人目の素数さん mailto:sage [2006/06/03(土) 12:26:53 ]: とりあえずint mainにしとけばいいんじゃね
28 名前：１３２人目の素数さん [2006/06/03(土) 16:43:36 ]: int mainで解説している本はあんまりない
29 名前：１３２人目の素数さん mailto:sage [2006/06/03(土) 16:59:15 ]: ~$ cat foo.c
void main(){}
~$ gcc -Wall foo.c
foo.c:2: warning: return type of 'main' is not 'int'

>>28
そんな古い本は捨てろ
30 名前：１３２人目の素数さん [2006/06/03(土) 17:03:09 ]: 円周率は実は有理数だった･･････ケンブリッジ大のスパコンが計算

【解析】｢円周率｣は壮大な循環小数だった!【終了】
news18.2ch.net/test/read.cgi/news7/1149263284/
31 名前：GiantLeaves ◆6fN.Sojv5w [2006/06/03(土) 19:19:14 ]: talk:>>30 与えられた実数が有理数かどうかを判定するアルゴリズムを教えてくれ。
32 名前：中川泰秀 ◆Cb128rs0FE mailto:npka65246@maia.eonet.ne.jp [2006/06/03(土) 19:50:30 ]: 私自身、大学の法学部時代はポケット六法で十分だったんだよね。
大学の数学コースでも、５００円の電卓だけの使用で卒業できるのでは　　？
33 名前：１３２人目の素数さん [2006/06/03(土) 21:04:38 ]: 漏れは￥１０５で買った電卓使ってるよ。
電子回路が半田の代わりに鼻糞でつけてあるような。
34 名前：１３２人目の素数さん mailto:sage [2006/06/03(土) 21:15:35 ]: なんかシェルに対して値を返してるんだっけ？、まあ、はっきりいってどうでもいい
35 名前：１３２人目の素数さん mailto:sage [2006/06/03(土) 21:39:47 ]: 大学で電卓なんか一度も使わなかったな
36 名前：１３２人目の素数さん [2006/06/03(土) 23:00:47 ]: >34
voidでも自動生成されるんでしょ？
37 名前：１３２人目の素数さん mailto:sage [2006/06/03(土) 23:43:43 ]: mainの返り血0が正常終了、1が異常終了。
このルールで適宜return 0かreturn 1を使い分ける。

上のひとが言ってるみたいに、
プログラムが正常終了したかを確認したい場合
呼び出しもと（shellなど）でこの値を参照する。

ダメとは言わないがvoid mainは好ましくない。
38 名前：１３２人目の素数さん [2006/06/04(日) 00:32:56 ]: 漏れの持ってるＣ本はintもvoidもつかずに
ただmain()とだけある

return0;はあるのだが
39 名前：変人 [2006/06/04(日) 00:42:55 ]: >>31に関連して、
機械に分数を表現させることは出来ますか？
できるのならどなたか方法を教えてください。
40 名前：１３２人目の素数さん [2006/06/04(日) 01:30:13 ]: >>38
化石Cだとそれで正しい。
void main() は最近voidが支持していたよｗ
41 名前：１３２人目の素数さん [2006/06/04(日) 02:03:12 ]: 何かいいＣ言語の本ありませんか？
数値計算をやってみたい。
42 名前：１３２人目の素数さん mailto:sage [2006/06/04(日) 02:52:10 ]: >>39
分数（有限の有理数）を扱える数式処理ソフトならいくつもある。
pariなりGAPなりmathematicaなり。

C++とかでやるなら有理数クラスでもつくればいいんじゃない？
int型(longでも)ふたつ持たせて、計算後は毎回約分できるかをチェックする。
もちろん演算(+-*/)も別途定義して…って感じで。
すでにライブラリありそうな気もするけど。

>>41
Numerical Recipes in Cとかが数値計算の
ハンドブックとしていいんじゃないでしょうか。
和訳もあるし。

もし、C言語の入門本を探してるのなら
なんでもいいと思う。ネットだけでも覚えられるし。
43 名前：１３２人目の素数さん mailto:sage [2006/06/04(日) 03:08:06 ]: でもまともに使える有理数クラス作るなら多倍長整数じゃないダメだね。
LCMやGCDも必要だし、これ全部自前じゃかなり面倒かも。

今見てたらBoostに有理数ライブラリ発見（使ったことはない
boost.cppll.jp/HEAD/libs/rational/rational.html

当然だけど、ググったら誰かが作ったライブラリがいくらでもある。
44 名前：１３２人目の素数さん mailto:sage [2006/06/04(日) 08:43:27 ]: ライブラリオナニー厨はどこにでもいますから。
45 名前：１３２人目の素数さん [2006/06/04(日) 08:44:28 ]: >42
サンクス
ＨＰ見てみたらNumerical Recipes in Cなかなかよさげです。
書店で探してみます（とりあえず和訳ね）。
46 名前：１３２人目の素数さん [2006/06/04(日) 22:14:38 ]: カタカナではニューメリカルレシピってなっていた。
47 名前：１３２人目の素数さん mailto:sage [2006/06/04(日) 22:37:41 ]: これのことね。

ニューメリカルレシピ・イン・シー日本語版
www.amazon.co.jp/exec/obidos/ASIN/4874085601
48 名前：１３２人目の素数さん mailto:sage [2006/06/04(日) 22:46:12 ]: ご周知のように英語版ならタダで読める
www.library.cornell.edu/nr/bookcpdf.html
49 名前：１３２人目の素数さん [2006/06/05(月) 00:14:56 ]: タダとは大盤振る舞いな
古いのかね？
50 名前：１３２人目の素数さん mailto:sage [2006/06/05(月) 00:47:34 ]: ネットのやつは第2版なので日本語版と比べたら新しいです
51 名前：１３２人目の素数さん mailto:sage [2006/06/05(月) 04:25:45 ]: >>31
いきなり変数に値を代入みたいな形では実数を与えることは出来ない
から、数列みたいなものを与えて、（収束するならば）それが実数に収束するか、
有理数に収束するかを判定することになるのかな・・・？
しかし、なんか変な気がする・・・
52 名前：１３２人目の素数さん [2006/06/06(火) 20:45:11 ]: ニューメリカルレシピ・イン・シー日本語版
注文した
53 名前：１３２人目の素数さん mailto:sage [2006/06/06(火) 20:54:36 ]: これってもしアフィリエイトだったら500円くらいもらえるんだっけ？
54 名前：１３２人目の素数さん [2006/06/08(木) 21:08:49 ]: フォートラン最高！
55 名前：１３２人目の素数さん mailto:sage [2006/06/09(金) 02:01:27 ]: 80カラムってなんだよみたいな・・・
56 名前：１３２人目の素数さん mailto:sage [2006/06/09(金) 09:09:26 ]: UNIX/C最高
57 名前：１３２人目の素数さん [2006/06/09(金) 23:58:19 ]: フォートラン
昔学校にあったＦＡＣＯＭに
１行ずつプログラム書いたマークシート通したっけ
懐かしい・・・
58 名前：１３２人目の素数さん mailto:sage [2006/06/10(土) 01:58:56 ]: お年を召した方ﾊｹｰﾝ
59 名前：１３２人目の素数さん [2006/06/10(土) 11:17:49 ]: フォートランって今も使われてるの？
役に立つ？
60 名前：１３２人目の素数さん mailto:sage [2006/06/10(土) 16:21:29 ]: コンパイラ高杉
61 名前：１３２人目の素数さん [2006/06/10(土) 17:50:19 ]: フリーでないのかい？
フォートランコンパイラ。
62 名前：１３２人目の素数さん mailto:sage [2006/06/10(土) 18:52:13 ]: GNU f77なら
63 名前：１３２人目の素数さん [2006/06/11(日) 10:23:16 ]: フォートラン･コボルは時代遅れ。
64 名前：１３２人目の素数さん mailto:sage [2006/06/11(日) 20:28:29 ]: みんなコンパイラでか杉、やっぱりcがいい。
65 名前：１３２人目の素数さん mailto:sage [2006/06/12(月) 11:03:45 ]: プログラミングしててCほど楽しい言語はないね
66 名前：１３２人目の素数さん [2006/06/12(月) 19:42:14 ]: >65
そうですか。
他の言語と比較してどんなところが楽しいですか？
67 名前：１３２人目の素数さん mailto:sage [2006/06/13(火) 15:45:49 ]: アセンブラと高級言語のいいとこ取りしたのがcだ。
68 名前：１３２人目の素数さん [2006/06/13(火) 21:34:47 ]: >67
素晴らしいことだ。
69 名前：１３２人目の素数さん mailto:sage [2006/06/13(火) 21:46:20 ]: フォートラン、　コボル、　コンパイラ

って、バビル二世の　しもべ　たちだろ　?
70 名前：１３２人目の素数さん mailto:sage [2006/06/13(火) 22:12:45 ]: Prologって使えます？

自動証明に興味あるんですが。
71 名前：１３２人目の素数さん mailto:sage [2006/06/13(火) 22:28:08 ]: 使えるって available のことかそれとも useful のことだろうか
前者ならフリーの処理系があると思う
72 名前：（　´ⅴ｀） [2006/06/14(水) 00:35:23 ]: （　´ⅴ｀）＜ばびるにせーってなんれすか？？？
73 名前：１３２人目の素数さん mailto:sage [2006/06/14(水) 04:09:17 ]: prologってフリーのもシェアウェアのも大量に処理系がありますよね・・・
名前はマイナーだけど流行ってるとこでは流行ってるのかなぁ・・・
74 名前：１３２人目の素数さん mailto:sage [2006/06/14(水) 11:38:36 ]: lisp はどうなんだろ。興味ある蛾。
75 名前：１３２人目の素数さん mailto:sage [2006/06/15(木) 12:25:41 ]: C++だとみんなJavaやPerl並にメモリを意識しないコーディングをし始めちゃうから
どうしても遅くなるね。やっぱりCが最高。
76 名前：１３２人目の素数さん [2006/06/16(金) 00:25:06 ]: 情報処理技術者合格された方います？
77 名前：１３２人目の素数さん mailto:sage [2006/06/16(金) 00:26:47 ]: >>75
えっ？
C++でメモリを意識しないで組むなんてC以上に困難なんだが。

あっ、オブジェクト指向しないってことね！
78 名前：１３２人目の素数さん mailto:sage [2006/06/16(金) 07:06:18 ]: >>77
なんでもSTLのコンテナにぶち込んじゃうじゃん。
楽だから。
79 名前：１３２人目の素数さん mailto:sage [2006/06/16(金) 22:05:41 ]: >>76山崎邦正
80 名前：１３２人目の素数さん [2006/06/17(土) 03:58:24 ]: C++は便利だけど、オブジェクト指向ヲタがきもい。
81 名前：１３２人目の素数さん mailto:sage [2006/06/17(土) 05:11:44 ]: >>1
「無意味なスレ立て厳禁」
って読めませんか？
そういうくだらない話は質問スレでやってください

　
　　　　　　　　　　　　　　　　　終　　　了

そして>>1はすぐ死ね
82 名前：１３２人目の素数さん mailto:sage [2006/06/17(土) 09:36:50 ]: >>80
ヲタは自分を客観的に見る能力が欠如してるから多めに見てやれ。
83 名前：１３２人目の素数さん [2006/06/17(土) 20:11:37 ]: 山崎邦正って一種持ち
84 名前：１３２人目の素数さん [2006/06/18(日) 08:32:14 ]: 試験はすぐ古くなる
85 名前：１３２人目の素数さん [2006/06/21(水) 23:38:41 ]: 電子計算機って聞けば昔のスーパーで見たレジスターを思い出す。
０～１０まで（９までではない）の数字キーが縦に１桁ずつズラッと並んで、
表示は液晶や電光ではなく数字の書いた板が上下する。
おばはんがレバーを押すとガチャガチャと機械音がうなってチーンとレジの金入れが開く。
子供心に操作してみたかった・・・
86 名前：１３２人目の素数さん [2006/06/21(水) 23:40:49 ]: こんなやつだ。
ttp://www.ncr.co.jp/library/library/register/zoom/08_bpc1963_2.jpg
87 名前：１３２人目の素数さん mailto:sage [2006/06/22(木) 00:12:22 ]: プラパズルのコピーが
「あなたは電子計算機に勝てますか？」だったりね。
88 名前：１３２人目の素数さん [2006/06/22(木) 22:59:30 ]: 昔「ベルトクイズＱ＆Ｑ］夏休み子供大会の景品に「電卓」っていうのがあったなぁ。
パソコンなどではなく、ただ単に大判の卓上電子計算機。
関数もなさそうだった。
あんなの今だったら貰っても邪魔なだけ。
89 名前：１３２人目の素数さん mailto:sage [2006/06/23(金) 20:12:44 ]: それ、casioの青い蛍光表示の12800円のやつだよな。
90 名前：１３２人目の素数さん [2006/06/28(水) 21:05:34 ]: 電卓なんかもらって何したのか？
91 名前：１３２人目の素数さん mailto:sage [2006/06/29(木) 00:13:06 ]: うーむ。そういう電卓を貰っただけで嬉しい世代ってのは
そろばんが出来たりしたからなｗｗｗ
92 名前：１３２人目の素数さん [2006/06/29(木) 21:40:38 ]: 計算尺全盛だったとか
93 名前：１３２人目の素数さん mailto:sage [2006/06/29(木) 21:42:31 ]: 先生、計算尺を見たことがないです！
94 名前：１３２人目の素数さん [2006/06/29(木) 21:57:01 ]: ４．８ＧＨｚの計算尺は最強だった
95 名前：１３２人目の素数さん mailto:sage [2006/06/29(木) 22:19:55 ]: ほんとに何する物か分からないので、ヤフオクかなんかで
落として、Hackしてみようかな・・・
96 名前：１３２人目の素数さん mailto:sage [2006/06/29(木) 22:26:20 ]: 物差し二本を目盛を合わせて、 5cm と 2cm を合わせると、
2cm 側の 0cm の部分と 5cm 側の 3cm が合うでしょ？
これで、5-2=3 が計算できるわけ。
目盛を反対向きにすれば足し算もできるよね？

さて、そこで、対数目盛の物差しを使うと、なんとかけ算も割算も
出来てしまうって話。
これだけ分かれば自作できるよね？
97 名前：１３２人目の素数さん mailto:sage [2006/06/29(木) 22:27:56 ]: 対数はなんか面白そうだけど、・・・足し算はあんまり嬉しくないような・・・
98 名前：１３２人目の素数さん mailto:sage [2006/06/30(金) 01:23:50 ]: ストレンジラブ博士が丸いの使ってたね。
まだ手に入りそうだ。
99 名前：１３２人目の素数さん [2006/06/30(金) 01:56:26 ]: 種々の計算尺を収拾しておくと、コレクションてき価値が出て、
今に１本うん十万円、うん百万円などという値段がつく日もあるかと。
100 名前：１３２人目の素数さん mailto:sage [2006/06/30(金) 03:37:37 ]: ある人が、工学者に「2×3はいくつですか？」と尋ねた。
工学者は懐から計算尺をとりだし、
「2…かける3…だな。目盛りを読むと…5.9か。だいたい6だな」
と、計算結果を教えた。
101 名前：１３２人目の素数さん mailto:sage [2006/06/30(金) 07:01:51 ]: 計算尺なんて見たことないが、FF12では武器として使われてたな。
102 名前：１３２人目の素数さん mailto:sage [2006/06/30(金) 13:54:36 ]: そんなのやる時間ねー
103 名前：１３２人目の素数さん mailto:sage [2006/06/30(金) 18:40:14 ]: 日経サイエンスの今月号に計算尺の記事があったはず
104 名前：１３２人目の素数さん mailto:sage [2006/06/30(金) 22:54:50 ]: www.hemmi-inc.co.jp/
105 名前：１３２人目の素数さん [2006/06/30(金) 23:34:09 ]: 電子計算尺
あったらいいな
106 名前：１３２人目の素数さん mailto:sage [2006/06/30(金) 23:38:14 ]: >>104
デジタル計算って。どう考えてもアナログ計算機だろう。>>100みたいに。
107 名前：１３２人目の素数さん [2006/06/30(金) 23:50:06 ]: 計算尺は数学教育にはいいと思うんだけど。
計算尺メーカーも学校も教材会社も教育用に残しておくべきだったと思う。
108 名前：１３２人目の素数さん mailto:sage [2006/07/01(土) 00:07:23 ]: そろばんはアナクロだけどアナログではなくデジタル
109 名前：１３２人目の素数さん mailto:sage [2006/07/01(土) 01:02:07 ]: 計算尺はアナクロ､アナログ、notデジタル
110 名前：１３２人目の素数さん [2006/07/01(土) 01:16:59 ]: 昔はそろばんつき電卓があったね。
一体どんな意味があったのだろう。
111 名前：１３２人目の素数さん mailto:sage [2006/07/01(土) 01:20:27 ]: 加減はそろばん乗除は電卓の方が早い
112 名前：１３２人目の素数さん mailto:sage [2006/07/01(土) 01:21:34 ]: パソコンのディスプレイ上のそろばんをマウスで弾いて計算するソフトもあったなw
113 名前：１３２人目の素数さん mailto:sage [2006/07/01(土) 01:52:21 ]: >>112
計算尺でもなかったっけ？
114 名前：１３２人目の素数さん mailto:sage [2006/07/01(土) 02:12:49 ]: 例えば
computers.yahoo.co.jp/download/vector/win31/personal/dentaku/
www.vector.co.jp/soft/win31/personal/se009946.html
そろばんは
hp.vector.co.jp/authors/VA041064/software/index.htm
www.vector.co.jp/soft/win95/art/se046521.html（シェアウェア）
とか
115 名前：１３２人目の素数さん [2006/07/01(土) 16:55:06 ]: 整数：int
実数：float

虚数は？
116 名前：１３２人目の素数さん mailto:sage [2006/07/01(土) 19:16:55 ]: typedef struct {
float real;
float img;
}Complex
117 名前：１３２人目の素数さん mailto:sage [2006/07/01(土) 19:23:12 ]: Lispマシンって見たことないな
118 名前：１３２人目の素数さん mailto:sage [2006/07/01(土) 20:10:54 ]: >>115
floatは浮動小数点数ですよ。
実数を計算機上で表現する事はできない。
(証)
計算機のメモリ上で区別できる数は可算無限個である。
可算無限長の記述で非可算無限個の実数は表現できない。
■
119 名前：１３２人目の素数さん [2006/07/01(土) 22:50:09 ]: float
double
どっちがいいの？
120 名前：１３２人目の素数さん mailto:sage [2006/07/01(土) 23:26:14 ]: 一長一短
121 名前：１３２人目の素数さん mailto:sage [2006/07/02(日) 09:31:44 ]: というか、intはZ/(2^32)Zとかだから、・・・
代表元の取り方がちょっと特殊だけど・・・
122 名前：１３２人目の素数さん [2006/07/02(日) 11:22:49 ]: 一朝一夕
123 名前：１３２人目の素数さん [2006/07/02(日) 11:25:23 ]: ターボリナックスはLISPがおまけでつてくる
124 名前：１３２人目の素数さん mailto:sage [2006/07/03(月) 03:57:11 ]: >>118
ZFの可算モデル使えよ。
まあ、計算機の「実数型」が近似小数であることは間違いないが。
125 名前：１３２人目の素数さん [2006/07/04(火) 00:27:48 ]: 情報処理技術者願書配布始まったね。
受けようかな？
126 名前：１３２人目の素数さん mailto:sage [2006/07/04(火) 00:33:20 ]: 1種持ってるけどぜんぜん役に立たんよ。
127 名前：１３２人目の素数さん mailto:sage [2006/07/04(火) 01:33:20 ]: >>118
>計算機のメモリ上で区別できる数は可算無限個である。
そんなすごい計算機があるんですか？
128 名前：１３２人目の素数さん mailto:sage [2006/07/04(火) 16:22:02 ]: ”十分性能が高ければ区別できる可能性のある数”って意味では？
129 名前：５２ [2006/07/05(水) 00:05:39 ]: ニューメリカルレシピ
やっと届いた
近所の本屋で注文したが約1ヶ月かかった
本屋で注文すると時間がかかるのはなかなか改善されないね
130 名前：１３２人目の素数さん [2006/07/05(水) 20:34:55 ]: 情報処理技術者試験は知識証明だから、
取って使えるというものではないので、
情報系エンジニアでも受けない人も多いんだろうな。
131 名前：１３２人目の素数さん [2006/07/07(金) 21:12:01 ]: ソフ開ほしい
132 名前：１３２人目の素数さん mailto:sage [2006/07/28(金) 16:58:10 ]: 631
133 名前：１３２人目の素数さん [2006/08/04(金) 22:23:23 ]: >>87
プラパズルかぁ・・・
１個か２個うちにあったなあ。
134 名前：１３２人目の素数さん mailto:sage [2006/08/04(金) 23:11:32 ]: 今のプラパズルはなかなか綺麗
135 名前：１３２人目の素数さん mailto:sage [2006/08/05(土) 01:59:53 ]: 今でも天洋さん健在なんだ・・・なんか良いね。
136 名前：１３２人目の素数さん [2006/08/17(木) 23:17:27 ]: 15ゲームってのもあったな
はなやまだっけ？
137 名前：１３２人目の素数さん mailto:sage [2006/08/30(水) 16:57:30 ]: 100
138 名前：１３２人目の素数さん mailto:sage [2006/10/03(火) 00:21:55 ]: 408
139 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 13:34:32 ]: 　　　r─────────────┐
　　　|　この機械が何をするものか　 .|
　　　|　わかるのかね？　　　　　　　.|
　　 └─ｖ ――――― ― ―― ――┘　　　　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 ￣￣￣￣￣￣￣￣￣￣￣￣￣

　
140 名前：１３２人目の素数さん mailto:sage [2006/11/13(月) 02:27:02 ]: 596
141 名前：１３２人目の素数さん [2006/11/16(木) 21:26:34 ]: Numerical Recipes in C
どうみてもヌメリカルだよな
142 名前：１３２人目の素数さん [2006/12/10(日) 23:27:01 ]: >>99
それはない。
材質はほとんど竹だ。
老朽化が激しい。
うちの学校にくさるほどある。というかくさってる（悪臭がする）。
143 名前：１３２人目の素数さん mailto:sage [2006/12/12(火) 16:25:28 ]: umai
144 名前：１３２人目の素数さん [2007/01/19(金) 23:28:29 ]: 電子計算機の勉強に
数学は必要か？
145 名前：１３２人目の素数さん mailto:sage [2007/01/20(土) 00:37:37 ]: そういう質問をする人には不要
146 名前：１３２人目の素数さん [2007/01/28(日) 20:31:30 ]: 情報処理技術者申し込んだよ。
今から勉強。
147 名前：１３２人目の素数さん [2007/02/01(木) 22:05:56 ]: 情報処理技術者ってどんな数学いるの？
148 名前：１３２人目の素数さん mailto:sage [2007/02/02(金) 01:24:12 ]: いらねぇんじゃね？
答え丸暗記でいい問いは、数学とは呼ばない。算数。
149 名前：１３２人目の素数さん mailto:sage [2007/02/05(月) 18:17:34 ]: 483
150 名前：１３２人目の素数さん mailto:sage [2007/02/15(木) 15:23:55 ]: 微分方程式を解くときに使う　ルンゲクッタ法やオイラー法　ってありますよね。
ルンゲクッタ法では誤差が抑えられるらしいのですが、
そうなる理由などももちろん証明されているんですよね。
それって数値解析のどんな本でも載ってますか？
151 名前：１３２人目の素数さん [2007/02/17(土) 06:42:47 ]: 買えばわかる。
152 名前：１３２人目の素数さん [2007/03/05(月) 19:36:41 ]: ニューメリカルレシピよりやさしいのない？
Ｃ言語はじめてでもおｋなやつ。
153 名前：１３２人目の素数さん mailto:sage [2007/03/11(日) 21:28:07 ]: 323
154 名前：１３２人目の素数さん [2007/04/04(水) 00:56:41 ]: 数値計算法の基本は算数だ
155 名前：１３２人目の素数さん [2007/05/04(金) 21:48:05 ]: 数学ソフトでいいのない？
安いので。
156 名前：１３２人目の素数さん mailto:sage [2007/05/04(金) 21:51:55 ]: 何をしたいのかね
157 名前：１３２人目の素数さん [2007/05/05(土) 09:49:18 ]: こんなこと。

数・四則演算
方程式・不等式・行列
三角比・三角関数
指数・対数
統計
微積分
158 名前：１３２人目の素数さん [2007/05/05(土) 13:33:10 ]: >>157
十進BASICで十分。シンボリックな計算（多項式の因数分解とか）を
したいのならMAXIMA。
159 名前：１３２人目の素数さん mailto:sage [2007/05/05(土) 18:58:01 ]: Python言語でのSciPy/NumPyという数学ツール群で
微分積分から多項式の因数分解まで可能になるらしい。
Ruby言語については調べてないけど、
かなり野心的なプロジェクトだからねえ…ありそうな予感。
160 名前：１３２人目の素数さん [2007/05/05(土) 23:51:43 ]: C言語は数学向きか？
161 名前：１３２人目の素数さん mailto:sage [2007/05/06(日) 00:17:53 ]: つ<math.h>
162 名前：１３２人目の素数さん mailto:sage [2007/05/06(日) 00:22:42 ]: >>157ぐらいなら大体の言語でできそうだな
163 名前：１３２人目の素数さん mailto:sage [2007/05/06(日) 18:37:43 ]: >>159みて思い出した。
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のライブラリそのまま呼べばいいんじゃない？
いちおう
pub.cozmixng.org/~the-rwiki/rw-cgi.rb?cmd=view;name=Ruby+for+Science

いずれにせよ、
> >>157ぐらいなら大体の言語でできそうだな
同意。
164 名前：１３２人目の素数さん [2007/05/13(日) 23:34:25 ]: >161
それなんて読むの？
ﾏｽｴｯﾁ?
165 名前：１３２人目の素数さん [2007/05/25(金) 23:44:55 ]: ボーランドはナゼボーランドＣ++を無料で配布しているのだろう？？？
166 名前：KingOfUniverse ◆667la1PjK2 [2007/05/26(土) 08:37:16 ]: talk:>>165 とっくの昔に開発資金の回収が終わったから？
167 名前：１３２人目の素数さん mailto:sage [2007/05/26(土) 09:43:15 ]: 有料だったらいったい誰が使うんだよって話じゃん。
168 名前：KingOfUniverse ◆667la1PjK2 [2007/05/26(土) 13:08:26 ]: talk:>>167 今の考えならそうだが、昔はCコンパイラも貴重だったのだよ。
169 名前：１３２人目の素数さん mailto:sage [2007/05/26(土) 14:25:47 ]: DOSで動くTurboCが5～10万くらいしてたっけ？
170 名前：１３２人目の素数さん [2007/05/26(土) 23:22:59 ]: >>168
おっさんやなあー。DOS時代の人？
171 名前：KingOfUniverse ◆667la1PjK2 [2007/05/26(土) 23:24:48 ]: talk:>>170 私はまだ2?歳だぞ。
172 名前：１３２人目の素数さん [2007/06/03(日) 02:19:08 ]: 使ってみたんだがボーランドＣ++は小数点以下６桁しか計算できないの？
173 名前：１３２人目の素数さん [2007/06/03(日) 19:32:08 ]: >>164
漏れは授業ではマッスドットヘッダって読んでるよ。
マスエッチじゃせんずりがＨということになってしまう。
174 名前：１３２人目の素数さん mailto:sage [2007/06/04(月) 12:54:55 ]: sin(x)とかcos(x)がどうやって'計算'できるのか不思議に思っていたなあ。
ああこうやって無限展開すれば良いのかと。微分ってスバラシイなと。
175 名前：KingOfUniverse ◆667la1PjK2 [2007/06/04(月) 17:17:41 ]: talk:>>174 しかも、それより速い計算方法もある。
176 名前：１３２人目の素数さん [2007/06/06(水) 22:53:51 ]: #!/bin/bash
i=0
wile test $i -le 9
do
let j=i+1
echo $j > $i.dat
let i=i+1
done
177 名前：１３２人目の素数さん [2007/06/07(木) 21:45:45 ]: シェルスクリプトですな
178 名前：２次方程式ax2+bx+c=0の解を求める。 [2007/06/08(金) 00:19:09 ]: main()
{
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;
}
179 名前：１３２人目の素数さん mailto:sage [2007/06/08(金) 00:21:38 ]: >>165
いまはMSもVC++を無料配布してる
180 名前：１３２人目の素数さん [2007/06/08(金) 04:14:49 ]: 1+1=2の計算過程が知りたい。
181 名前：１３２人目の素数さん mailto:sage [2007/06/08(金) 07:07:47 ]: >>180
www.akita-nct.ac.jp/~yamamoto/lecture/2003/2E/add_circuit/node4.html
182 名前：１３２人目の素数さん [2007/06/08(金) 16:29:47 ]: 「king」を実装するコードを教えれ
183 名前：KingOfUniverse ◆667la1PjK2 [2007/06/08(金) 17:56:07 ]: talk:>>182 お前の意思を実装してみるか？
184 名前：１３２人目の素数さん [2007/06/09(土) 01:09:05 ]: >180
計算過程より意味が知りたい。
基礎論でやるのか？
185 名前：１３２人目の素数さん mailto:sage [2007/06/09(土) 16:24:38 ]: >>180
可算器の中身が知りたいということか？
186 名前：１３２人目の素数さん [2007/06/17(日) 22:28:55 ]: >178
虚数解を求められるように作り変えてくれ。
187 名前：１３２人目の素数さん [2007/06/23(土) 07:47:13 ]: 計算可能性理論を勉強したい。
188 名前：エレガントな解答を求む mailto:１ [2007/06/23(土) 07:51:44 ]: nに関する方程式：(３^960-1)/2^n ∈　N　の解を求めるプログラムを作ってください
189 名前：エレガントな解答を求む mailto:１８８ [2007/06/23(土) 08:04:15 ]: 勝手ながら、プログラミング言語は指定した言語を使用ください

許される言語は、Pascal, C, アセンブラ

以外の言語によるプログラムはプログラムとは認めません
190 名前：１３２人目の素数さん mailto:sage [2007/06/23(土) 08:37:03 ]: 機械語でもいいだろ
191 名前：１３２人目の素数さん [2007/06/23(土) 08:47:11 ]: >190
是非
192 名前：エレガントな解答を求む mailto:１８８ [2007/06/23(土) 09:36:26 ]: まだぁ？　もう一時間半も経ってるよ
コーディング遅いねｸｽｸｽ
193 名前：１３２人目の素数さん mailto:sage [2007/06/23(土) 09:47:02 ]: アルゴリスムの善し悪しには興味をそそられないなぁ
194 名前：１３２人目の素数さん mailto:sage [2007/06/23(土) 09:57:52 ]: 3^960は二進数で1500桁強の数だから
1600ビットの多バイト長演算ができれば十分だな。

その問題に限るのならば
３倍することと、下の桁から０が幾つ続くか数える機能があれば十分だ。
195 名前：エレガントな解答を求む mailto:１８８ [2007/06/23(土) 10:04:09 ]: 能書き垂れてねーで、はやくコーディングをお願いいたします
196 名前：１３２人目の素数さん mailto:sage [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;
}
197 名前：エレガントな解答を求む mailto:１８８ [2007/06/23(土) 10:38:04 ]: １６分もかけてこれぽっちかよ
カメッ！！！
198 名前：１３２人目の素数さん mailto:sage [2007/06/23(土) 10:38:27 ]: なんでそんな言語にこだわるんだろう
例えば Lisp ならたった一行ですむぞ

(log (gcd (expt 2 (ceiling (* 960 (log 3 2)))) (1- (expt 3 960))) 2)
199 名前：エレガントな解答を求む mailto:１８８ [2007/06/23(土) 10:41:10 ]: >>198
答えを出力するのに何秒かかりますか？
漏れのコードは2.5秒くらいです
200 名前：198 mailto:sage [2007/06/23(土) 10:42:47 ]: >>199
1 ミリ秒もかからんよ
201 名前：１３２人目の素数さん mailto:sage [2007/06/23(土) 11:20:48 ]: どうでもいいが Z/2^nZ の単数群考えたら手計算でも十分できるな
202 名前：エレガントな解答を求む mailto:１８８ [2007/06/23(土) 11:29:42 ]: >>200
マシン名とOSと計算時間を計測できた証拠をスクリーンショットうｐして
203 名前：sage [2007/06/23(土) 11:29:54 ]: 中国式マッサージ
960=2^４ x 3 x 5
n = 2^{４+2} = 2^6 = 64
204 名前：間違い mailto:sage [2007/06/23(土) 11:33:50 ]: 960=2^６ x 3 x 5
n = 2^{６+2} = 2^8 = 256
205 名前：１３２人目の素数さん mailto:sage [2007/06/23(土) 11:44:11 ]: n=0,1,...,8
206 名前：１３２人目の素数さん mailto:sage [2007/06/23(土) 11:49:51 ]: >>202
めんどくさいんで自分で適当な処理系入れて試してくれ
xyzzy でもちゃんと動く
207 名前：間違い mailto:sage [2007/06/23(土) 11:50:55 ]: >>202
マシン名　→　ナイコン７
OS　→　ＤＯＱ／Ｖ
計算時間　→　10分
スクリーンショット　→　(ﾟДﾟ)ｺﾞﾙｧ！
208 名前：198 mailto:sage [2007/06/23(土) 11:57:06 ]: 名前忘れたがその辺で売ってる安物だよ
WinXP, 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
209 名前：１３２人目の素数さん mailto:sage [2007/06/23(土) 12:04:47 ]: 3^960 - 1 =
2^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
210 名前：間違い mailto:sage [2007/06/23(土) 12:22:16 ]: >>209
何を使って計算したか知らんけど
3^960 = 1 mod. 2^n
ってことに気づけョ
211 名前：間違い mailto:sage [2007/06/23(土) 12:59:04 ]: もう少し言うと
3^{2^t x 奇数} = 1 mod. 2^{t+2}
212 名前：１３２人目の素数さん mailto:sage [2007/06/23(土) 16:16:48 ]: kが、k≧3のとき

3^{2^t x 奇数} ≠ 1 mod. 2^{t+k}

はどうやって分かるの？
213 名前：エレガントな解答を求む mailto:１８８ [2007/06/23(土) 18:19:23 ]: >>208さん
クドくてすみません
そのウインドウのスクリーンショットうｐ願います
214 名前：１３２人目の素数さん mailto:sage [2007/06/23(土) 18:24:42 ]: うざー
215 名前：エレガントな解答を求む mailto:１８８ [2007/06/23(土) 18:27:48 ]: clisp てvectorとかで入手できますか
216 名前：エレガントな解答を求む mailto:１８８ [2007/06/23(土) 18:33:07 ]: 質問攻めは失礼にあたるので
amezolog.hp.infoseek.co.jp/source/up6033.jpg
計測はストップウオッチでしました（失礼）
217 名前：エレガントな解答を求む mailto:sage [2007/06/23(土) 18:48:59 ]: clisp.cons.org/
これですか、windows版にportされてるんでしょうか
218 名前：１３２人目の素数さん mailto:sage [2007/06/23(土) 22:14:15 ]: 一方、ロシアは鉛筆と２項定理と２進附値を使った。

V_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.
219 名前：エレガントな解答を求む mailto:sage [2007/06/23(土) 22:24:00 ]: >>208
ftp.gnu.org/pub/gnu/clisp/packages/
どれをインスコすればいいですか？(;´Д`)
当方Fedora ７です

>>218
勉強になります
で、0∈N　でしたっけ？(;´Д`)
220 名前：217 mailto:sage [2007/06/23(土) 22:27:33 ]: >>216 流儀によるお

ちなみに、全然関係ない話ですが、通常V_p(0) = ∞ と定義する。
0多項式の次数を -∞と定義すると辻褄があうのと同じ理由で。
221 名前：198 mailto:sage [2007/06/23(土) 22:28:18 ]: 面倒だと思ったけど、 >>216 見たらまあいいかって気になった
これからupするんでちょっと待って
222 名前：218 mailto:sage [2007/06/23(土) 22:29:32 ]: >>220 の名前は　218 が正しい
その中のアンカーは　>> 219 が正しい

orz
223 名前：218 orz mailto:sage [2007/06/23(土) 22:45:38 ]: >>218
d は 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 でならわれるでしょう、というあたりでよしとする
224 名前：198 mailto:sage [2007/06/23(土) 22:49:04 ]: amezolog.hp.infoseek.co.jp/source/up6046.png

で、実は 1/64 秒単位での計測らしい。
1 ミリ秒かからんとか書いたけどそこまで正確なことはわからなかったな。
ちゃんと確かめなくてすまんかった。
まあ、xyzzy で 0.4 ミリ秒ぐらいみたいなんで間違ってはないだろうけど。
225 名前：エレガントな解答を求む [2007/06/23(土) 23:00:24 ]: >>224
Cygwinですか？
0秒とは奇跡的ですね
失礼ながら、解を全て列挙するようにプログラムをmodifyしていただけますか？
やっぱり０秒でしょうか
226 名前：218 mailto:sage [2007/06/23(土) 23:03:23 ]: >>189 の制限を無視して、GP という飛び道具を使うと、

? valuation(3^960-1, 2)
%6 = 8

（時間までは計っていないが一瞬)
227 名前：198 mailto:sage [2007/06/23(土) 23:18:39 ]: >>225
いや、WinXP で。
変更といっても最大値が求まればあとは表示するだけだからなあ。
なんか表示で時間を食うのか、real time だけ 0.015625 になったりならなかったり。
228 名前：エレガントな解答を求む mailto:sage [2007/06/23(土) 23:41:35 ]: >>227
すいません
その　clisp というものの binary はどこでゲットできるでしょうか
あと、できれば、解nを全て列挙するコードもいっしょに
229 名前：198 mailto:sage [2007/06/23(土) 23:51:46 ]: どこから落としたか忘れたけど、ここにあるのでどうだろ
ttp://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)))
230 名前：エレガントな解答を求む mailto:sage [2007/06/24(日) 00:11:07 ]: >>229
ttp://lispuser.net/commonlisp/clisp.html#clisp-for-win32-slime-ltk
ダメだあ。DLしてもzipが壊れてる(;´Д`)

＞列挙するコードつーか最大値求めてそれ以下のものを並べるだけなのだが
ちなみに何msで出ますか？
231 名前：198 mailto:sage [2007/06/24(日) 00:44:37 ]: 0.015625 だったり 0.0 だったりだなあ
real time と run time でも違う
粗すぎてよくわかんないけど 15ms ぐらいなのかな
232 名前：１３２人目の素数さん mailto:sage [2007/06/24(日) 00:58:20 ]: つ sourceforge.net/project/showfiles.php?group_id=1355
233 名前：エレガントな解答を求む mailto:sage [2007/06/24(日) 06:01:44 ]: >>231
(EXPT 3 960) is not a function name
と出てevaれないんですけど(;´Д`)
234 名前：エレガントな解答を求む [2007/06/24(日) 06:21:19 ]: あ、出ました出ました
あー　なんかCでシコシココーディングするのが莫迦莫迦しくなってきた(;´Д`)
235 名前：エレガントな解答を求む [2007/06/24(日) 08:23:22 ]: >>198　さん
ちょっと質問です

nについての方程式：(3^960-1)/4^n∈N　を解いて
解を全て列挙せよ

はどうやって解けばよろしいでしょうか？
236 名前：orz 218 mailto:sage [2007/06/24(日) 09:20:40 ]: >>218
>>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 を別の数に変えた問題で使うときは要注意かも
237 名前：間違い mailto:sage [2007/06/24(日) 09:21:53 ]: >>235
計算するまでも無く
n = 1, 2 だ！
238 名前：間違い mailto:sage [2007/06/24(日) 09:29:54 ]: >>237
n = 1, 2, 3, 4
の間違い…
239 名前：198 mailto:sage [2007/06/24(日) 10:46:50 ]: >>235
2 を 4 にするだけでいいんじゃない

>>236
> log に誤差
じゃあ素直にこんなのとか。有理数しか使ってないので安心。
(do ((x 0 (1+ x))
(y (1- (expt 3 960)) (/ y 2)))
((not (integerp y)))
(print x))
240 名前：間違い mailto:sage [2007/06/24(日) 11:04:23 ]: >>239

(do ((x 0 (1+ x))
(y (1- (expt 3 966661)) (/ y 2)))
((not (integerp y)))
(print x))

でやってみて？
241 名前：198 mailto:sage [2007/06/24(日) 11:15:11 ]: >>240
それ無理ｗｗ
242 名前：218 236 [2007/06/24(日) 12:26:12 ]: >>239 納得 EXPT も、もしやばければ同様、ですな
243 名前：１３２人目の素数さん mailto:sage [2007/06/24(日) 13:05:24 ]: そもそも問題が大して面白く無い件
244 名前：１３２人目の素数さん [2007/06/24(日) 14:47:27 ]: まあな。
245 名前：１３２人目の素数さん [2007/06/24(日) 14:52:56 ]: >>240 m=0 でロシアの射程外だが mod 4 で考えて -1 の966661乗 -1 で -2 なので 2で割れる回数は 1 か。
246 名前：エレガントな解答を求む [2007/06/24(日) 16:26:09 ]: あ、すいません
結局

問題
>>235

は解けたのでしょうか？
247 名前：１３２人目の素数さん [2007/06/24(日) 16:48:08 ]: >>246 アンタいろんな意味で大物や
248 名前：エレガントな解答を求む mailto:sage [2007/06/24(日) 17:11:50 ]: 結局自分で解いてみました
Celron 2.8GHz Mem 1GB
で約2.5秒ほどでした
amezolog.hp.infoseek.co.jp/source/up6057.jpg
amezolog.hp.infoseek.co.jp/source/up6058.jpg

目標は、あるコンピュータを使って、0.2秒くらいにチューニングすることです
249 名前：１３２人目の素数さん mailto:sage [2007/06/24(日) 17:58:17 ]: def a():
　　x=3**960-1
　　i=0
　　while x%2==0: x/=2; i+=1
　　return i
250 名前：エレガントな解答を求む mailto:sage [2007/06/24(日) 20:54:14 ]: >>249
何語ですかぁ～？

バグってるし
251 名前：１３２人目の素数さん mailto:sage [2007/06/24(日) 21:02:21 ]: 何という言語かは知らんが正しそうには見えるぞ
252 名前：エレガントな解答を求む [2007/06/24(日) 21:26:45 ]: def a():
　　x=3**960-1
　　i=0
　　while( x%2==0){ x/=2; i+=1;}
　　return i

こんなかんじだったらわかるようなわからないような
眠い
253 名前：エレガントな解答を求む [2007/06/24(日) 22:09:10 ]: def 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

こうですね

amezolog.hp.infoseek.co.jp/source/up6059.jpg

0.063 sec まで高速化？しました！？
254 名前：エレガントな解答を求む [2007/06/24(日) 22:12:03 ]: インデントミス！！恥ずかしい

def 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

こうですね

amezolog.hp.infoseek.co.jp/source/up6059.jpg

0.063 sec まで高速化？しました！？
255 名前：ロシア mailto:sage [2007/06/24(日) 22:17:12 ]: >>254
x は本当のところどう計算したか興味あり
256 名前：１３２人目の素数さん mailto:sage [2007/06/24(日) 22:35:55 ]: 上のほうに並んでる数字の羅列、3^960 を4バイトごとに下から並べてるのかと思ったら違う？

こっちで計算したら下16バイトはこうなったんだけど
4082d184176febff4ef057ea089e1301
257 名前：エレガントな解答を求む [2007/06/24(日) 23:26:12 ]: >>256
CPUなに使っておられますか？
当方Celron2.8G
258 名前：エレガントな解答を求む [2007/06/24(日) 23:30:58 ]: >>255
はい　少々手抜きしております
amezolog.hp.infoseek.co.jp/source/up6061.jpg
259 名前：１３２人目の素数さん mailto:sage [2007/06/24(日) 23:35:22 ]: Celeron だけど、こっちでやったことはCPU関係ないはず
3^960 を16進表示したら下32桁はどうなるかを計算した結果が >>256
260 名前：エレガントな解答を求む mailto:sage [2007/06/24(日) 23:49:40 ]: >>259

print_bignumber(int i, BIGNUMBER *X){
　int j;
　printf("\n%d:", i);
　for(j=0;j < MAX_BIGNUMBER;j++){
　　printf("%08x", X->u[j]);
　}
}
261 名前：エレガントな解答を求む mailto:sage [2007/06/24(日) 23:50:46 ]: printf("%16x", ...)
とやるんでしたっけ？
262 名前：エレガントな解答を求む mailto:sage [2007/06/24(日) 23:52:54 ]: あ、octal でしたっけ？
だと
printf("%010x",..) ???
263 名前：１３２人目の素数さん mailto:sage [2007/06/25(月) 00:20:24 ]: 何を混乱してるのかわかんないんだけど
octal は8進数
264 名前：１３２人目の素数さん mailto:sage [2007/06/25(月) 00:31:51 ]: 8桁で、上は0で埋めるんだよね
%08x でいいんじゃね？
でも足し算の実装見ると最上位ビットはキャリーフラグ用になってる？
265 名前：１３２人目の素数さん mailto:sage [2007/06/25(月) 01:49:32 ]: >>250
>>249はpythonという言語。x=3**960-1のところもそのまま動く。
266 名前：エレガントな解答を求む [2007/06/25(月) 06:35:02 ]: >>264
int は32bit で32/4=8だから %08xでいいんですね。ラリってました

＞でも足し算の実装見ると最上位ビットはキャリーフラグ用になってる？
当たり　carry も見れたほうがデバッグ上安心だと思って

>>265
python て C のbreak; 制御語みたいの使える？あと switchとか
267 名前：１３２人目の素数さん mailto:sage [2007/06/25(月) 10:52:06 ]: >>266
switchはないけど、breakならあるよ

>>249の同値な書き換え

def a():
　　x=3**960-1
　　i=0
　　while 1:
　　　　if x%2 != 0: break
　　　　x/=2
　　　　i+=1
　　return i
268 名前：エレガントな解答を求む [2007/06/25(月) 19:30:28 ]: >>267
因みに計算時間はどのくらいかかりますか？63msより速いでしょうか
269 名前：１３２人目の素数さん [2007/06/25(月) 21:37:45 ]: switchは嫌いだな。
270 名前：エレガントな解答を求む [2007/06/25(月) 21:45:57 ]: switch構文こそエレガントなプログラムのエッセンスでは？
271 名前：１３２人目の素数さん mailto:sage [2007/06/26(火) 00:08:02 ]: >>268
1000回平均で大体0.000053 ～ 0.000054秒ぐらいらしい・・
一応pythonに似た言語のrubyでも計ってみたら、ほぼおんなじ関数で、平均0.000182 ～ 0.000188秒くらい・・
272 名前：198 mailto:sage [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
そうなの？
273 名前：エレガントな解答を求む [2007/06/26(火) 06:46:26 ]: >>272
漏れも１０回計算して平均とってみた　35ms 悔しい
でも　＞Space: 59506100 Bytes メモリ使い杉
時間*空間　で勝負したら負けないと思う

＞そうなの
今、perl で state machine 作ってるので
elsif elsif ・・・　でプログラムが汚い
274 名前：エレガントな解答を求む [2007/06/26(火) 07:12:18 ]: あ、間違え　時間/空間
小せえな俺
275 名前：198 mailto:sage [2007/06/26(火) 09:23:47 ]: >>273
elsif は汚いの？基準がよくわからん
276 名前：エレガントな解答を求む [2007/06/26(火) 19:00:01 ]: >>275
lisper の方は　if( if( if( if()))))))) とかに美学を感じるのですか
277 名前：１３２人目の素数さん [2007/06/26(火) 19:35:54 ]: switchはニューメリカルレシピで批判されてるね。

でも大掛かりなシステム組むんじゃないんだから、堅苦しいこといわないで、気軽に使えばいいと思う。
278 名前：エレガントな解答を求む [2007/06/26(火) 19:40:36 ]: switch と enum の組み合わせでエレガントなプログラムになるとおもうんだけどな
確かに、大掛かりなシステムの場合はそれが、、、
279 名前：１３２人目の素数さん mailto:sage [2007/06/26(火) 19:43:06 ]: switch文はif elseに比べて、実行速度が多少速くなる場合がある。
280 名前：エレガントな解答を求む [2007/06/26(火) 20:00:49 ]: いや、やっぱり大規模なシステムでも switch 構文で書けるシンプルさが
必要なような、そうでないような、、、
281 名前：198 mailto:sage [2007/06/26(火) 20:27:49 ]: >>276
いや、別にそうではないが。
というか大量の分岐を直接書くこと自体が好きじゃなくて、
可能ならばハッシュ表なり配列なりを参照して済ませたいなとか思う。
282 名前：エレガントな解答を求む [2007/06/26(火) 20:41:01 ]: >>281
ハッシュも配列も複雑すぎる木がしますぅ
283 名前：エレガントな解答を求む [2007/06/26(火) 21:00:33 ]: CPUが1MHzくらいしかなくて、メモリも1KB\3000くらいしてた青春時代
を過ごしたので貧乏性なんです
284 名前：198 mailto:sage [2007/06/26(火) 21:35:02 ]: あーなるほど
なんとなくわかるかも
285 名前：１３２人目の素数さん mailto:sage [2007/06/26(火) 21:37:17 ]: まあ　富豪的プログラミングといふのも　わからなくはないのですが
286 名前：１３２人目の素数さん [2007/06/27(水) 16:29:06 ]: そういえば　＞大量の分岐
するようなプログラムなんて書いたことないや
287 名前：１３２人目の素数さん mailto:sage [2007/06/27(水) 18:27:48 ]: 300くらいに分岐なら書いたことあるが
「大量」ってのはどのくらいを指すんだろう？
288 名前：198 mailto:sage [2007/06/27(水) 21:20:33 ]: 分岐の数よりも全体の行数かも。
一画面に収まりきらないぐらいになると美しくないと感じる。
まあしょうがないことも多いんだけどね。パーサとか。
289 名前：１３２人目の素数さん mailto:sage [2007/06/28(木) 02:36:19 ]: パーサなんかも関数のテーブルを参照するようにすれば
小さくまとめることも可能なんだが
そうするとかえって面倒なことになることもあるな。
290 名前：286 [2007/06/28(木) 20:47:15 ]: 昔クロスアセンブラ組んだ時、hashのお世話にはなりましたが
その後、lex,yaccに誘惑されて、、、、、、、、、、、、、、
結局今はSQLの勉強しています
291 名前：１３２人目の素数さん [2007/07/01(日) 19:20:10 ]: AccessでＳＱＬ使えるの？
292 名前：１３２人目の素数さん mailto:sage [2007/07/02(月) 02:44:34 ]: >>283
CPUが1MHzだったころにメモリ1k3000円で買えたっけ？
293 名前：１３２人目の素数さん [2007/07/06(金) 01:00:21 ]: さあねえ・・・
294 名前：１３２人目の素数さん mailto:sage [2007/07/06(金) 01:29:13 ]: 8kで５万くらい出したおぼえがあるので
1k3000円ではちょっと無理かな‥
295 名前：１３２人目の素数さん [2007/07/06(金) 20:38:26 ]: こんな話を聞くとコンピュータに金かけるのがあほらしくなってくるね。
296 名前：１３２人目の素数さん [2007/07/17(火) 21:46:45 ]: さあ情報処理試験秋期申し込みが始まった！
297 名前：297 mailto:sage [2007/07/19(木) 22:26:01 ]: 2=9-7
298 名前：298 mailto:sage [2007/07/19(木) 22:39:55 ]: 2^√9=8
299 名前：299 mailto:sage [2007/07/19(木) 22:52:10 ]: 2=ceiling(log(9)+log(9))
300 名前：１３２人目の素数さん [2007/07/20(金) 21:44:26 ]: 情報処理試験出願しようかな？
301 名前：デニスリッチー mailto:sage [2007/07/21(土) 12:05:05 ]: 止めとけ
302 名前：カーニハン mailto:sage [2007/07/21(土) 12:49:49 ]: いやいや、ぜひ出願しなさい
303 名前：ニクラウスヴィルス mailto:sage [2007/07/21(土) 14:47:27 ]: 俺も仲間に混ぜてくれ。
304 名前：１３２人目の素数さん [2007/07/21(土) 21:20:23 ]: いいけど、何か話題振ってよ。
305 名前：ケン　トンプソン mailto:sage [2007/07/21(土) 21:32:32 ]: なになになになに？
306 名前：石田晴久 mailto:sage [2007/07/21(土) 21:56:09 ]: ベル研の皆さん、お元気ですか。
307 名前：ビョ～ンストラウストラップ mailto:sage [2007/07/21(土) 21:58:58 ]: 変な名前で悪かったな。大きなお世話だぜ、まったく。
308 名前：１３２人目の素数さん [2007/07/29(日) 00:16:55 ]: 情報処理技術者国試もソフ開あたりになるとわりと難しい数学でてこない？
309 名前：名無しさん＠そうだ選挙に行こう mailto:sage [2007/07/29(日) 03:20:13 ]: 国試ってなんだよ、というところはスルーして

算数しかありません、以上
310 名前：１３２人目の素数さん [2007/08/01(水) 01:15:49 ]: 情報処理技術者国試は難しかった・・・
３０歳でやっとこさ旧２種通った。
311 名前：１３２人目の素数さん mailto:sage [2007/08/01(水) 08:51:16 ]: 難しいのは数学的な所ではないけどな
312 名前：１３２人目の素数さん [2007/08/01(水) 19:19:18 ]: 情報処理技術者国試
制度が変わるようだな
313 名前：１３２人目の素数さん [2007/08/19(日) 19:09:52 ]: 情報処理技術者国試
今申し込んだ

さて、通るかな？
314 名前：１３２人目の素数さん [2007/08/19(日) 19:11:55 ]: ＣＳでていないと欧米ではＳＥにもなれない。
315 名前：１３２人目の素数さん [2007/08/19(日) 21:45:38 ]: ＣＳって？
316 名前：１３２人目の素数さん [2007/08/19(日) 21:53:48 ]: かすたまーさーびす？
317 名前：１３２人目の素数さん [2007/08/19(日) 21:56:57 ]: >>308
真面目にやるならそれなり鴨。
ただ、出題者も理論をさっぱり理解できていないのがこの世界。
バカでもまぐれでも答えさえ合えば良いんだよ！
318 名前：１３２人目の素数さん [2007/08/19(日) 23:53:29 ]: 情報処理技術者国試で必要な数学ってなんだろう？
２進数なんかの計算はとりあえず必要だな。
319 名前：１３２人目の素数さん [2007/08/20(月) 00:33:39 ]: 俺の知っている出題者、マージソートの計算量はしどろもどろだったよ。
つかクイックソートもバブルソートもｇｄｇｄ。
「とにかく覚えとけ」だってｗ
そんなレベル。
320 名前：１３２人目の素数さん mailto:sage [2007/08/20(月) 08:07:29 ]: シェルソートの計算量について詳しく教えて下され。
321 名前：１３２人目の素数さん [2007/08/20(月) 10:02:18 ]: >320
ソフ開の参考書にないかえ？
322 名前：１３２人目の素数さん mailto:sage [2007/08/21(火) 07:44:17 ]: >>321
シェルソートのタイトな計算量評価は非常に難しいことが
知られている。常識だと思うんだが。
323 名前：１３２人目の素数さん [2007/08/30(木) 21:39:41 ]: >>322
ぜひ教えて下され。
324 名前：１３２人目の素数さん mailto:sage [2007/08/31(金) 14:25:21 ]: シェルソートについては、Ｄ・クヌースがいろいろと調べて本にまとめていた気がする。
325 名前：１３２人目の素数さん [2007/09/19(水) 22:38:50 ]: 高性能･大容量電子計算機でやるのにいいネタ探してます。
326 名前：１３２人目の素数さん [2007/09/20(木) 00:32:04 ]: 計算可能性理論
327 名前：１３２人目の素数さん [2007/10/02(火) 10:10:19 ]: 正方形の面積の計算。
328 名前：１３２人目の素数さん mailto:sage [2007/10/02(火) 11:07:08 ]: チューリングマシンのシミュレーション
329 名前：１３２人目の素数さん [2007/10/07(日) 01:20:53 ]: 無限に長いテープか。
330 名前：１３２人目の素数さん mailto:sage [2007/10/30(火) 13:52:18 ]: 315
331 名前：１３２人目の素数さん [2008/01/04(金) 11:09:30 ]: 御目。
332 名前：１３２人目の素数さん [2008/01/06(日) 21:17:10 ]: ムーパッドをつかえばいい。
333 名前：333 mailto:sage [2008/01/15(火) 21:53:56 ]: √3*√3=3
334 名前：１３２人目の素数さん [2008/03/15(土) 10:46:38 ]: 春季ソフ開受けます。
応援してね!
335 名前：１３２人目の素数さん [2008/04/14(月) 20:59:49 ]: ＢＣＤコードを使った機器ってどんなのがありますか？
336 名前：１３２人目の素数さん [2008/04/15(火) 21:27:17 ]: さぁ・・・
337 名前：１３２人目の素数さん mailto:sage [2008/04/15(火) 22:49:10 ]: 昔のクイズ番組などで使われていた、得点を表す電光掲示板
338 名前：１３２人目の素数さん mailto:sage [2008/04/15(火) 23:02:20 ]: 部屋に入り切らない程大きなＤＥＣ製の電算機がほちいな。
339 名前：１３２人目の素数さん mailto:sage [2008/04/16(水) 00:42:57 ]: それをどこに置くんだ？
340 名前：１３２人目の素数さん mailto:sage [2008/04/16(水) 09:24:44 ]: 部屋の外に決まってるじゃないか！
入らないんだぜ？
341 名前：1stVirtue ◆.NHnubyYck [2008/04/16(水) 14:12:16 ]: 思考盗聴で個人の生活に介入する奴は早く地球から去ったほうがよい。
342 名前：１３２人目の素数さん [2008/04/17(木) 21:40:22 ]: せんずりスレに行けって。
343 名前：１３２人目の素数さん mailto:sage [2008/04/18(金) 12:20:44 ]: 暇だから久々に「にゅ～めりかるれさぴぃいんし～」でも読み直そうかな。
344 名前：１３２人目の素数さん [2008/04/19(土) 19:03:10 ]: れさぴ?
345 名前：１３２人目の素数さん mailto:sage [2008/04/19(土) 23:58:06 ]: >>334
がんがれ。時間切れに注意しろ。
346 名前：１３２人目の素数さん [2008/04/20(日) 00:13:18 ]: >>345
サンク
んじゃねま～す
347 名前：１３２人目の素数さん mailto:sage [2008/05/27(火) 17:26:04 ]: 二年七時間。
348 名前：１３２人目の素数さん [2008/05/31(土) 02:25:28 ]: age
349 名前：１３２人目の素数さん mailto:sage [2008/05/31(土) 09:35:48 ]: フェアチャイルドの8bitのOSほちいな。
350 名前：１３２人目の素数さん [2008/06/09(月) 21:17:32 ]: 次のような形の定理をご存知ありませんか？
「(あるクラスの)環ＡのイデアルＩが、自然数ｎについての条件(Ｐn)を満たすなら、Ｉはｎ個(以下)の元で生成される。」
351 名前：１３２人目の素数さん [2008/06/12(木) 02:17:13 ]: カシオ計算機
352 名前：１３２人目の素数さん mailto:sage [2008/06/12(木) 06:12:46 ]: クルタ計算機

↑一時期これが欲しくなって数万出して買いそうになった。
が、思いとどまってよかった
353 名前：１３２人目の素数さん mailto:sage [2008/06/12(木) 10:52:20 ]: 狂った計算器に金を出すのかよ。
354 名前：１３２人目の素数さん [2008/06/29(日) 13:52:01 ]: 丸め誤差について具体的に解説してください。
355 名前：１３２人目の素数さん mailto:sage [2008/06/30(月) 00:34:16 ]: 10^6 - 10^-4でググれ
356 名前：１３２人目の素数さん [2008/06/30(月) 13:03:56 ]: 間違えた、桁落ちについて説明してください。
357 名前：１３２人目の素数さん mailto:sage [2008/06/30(月) 14:46:44 ]: ググってもわからんのか？
358 名前：１３２人目の素数さん mailto:sage [2008/08/11(月) 19:32:23 ]: 418
359 名前：１３２人目の素数さん [2008/10/04(土) 11:35:05 ]: 情報処理技術者試験来来週だ。
360 名前：１３２人目の素数さん [2008/10/13(月) 09:06:09 ]: いよいよ来週。
写真撮らなきゃ・・・
361 名前：１３２人目の素数さん [2008/10/19(日) 01:33:43 ]: 撮ったぞ！
貼った！
さあどうだどうだ！
362 名前：１３２人目の素数さん mailto:sage [2008/11/19(水) 22:36:05 ]: 970
363 名前：１３２人目の素数さん mailto:sage [2008/11/26(水) 23:48:52 ]: うるさい。
364 名前：１３２人目の素数さん [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である。

あってる？
365 名前：１３２人目の素数さん mailto:sage [2009/01/06(火) 16:22:33 ]: 関係の和集合ABってのは AかつBであることを言うのか？
366 名前：１３２人目の素数さん [2009/01/06(火) 17:15:17 ]: AまたはBだろう。
367 名前：１３２人目の素数さん [2009/01/07(水) 02:14:41 ]: ＞XYはXとYの和集合を示す。
普通何らかの記号を挟まないかい？
368 名前：１３２人目の素数さん [2009/01/07(水) 10:33:00 ]: あってるが、問題がなんかもにょるなぁ。
369 名前：１３２人目の素数さん mailto:sage [2009/01/08(木) 16:08:44 ]: > 関数従属A→BCは、A→BかつA→Cを意味しているので、

ここがわからん。
BCが和集合なら A→BC は A→BまたはA→C を意味しそうなもんだが
関数従属というのはそういうものじゃないのか？
370 名前：１３２人目の素数さん [2009/01/11(日) 09:07:17 ]: 最近、Google Chromeでネットしてる。履歴みると時刻つきで細かく記録されてて驚くけど、
IE使ってた頃は履歴を削除したつもりでも、エクセルでセルをハイパーリンクするときに、
ブラウザしたページのところに削除したつもりの履歴が参照リンク先として出てきて恥ずか
しということがなくなってよかったわ。
371 名前：370 [2009/01/11(日) 09:11:25 ]: ↑恥ずかしいっていうことがあったけど、それがなくなって
372 名前：370 [2009/01/11(日) 10:07:04 ]: ブラウザしたページ→ブラウズしたページ
だった。ミスだらけ、書かなきゃよかった。。
373 名前：１３２人目の素数さん [2009/01/11(日) 23:19:49 ]: それと数学と何の関係が？
374 名前：370 mailto:sage [2009/01/12(月) 05:25:56 ]: こういう口調で書いてみたかっただけ。
どう？　違和感ある？
375 名前：１３２人目の素数さん [2009/01/12(月) 19:11:41 ]: >>369
＞BCが和集合なら A→BC は A→BまたはA→C を意味しそうなもんだが
違うよ。
答の通り。
376 名前：１３２人目の素数さん [2009/01/12(月) 19:48:56 ]: セキュスペ受けようかなー
377 名前：１３２人目の素数さん mailto:age [2009/01/12(月) 22:25:15 ]: コンビネータって何ですか？
378 名前：１３２人目の素数さん mailto:sage [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
379 名前：１３２人目の素数さん mailto:sage [2009/01/13(火) 11:24:37 ]: レスどうも。なるほどわかりました。
380 名前：１３２人目の素数さん mailto:sage [2009/01/13(火) 18:35:59 ]: >>375
詳しい人のようだからさらに尋ねてみる。

通常の論理では
A ⇒ （B∨C）
= （B∨C） ∨ ￢A
= B ∨ C ∨ ￢A
= (B ∨￢A) ∨ (C ∨￢A)
= (A⇒B) ∨ (A⇒C)
となると思うんだが
関数従属というのはそういうものとは違うものなの？
381 名前：１３２人目の素数さん mailto:sage [2009/01/13(火) 18:47:57 ]: >>380
375ではないが
関数従属の→は論理の⇒とは異なる関係。
A→Bは、「Aに含まれる属性をもつならば、Bに含まれる属性は一意に決定される」ことを指す。
382 名前：１３２人目の素数さん [2009/01/16(金) 22:09:56 ]: JIS流れ図記号って実際のソフトウェア開発では使わないの？
現場にいたことないからわからん。
383 名前：１３２人目の素数さん mailto:sage [2009/01/16(金) 22:46:52 ]: 流れ図は使わんな
384 名前：１３２人目の素数さん [2009/01/17(土) 11:17:02 ]: 流れ図は書くのがめんどくさいんだよな。
385 名前：１３２人目の素数さん mailto:sage [2009/02/11(水) 16:45:48 ]: 680
386 名前：１３２人目の素数さん [2009/02/17(火) 22:15:01 ]: 申し込んだぞ情報処理技術者
今度こそ取るぞ！
387 名前：１３２人目の素数さん mailto:sage [2009/02/18(水) 20:26:28 ]: あ、申し込むの忘れたorz
388 名前：１３２人目の素数さん [2009/02/18(水) 20:31:53 ]: 現在、下記区分のみ受付中！（その他の区分は
締め切りました）※2/19(木)20時締切
　・ITパスポート試験
　・基本情報技術者試験
　・初級システムアドミニストレータ試験

これならまだ受け付けてるぞ。
389 名前：１３２人目の素数さん mailto:sage [2009/02/21(土) 21:43:16 ]: 秋にしたｗ
390 名前：１３２人目の素数さん [2009/02/23(月) 20:17:27 ]: そうかい。
秋にがんがってね。
391 名前：１３２人目の素数さん [2009/04/13(月) 21:03:46 ]: さあ一週間切った
情報処理技術者
やるぞー！
やるぞー！

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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