コンピューターで東大入試問題が解けるのか？
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
2008/06/23(月) 09:03:26数学の定理を自動的に証明したり，数学の問題を自動的に解いてやるための数学理論および
プログラム技術の研究開発が主な研究テーマです．現在までのところ，代数学と数理論理学
を中心として研究がおこなわれてきており，相当の研究成果が蓄積されています．
それらをベースに，MathematicaやMaple等の数式処理システムとよばれるソフトウェアが世の
中に出回っていて，とても楽しい状況になっています．例えば 難しい不定積分の計算や多項式
の因数分解等は瞬時にできますし，大学入試問題等も 大部分があっというまに解けてしまいます．
http://www.mi.kagu.tus.ac.jp/satoyosuke.html
http://www.ip.kyusan-u.ac.jp/J/kokubun/data/B-2.pdf
問題解決におけるコンピュータの活用問題
0002１３２人目の素数さん
2008/06/23(月) 11:35:41／￣¨ヽ ,. -─‐､
＿_ | ｀´ _L＿
/ 丶ヽ ,,. -‐─- ､ ¨ ヽ
l ,／ ＼ l
l ｆ ,.-‐-､ ﾞ､ __ノ
ヽ-ｧ.! i ＼ l ¨ヽ
/ ﾞ､ ｀-‐' l / i
/ ＼＿＿＿／ ／ ､ l
l / ----‐‐' ヽ-‐'
ヽ--‐‐! ﾊ l
ヽ＿＿_ノ ﾞ､ !
├ ／ ─‐, 〃 i ヽ-‐ ' l７l７
ｄ､ ＼ （ 干 土 l ┼ ﾚ ﾚ
└ ｄ､ !__, l ニ ｏ ｏ
0003１３２人目の素数さん
2008/06/23(月) 11:38:10/( (( ﾊ )) ))ﾍ ロ
｛ ﾉﾉ))ノ .}ﾉ~~~'V} サ
|.}} 冫 ,,,,__, ,ﾆ} ン
}ﾙ {{ ､,ｨtｩﾊ (tｩ{ ゼ
ﾄ'＾Y} ヽ , .r_}_h. Y ル
ハr｢ )::イrﾉﾊ爪).｝ ス
＿＿／ ＼＼ ^￣⌒ﾉ~)､. ＿ の
;.;.;.;.;.;.;.;.;.;.;.;.;＼.＼ `::::／ (＿＼:;:;＼ 客
;.;.;.;.;.;.;.;.;.;.;.;.;.;.;.;.;.;.;.;＞r'′ ｝.＼:;:;:＼ は
:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;／ ｝:;:;:;:;:;:;:;:;:＼ |
:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;／ , ｝:;:;:;:;:;:;:;:;:;:;:;:;ヽ
:;:;:;:;:;:;:;:;:;:;:;:;:;／ ｨrrr＜:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;',
ロスでは日常茶飯事だぜ！
0004１３２人目の素数さん
2008/06/23(月) 12:59:490005１３２人目の素数さん
2008/06/23(月) 15:21:420006１３２人目の素数さん
2008/06/25(水) 22:40:060008１３２人目の素数さん
2008/06/27(金) 19:07:330009１３２人目の素数さん
2008/06/27(金) 20:03:12グーグル検索→ 亀田右翼の正体在日
■ このスレッドは過去ログ倉庫に格納されています