TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
雑談はここにかけ!【54】
Inter-universal geometry と ABC予想 (応援スレ) 47
ようじょですpart3
数学板の荒らし
【R言語】統計解析フリーソフトR 第6章【GNU R】
現代数学の系譜 工学物理雑談 古典ガロア理論も読む74
【数学検定】数学検定(数検)総合スレッド Part.11
現代数学の系譜11 ガロア理論を読む33
数学ボーイがモテルための必要十分条件とは
偶数である素数はただひとつであることを証明せよ

数学者 VS 東ロボ(ロボットは東大に入れるか)


1 :2016/11/21 〜 最終レス :2019/07/01
国立情報学研究所(NII)、富士通研究所、サイバネットシステムの3者は11月14日、名古屋大学および東京大学と共同で、
NIIの人工知能(AI)プロジェクトである「ロボットは東大に入れるか」(東ロボ)において東大第2次学力試験に向けた論述式模試
とマークシート式の大学入試センター試験模試に挑戦し、論述式模試の数学(理系)で偏差値76.2、センター試験模試の
物理では偏差値59.0と、2015年度を大きく上回る成績を挙げたと発表した。
NII、富士通研究所、名古屋大学を中心に構成する「東ロボ」数学チームは、代々木ゼミナールの論述式模試である
「東大入試プレ」に挑戦した。
数学(理系)では、問題文を入力後、問題文の解釈から自動求解、解答の作成までをAIにより完全に自動で行ない
6問中4問を完答した結果、偏差値76.2(120点満点中80点)を獲得したという。2015年度は駿台予備学校の論述式模試を受験し、
数学(理系)は偏差値44.3(20点)だった。
http://news.mynavi.jp/news/2016/11/15/200/

東京医科歯科大 2010 年度 [数学]  (2009年までの問題分析)
合格可能な点数は、2009年は6割、2008年は7割、2007年は6割、2006年は6割、位でしょう。
毎年問題の傾向が変わるのは、出題者が毎年交代するせいであると思われます。2007年はやや得点しやすい
ですが、大問2,3で小問の間の関係を読み取る読解力がないと、高得点には結びつきません。ただ東大や東工
大に似たような問題があるので、それらを充分演習・理解していれば、8割以上得点することも可能です。しか
し高校数学からやや離れたところで問題が作られていますので、たとえ問題が解けたとしても、問題の意味が理
解出来ないこともあるでしょう。(東大も同じ)
2009年から?し気になった問題を見ていきましょう。
2009年大問1は、平面・空間の格子点の問題ですが、よく出題される数列の和に還元する格子点の個数の問
題ではありません。初等整数論でミンコフスキーが創始した「格子の幾何学」と呼ばれる分野の雰囲気です。
この分野では次のミンコフスキーの定理が有名です。(高木貞治「初等整数論講義」より)
http://www.waseda-eg.com/wp-content/uploads/2010/04/igakubu-ikashika2010.pdf

#入試数学というのは問題の意味を考えながら解くものではないらしいが・・・

2 :


3 :


4 :


5 :


6 :


7 :


8 :


9 :


10 :


11 :
東ロボは 
文脈からデータベースを検索して確率の高いものを選ぶという
人工無能
グーグルのディープマインドと比べたら阿呆レベル

12 :
東大のネームバリューに乗っかった見世物企画だよね

13 :


>前科持ち変質者と絶対出会える掲示板 [無断転載禁止]
>
>1 名前:132人目の素数さん 2016/11/16(水) 21:02:24.40 ID:8UX5OsVV
> 変質者前科持ちと気が触れ合える掲示板
>
>11 名前:132人目の素数さん :2016/11/19(土) 08:36:12.59 ID:6KwDBI7h
> 変質者前科持ち=増田哲也
>
>12 名前:132人目の素数さん :2016/11/19(土) 09:04:39.15 ID:AZB04dZ8
> わざわざ言わんでもええ
>
>13 名前:出会える掲示板 ◆2VB8wsVUoo :2016/11/19(土) 15:58:01.20 ID:21LrO2+x
> 絶対に…
>
> ケケケ¥
>
>14 名前:132人目の素数さん :2016/11/19(土) 16:31:33.55 ID:6KwDBI7h
> 六十目前で父親逆恨みしたり掲示板逆恨みする根性の腐れっぷりは凄くて困る
>

14 :


15 :


16 :


17 :


18 :


19 :


20 :


21 :


22 :


23 :


24 :
>>11
それでも正解できるってとこが、このニュースのミソだよね。
解けない受験生がどれだけ無能かっていう。
最近のエライザは、結構チューリング合格っぽいらしいし。

25 :
現実世界をすべてシミュレーションすることはできないが、入試で問われる数学や物理はやることが大体決まっており、
こういうものに対処するシミュレーションを作成することはさほど困難とは思えない。

(1) 正八面体のひとつの面を下にして水平な台の上に置く。この八面体を真上から見た図(平面図)を描け。
(2) 正八面体の互いに平行な2つの面をとり、それぞれの面の重心を,とする。,を通る直線を軸としてこの八面体を1回転させてできる立体の体積を求めよ。ただし、八面体は内部を含むものとし、各辺の長さは1とする。
http://www.riruraru.com/cfv21/math/tum08f3.htm

自然言語の正確な読解はまだ困難(統計的機械翻訳ではムリ)だけど、入試数学で正四面体やら正八面体やらの
「ある辺」「ある頂点」「ある面」(いずれも「対称」)を、「回転」させるとか「接地」
させるとか「光を当ててその影が」とか「ある方向から眺めると」とか、やることは大体決まっているはず。
「台の上に置く」=「接地」と解釈できるようにする。

26 :


27 :


28 :


29 :


30 :


31 :


32 :


33 :


34 :


35 :


36 :
しょせん新井紀子レベル

37 :
工学は成果物が具体的で誰にとっても分かりやすいからな

38 :


39 :


40 :


41 :


42 :


43 :


44 :


45 :


46 :


47 :


48 :
¥のこと馬鹿ってよんでいい?
つか、ヒマそうな馬鹿だね(笑

49 :


50 :


51 :


52 :


53 :


54 :


55 :


56 :


57 :


58 :


59 :


60 :


61 :
鉛筆持って紙に書く動作が遅いからタイムオーバーだろ?

62 :
これからはシミュレーションの構築が簡略化されるので、来年の東ロボのセンター物理は大きく得点が伸びるに違いない。

 理化学研究所(理研)計算科学研究機構コデザイン推進チームの村主崇行特別研究員らと、千葉大学の堀田英之特任助教、
神戸大学の牧野淳一郎教授、京都大学の細野七月特任助教、富士通株式会社の井上晃マネージャーらの共同研究グループ※は、
スーパーコンピュータ「京(けい)」(注1)を用いて、数式のような簡潔な指示を書くだけでスーパーコンピュータでの計算に必要
となる高度なプログラムを自動生成できるプログラミング言語「Formura」を開発しました。
 スーパーコンピュータでの計算に必要となるプログラムはときに数十万行にも及び、作成やチューニングは大変困難です。
一方で、原理的にはシミュレーションしたい自然現象とその離散化法(注2)を指定すれば、プログラムは機械的に生成できます。
しかし、プログラミングはシミュレーションとコンピュータ双方に深い知識が必要となる非常に高度な作業であり、多数の計算機を
協調して動作させるスーパーコンピュータの性能を引き出す高度なプログラムを、自動かつ汎用的に生成することは不可能でした。
 そこで共同研究グループは、方程式がプログラムに変換されるまでの一連の段階に対応する数学的定義を作りました。
スーパーコンピュータが持つ階層のすべての段階において、自然が元来備えている「並列性」と「局所性」(注3)を保持する変換
を厳密に定めることで、新たなプログラミング言語「Formura」を開発しました。これによって、これまで不可能だったプログラミング
の機械化に成功しました。さらにFormuraは、同じアプリケーションに対して何万通りものプログラムを試し、最も速かったものを自動的に選択します。
 Formuraを開発したことで、規則格子シミュレーション(注4)分野においては、自然科学者が慣れ親しんだ方程式の記法を使ってシミュレーション
したい対象を記述することで、スーパーコンピュータの性能を引き出すための高度なプログラムが自動的に作成できるようになりました。
気象、地震、宇宙、生態ネットワークの研究など、規則格子シミュレーションを用いる分野の研究の加速が期待できます。
http://pr.fujitsu.com/jp/news/2016/12/2.html

63 :
この件について、日本棋院は何とコメントしてる?

64 :
結局諦めたね

65 :


66 :


67 :


68 :


69 :


70 :


71 :


72 :


73 :


74 :


75 :
確率の問題はまだ当分無理と思われる。一度には読み込めないからまず小さな文節に区切って、
何が何のことを指しているのかを把握しなければならない。

コンピューターの画面に、(※※)
記号○と×のいずれかを(記号〇と記号×は2つに一つで「背反」である)
表示させる(※)
操作をくり返し行う。(k回繰り返す)

このとき、(どんな時?)
各操作で、(「記号○と×のいずれかを」「表示させる操作」を「k回繰り返す」。)
直前の記号と(「k回の各操作」において)
同じ記号を(○か×か)
続けて表示する確率は、(・・・○〇・・・または・・・××・・・)
それまでの過程に(k回の各操作全てにおいて)
関係なく、(一定である)
pであるとする。(確率は0<p<1)

最初に、(k=1において)
コンピュータの画面に(※※)
記号×が
表示された。(※)
操作をくり返し行い、(k回繰り返す)
記号×が
最初のものも含めて(k=1のものも含めて)
3個出る(×・・・×・・・×、×××、××・・・×、×・・・××)
よりも前に(×・・・×・・・、××、××・・・、×・・・×)、
記号○がn個出る確率をPnとする。
http://math.nakaken88.com/problem/tokyo-u-r-2006-2/

76 :


77 :


78 :


79 :


80 :


81 :


82 :


83 :


84 :


85 :


86 :


87 :
>>75
今年の東ロボが楽しみ。

88 :


89 :


90 :


91 :


92 :


93 :


94 :


95 :


96 :


97 :


98 :
☆ 日本人の婚姻数と出生数を増やしましょう。そのためには、☆
@ 公的年金と生活保護を段階的に廃止して、満18歳以上の日本人に、
ベーシックインカムの導入は必須です。月額約60000円位ならば、廃止すれば
財源的には可能です。ベーシックインカム、でぜひググってみてください。
A 人工子宮は、既に完成しています。独身でも自分の赤ちゃんが欲しい方々へ。
人工子宮、でぜひググってみてください。日本のために、お願い致します。☆☆

99 :
・・・。

100 :
:::::::::::::::::::::``ヽ
:::::>>::::::::::::::::::::\
::::::::::::::::::::::::::::::::::::ヽ
::::::::::::::::::::::::::l:::ヽ:::::::ヽ
:::::::::::::::::::::::::|ソノ`ヽ::::::ヽ
:::::l/,,;;;;;;;,.ヽ::::l
:::::::::::::::::::::::ノ''゙゙___ ゙゙ |ノ
:::::::::::::::::::ノ  <● > \
:::::::::::::/        ヽ
:::::::::::ヽ         , `ヽ
::::::::::::::`、       (._ ,,, ノ
ヘ::::::::::::::|        ,,,,ヽ._
  `、::::::::ノ        ゙゙゙/__)  
、  '、:::::ヽ        \_) 
ヽ、  `ヾ'''゙         ,´   
  \           | 
    ヽ、        ノ
      `` ?---? 'い
http://blog.livedoor.jp/nachi_ibuki/
09058644384


100〜のスレッドの続きを読む
数学ボーイがモテルための必要十分条件とは
【数学者】低業績で教授・准教授になった人 Part.2
13×小学校のかけ算順序問題
abc予想ってどうなったの
「数学って何の役に立つの?」へのお前らの答えを書くスレ
〓 Mathematica 七 〓
教育学部から東大大学院理学部数学科を目指したい
中1の弟が数学好きなようだから先取りさせたい
名古屋】有限会社モトミ食品輸送【トランストラスト2】
フェルマーの最終定理の簡単な証明3
--------------------
【魚焼き専用機】 フィッシュロースターPart3
京アニ10人死亡
【BAL】ウイニングイレブン2015【ビカム】 Part2
でもHP1でアニラバフ有りならオッケの方が強いよね
【〒】ポストマップ 16本目【POSTMAP】
40・50は鼻垂れ小僧 60歳からが男盛り
【アズレン】アズールレーン Part2007
Samsung Galaxy Note10/Note10+ 総合スレ Part7
防犯パトロール問題 特定人物を尾行監視 in 不動産
     創価学会はなぜ犯罪者が多いの     
女性が男にいってはいけない「たちつてと」た=勃たない ち=小さい つ=続かない
【加賀】金沢マラソン走りまっし【百万石】
【魔術】魔術修行しよう【カバラ】
CARRERA Part6
【カプコン決算】2期連続の過去最高益を達成!バイオ、DMCが好調。MHWとMHXXも引き続き堅調な売上
【山口県】上関原発10【着工予定なし】
カルチャーブレーン弟358段 敗北お尻た●
ワンス・アポン・ア・タイム・イン・ハリウッド 6
それいけ!アンパンマンアンチスレ
A.B.C-Z★138stars★カルト用(アンチ出入り禁止)
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼