1 :
132人目の素数さん:
数学と電子計算機の関係は密接だ。
電子計算機でどんどん数学やろう!
2 :
132人目の素数さん:2006/05/27(土) 11:13:55
電卓で数学
3 :
132人目の素数さん:2006/05/27(土) 15:54:11
電子計算機っつかクルタ計算機が超欲しい
4 :
132人目の素数さん:2006/05/27(土) 18:19:40
タイガー計算機使ってみたい。
5 :
132人目の素数さん:2006/05/27(土) 19:06:21
情報処理技術者試験って数学いる?
6 :
132人目の素数さん:2006/05/27(土) 20:29:40
電子計算機なんて所詮ある公理系に従うゲームに過ぎないのだ。
高々有限のことしかできない以上、数学には何にも本質的な
ところでは寄与することはない。ワープロや論文をゲットする
為の文房具にしかならないよ。数学のように土台がしっかりして
もいなくて、しょっちゅう改定されたり、変わったりするような
いいかげんなものなど、信頼するにあたらない。
7 :
132人目の素数さん:2006/05/27(土) 22:15:05
電子計算機って懐かしい響きだな。
昔学生の頃の大学の講義で電子計算機命令計画法なんてのがあった
今でいうとコンピュータアルゴリズムだよ
8 :
132人目の素数さん:2006/05/28(日) 09:32:22
コボルで数学は可能か?
なんでVBにはevalがないんですか><
10 :
132人目の素数さん:2006/05/28(日) 20:11:13
数学やるのにふさわしい言語はやっぱりC?
11 :
132人目の素数さん:2006/05/28(日) 20:16:11
僕はC++ちゃん!
12 :
132人目の素数さん:2006/05/28(日) 22:03:55
CとC++の違いはなんだろう?
数ヲタならマシン語直接書けよ。
他人の作ったプログラミング言語なんて使ってるようじゃ
いつまでたってもラマヌジャンにはなれないぞ。
15 :
132人目の素数さん:2006/05/29(月) 17:14:05
真の数ヲタはlispやhaskellの信者
マシン語なんて泥臭いものは指先すら触れない
unlambda最強
17 :
132人目の素数さん:2006/05/29(月) 21:10:49
コボルで数学は可能だろうとは思うが、かなり無理矢理。
数ヲタなら categorical programming とか
いや、俺はよく知らないが
19 :
132人目の素数さん:2006/05/29(月) 23:58:04
コボルでマクローリン!
20 :
132人目の素数さん:2006/05/30(火) 03:41:44
>>14 >数ヲタならマシン語直接書けよ。
>他人の作ったプログラミング言語なんて使ってるようじゃ
>いつまでたってもラマヌジャンにはなれないぞ。
マシン語をつかっても特にラマヌジャンに近づくわけでもないが。
んな当たり前のことをマジレス風味で返されても・・・
22 :
132人目の素数さん:2006/05/30(火) 23:48:06
電卓で十分。
23 :
132人目の素数さん:2006/05/31(水) 22:26:12
小中学校はもっと電卓を取り入れるべきだ。
計算機代数といえば野呂氏
25 :
132人目の素数さん:2006/05/31(水) 22:35:13
ポラロイドを使えば光スイッチが作れる?
26 :
132人目の素数さん:2006/06/03(土) 10:41:05
int mainとvoid main
どうちがうの?
とりあえずint mainにしとけばいいんじゃね
28 :
132人目の素数さん:2006/06/03(土) 16:43:36
int mainで解説している本はあんまりない
~$ cat foo.c
void main(){}
~$ gcc -Wall foo.c
foo.c:2: warning: return type of 'main' is not 'int'
>>28 そんな古い本は捨てろ
30 :
132人目の素数さん:2006/06/03(土) 17:03:09
31 :
GiantLeaves ◆6fN.Sojv5w :2006/06/03(土) 19:19:14
talk:
>>30 与えられた実数が有理数かどうかを判定するアルゴリズムを教えてくれ。
私自身、大学の法学部時代はポケット六法で十分だったんだよね。
大学の数学コースでも、500円の電卓だけの使用で卒業できるのでは ?
33 :
132人目の素数さん:2006/06/03(土) 21:04:38
漏れは¥105で買った電卓使ってるよ。
電子回路が半田の代わりに鼻糞でつけてあるような。
なんかシェルに対して値を返してるんだっけ?、まあ、はっきりいってどうでもいい
大学で電卓なんか一度も使わなかったな
36 :
132人目の素数さん:2006/06/03(土) 23:00:47
>34
voidでも自動生成されるんでしょ?
mainの返り血0が正常終了、1が異常終了。
このルールで適宜return 0かreturn 1を使い分ける。
上のひとが言ってるみたいに、
プログラムが正常終了したかを確認したい場合
呼び出しもと(shellなど)でこの値を参照する。
ダメとは言わないがvoid mainは好ましくない。
38 :
132人目の素数さん:2006/06/04(日) 00:32:56
漏れの持ってるC本はintもvoidもつかずに
ただmain()とだけある
return0;はあるのだが
39 :
変人:2006/06/04(日) 00:42:55
>>31に関連して、
機械に分数を表現させることは出来ますか?
できるのならどなたか方法を教えてください。
40 :
132人目の素数さん:2006/06/04(日) 01:30:13
>>38 化石Cだとそれで正しい。
void main() は最近voidが支持していたよw
41 :
132人目の素数さん:2006/06/04(日) 02:03:12
何かいいC言語の本ありませんか?
数値計算をやってみたい。
>>39 分数(有限の有理数)を扱える数式処理ソフトならいくつもある。
pariなりGAPなりmathematicaなり。
C++とかでやるなら有理数クラスでもつくればいいんじゃない?
int型(longでも)ふたつ持たせて、計算後は毎回約分できるかをチェックする。
もちろん演算(+-*/)も別途定義して…って感じで。
すでにライブラリありそうな気もするけど。
>>41 Numerical Recipes in Cとかが数値計算の
ハンドブックとしていいんじゃないでしょうか。
和訳もあるし。
もし、C言語の入門本を探してるのなら
なんでもいいと思う。ネットだけでも覚えられるし。
ライブラリオナニー厨はどこにでもいますから。
45 :
132人目の素数さん:2006/06/04(日) 08:44:28
>42
サンクス
HP見てみたらNumerical Recipes in Cなかなかよさげです。
書店で探してみます(とりあえず和訳ね)。
46 :
132人目の素数さん:2006/06/04(日) 22:14:38
カタカナではニューメリカルレシピってなっていた。
49 :
132人目の素数さん:2006/06/05(月) 00:14:56
タダとは大盤振る舞いな
古いのかね?
ネットのやつは第2版なので日本語版と比べたら新しいです
>>31 いきなり変数に値を代入みたいな形では実数を与えることは出来ない
から、数列みたいなものを与えて、(収束するならば)それが実数に収束するか、
有理数に収束するかを判定することになるのかな・・・?
しかし、なんか変な気がする・・・
52 :
132人目の素数さん:2006/06/06(火) 20:45:11
ニューメリカルレシピ・イン・シー 日本語版
注文した
これってもしアフィリエイトだったら500円くらいもらえるんだっけ?
54 :
132人目の素数さん:2006/06/08(木) 21:08:49
フォートラン最高!
80カラムってなんだよみたいな・・・
UNIX/C最高
57 :
132人目の素数さん:2006/06/09(金) 23:58:19
フォートラン
昔学校にあったFACOMに
1行ずつプログラム書いたマークシート通したっけ
懐かしい・・・
お年を召した方ハケーン
59 :
132人目の素数さん:2006/06/10(土) 11:17:49
フォートランって今も使われてるの?
役に立つ?
コンパイラ高杉
61 :
132人目の素数さん:2006/06/10(土) 17:50:19
フリーでないのかい?
フォートランコンパイラ。
GNU f77なら
63 :
132人目の素数さん:2006/06/11(日) 10:23:16
フォートラン・コボルは時代遅れ。
みんなコンパイラでか杉、やっぱりcがいい。
プログラミングしててCほど楽しい言語はないね
66 :
132人目の素数さん:2006/06/12(月) 19:42:14
>65
そうですか。
他の言語と比較してどんなところが楽しいですか?
アセンブラと高級言語のいいとこ取りしたのがcだ。
68 :
132人目の素数さん:2006/06/13(火) 21:34:47
>67
素晴らしいことだ。
フォートラン、 コボル、 コンパイラ
って、バビル二世の しもべ たちだろ ?
Prologって使えます?
自動証明に興味あるんですが。
使えるって available のことかそれとも useful のことだろうか
前者ならフリーの処理系があると思う
72 :
( ´D`):2006/06/14(水) 00:35:23
( ´D`)<ばびるにせーってなんれすか???
prologってフリーのもシェアウェアのも大量に処理系がありますよね・・・
名前はマイナーだけど流行ってるとこでは流行ってるのかなぁ・・・
lisp はどうなんだろ。興味ある蛾。
C++だとみんなJavaやPerl並にメモリを意識しないコーディングをし始めちゃうから
どうしても遅くなるね。やっぱりCが最高。
76 :
132人目の素数さん:2006/06/16(金) 00:25:06
情報処理技術者合格された方います?
>>75 えっ?
C++でメモリを意識しないで組むなんてC以上に困難なんだが。
あっ、オブジェクト指向しないってことね!
>>77 なんでもSTLのコンテナにぶち込んじゃうじゃん。
楽だから。
80 :
132人目の素数さん:2006/06/17(土) 03:58:24
C++は便利だけど、オブジェクト指向ヲタがきもい。
>>1 「無意味なスレ立て厳禁」
って読めませんか?
そういうくだらない話は質問スレでやってください
終 了
そして
>>1はすぐ死ね
>>80 ヲタは自分を客観的に見る能力が欠如してるから多めに見てやれ。
83 :
132人目の素数さん:2006/06/17(土) 20:11:37
山崎邦正って一種持ち
84 :
132人目の素数さん:2006/06/18(日) 08:32:14
試験はすぐ古くなる
85 :
132人目の素数さん:2006/06/21(水) 23:38:41
電子計算機って聞けば昔のスーパーで見たレジスターを思い出す。
0〜10まで(9までではない)の数字キーが縦に1桁ずつズラッと並んで、
表示は液晶や電光ではなく数字の書いた板が上下する。
おばはんがレバーを押すとガチャガチャと機械音がうなってチーンとレジの金入れが開く。
子供心に操作してみたかった・・・
86 :
132人目の素数さん:2006/06/21(水) 23:40:49
プラパズルのコピーが
「あなたは電子計算機に勝てますか?」だったりね。
88 :
132人目の素数さん:2006/06/22(木) 22:59:30
昔「ベルトクイズQ&Q]夏休み子供大会の景品に「電卓」っていうのがあったなぁ。
パソコンなどではなく、ただ単に大判の卓上電子計算機。
関数もなさそうだった。
あんなの今だったら貰っても邪魔なだけ。
それ、casioの青い蛍光表示の12800円のやつだよな。
90 :
132人目の素数さん:2006/06/28(水) 21:05:34
電卓なんかもらって何したのか?
うーむ。そういう電卓を貰っただけで嬉しい世代ってのは
そろばんが出来たりしたからなwww
92 :
132人目の素数さん:2006/06/29(木) 21:40:38
計算尺全盛だったとか
先生、計算尺を見たことがないです!
94 :
132人目の素数さん:2006/06/29(木) 21:57:01
4.8GHzの計算尺は最強だった
ほんとに何する物か分からないので、ヤフオクかなんかで
落として、Hackしてみようかな・・・
物差し二本を目盛を合わせて、 5cm と 2cm を合わせると、
2cm 側の 0cm の部分と 5cm 側の 3cm が合うでしょ?
これで、5-2=3 が計算できるわけ。
目盛を反対向きにすれば足し算もできるよね?
さて、そこで、対数目盛の物差しを使うと、なんとかけ算も割算も
出来てしまうって話。
これだけ分かれば自作できるよね?
対数はなんか面白そうだけど、・・・足し算はあんまり嬉しくないような・・・
ストレンジラブ博士が丸いの使ってたね。
まだ手に入りそうだ。
99 :
132人目の素数さん:2006/06/30(金) 01:56:26
種々の計算尺を収拾しておくと、コレクションてき価値が出て、
今に1本うん十万円、うん百万円などという値段がつく日もあるかと。
ある人が、工学者に「2×3はいくつですか?」と尋ねた。
工学者は懐から計算尺をとりだし、
「2…かける3…だな。目盛りを読むと…5.9か。だいたい6だな」
と、計算結果を教えた。
計算尺なんて見たことないが、FF12では武器として使われてたな。
そんなのやる時間ねー
日経サイエンスの今月号に計算尺の記事があったはず
105 :
132人目の素数さん:2006/06/30(金) 23:34:09
電子計算尺
あったらいいな
107 :
132人目の素数さん:2006/06/30(金) 23:50:06
計算尺は数学教育にはいいと思うんだけど。
計算尺メーカーも学校も教材会社も教育用に残しておくべきだったと思う。
そろばんはアナクロだけどアナログではなくデジタル
計算尺はアナクロ、アナログ、notデジタル
110 :
132人目の素数さん:2006/07/01(土) 01:16:59
昔はそろばんつき電卓があったね。
一体どんな意味があったのだろう。
加減はそろばん乗除は電卓の方が早い
パソコンのディスプレイ上のそろばんをマウスで弾いて計算するソフトもあったなw
115 :
132人目の素数さん:2006/07/01(土) 16:55:06
整数:int
実数:float
虚数は?
typedef struct {
float real;
float img;
}Complex
Lispマシンって見たことないな
>>115 floatは浮動小数点数ですよ。
実数を計算機上で表現する事はできない。
(証)
計算機のメモリ上で区別できる数は可算無限個である。
可算無限長の記述で非可算無限個の実数は表現できない。
■
119 :
132人目の素数さん:2006/07/01(土) 22:50:09
float
double
どっちがいいの?
一長一短
というか、intはZ/(2^32)Zとかだから、・・・
代表元の取り方がちょっと特殊だけど・・・
122 :
132人目の素数さん:2006/07/02(日) 11:22:49
一朝一夕
123 :
132人目の素数さん:2006/07/02(日) 11:25:23
ターボリナックスはLISPがおまけでつてくる
>>118 ZFの可算モデル使えよ。
まあ、計算機の「実数型」が近似小数であることは間違いないが。
125 :
132人目の素数さん:2006/07/04(火) 00:27:48
情報処理技術者願書配布始まったね。
受けようかな?
1種持ってるけどぜんぜん役に立たんよ。
>>118 >計算機のメモリ上で区別できる数は可算無限個である。
そんなすごい計算機があるんですか?
”十分性能が高ければ区別できる可能性のある数”って意味では?
129 :
52:2006/07/05(水) 00:05:39
ニューメリカルレシピ
やっと届いた
近所の本屋で注文したが約1ヶ月かかった
本屋で注文すると時間がかかるのはなかなか改善されないね
130 :
132人目の素数さん:2006/07/05(水) 20:34:55
情報処理技術者試験は知識証明だから、
取って使えるというものではないので、
情報系エンジニアでも受けない人も多いんだろうな。
131 :
132人目の素数さん:2006/07/07(金) 21:12:01
ソフ開ほしい
631
133 :
132人目の素数さん:2006/08/04(金) 22:23:23
>>87 プラパズルかぁ・・・
1個か2個うちにあったなあ。
今のプラパズルはなかなか綺麗
今でも天洋さん健在なんだ・・・なんか良いね。
136 :
132人目の素数さん:2006/08/17(木) 23:17:27
15ゲームってのもあったな
はなやまだっけ?
100
408
r─────────────┐
| この機械が何をするものか .|
| わかるのかね? .|
└─v ――――― ― ―― ――┘ r──────────┐
,,,,,, | 自動的に計算を行う |
,彡{{}}}i、 | 機械だと思います |
彡 ,._ _,.}} ┌─ェTェエェTェ___ └──v ───────┘
6、 `・J・i. ├|!挂i圭i卦l|┤ ,.,rrm、
,/ヽ/冖人. ├|!挂i圭i卦l|┤ /彡!!!シ☆@
, -''{ {l>O<l }`ー、_____.├|!挂i圭i卦l|┤ {ミl_._ _._`{ミ}!i
l l l {{i}} .l ├|!挂i圭i卦l|┤ {ミ} ・、 ・` {ミ}!!l
.| y ヽ l{{i}レ rー----- ├|!挂i圭i卦l|┤ ヽワ ノi !!〈
l | ヽ/ | ├|!挂i圭i卦l|┤ /∬{:}∬::::\
 ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ :::i三三三三三三i  ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
596
141 :
132人目の素数さん:2006/11/16(木) 21:26:34
Numerical Recipes in C
どうみてもヌメリカルだよな
142 :
132人目の素数さん:2006/12/10(日) 23:27:01
>>99 それはない。
材質はほとんど竹だ。
老朽化が激しい。
うちの学校にくさるほどある。というかくさってる(悪臭がする)。
umai
144 :
132人目の素数さん:2007/01/19(金) 23:28:29
電子計算機の勉強に
数学は必要か?
そういう質問をする人には不要
146 :
132人目の素数さん:2007/01/28(日) 20:31:30
情報処理技術者申し込んだよ。
今から勉強。
147 :
132人目の素数さん:2007/02/01(木) 22:05:56
情報処理技術者ってどんな数学いるの?
いらねぇんじゃね?
答え丸暗記でいい問いは、数学とは呼ばない。算数。
483
微分方程式を解くときに使う ルンゲクッタ法やオイラー法 ってありますよね。
ルンゲクッタ法では誤差が抑えられるらしいのですが、
そうなる理由などももちろん証明されているんですよね。
それって数値解析のどんな本でも載ってますか?
151 :
132人目の素数さん:2007/02/17(土) 06:42:47
買えばわかる。
152 :
132人目の素数さん:2007/03/05(月) 19:36:41
ニューメリカルレシピよりやさしいのない?
C言語はじめてでもおkなやつ。
323
154 :
132人目の素数さん:2007/04/04(水) 00:56:41
数値計算法の基本は算数だ
155 :
132人目の素数さん:2007/05/04(金) 21:48:05
数学ソフトでいいのない?
安いので。
何をしたいのかね
157 :
132人目の素数さん:2007/05/05(土) 09:49:18
こんなこと。
数・四則演算
方程式・不等式・行列
三角比・三角関数
指数・対数
統計
微積分
158 :
132人目の素数さん:2007/05/05(土) 13:33:10
>>157 十進BASICで十分。シンボリックな計算(多項式の因数分解とか)を
したいのならMAXIMA。
Python言語でのSciPy/NumPyという数学ツール群で
微分積分から多項式の因数分解まで可能になるらしい。
Ruby言語については調べてないけど、
かなり野心的なプロジェクトだからねえ…ありそうな予感。
160 :
132人目の素数さん:2007/05/05(土) 23:51:43
C言語は数学向きか?
つ<math.h>
164 :
132人目の素数さん:2007/05/13(日) 23:34:25
>161
それなんて読むの?
マスエッチ?
165 :
132人目の素数さん:2007/05/25(金) 23:44:55
ボーランドはナゼボーランドC++を無料で配布しているのだろう???
166 :
KingOfUniverse ◆667la1PjK2 :2007/05/26(土) 08:37:16
talk:
>>165 とっくの昔に開発資金の回収が終わったから?
有料だったらいったい誰が使うんだよって話じゃん。
168 :
KingOfUniverse ◆667la1PjK2 :2007/05/26(土) 13:08:26
talk:
>>167 今の考えならそうだが、昔はCコンパイラも貴重だったのだよ。
DOSで動くTurboCが5〜10万くらいしてたっけ?
170 :
132人目の素数さん:2007/05/26(土) 23:22:59
171 :
KingOfUniverse ◆667la1PjK2 :2007/05/26(土) 23:24:48
172 :
132人目の素数さん:2007/06/03(日) 02:19:08
使ってみたんだがボーランドC++は小数点以下6桁しか計算できないの?
173 :
132人目の素数さん:2007/06/03(日) 19:32:08
>>164 漏れは授業ではマッスドットヘッダって読んでるよ。
マスエッチじゃせんずりがHということになってしまう。
sin(x)とかcos(x)がどうやって'計算'できるのか不思議に思っていたなあ。
ああこうやって無限展開すれば良いのかと。微分ってスバラシイなと。
175 :
KingOfUniverse ◆667la1PjK2 :2007/06/04(月) 17:17:41
talk:
>>174 しかも、それより速い計算方法もある。
176 :
132人目の素数さん: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 :
132人目の素数さん:2007/06/07(木) 21:45:45
シェルスクリプトですな
178 :
2次方程式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;
}
180 :
132人目の素数さん:2007/06/08(金) 04:14:49
1+1=2の計算過程が知りたい。
182 :
132人目の素数さん:2007/06/08(金) 16:29:47
「king」を実装するコードを教えれ
183 :
KingOfUniverse ◆667la1PjK2 :2007/06/08(金) 17:56:07
talk:
>>182 お前の意思を実装してみるか?
184 :
132人目の素数さん:2007/06/09(土) 01:09:05
>180
計算過程より意味が知りたい。
基礎論でやるのか?
186 :
132人目の素数さん:2007/06/17(日) 22:28:55
>178
虚数解を求められるように作り変えてくれ。
187 :
132人目の素数さん:2007/06/23(土) 07:47:13
計算可能性理論を勉強したい。
nに関する方程式:(3^960-1)/2^n ∈ N の解を求めるプログラムを作ってください
勝手ながら、プログラミング言語は指定した言語を使用ください
許される言語は、Pascal, C, アセンブラ
以外の言語によるプログラムはプログラムとは認めません
機械語でもいいだろ
191 :
132人目の素数さん:2007/06/23(土) 08:47:11
>190
是非
まだぁ? もう一時間半も経ってるよ
コーディング遅いねクスクス
アルゴリスムの善し悪しには興味をそそられないなぁ
3^960は二進数で1500桁強の数だから
1600ビットの多バイト長演算ができれば十分だな。
その問題に限るのならば
3倍することと、下の桁から0が幾つ続くか数える機能があれば十分だ。
能書き垂れてねーで、はやくコーディングをお願いいたします
後は自分で書け
/* 加算 */
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;
}
16分もかけてこれぽっちかよ
カメッ!!!
なんでそんな言語にこだわるんだろう
例えば Lisp ならたった一行ですむぞ
(log (gcd (expt 2 (ceiling (* 960 (log 3 2)))) (1- (expt 3 960))) 2)
>>198 答えを出力するのに何秒かかりますか?
漏れのコードは2.5秒くらいです
200 :
198:2007/06/23(土) 10:42:47
どうでもいいが Z/2^nZ の単数群考えたら手計算でも十分できるな
>>200 マシン名とOSと計算時間を計測できた証拠をスクリーンショットうpして
203 :
sage:2007/06/23(土) 11:29:54
中国式マッサージ
960=2^4 x 3 x 5
n = 2^{4+2} = 2^6 = 64
204 :
間違い:2007/06/23(土) 11:33:50
960=2^6 x 3 x 5
n = 2^{6+2} = 2^8 = 256
n=0,1,...,8
>>202 めんどくさいんで自分で適当な処理系入れて試してくれ
xyzzy でもちゃんと動く
207 :
間違い:2007/06/23(土) 11:50:55
>>202 マシン名 → ナイコン7
OS → DOQ/V
計算時間 → 10分
スクリーンショット → (゚Д゚)ゴルァ!
208 :
198: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
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 :
間違い:2007/06/23(土) 12:22:16
>>209 何を使って計算したか知らんけど
3^960 = 1 mod. 2^n
ってことに気づけョ
211 :
間違い:2007/06/23(土) 12:59:04
もう少し言うと
3^{2^t x 奇数} = 1 mod. 2^{t+2}
kが、k≧3のとき
3^{2^t x 奇数} ≠ 1 mod. 2^{t+k}
はどうやって分かるの?
>>208さん
クドくてすみません
そのウインドウのスクリーンショットうp願います
うざー
clisp てvectorとかで入手できますか
一方、ロシアは鉛筆と2項定理と2進附値を使った。
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)の2項展開の 第1 項目を除き 2^9 で割り切れ、そして第1項目はジャスト 2^8 で割れる。
式(2) を利用することにより、V(3^960-1) = 8 であることがわかった。
n = 0, 1, ..., 8.
220 :
217:2007/06/23(土) 22:27:33
>>216 流儀によるお
ちなみに、全然関係ない話ですが、通常V_p(0) = ∞ と定義する。
0多項式の次数 を -∞と定義すると辻褄があうのと同じ理由で。
221 :
198:2007/06/23(土) 22:28:18
面倒だと思ったけど、
>>216 見たらまあいいかって気になった
これからupするんでちょっと待って
222 :
218:2007/06/23(土) 22:29:32
>>220 の名前は 218 が正しい
その中のアンカーは >> 219 が正しい
orz
>>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:2007/06/23(土) 22:49:04
225 :
エレガントな解答を求む:2007/06/23(土) 23:00:24
>>224 Cygwinですか?
0秒とは奇跡的ですね
失礼ながら、解を全て列挙するようにプログラムをmodifyしていただけますか?
やっぱり0秒でしょうか
226 :
218:2007/06/23(土) 23:03:23
>>189 の制限を無視して、GP という飛び道具を使うと、
? valuation(3^960-1, 2)
%6 = 8
(時間までは計っていないが一瞬)
227 :
198:2007/06/23(土) 23:18:39
>>225 いや、WinXP で。
変更といっても最大値が求まればあとは表示するだけだからなあ。
なんか表示で時間を食うのか、real time だけ 0.015625 になったりならなかったり。
>>227 すいません
その clisp というものの binary はどこでゲットできるでしょうか
あと、できれば、解nを全て列挙するコードもいっしょに
229 :
198:2007/06/23(土) 23:51:46
231 :
198:2007/06/24(日) 00:44:37
0.015625 だったり 0.0 だったりだなあ
real time と run time でも違う
粗すぎてよくわかんないけど 15ms ぐらいなのかな
>>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 を解いて
解を全て列挙せよ
はどうやって解けばよろしいでしょうか?
>>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項演算子です。これを(3)の修正版とします
>>235 4^t = 2^(2t) なんだから、あらためて解く必要はないのでは
(解くプログラムを作れという課題ならともかくとして)
なおロシア式はいまのところ割る数が素数 p (直上の議論で素数べき)にしか対応してません。
4 より 6 とかですかね
あと lisp で log に誤差がでないかちょっと心配(中で底が 2 のときは別処理してるのかな。
とすると 2 を別の数 に変えた問題で使うときは要注意かも
237 :
間違い:2007/06/24(日) 09:21:53
>>235 計算するまでも無く
n = 1, 2 だ!
238 :
間違い:2007/06/24(日) 09:29:54
>>237 n = 1, 2, 3, 4
の間違い…
239 :
198: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 :
間違い: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:2007/06/24(日) 11:15:11
242 :
218 236:2007/06/24(日) 12:26:12
>>239 納得 EXPT も、もしやばければ同様、ですな
そもそも問題が大して面白く無い件
244 :
132人目の素数さん:2007/06/24(日) 14:47:27
まあな。
245 :
132人目の素数さん: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 :
132人目の素数さん:2007/06/24(日) 16:48:08
def a():
x=3**960-1
i=0
while x%2==0: x/=2; i+=1
return i
何という言語かは知らんが正しそうには見えるぞ
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
254 :
エレガントな解答を求む:2007/06/24(日) 22:12:03
255 :
ロシア:2007/06/24(日) 22:17:12
>>254 x は本当のところどう計算したか興味あり
上のほうに並んでる数字の羅列、3^960 を4バイトごとに下から並べてるのかと思ったら違う?
こっちで計算したら下16バイトはこうなったんだけど
4082d184176febff4ef057ea089e1301
257 :
エレガントな解答を求む:2007/06/24(日) 23:26:12
>>256 CPUなに使っておられますか?
当方Celron2.8G
258 :
エレガントな解答を求む:2007/06/24(日) 23:30:58
Celeron だけど、こっちでやったことはCPU関係ないはず
3^960 を16進表示したら下32桁はどうなるかを計算した結果が
>>256
>>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]);
}
}
printf("%16x", ...)
とやるんでしたっけ?
あ、octal でしたっけ?
だと
printf("%010x",..) ???
何を混乱してるのかわかんないんだけど
octal は8進数
8桁で、上は0で埋めるんだよね
%08x でいいんじゃね?
でも足し算の実装見ると最上位ビットはキャリーフラグ用になってる?
266 :
エレガントな解答を求む:2007/06/25(月) 06:35:02
>>264 int は32bit で32/4=8だから %08xでいいんですね。ラリってました
>でも足し算の実装見ると最上位ビットはキャリーフラグ用になってる?
当たり carry も見れたほうがデバッグ上安心だと思って
>>265 python て C のbreak; 制御語みたいの使える?あと switchとか
>>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 :
132人目の素数さん:2007/06/25(月) 21:37:45
switchは嫌いだな。
270 :
エレガントな解答を求む:2007/06/25(月) 21:45:57
switch構文こそエレガントなプログラムのエッセンスでは?
>>268 1000回平均で大体0.000053 〜 0.000054秒ぐらいらしい・・
一応pythonに似た言語のrubyでも計ってみたら、ほぼおんなじ関数で、平均0.000182 〜 0.000188秒くらい・・
272 :
198: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 漏れも10回計算して平均とってみた 35ms 悔しい
でも >Space: 59506100 Bytes メモリ使い杉
時間*空間 で勝負したら負けないと思う
>そうなの
今、perl で state machine 作ってるので
elsif elsif ・・・ でプログラムが汚い
274 :
エレガントな解答を求む:2007/06/26(火) 07:12:18
あ、間違え 時間/空間
小せえな俺
275 :
198:2007/06/26(火) 09:23:47
>>273 elsif は汚いの?基準がよくわからん
276 :
エレガントな解答を求む:2007/06/26(火) 19:00:01
>>275 lisper の方は if( if( if( if()))))))) とかに美学を感じるのですか
277 :
132人目の素数さん:2007/06/26(火) 19:35:54
switchはニューメリカルレシピで批判されてるね。
でも大掛かりなシステム組むんじゃないんだから、堅苦しいこといわないで、気軽に使えばいいと思う。
278 :
エレガントな解答を求む:2007/06/26(火) 19:40:36
switch と enum の組み合わせでエレガントなプログラムになるとおもうんだけどな
確かに、大掛かりなシステムの場合はそれが、、、
switch文はif elseに比べて、実行速度が多少速くなる場合がある。
280 :
エレガントな解答を求む:2007/06/26(火) 20:00:49
いや、やっぱり大規模なシステムでも switch 構文で書けるシンプルさが
必要なような、そうでないような、、、
281 :
198: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:2007/06/26(火) 21:35:02
あーなるほど
なんとなくわかるかも
まあ 富豪的プログラミングといふのも わからなくはないのですが
286 :
132人目の素数さん:2007/06/27(水) 16:29:06
そういえば >大量の分岐
するようなプログラムなんて書いたことないや
300くらいに分岐なら書いたことあるが
「大量」ってのはどのくらいを指すんだろう?
288 :
198:2007/06/27(水) 21:20:33
分岐の数よりも全体の行数かも。
一画面に収まりきらないぐらいになると美しくないと感じる。
まあしょうがないことも多いんだけどね。パーサとか。
パーサなんかも関数のテーブルを参照するようにすれば
小さくまとめることも可能なんだが
そうするとかえって面倒なことになることもあるな。
290 :
286:2007/06/28(木) 20:47:15
昔クロスアセンブラ組んだ時、hashのお世話にはなりましたが
その後、lex,yaccに誘惑されて、、、、、、、、、、、、、、
結局今はSQLの勉強しています
291 :
132人目の素数さん:2007/07/01(日) 19:20:10
AccessでSQL使えるの?
>>283 CPUが1MHzだったころにメモリ1k3000円で買えたっけ?
293 :
132人目の素数さん:2007/07/06(金) 01:00:21
さあねえ・・・
8kで5万くらい出したおぼえがあるので
1k3000円ではちょっと無理かな‥
295 :
132人目の素数さん:2007/07/06(金) 20:38:26
こんな話を聞くとコンピュータに金かけるのがあほらしくなってくるね。
296 :
132人目の素数さん:2007/07/17(火) 21:46:45
さあ情報処理試験秋期申し込みが始まった!
297 :
297:2007/07/19(木) 22:26:01
2=9-7
298 :
298:2007/07/19(木) 22:39:55
2^√9=8
299 :
299:2007/07/19(木) 22:52:10
2=ceiling(log(9)+log(9))
300 :
132人目の素数さん:2007/07/20(金) 21:44:26
情報処理試験出願しようかな?
止めとけ
いやいや、ぜひ出願しなさい
俺も仲間に混ぜてくれ。
304 :
132人目の素数さん:2007/07/21(土) 21:20:23
いいけど、何か話題振ってよ。
なになになになに?
ベル研の皆さん、お元気ですか。
変な名前で悪かったな。大きなお世話だぜ、まったく。
308 :
132人目の素数さん:2007/07/29(日) 00:16:55
情報処理技術者国試もソフ開あたりになるとわりと難しい数学でてこない?
国試ってなんだよ、というところはスルーして
算数しかありません、以上
310 :
132人目の素数さん:2007/08/01(水) 01:15:49
情報処理技術者国試は難しかった・・・
30歳でやっとこさ旧2種通った。
難しいのは数学的な所ではないけどな
312 :
132人目の素数さん:2007/08/01(水) 19:19:18
情報処理技術者国試
制度が変わるようだな
313 :
132人目の素数さん:2007/08/19(日) 19:09:52
情報処理技術者国試
今申し込んだ
さて、通るかな?
314 :
132人目の素数さん:2007/08/19(日) 19:11:55
CSでていないと欧米ではSEにもなれない。
315 :
132人目の素数さん:2007/08/19(日) 21:45:38
CSって?
316 :
132人目の素数さん:2007/08/19(日) 21:53:48
かすたまーさーびす?
317 :
132人目の素数さん:2007/08/19(日) 21:56:57
>>308 真面目にやるならそれなり鴨。
ただ、出題者も理論をさっぱり理解できていないのがこの世界。
バカでもまぐれでも答えさえ合えば良いんだよ!
318 :
132人目の素数さん:2007/08/19(日) 23:53:29
情報処理技術者国試で必要な数学ってなんだろう?
2進数なんかの計算はとりあえず必要だな。
319 :
132人目の素数さん:2007/08/20(月) 00:33:39
俺の知っている出題者、マージソートの計算量はしどろもどろだったよ。
つかクイックソートもバブルソートもgdgd。
「とにかく覚えとけ」だってw
そんなレベル。
シェルソートの計算量について詳しく教えて下され。
321 :
132人目の素数さん:2007/08/20(月) 10:02:18
>320
ソフ開の参考書にないかえ?
>>321 シェルソートのタイトな計算量評価は非常に難しいことが
知られている。常識だと思うんだが。
323 :
132人目の素数さん:2007/08/30(木) 21:39:41
シェルソートについては、D・クヌースがいろいろと調べて本にまとめていた気がする。
325 :
132人目の素数さん:2007/09/19(水) 22:38:50
高性能・大容量電子計算機でやるのにいいネタ探してます。
326 :
132人目の素数さん:2007/09/20(木) 00:32:04
計算可能性理論
327 :
132人目の素数さん:2007/10/02(火) 10:10:19
正方形の面積の計算。
チューリングマシンのシミュレーション
329 :
132人目の素数さん:2007/10/07(日) 01:20:53
無限に長いテープか。
315
331 :
132人目の素数さん:2008/01/04(金) 11:09:30
御目。
332 :
132人目の素数さん:2008/01/06(日) 21:17:10
ムーパッドをつかえばいい。
333 :
333:2008/01/15(火) 21:53:56
√3*√3=3
334 :
132人目の素数さん:2008/03/15(土) 10:46:38
春季ソフ開受けます。
応援してね!
335 :
132人目の素数さん:2008/04/14(月) 20:59:49
BCDコードを使った機器ってどんなのがありますか?
336 :
132人目の素数さん:2008/04/15(火) 21:27:17
さぁ・・・
昔のクイズ番組などで使われていた、得点を表す電光掲示板
部屋に入り切らない程大きなDEC製の電算機がほちいな。
それをどこに置くんだ?
部屋の外に決まってるじゃないか!
入らないんだぜ?
341 :
1stVirtue ◆.NHnubyYck :2008/04/16(水) 14:12:16
思考盗聴で個人の生活に介入する奴は早く地球から去ったほうがよい。
342 :
132人目の素数さん:2008/04/17(木) 21:40:22
せんずりスレに行けって。
暇だから久々に「にゅ〜めりかるれさぴぃいんし〜」でも読み直そうかな。
344 :
132人目の素数さん:2008/04/19(土) 19:03:10
れさぴ?
346 :
132人目の素数さん:2008/04/20(日) 00:13:18
二年七時間。
348 :
132人目の素数さん:2008/05/31(土) 02:25:28
age
フェアチャイルドの8bitのOSほちいな。
350 :
132人目の素数さん:2008/06/09(月) 21:17:32
次のような形の定理をご存知ありませんか?
「(あるクラスの)環AのイデアルIが、自然数nについての条件(Pn)を満たすなら、Iはn個(以下)の元で生成される。」
351 :
132人目の素数さん:2008/06/12(木) 02:17:13
カシオ計算機
クルタ計算機
↑一時期これが欲しくなって数万出して買いそうになった。
が、思いとどまってよかった
狂った計算器に金を出すのかよ。
354 :
132人目の素数さん:2008/06/29(日) 13:52:01
丸め誤差について具体的に解説してください。
10^6 - 10^-4でググれ
356 :
132人目の素数さん:2008/06/30(月) 13:03:56
間違えた、桁落ちについて説明してください。
ググってもわからんのか?
418
359 :
132人目の素数さん:2008/10/04(土) 11:35:05
情報処理技術者試験来来週だ。
360 :
132人目の素数さん:2008/10/13(月) 09:06:09
いよいよ来週。
写真撮らなきゃ・・・
361 :
132人目の素数さん:2008/10/19(日) 01:33:43
撮ったぞ!
貼った!
さあどうだどうだ!
970
うるさい。
364 :
132人目の素数さん: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である。
あってる?
関係の和集合ABってのは AかつBであることを言うのか?
366 :
132人目の素数さん:2009/01/06(火) 17:15:17
AまたはBだろう。
367 :
132人目の素数さん:2009/01/07(水) 02:14:41
>XYはXとYの和集合を示す。
普通何らかの記号を挟まないかい?
368 :
132人目の素数さん:2009/01/07(水) 10:33:00
あってるが、問題がなんかもにょるなぁ。
> 関数従属A→BCは、A→BかつA→Cを意味しているので、
ここがわからん。
BCが和集合なら A→BC は A→BまたはA→C を意味しそうなもんだが
関数従属というのはそういうものじゃないのか?
370 :
132人目の素数さん: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 :
132人目の素数さん:2009/01/11(日) 23:19:49
それと数学と何の関係が?
374 :
370:2009/01/12(月) 05:25:56
こういう口調で書いてみたかっただけ。
どう? 違和感ある?
375 :
132人目の素数さん:2009/01/12(月) 19:11:41
>>369 >BCが和集合なら A→BC は A→BまたはA→C を意味しそうなもんだが
違うよ。
答の通り。
376 :
132人目の素数さん:2009/01/12(月) 19:48:56
セキュスペ受けようかなー
コンビネータって何ですか?
ラムダ計算のラムダ項のこと
λx . x ---> I combinator
λxy . x ---> K combinator
λxyz . xz(yz) ---> S combinator
λf . (λx . f(xx))(λx . f(xx)) ---> Y combinator
レスどうも。なるほどわかりました。
>>375 詳しい人のようだからさらに尋ねてみる。
通常の論理では
A ⇒ (B∨C)
= (B∨C) ∨ ¬A
= B ∨ C ∨ ¬A
= (B ∨¬A) ∨ (C ∨¬A)
= (A⇒B) ∨ (A⇒C)
となると思うんだが
関数従属というのはそういうものとは違うものなの?
>>380 375ではないが
関数従属の→は論理の⇒とは異なる関係。
A→Bは、「Aに含まれる属性をもつならば、Bに含まれる属性は一意に決定される」ことを指す。
382 :
132人目の素数さん:2009/01/16(金) 22:09:56
JIS流れ図記号って実際のソフトウェア開発では使わないの?
現場にいたことないからわからん。
流れ図は使わんな
384 :
132人目の素数さん:2009/01/17(土) 11:17:02
流れ図は書くのがめんどくさいんだよな。
680
386 :
132人目の素数さん:2009/02/17(火) 22:15:01
申し込んだぞ情報処理技術者
今度こそ取るぞ!
あ、申し込むの忘れたorz
388 :
132人目の素数さん:2009/02/18(水) 20:31:53
現在、下記区分のみ受付中!(その他の区分は
締め切りました)※2/19(木)20時締切
・ITパスポート試験
・基本情報技術者試験
・初級システムアドミニストレータ試験
これならまだ受け付けてるぞ。
秋にしたw
390 :
132人目の素数さん:2009/02/23(月) 20:17:27
そうかい。
秋にがんがってね。
391 :
132人目の素数さん:2009/04/13(月) 21:03:46
さあ一週間切った
情報処理技術者
やるぞー!
やるぞー!
三年一時間。
380
394 :
132人目の素数さん:2009/07/19(日) 23:08:33
応用情報技術者受けたいけど、むずかしそう・・・
僕が持ってる旧2種と大分違うみたいだ。
395 :
132人目の素数さん:2009/07/25(土) 12:22:38
2時間半×2回は長すぎる。
396 :
132人目の素数さん:2009/07/25(土) 14:48:20
397 :
132人目の素数さん:2009/08/20(木) 11:55:15
ITパスポート申し込み今日までだっけ?
398 :
132人目の素数さん:2009/08/20(木) 11:57:22
情報学板かと思った
400 :
132人目の素数さん:2009/08/20(木) 19:33:23
申し込んだ人はいるけど合格しましたって人がいないね、情報処理技術者試験
初級なら何年か前に受かったぞ。
402 :
132人目の素数さん:2009/08/21(金) 19:57:27
漏れもシスアドできた年に受かった。
後から勝手に「初級」なんてつけやがった。
403 :
132人目の素数さん:2009/09/15(火) 15:23:03
やばい。あと1ヶ月くらいしかない。
404 :
132人目の素数さん:2009/09/17(木) 20:52:53
そんなに難しいのかね?
情報処理技術者って。
初級は簡単だ。
406 :
132人目の素数さん:2009/09/18(金) 09:41:20
>>404 高2の頃、馬鹿高校にいて旧通産省第二種情報処理を1ヶ月半勉強して合格
与謝野馨の名前入り症状が来たが大学で数学科に行ったし通産省も第二種も無くなって資格の使い道が無くなったのでもはや使い道無し
それぐらいのレベル
407 :
132人目の素数さん:2009/09/21(月) 19:53:00
じゃあ来年受けようかな。
408 :
132人目の素数さん:2009/09/29(火) 00:09:36
基本情報技術者は表計算がよさそうだぞ!
いみわからん
410 :
132人目の素数さん:2009/09/30(水) 23:06:50
簡単だと言うことだ
表計算の情報処理技術者試験があるのか?
412 :
132人目の素数さん:2009/10/01(木) 22:36:06
あるさ。
情報処理の試験も 作る側から使う側向けになってきた ということだ
414 :
132人目の素数さん:2009/10/03(土) 11:24:38
基本情報技術者試験は、
表計算を導入したことにより、
一部旧シスアドの内容を含むようになった。
415 :
132人目の素数さん:2009/10/25(日) 10:32:43
情報処理技術者
皆どうだった?
申し込んだけど受験しなかった
受験料、無駄にしてしまったorz
が、受験しても無駄にしたかもなー
俺は自己採点では合格。
ただ、マークシートの消し跡が大丈夫か不安だなぁorz
418 :
132人目の素数さん:2009/10/26(月) 21:23:48
漏れはあと1問でアウト!
419 :
132人目の素数さん:2009/12/03(木) 22:16:00
ITP受かった人いるー?
420 :
132人目の素数さん:2009/12/13(日) 18:08:51
ITPって何じゃら?
ITパスポート試験のことじゃね?
422 :
132人目の素数さん:2009/12/14(月) 00:35:02
>>406 >旧通産省第二種情報処理
懐かしいね。この資格昭和62年に取得したよ。
言語はFORTRANの問題を選択したと思う。
まあ自分の場合は会社でソフト開発をしていたから
やりやすかったな。
423 :
132人目の素数さん:2009/12/17(木) 01:25:07
無限を扱える計算機ができたら人間いらないね
>>423 たとえ計算機がソコ迄有能でなくても、ゾンビみたいな人間は
最初から不要だと思います。
猫
まあ「馬鹿は最初からお呼びでない」っちゅう事やナ。
馬鹿っちゅうんが絶滅種やないから困るんやけんどナ。
そやし誰か馬鹿を全部集めて撲滅してんかーーー
猫
今ははやらんが、むかしは猫の頭に電極をさすのが計算機屋のとくいだったなああああ
428 :
132人目の素数さん:2009/12/18(金) 23:12:50
猫がけんかしている。
猫は珍獣 ◆ghclfYsc82 は境界性人格障害のコテハンです
彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください
430 :
132人目の素数さん:2009/12/19(土) 00:00:24
シュレンディンガーの子猫たち。
宇宙船の中の生きていると同時に死んでいる猫。
447
柳下浩紀
さんのことなの?非線形拡散方程式って
専門は解析だね。つか、偏微分方程式?
433 :
132人目の素数さん:2010/03/28(日) 20:12:54
オートマ豚
って最初思った。
Oh! トマト ん?
436 :
132人目の素数さん:2010/03/31(水) 10:18:23
申し込んだぞ情報処理技術者
今度こそ取るぞ!
790
620