密行列積は今日のワークロードとは関わりがないみたいなことを言う人々がいるが、まぁそういう問題を持っている人はメモリ帯域をくれと言い続けている。メモリ帯域が欲しい人々は、メモリ帯域がないこと、メモリ帯域がFLOPSの伸びに対して伸び悩んでいることに諦めて、メモリ帯域を使わないようにアルゴリズムを変更する方向に舵を切ったり、まだメモリ帯域が伸びるはずだと信じて待っていたりする。

こういう人々はHPCGを見て一喜一憂したりする。

だがスパコンのワークロードに合ってないと言われた密行列積は、しかし、ディープラーニングの台頭によって再びスパコンのワークロードに乗ってしまったのであった…

というかそもそもな、コンピュータの性能との相関をひとつのベンチマークで測ることなんか不可能なんだっつー単純な事実を知れ。

あとな、仮にマ・クベが円周率の世界記録に挑んでたとしたら、スーパーπが速いCPUをキシリアに届けようとするだろうよ。キシリアが円周率に興味なかったらゴミだろうけど

Permalink | 記事への反応(1) | 00:57

■anond:20181227001738

んじゃ結構真面目な話するとPezyは周波数低いRISCなんだから消費電力低くて当然じゃね？　とちょっと調べて思ったりした。

んで、そのRISCとCISCとその他混ざったアーキテクチャの中で統一した指標を出すために回してるプログラムってなんだ？　ってことが気になった。

結局MIPSだかFLOPSだかをスコアにしてるんだから、スパコン用のプログラム的なものは回してなくて四則演算レベルのベンチマーク回してるだけなのでは説がある。

もっというと、ワイや増田やぱそこん先生はこのスコア見て何を導きだせばいいんだ？　っていう根源的な問題もある。

オーバークロッキングと同じくらい意味ないスコアだったりしないよな？　まさか…って心配がある。

このスコアが高いと何ができるんだ？　円周率計算か？

Permalink | 記事への反応(1) | 00:25

2018-12-09

■anond:20181208225303

増田はちょっと、よその企業に期待しすぎな面があるかな、って思った。

根っこが腐ってる国だから、上場でもそんなもんじゃないかね。

特にコンプラ周りの話なんかそうだと思う。

ごめんねクソいこと言って。

けど円周率＝およそ３　を「状況次第ではそのように教えることを許す※」という例外規定だったのを

「これからガキどもは円周率は３って覚えますぞ、学校教育はクソですぞー！！」

ってスペシャルクソキャンペーンやってきた教育業という奴には本当に侮蔑の心しかない。

中の人間も含めて大嫌いです。公務員周り叩けるからって後ノリで悪乗りに乗ったマスメディアと国民も含めて死ねばいい。

もともと人の失点あげつらって伸びてきたクズ業界だ、モラルなんぞあろうはずがないというスゴイ偏見を持ってます。

※たとえば円周率の数値を正しく記憶しているか、ではなく、それを用いた公式理解のほどを図るような場合、試験などで短時間で計算こなして解を出せ、という場合に限り「およそ３」を用いてＯＫ

くらいの扱い。授業で取り上げることもなくなる、とかほざいてたメディアもいたけどそんなことないのにね。

Permalink | 記事への反応(1) | 06:21

2018-12-07

■円周率を求める式がわからない

何と何を割れば円周率になるの？

Permalink | 記事への反応(2) | 12:51

2018-12-05

■anond:20190110142434

はてなーって、偉そうなわりに全然数学をわかってないよね。

大半の人にとって、数学は適当に覚えて使うもので、理解するものではないらしい。

少し前に話題になった、「円周率＝４の証明」。

http://b.hatena.ne.jp/entry/originalnews.nico/148297

ブコメがたくさん付いているが、そもそも、この証明の主張を理解している奴が少なすぎる。

上記の記事を読んだとき、次の事項を理解した奴はどれだけいるんだ？

上記の証明では、半径２の扇形の弧を二次元平面上の点の集合Ａとして捉えている。

青色の折れ線 (円弧の近似) も、二次元平面上の点の集合である。

円弧上に n 個の点を取ったときの青色の折れ線を集合Ａn と表すと、確かにＡn → Ａ (n → ∞) が成り立つ。

つまり、「青色の折れ線が赤色の円弧に収束する」は真である！

ここの収束性については何ら問題ないんだよ。ε-δとか言ってる奴は全然わかってない。

これは集合列の収束であって、数列の収束とは明確に違う。

元動画でも、「n → ∞のとき、青色の線分の集合は……等しくなる」と書かれており、作者は明らかに集合列の極限を考えている。

問題は、長さの収束についてどう考えるかだ。次の事項をおさえる必要がある。

ＡおよびＡnは、いずれも二次元平面に埋め込まれた一次元集合である。
二次元平面に埋め込まれた一次元集合の長さは、適当な集合族上で定義された測度 μ を用いて与えられる。
Ａの長さは μ(Ａ)、Ａnの長さは μ(Ａn)。

以上より、「円周率＝４の証明」で誤っているのは次の点であることがわかる。

証明では、「Ａn → Ａ (n → ∞) ならば μ(Ａn) → μ(Ａ) (n → ∞)」という極限操作の順序交換を (暗黙に) 行っている。
このような極限操作の順序交換は無条件に行えるものではなく、今回の場合は順序交換が不可能である。

極限操作の順序交換に関する議論は一見、直感に反するような例も多く、これを正しく理解するには、比較的高度な (抽象度の高い) 数学に慣れ親しむ必要がある。

ブコメを見た感じでは、上記の内容を理解しているはてなーは片手で数えられる程度のようだった。お前ら偉そうな癖に全然数学わかってないんだな。

なお個人的に、「円周率＝４の証明」は、大変わかりやすい問題設定であるにも関わらず、これを腑に落ちる形で反証するためには高度な数学的素養を要求するという意味で、極めて秀逸だと思う。

Permalink | 記事への反応(2) | 19:47

2018-11-18

■2+3と3+2

こちらの教え方の方が成績が良くなるという統計的な根拠でもあるのかね

指導要綱は適当に決めてる印象が強くて、

それに書いてあるからを理由にされても信用できないんだよねえ

(円周率の件からしても)

Permalink | 記事への反応(1) | 23:13

2018-10-21

■パイナップルって恥ずかしくて発音 しづらい

話さないといけなくなった時が辛い

円周率のパイも、お菓子のパイの実もそう

言わなきゃいけない時は

セクハラされてる気分になる

Permalink | 記事への反応(1) | 06:37

2018-10-01

■神よ微笑みたまえ

ジーザスッッッッ

まだあと7分ある

まだだめなんだ、

そうだ、良い子だ

トイレはここじゃない

よし、円周率は3.151625ああああ！

だめだ！

人間を取り戻せ

ここは野生じゃない

ビークール

はあ、、、はあ

お前もだめだ！この密閉空間では！！

何がだめだったのか

ピルクル

やきいも

屋台のラーメン

わからない

ここでおわらせない

よしあとさんふんだ

音だけなら許す

この音は危険なしんごうだ

どあがあいたしゅんかん左奥

あぶらあせはヤバイ

ここがしょうねんば

Permalink | 記事への反応(1) | 21:28

2018-09-20

■現在 の子たちは行列を知らない

2015年から１次変換と行列は高校数学から削除されました。

文系クラスだけれども行列を習ったよという人は年齢40代から50代の人です。

「数Cが消滅しました」と聞いてびっくりする人はたぶん20代~40代の人です。

2015年からは理系にすら行列を教えていません。

数Aの確率から「期待値」が消滅したのも地味に痛いです。

2024年からはさらに数学を削減予定です。

ベクトルを学ばずに大学生になれる！？　～　新学習指導案で日本は滅びます - Togetter

ベクトルが高校数学Cに移動するので，カッとなって過去の学習指導要領から線形代数の分野を表にしてみた。 pic.twitter.com/k7VJjPrxvq— ジョゼフ・アンリ (@joseph_henri) 2018年2月16日

大学で教えている人の間で2年程前から話題になっています。１年生を教えている人は頭を抱えています。

あなた方は実験台のような世代で申し訳なく思います。大学によってはまだ混乱しているかもしれませんね。

知らないことが出て来たら「それは習っていません」と教えてあげてください。

とにかく増田に高校数学をやり直せと言っている人たちはおじさんかおばさんです。

気にしなくて良いです。

わたしからはあなたに「理工系の数学入門コース」をお勧めします。

数学を理解することよりも使えるようになることを目標にしたシリーズで

厳密な証明よりも「わかりやすい説明」に偏っていますが増田の目的には十分だと思います。

とりあえず線形代数を読んでみてください。特に前提知識は必要ありません。

それから微積も読んだ方が良いでしょうね。

読んでみて数学が楽しくなってきたら後ろのページにある教科書リストからいろいろ読んでみてください。

楽しんでね！

追記

hatorix マトリックス学ばせないで、機械学習やAIの研究ガーとか言ってたの？ウケる

cardamom マジか……これはひどいな。行列て変換とかで使わないか？コンピュータの時代こそ必要なのに。

ほんとうにそうですよね。

新しく「情報」という科目ができましてコンピュータの使い方やITリテラシー、プログラミング、パワーポイントの使い方etc...を高校で教えるようになったのですが、その一方で数学がごっそり削除されてしまったという。

本末転倒すぎて文科省は何を考えているのか・・

2024年以降はベクトルが共通科目から消えます。物理をどう教えるのか・・

円周率が３になっても日本は死なないけれども「技術者が行列をしらない」は日本死にますよ。

この流れは非常にまずいと思うのですがあまり話題になりませんね。

cider_condo さんとか watto さんとかわかりやすく解説記事書いてくれないかな。

Permalink | 記事への反応(21) | 07:49

2018-09-15

■42「なぜ俺たちだけ2桁という括りなのか？これは差別だ」

第二級市民というカテゴリにカテゴライズされている42は憤っていた。2、3、4や5と違って自分たちには確たるアイデンティティがない。28のような完全数は名誉1桁というように崇められているものの、42に付与されていたのはDon't Panicの解でしかなかったし、素数でも無かった。

ある日のこと、42はポリティカルコレクトネスという言葉を知った。そこで彼は「私達を2桁と呼ぶのは差別だ」と主張することにした。しかし異を唱えるものたちは多かった。7は42を小馬鹿にしてこう言った。「2桁を2桁と言って何が悪いｗｗ」と。しかしこれには15もカンカンだ。彼は16進数ではFなのだから、自分はもう1桁といっても過言ではない。42などというどうしても2桁にしかなれないような愚かで愚鈍な無知蒙昧の輩と一緒くたに扱われては困ると主張する。7はそれでも「お前も2桁だろｗｗ」と煽るのはやめない。それを見ていた1は、1進数でも2進数でも一桁なので階級闘争には全く参加することなく「8080」と一人で約数として今日も管を巻いていた。

78925から見れば2桁とか1桁とかそういった話はくだらないことだ。世の中から見れば彼らは少数派にすぎない。世の中には無限の桁数が存在するが、たまたま世の中に出回っている桁数では1桁や2桁がポピュラーなだけ。世の中にはグラハム数のような存在もいると密かに SNSで書き込みをしていたが、誰もそういった抽象的な議論には興味が無かった。クヌースの表記法を知るものがそもそも多くなかったからだ。グーゴルプレックスすらあまり知られていないし、きっと彼らはその存在を知っても、ただ穢多非人のように扱うだけで、全く同類とは見なさないだろう。

42は2桁であって、自分は1桁のように崇められるべき数値だと自己を表現していたが、一方で100や2000のことなどは侮っていた。自分より後の数字のことなど彼は興味がなく、桁数差別をお題目にしている割に、3桁や4桁のことはいつでも軽んじていた。それどころか、2桁ですら、九九の81までしか認めておらず、84は42から死ぬほど冷遇されていた。死ぬほど冷遇されていた。本来桁数差別をやめるべきであるとするならば、すべての桁数の支持を集めて戦うべきだろうと思われる。だが2桁も一枚岩ではない。12や13などは、5と仲良しこよしであり、そこに差別感情は見いだせない。だが、2桁差別抗議体では「ユークリッド平面上でしか仲良くできない愚かな数値ども」としてこれを黙殺している。53や80に至っては「別に2桁でも私は極めて重要な存在だからそういった闘争には参加しない」と公式に声明を出していた。

多様性を認めるべきだと3/5や√7/18は語るが、そもそも彼らには整数権が認められていないので、78925からすらも有理数や無理数といった存在は軽蔑の対象となっていた。ただし円周率やネイピア数については、超越数として信仰するものもいた。3/10はそうしたことから「なぜ我々に整数権がないのか」と永久に主張している。

こうした不毛な議論を見た算数嫌いの229112は語る。「数学なんてそもそも無くしちゃえばいいんじゃね？」と。これにはオイラーもビックリ。6によると、こうした差を見て区別することで、数学は体系付けられてわかりやすくなるということだ。数学界での差別がなくなる日はない。絶えず新たな記号が導入され、xやaばかりだった記号もξのように「うんち」と揶揄される記号も多く出回ってきた。