トップページ > 科学ニュース+ > 2012年07月17日 > M1Z76tr3

書き込み順位＆時間帯一覧

12 位/471 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000100100000102100006



使用した名前一覧書き込んだスレッド一覧
名無しのひみつ
【細菌】「わきが」制菌物質、抽出に成功
【宇宙】暗黒物質に光を当てる　コズミックウェブとして銀河団を結びつけていると考えられている暗黒物質を重力レンズ効果から直接検出
【教育】「頭がいいけど『教養』が足りない」理系の大学生　男子学生たちが「女のきもち」がわからないまま社会に出るのは非常に危ない

書き込みレス一覧

【細菌】「わきが」制菌物質、抽出に成功
152 ：名無しのひみつ[sage]：2012/07/17(火) 07:46:37.66 ID:M1Z76tr3
>>151
ワキガの原因になる菌は自然界に普遍的に存在する常在菌なんで
30になって感染しましたというのが考え難い
饅頭を30年間放置しても腐らなかったが30年目で突然腐りましたというレベル
【宇宙】暗黒物質に光を当てる　コズミックウェブとして銀河団を結びつけていると考えられている暗黒物質を重力レンズ効果から直接検出
74 ：名無しのひみつ[sage]：2012/07/17(火) 10:57:36.92 ID:M1Z76tr3
>>73
光では観測できないが質量があると考えられているもので、
暗くて見えない星というアイデアをMACHOと総称し、
ニュートリノなど電磁的な相互作用をほとんどしない物質というアイデアをWIMPと総称して
まあどちらも仮説としてはある

【教育】「頭がいいけど『教養』が足りない」理系の大学生　男子学生たちが「女のきもち」がわからないまま社会に出るのは非常に危ない
782 ：名無しのひみつ[sage]：2012/07/17(火) 16:12:34.01 ID:M1Z76tr3
>>781
時間と精度を気にしなければOK
論理的には相応の仕組みを導入すれば扱える
大半の言語にはrationalをサポートするライブラリがあることからも分かると思う
【教育】「頭がいいけど『教養』が足りない」理系の大学生　男子学生たちが「女のきもち」がわからないまま社会に出るのは非常に危ない
785 ：名無しのひみつ[sage]：2012/07/17(火) 18:28:08.29 ID:M1Z76tr3
>>783
循環小数になっているときに、浮動小数点に保存すると失われる情報が保存される

>>784
今でもそうじゃないかな
情報工学の手習いでパーサだのコンパイラの実装は一度はやるのでは
【教育】「頭がいいけど『教養』が足りない」理系の大学生　男子学生たちが「女のきもち」がわからないまま社会に出るのは非常に危ない
789 ：名無しのひみつ[sage]：2012/07/17(火) 18:59:00.57 ID:M1Z76tr3
>>787
＞ 恒等式がその中で表している概念のようなもの
数式の構造自体をプログラム上で表現する方法は
「式木」(expression tree)等の名前で呼ばれる。
最古級の言語LISPはその研究の過程で出てきたものだし。
数式を書いて微分するようなライブラリとか、
Prologのような論理学の計算をする言語もある。
四色定理のようにコンピュータのゴリ押しで証明した数学定理もあるしね。

>>788
おお、すまんかった
タイトル見ずにこっちのスレだと思ってレスしてしまった
http://anago.2ch.net/test/read.cgi/scienceplus/1340160153/
【教育】「頭がいいけど『教養』が足りない」理系の大学生　男子学生たちが「女のきもち」がわからないまま社会に出るのは非常に危ない
791 ：名無しのひみつ[sage]：2012/07/17(火) 19:05:49.37 ID:M1Z76tr3
あと>>487の続きを話したい人は
チューリングマシンの停止性問題とゲーデルの不完全性定理の等価性とか
LISPとチューリングマシンが等価か否かとか
20世紀前半の数学者の研究成果から見たらいいんじゃないかな。
そんで↓のスレに質問でもしたらいい
http://anago.2ch.net/test/read.cgi/scienceplus/1340160153/


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。