「ABC予想」の証明理論、欠陥見つけたら1.4億円 実業家が発表：朝日新聞数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論について、ドワンゴ創業者で実業家の川上量生（のぶお）さんが7日、「間違いの証明」に100万ドル（約1億4千万円）の賞…
どうでもよい記事
昔の東大数学科大学院 (4/15/2021) UCLA での TA 経験 (4/15/2021) 河東という名前 (4/15/2021) ジャーナルエディターの経験 (4/15/2021) 初期のパソコンのプログラミング経験 (4/21/2021) 勤務先としての東大数理 (4/21/2021) IHES での滞在 (4/21/2021) UC Berkeley でのポスドク生活 (4/21/2021) 視力とパリでの入院 (4/25/2021) ルーマニアで犬にかまれた話 (4/25/2021) イラン訪問記 (4/25/2021) 東本願寺 (4/27/2021) 入国審査 (4/27/2021) モンゴルの羊 (4/27/2021) 中国の豪華コンファレンス (5/1/2021) パソコン印税生活 (5/4/2021) 母と数学 (5/4/2021) ローマのアパートと泥棒 (5/4
超素人による『ゼロから作るDeep Learning』の感想。 - D'ac
最近、ようやく勉強する時間が取れるようになりました。 先週末も夫に子どもを丸投げして、仕事に行き、帰ったら勉強。 これで夫が食事の準備をしてくれたら完璧なんだけれど…。贅沢言ったらあかんですね。 さてさて、そんな感じで最近取り組んでいる『ゼロから作るDeep Learning』の感想をまとめておきます。 まだ途中ですが、そろそろ娘が冬休みなのと、猫の発作がひどくなっていっているので、また時間がなくなりそうなので…。 ＊以下は初学者の感想です。まだ深いところとかあんまり理解できていません。同じようにDeepLearning興味あるけど、プログラミングの知識もあんまりない中で、どこから始めたらいいかな…みたいな人はぜひ読んでいってください。 『ゼロから作るDeep Learning』感想。 まだ終わっていませんが、全体的に平易に書かれており、私のような初学者でも今のところ投げ出さず取り組めてい
深層学習は 世界をどのように変えられるのか Preferred Networks Preferred Infrastructure 岡野原 ⼤大輔
IBIS2016での講演内容を公開します。深層学習を実世界の問題に適用する上でどのような課題があるのか、車、ロボット、ヘルスケア、コミュニケーションでどのような研究課題があるのかについて紹介しています。
乱数にコクを出す方法について
深津 貴之 / THE GUILD / note @fladdict アニメーションの監修で、「 Random();の代わりに、(Random()+Random()+Rrandom()+Random()+Random())/5.0f; を使うと、動きにコクが出る」と言ったら、ピュアオーディオ扱いされるのですが・・・これは根拠のあるアルゴです。 2016-11-03 11:29:43 深津 貴之 / THE GUILD / note @fladdict 乱数のコクをチューニングする話をすると、なぜピュアオーディオ扱いされるのか？ みんな乱数の波動を、もっと体で感じようよ。全然ヴァイブレーションが違うよ。 2016-11-03 11:36:47
Webプログラマと数学の接点、その入り口
フロントエンドのパラダイムを参考にバックエンド開発を再考する / TypeScript による GraphQL バックエンド開発
特殊エンジニア向け数学ガイドツアー本『グッド・マス』の話
6月25日、つまり今週末、『グッド・マス ギークのための数・論理・計算機科学』という本が発売されます。 話せば長い事情があって、発売前だけど訳者の次くらいに書籍の内容を熟知しているので、私的な紹介を書いてみました。 計算機のプロが書いた現代数学ガイドツアー 世に数学系の読み物はたくさん出版されています。純粋数学のプロが書いたものもあれば、そうでない人が書いたものもあります。 『グッド・マス』は、後者です。著者のマークさんは計算機科学のプロであり、数学のプロではありません。そのため、本書でいう「数学」も、コンピュータエンジニア的な目線で描かれます。 たとえば、連分数の話をするときはScalaで実装し始めるし、論理学の話をすれば「Prologはいいぞ」って始まるし、計算といったらチューリングマシンとBrainfuckでありλ計算です。 本書を一言で表すと、「コンピュータエンジニア、とくにプログ
法人番号はテンキーで転記ーするんやで！
Apache Sparkに手を出してヤケドしないための基本 ～「Apache Spark入門より」～ （デブサミ 2016 講演資料）
Google Chromeが採用した、擬似乱数生成アルゴリズム「xorshift」の数理
2015年12月17日、Google Chrome の JavaScript エンジン（処理系）である V8 の公式ブログにて、 JavaScript の標準的な乱数生成APIである Math.random() の背後で使われているアルゴリズムの変更がアナウンスされました。 Math.random() 関数は JavaScript を利用する際には比較的よく使われる関数ですので、親しみのある方も多いのではないかと思います。 新たなバグの発見や、従来より優秀なアルゴリズムの発見によってアルゴリズムが変更されること自体はそれほど珍しくはないものの、 技術的には枯れていると思われる Math.random() のような基本的な処理の背後のアルゴリズムが変更されたことに驚きを感じる方も少なくないかと思いますが、 それ以上に注目すべきはその変更後のアルゴリズムです。 実際に採用されたアルゴリズムの原
Landmark Algorithm Breaks 30-Year Impasse | Quanta Magazine
In recent weeks, Babai gave four talks outlining his algorithm. It will take time for his new paper to be thoroughly vetted by other experts, however. Babai has declined to speak to the press, writing in an email: “The integrity of science requires that new results be subjected to thorough review by expert colleagues before the results are publicized in the media.” Other researchers are cautiously
(解説) はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 - Hatena Developer Blog
こんにちは、シニアアプリケーションエンジニアのid:taraoです。この記事ははてなデベロッパーアドベントカレンダー2015の10日目です。昨日はid:tapir320によるはてなの組織開発についてでした。 先月開催されたWebDB Forum 2015で、「はてなブックマークにおけるアクセス制御: 半環構造に基づくモデル化」というタイトルの発表をしました。 はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 from Lintaro Ina 発表資料には多くの方に興味をもっていただけたようですが、わかりにくい点も多かったのではないでしょうか。スポンサー企業としての技術報告セッションとはいえ学術会議での発表なので理論面と独自の工夫点にフォーカスした内容であったり、口頭での発表のしかたに大きく依存したスライドの遷移方法になっているので、この資料だけで細かいところまで理解しよ
2015年センター試験数学IAを全てプログラム(Python)で解く - Qiita
この記事はなんなの 「センター試験程度であれば、数式と文章を愚直にプログラムに落としこむことさえできれば、昨今のツールを用いて、何も閃かずとも機械的に問題を解くことが出来る」ということの主張 科学計算ライブラリ(特にSympy)の布教 将来、働き先がなくなったとき、「私、私こういうことができるんです！！」って言えばどこかが拾ってくれないかなあ、という夢 使用するもの Python (3系) Scipy.org に載っている科学計算ライブラリ全て(タグが足りない！！) 共に、2015年6月現時点での最新版を使用します(特に、Scipyは今年1月に実装された最新版の機能を使用するので注意してください)。 数々のライブラリを一つ一つインストールするのはすごく面倒です。面倒なので、有名どころを固めたパッケージのようなものが複数存在します。 個人的にはいつもAnacondaを使ってまとめてインストー
99.99%の人間は人工知能を専門にするのはやめたほうがいい - ふろむだ＠分裂勘違い君劇場
清水亮氏が 「いま日本に圧倒的に足りないのは人工知能に詳しい人材」 「いま大学三年生の人がいたら、文系だろうが理系だろうが、とにかく今すぐAIの研究を始めたほうがいい。」 と主張しておられる。 たしかに、今後数年～十数年で、人工知能技術はありとあらゆるビジネスに入り込み、多くの職場で、それを使いこなせないと日常の業務が回らなくなっていくと思います。 ただし、就職面接で「人工知能を使いこなすスキルがあります！」とアピールするのは、「エクセルを使いこなすスキルがあります！」とアピールするのと同じ意味合いを持つようになっていくと思います。 人工知能テクノロジーを使いこなすスキル自体は、ウリにならなくなっていくんです。 その理由は、次のとおり： (1)人工知能のツールやライブラリがどんどん高機能かつ使いやすくなっていく。 (2)人工知能技術を簡単にマスターできる優れた入門書がどんどん出てくる。 (
型「の」計算にレッツチャレンジ - Creatable a => a -> IO b
はいどーも、ちゅーんさんです。 最近「楽園追放」見てきたのですが、楽しかったです。（小学生並のｒｙ いやあの、普通に良作でしたので、興味のある方なんかは、是非劇場で見に行くと良いと思います。 ハデだし。 いえい はい、で、この記事はあれです。 Haskell Advent Calendar 2014 - Qiita の、7日目の記事です。 皆さん！型は好きですかーっ！？ お れ は 好きだぜーっ！！！ とゆーわけで、今日は代数的データ型とゆー概念そのものに関する、ちょっといっぱい数学っぽい話をしようと思います。 この「っぽい」っての大事、超大事。 型の足し算 ここにUnit型がありますでしょ。 data () = () deriving Eq 突然ですが、Unit型は1です。 あ、それからここにBool型があります。 data Bool = True | False deriving Eq
無敵のポーカー・プログラム完成、カナダ研究
テーブルを囲んで行われる「テキサス・ホールデム（Texas hold'em）」。仏領コルシカ（Corsica）島で（2007年2月撮影、資料写真）。(c)AFP/STEPHAN AGOSTINI 【1月9日 AFP】プレーヤー2人に限定したポーカーの「テキサス・ホールデム（Texas hold'em）」で、理論上絶対に負けないコンピュータープログラムを開発したとする研究論文が、8日の米科学誌サイエンス（Science）に掲載された。 論文の主執筆者、カナダ・アルバータ大学（University of Alberta）のマイケル・ボーリング（Michael Bowling）氏はAFPの取材に、研究チームは2003年より「現在の超一流プレーヤーに負けない、またどんな戦略にも負けない、完璧なプレーヤーを作り出すこと」を目標に掲げてきたと語る。 研究チームは2008年、ポラリス（Polaris）と
「圏論」は関数プログラミングの「モナド」に役立つ。入門PDF等のリンク集 - 勉強メモ （大学の講義動画や，資格試験の対策）
数学の解説コラムの目次へ 圏論を学ぶ目的は，HaskellやScalaなどの関数型プログラミング言語をよく理解するため，としてよい。 モナドを実装するために必要という応用がある。 オンラインで圏論を学ぶための教科書： 役に立つ読み物 関数プログラミングと関連が深い とくに，モナドを考えるために圏論が必須！ 本格的に学ぶには？ オンラインで圏論を学ぶための教科書： 「圏と関手入門」 http://www.math.nagoya-u.ac.jp/~hasim... 100ページ以上あるオンライン入門書 圏論は面白い（１） メタグラフ : tnomuraのブログ 圏論は面白い(3) メタ圏 : tnomuraのブログ（2は存在しない） 圏論は面白い(4) メタ圏(2) モノイド : tnomuraのブログ 圏論は面白い(5) 関手 : tnomuraのブログ 圏論は面白い(6) 自然変換 :
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
コグニカル
Togetter - 国内最大級のTwitterまとめメディア
はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化
クラウドを支えるこれからの暗号技術
