Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

7931

@wed7931

  • いいね数 45,477/48,405
  • フォロー 253 フォロワー 1,023 ツイート 68,505
  • 現在地 チーバくんのみぞおち付近
  • Web http://wed7931.hatenablog.com/
  • 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
Favolog ホーム » @wed7931 » 2013年11月25日
並び順 : 新→古 | 古→新

2013年11月25日(月)

新井紀子/ Noriko Arai @noricoco

13年11月25日

. @tadamago 自然言語をZFの形式表現に落とすところ、ZF表現を(解ける可能性があるような体系の)形式表現に落とすこと、そして実際に解くこと、どれも理論的な意味では不可能なのに、意外に動きうることが驚きでした。理論だけで可能性を狭めてはいけないと思いました。

タグ:

posted at 09:04:35

新井紀子/ Noriko Arai @noricoco

13年11月25日

東大プレ理系1番の問題は形式表現が正しく出たのに解けなかった。うちのサーバが貧弱だからかなと思い理論計算したところ「京」では全然無理で「極」というコンピュータが必要だった・・・ (問題をウェブで見つけた→ blog.livedoor.jp/hyonko1007/arc...

タグ:

posted at 17:22:50

@wed7931ホーム
スポンサーリンク
▲ページの先頭に戻る

タグの編集

lovefighters 数学 日曜数学会 ゴリパラ nhk_news おかえりモネ ゴリパラ見聞録 MathPower はてなブログ 舞いあがれ

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました