理学部数学科 ＜ 工学部情報工学科
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
2009/06/24(水) 09:29:51これからはコンピュータで解を求める時代
0002１３２人目の素数さん
2009/06/24(水) 09:36:550003１３２人目の素数さん
2009/06/24(水) 11:16:26半世紀前から来た人かい
ピクルより話通じねえな
0004１３２人目の素数さん
2009/06/24(水) 18:09:26今までの50年くらいがそうだったんだろう。
コンピュータとその関連分野がどんどん発展して、
まさにコンピュータ最強だった。
これからは違うと思うな。
今から情報工学をやってもおいしいところはないんじゃないのか。
0005１３２人目の素数さん
2009/06/24(水) 19:10:30普通のIT系なら就職してからどうにでもなるし
制御系は電電と若干かぶるし専売特許がないわ
0006にょにょ ◆yxpks8XH5Y
2009/06/24(水) 21:24:130007１３２人目の素数さん
2009/06/24(水) 21:27:36俺情報工学科1年だが、情報工学科には理学部数学科出身の先生も多いよ。
あと、コンピュータは正確な答えを出せるとは限らない。
整数型で 256/60 を計算すると 4 になる。数学的には 256/60 = 64/15 が正しい。
ただ、この整数型で 256/60 という計算が 4 になることは俺ら情報屋にとっては都合がいい。
例えば、 256 秒は何分何秒? というと (256/60)分(256%60)秒 = 4分16秒という感じに求めることができる。
数学的には、 int(256/60)分mod(256,60)秒 = 4分16秒か? (数学知らないから適当)
数学的な整数の範囲で 256/60 = 64/15 というのは存在しないし、有理数・実数・複素数の範囲だと 64/15 分が答えになっちゃうね。
あれ、俺何話してたんだっけ?
要するに数学における解と情報における解とは違うってことだよ。
0008１３２人目の素数さん
2009/06/25(木) 17:41:48定理証明系をつくりなされ。 話はそれからだ。
0009１３２人目の素数さん
2009/06/25(木) 17:49:190010１３２人目の素数さん
2009/06/26(金) 07:31:510011１３２人目の素数さん
2009/06/26(金) 20:44:31float型は価数部が23bitだから256/60をfloat型で計算すると
100.01000100010001000100=0.10001000100010001000100×10^11
という2進数になる。
これを10進数に直すと
4.266666412353515625
これは数学的には間違っている。 (数学的には 256/60 = 4.2 + ∑_{k=1}^{∞} 6×10^{-k-1} である必要がある。)
情報工学を専攻しようとしている俺だからこそ、こういうコンピュータでの数値の取扱いに注意する必要があるし、
数学で扱う数と情報で扱う数と物理で扱う数の違いを理解している必要がある。
0012１３２人目の素数さん
2009/06/26(金) 23:51:29符号理論
信号処理
制御理論
離散凸解析
情報証明論
計算理論
形式言語
プログラム意味論
パターン認識・機械学習
0013１３２人目の素数さん
2009/07/08(水) 01:25:33これ書いたの私だっけ？
0014１３２人目の素数さん
2009/07/08(水) 19:17:12■ このスレッドは過去ログ倉庫に格納されています