2位とはなんだったのか
anond:20240625171138 2009年11月のいわいる事業仕分けから、もう13年も経った。「2位じゃダメなんですか？」の質問の発言で非常に曰く付きとなったアレだ。 ところが最近、13年も経ってまだなおナゼ「2位」という言葉が出てきたかが理解できてない人がかなりいる事を知った。 それどころか、事業仕分けによって日本のHPC分野が衰退したなどという認識まで飛び出す始末である。 ただ、資料もなしにどこが変だと言っても仕方あるまい。何がどうして「2位」なのか、少し語ろうじゃないか。 アーキテクチャ初期の次世代スーパーコンピュータ (この時点では名前が付いていなかったが、以下わかりやすく京と呼ぶ) 計画 は、補助金を投入してのHPC産業育成に目を向けられていた[1]。世界一の性能を出していた海洋研究開発機構の地球シミュレータが、NECのSXシリーズをベースにしたベクトル型であり、ベクト
インド科学研究所の科学者らが、高エネルギー粒子の振る舞いを研究している最中に、偶然「円周率(π)」の新しい表現方法を発見したことを報告しました。 Phys. Rev. Lett. 132, 221601 (2024) - Field Theory Expansions of String Theory Amplitudes https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.132.221601 Indian Institute of Science https://iisc.ac.in/events/iisc-physicists-find-a-new-way-to-represent-pi/ 円周率の新しい公式を発見したのは、インド科学研究所高エネルギー物理学センターのAninda Sinha氏(左)とArnab Saha
いかにして動的型付けのRubyに静的な型検査を持ち込むか？ SteepとRBSが目指すもの - Findy Engineer Lab
Rubyをはじめとする「動的型付け」のプログラミング言語は、ソースコード中に型に関する記述が陽に出てこないことが特徴で、プログラムの実行前に（静的に）型検査をすることはありません。しかし、このようなプログラミング言語においても、大規模な開発における品質の向上や開発体験の改善、実行の高速化のために、静的な解析を活用しようという試みは多くなされてきました。この記事では、動的型付けの言語のための型検査の歴史を簡単に振り返って、現在私が開発しているRuby向けの型検査器Steepとその基盤となっている型記述言語RBSについて説明し、今後の展望を議論します。 著者：松本宗太郎さん（@soutaro） Rubyコミッター。大学院でRubyプログラムの型検査の研究に取り組み、修了後はスタートアップでWebアプリケーションの開発に従事。2017年から型検査ツールSteepの開発を始め、2019年からはRu
今回はゆとり世代系下級国民の会長が、ゆとり教育の現実を語っていきましょうか。 ゆとり世代についてよく言われている「運動会を手を繋ぎながらゴール」ははっきり言って嘘です。そんなの見たこともありません。普通に競争させられましたし、勝ち負けもありました。ゆとり世代は「円周率が3」だとかテレビで流れているのを見て、「んなわけないじゃん」とか思ってました。 Z世代の人たちにはわからないと思いますが、会長が中学生の頃はみんなガラケーでしたよ。LINEとかもありませんでした。スマホとかそういうのが出回ってきたのも会長が高校生くらいの頃でしょうか。 そしてあの時期はまだまだ体罰がギリギリ容認されているような時代でした。たぶんですが、会長たちゆとり世代が体罰を受けてきた最後の世代だと思います。ギリギリ昭和の暴力教師たちがまだ残っていましたし、殴ったり蹴ったりみたいないじめはザラにありました。中学の時に会長は
AIによって底辺の仕事が奪われるのか？ #AI #仕事 - 上級国民に憧れる下級国民の会
今回は「底辺の仕事はAIに奪われないのではないか」という話でもしていきましょうか。 ここ数年、AIに仕事を奪われるだなんだとおう言葉が蔓延して著しいですよね。我々底辺業界にもその波が、押し寄せています。しかし会長は逆張りして、あえて「底辺の仕事はAIに奪われないのではないか」と思っています。 空飛ぶドローンが配達するから人間の配達員は不要になると言いますが、あんなもの原物見たことないですよ。いやまあ、ウクライナでは爆弾を配達しているみたいですが、少なくとも日本ではないですよね。 だいたいですよ。専門家もテレビでは偉そうに、2020年になったら車はゴムの中を走っているとか、空飛んでるとか、自動運転でドライバーはいらなくなっているとか、機械の体で永遠の命が手に入るとか、セクサロイドが蔓延して地上から童貞は消えるとか、銀河鉄道999みたいなことを言ってます。でも実際はどうでしょうか。 車は空を飛
プリングルスおつまみ海苔がおいしかったので追加で買いに行きました～跡部王国の海苔練りこみ型ジャガイモの円周率は割れぬポテチの皮算用～ - さかさまなすべり台
突然ですが こちらのグラフをごらんください こちらのグラフは 昨夜のある時間における ビットコインと NVIDIAの株価の値動きについて 素因数分解したのちに偶関数の積分 さらにはラプラスユンゲラー変換を駆使したのちに 円周率を１６として計算した結果です その結果これとこれをいっぱい買って いっぱい売れば10000000億円儲かります！！ …。 みたいな記事を書けたら このブログも 人気上昇 気分上々 威風堂々 魏王曹操 都知事東京 千葉は房総 喰うぜ猩々 今日も投稿！！ Yeah!! って感じなんですけど そんなわけないので 真実をお話しします。 こちらのグラフは プリングルス おつまみ海苔の 味わいをグラフ化したものです オレンジ：ポテチの味 グリーン：海苔の味 食べると はじめにプリングルス系の ポテトのあの感じが来ます そのあとすぐに海苔の味がおいこし これでもかと海苔の味をさせて
出願から合格発表までの流れ 出願時の注意点 入試当日のスケジュール 合格発表後 具体的な試験内容 入試の出題方針として ①筆記試験（40分） ②グループワーク（50分）※③とあわせて90分程度 テーマ メンバー構成 評価の観点 ③面接（50分）※②とあわせて90分程度 一般的な面接ではない 評価の観点 試験対策は？ 諸費用のお知らせ 値上がりする？ 個人預り金とは？ 当日配布された資料 ２１世型紀特色入試の筆記の過去問・グループワーク観点表 他の入試形式含めた入試案内・過去問 学校案内 自由に持ち帰ることができるもの～やる気アップにつながる配布物 今回は西大和学園の21世紀入試の説明会へ参加した時の話の第二弾。 2025年度入試の出願から合格発表までの流れ、試験当日のタイムスケジュール、試験の内容、試験対策、諸費用、当日配布された資料などを書いていきます。 ※正式な2025年度入試ガイドは
物理における数学の理不尽なまでの有効性あるいは非有効性｜KT
物理と数学物理を学んでいると、あるいは研究していると、数学の威力に感銘を受けることが多々ある。多くのひとにとって、その最初の体験は、力学の運動方程式（微分方程式）を扱ったときであろう。たった一つの方程式を解くことで物体の落下や惑星の軌道、大学入試で出されるようなややこしい設定など、ありとあらゆる運動を記述できるのは、驚くほかない。 "The unreasonable effectiveness of mathematics in the natural sciences" という有名な言葉を残したのは数理物理学者のWignerである（Wikipedia）。自然科学とは大きく出たものだと思うが、実際には物理のはなしをしているので、そこまで深い意味はないのかもしれない。 冒頭に、「確率分布を表すのになんで円周率を使うんだ？円なんて関係ないじゃないか！からかっているのかい？」（アメリカンな雰囲気
世の中には『円周率は3.14で計算する』と『円周率は3.14である』の区別がつかない人はそれなりにいる「算数の前に国語力の問題かもしれない」
あおじる @kale_aojiru 「嘘を教えるな」という文脈で「これはどうなんだ」とモデル化や簡略化したものを持ち出す人が多いんだけど、わざとやってるのか本気で区別がついてないのか、どっちだ 2024-06-30 18:24:07
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
インドの物理学者がひも理論の研究から偶然「円周率」の新しい公式を発見
ゆとり世代が体罰を受けた話 下級国民通信 - 上級国民に憧れる下級国民の会
西大和学園の21世紀型特色入試説明会～どんな入試？対策は？日程は？ - 知らなかった！日記