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

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

371:370
09/01/11 09:11:25
↑恥ずかしいっていうことがあったけど、それがなくなって

372:370
09/01/11 10:07:04
ブラウザしたページ→ブラウズしたページ
だった。ミスだらけ、書かなきゃよかった。。

373:１３２人目の素数さん
09/01/11 23:19:49
それと数学と何の関係が？

374:370
09/01/12 05:25:56
こういう口調で書いてみたかっただけ。
どう？　違和感ある？

375:１３２人目の素数さん
09/01/12 19:11:41
>>369
＞BCが和集合なら A→BC は A→BまたはA→C を意味しそうなもんだが
違うよ。
答の通り。

376:１３２人目の素数さん
09/01/12 19:48:56
セキュスペ受けようかなー

377:１３２人目の素数さん
09/01/12 22:25:15
コンビネータって何ですか？

378:１３２人目の素数さん
09/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:１３２人目の素数さん
09/01/13 11:24:37
レスどうも。なるほどわかりました。

380:１３２人目の素数さん
09/01/13 18:35:59
>>375
詳しい人のようだからさらに尋ねてみる。

通常の論理では
A　⇒　（B∨C）
=　（B∨C）　∨　￢A　
=　B　　∨　C　∨　￢A　
=　(B　∨￢A)　　∨　(C　∨￢A)　
=　(A⇒B)　∨　(A⇒C)
となると思うんだが
関数従属というのはそういうものとは違うものなの？

381:１３２人目の素数さん
09/01/13 18:47:57
>>380
375ではないが
関数従属の→は論理の⇒とは異なる関係。
A→Bは、「Aに含まれる属性をもつならば、Bに含まれる属性は一意に決定される」ことを指す。

382:１３２人目の素数さん
09/01/16 22:09:56
JIS流れ図記号って実際のソフトウェア開発では使わないの？
現場にいたことないからわからん。

383:１３２人目の素数さん
09/01/16 22:46:52
流れ図は使わんな

384:１３２人目の素数さん
09/01/17 11:17:02
流れ図は書くのがめんどくさいんだよな。

385:１３２人目の素数さん
09/02/11 16:45:48
680

386:１３２人目の素数さん
09/02/17 22:15:01
申し込んだぞ情報処理技術者
今度こそ取るぞ！

387:１３２人目の素数さん
09/02/18 20:26:28
あ、申し込むの忘れたorz

388:１３２人目の素数さん
09/02/18 20:31:53
現在、下記区分のみ受付中！（その他の区分は
締め切りました）※2/19(木)20時締切
　・ITパスポート試験
　・基本情報技術者試験
　・初級システムアドミニストレータ試験

これならまだ受け付けてるぞ。

389:１３２人目の素数さん
09/02/21 21:43:16
秋にしたｗ

390:１３２人目の素数さん
09/02/23 20:17:27
そうかい。
秋にがんがってね。

391:１３２人目の素数さん
09/04/13 21:03:46
さあ一週間切った
情報処理技術者
やるぞー！
やるぞー！