「演算」を含む日記 RSS

はてなキーワード: 演算とは

2024-04-20

   最大関数を S  f(x)と書いて、有名なディリクレ核と呼ばれる積分で書いて、それにディリクレ境界を科したパウリ行列で書くことにすると、そのパウリ行列

   の固有方程式である、Det(P-λI)=0の、λにPを

          N

   入れても成立して、固有ベクトル対角化すればよい。その対角化した成分が、右上左下0で、対角項だけに必要ものが並ぶようにするというものです。

  これは簡単演算ですぐできます

2024-04-07

[] 無限存在するか

数えることを学ぶとき無限に遭遇し、永遠に数え続けることができることに気づきます

それほど独創的な観察ではないですが、いつでも1を足してさらに大きな数を得ることができるため、数えることに終わりがないことが、無限重要性質です。

無限にはさまざまな種類があるため、それほど単純ではありません。 1、2、3 などの自然数の量は「可算無限」と呼ばれる最も単純な種類の無限にすぎません。

正式には、自然数から他の集合への1対1の写像(注: 勝間さんではありません)がある場合、この集合は自然数と同様に無限であることを意味し、同じ種類の無限です。

実数場合、その写像存在しないので、より大きな無限となります

さて、無限演算定義するとどうなるでしょうか。無限大に1を加えても無限大になります自然数のある数を無限大で割るとゼロになります

まり無限大に1を加算すると、結果は同じ種類の無限大になることを意味します。

これらの関係方程式として記述する場合には問題が起こってしまうことがよく知られます

無限大を無限大で割ったり、無限大にゼロを乗算したりする場合さら意味不明になります

実際には数学者無限対処する方法をよく知っています。ただ注意しなければならないのは、その無限がどこから来たのかを追跡することです。

たとえばxが無限大になると無限大になるx squareのような関数があるとします。

それを指数関数で割ると、これもxで無限大になります

まり無限無限で割ることになります

しかしこの場合、結果はゼロになります

無限大がどこから来るのかがわかっていれば、もう一方から1を引くこともできます

実際、物理学者は場の量子論で常にこれを行っています

たとえば、1/イプシロン、1/イプシロン二乗イプシロン対数などの用語がある場合があります

これらの各項は、イプシロンからゼロまでの無限大を与えます

しかし2つの項が同じ無限大であり、イプシロンの同じ関数であることがわかっている場合は、数値と同様に加算または減算できます

物理学では通常、これを行う目的計算最後にそれらがすべて互いに打ち消し合い、すべてが理にかなっていることを示すことです。

したがって数学的には無限は興味深いですが問題はありません。数学に関して言えば、無限をうまく処理する方法を知っています

しか無限存在しますか?

数学的な意味存在します。つまりその特性分析してそれについて話すことができるという意味です。

しか科学的な意味では、無限存在しません。

科学的には、観察を説明する必要がある場合にのみ、自然理論の要素が「存在する」と言えるからです。

そして無限を測定することができないので、観察するもの記述するために実際には無限必要しません。

無限大は測定できないという問題は、ゼロ問題と密接に関係しています

たとえば、点の数学抽象化を考えてみましょう。物理学者は点粒子を扱うときに常にこれを使用します。点のサイズゼロです。

しかし、実際にサイズゼロであることを示すには、無限に正確に測定する必要があります

したがって、測定精度が許容するものよりも小さいこしか示せません。

無限ゼロ物理学のいたるところに存在します。

宇宙や時空のような一見無害なものであっても。空間数学を書き留めた瞬間、そこにはギャップがないと想定します。

無限に多くの無限の小さな点で構成された完全に滑らかな連続である仮定します。

数学的にはこれは扱いやすいため便利な仮定です。そしてそれはうまく機能しているようです。

それがほとんどの物理学者があまり心配していない理由です。彼らは無限有用数学ツールとして使用しているだけです。

おそらく物理学無限ゼロ使用すると間違いが生じるのは、これらの仮定科学的に正当化されていないためです。

そしてこれは、宇宙量子力学理解役割を果たす可能性があります

ジョージ エリスティム パーマーニコラス ギシンなどの一部の物理学者が、無限使用せずに物理学を定式化する必要があると主張したのはこのためです。

2024-03-30

観たよ、オッペンハイマー。(ネタバレあり)

実は、エノラゲイは知ってたけどオッペンハイマーは知らんかったんよな。作中の学者アインシュタインしか知らん。でも楽しかった。

・そんな気軽に青酸カリ使う?

教授の命を救った男、オッペンハイマー

・なんとか組合みたいなコミューン原爆村の発想源よな

・気軽にセックスしすぎやろ

・気のいい爺さんだと思ったらワルだった

ガッツリ共産主義者じゃん

ユダヤの話、ボーは恐れているはグロいの苦手だからスルーしてたけど観とけばよかっち。イスラエルはアレだけど

・巨漢のラビおっさんはいキャラ

ガンバレ学生が後でガンバレ意味が変わってるの、これだから若い男は…やん

キャラの見分けがよく付かないけど、メガネ君はワルキャラに見えて仕事してるだけよな

ストロースの秘書くんと証言したメガネと爺さんは好き。印象に引っ張られてる感じはする

・靴売りはセーフだけどサンドイッチはアウトなんや

・馬結構出るな

・クソ兄貴でクソ父よな。そういや子供視点がないな

・核成功ハラハラしたし良かったナーてなったけどええんかな?

・音と衝撃が遅れて届くのすこ

・これ人に撃つんだよな…?てなりそう

成功したのにめっちゃ不穏やん?

演算しまくるとこ、ザ物理学者って感じで好き

テラーの強キャラ感、後半ちょい格落ち

・頭を下げないヘット名前を印象付ける演出かな

原爆被害者シーンは悪趣味で最高。あえて見せないのがいい。

日本人として思うところもあるが、まあ撃ってよかったししゃーないよね。エノラゲイ悲劇

尋問シーンかわいそうだけどオッピーが吹き込んだってのはそうかも…?となって、でも裁かれたって許されないのはそうですよねえって

ケネディ反対票は分かるような分からんような?(理解力が足らんだけ)

・伝記つかドキュメンタリーぽいのかな?思たらエンタメでよかた。ダレないし、乳首は出るけどドライなのがいいね。感動させようとはしてないかんぢが…でも最後なぜか泣きそうなっちよな。ただの疲れ目かもが

2024-03-23

anond:20240323222010

人間本質は変わらないってのはそりゃあ大前提

Celeron 600MHz が i9 になったりはしないし、クソ雑魚ナメクジライオンになったりもしない

 

ただ、錬金マジックは起きず、本質はなんも変わらないけど、学びはするよね。過去増田見てると今と言ってることが全然違うもの

Celeron 600MHz の物理性能を超える演算は出来ないけど、

学びを活かして、いつかは Celeron 600MHz なりに、いい感じな結果を出せるようになるといいよね

2024-03-22

ティアキン楽しめなかった勢

ブレワイは500時間はやったので楽しみだったんだけど武器も道具も自分で作るのが面倒でやめちった…

物理演算とかそういうの理解出来ないバカには向かないゲームだったのだな…納得

ブレワイはほぼ皆楽しんでたけどティアキンはクソほど楽しんでる人と自分みたくハマれずにやめちゃう人の二極化してる気がする。面白い面白いんだけどね。ただただ作るのめんどいのよね。新しいものを作り上げる想像力の無さを実感しちゃって悲しくなったりもした。

それもそのはず頭のいい人のために作られたゲームならしゃーない。

ブレワイの続編だから今までとは違うゲーム性になったんだと思うけど次回のゼルダがこの路線で行かないことを望みますゼルダは神トラが一番だと思ってるので…

2024-03-21

anond:20240321185747

AI関係シリコンを見てると、今後起きそうなことは

と言うことで、NVIDA一強みたいなのは今がピークで、今後は変わってくるんじゃないかな。ただ需要全然満たせてないから、伸びるとは思うけど、多様化していくと思う。

2024-03-19

   無限降下法という人間の頭の中にある手段を使うと、 x^3+y^3=z^3に解がないことを説明できるが、スーパーコンピュータを使っても延々と演算が続くだけで、

   該当する自然数はないということを示すことはできない。したがって、いくら大量に計算機を並列しても、上の式はないことを示すことは不可能である

2024-03-15

anond:20240315132632

今のCPU計算機っていうより頭脳に近いけど、量子コンピュータピュア意味計算機

それはそうだけど、現状の量子コンピュータGPUなんかに比べても遥かに原始的なんだよ。

今のCPUGPUに例えるなら、演算ユニット以前に加算器すらできてない状態マシン語の遥か手前のフリップフロップがどうとかそういう段階と言える。

2024-03-12

anond:20240312112653

演算やでかい処理必要仕事について言及してるのに、無理やり難癖付け始めて草

頭悪いんだろうな。

anond:20240312111903

業務ソフト要求スペックが10万以上のPC必要な業種ってめちゃくちゃ特殊だろ、リアルタイムで3Dぐりぐり動かすとか演算動かしたりでかい処理させる仕事は明らかに少数派だと思うぞ。

2024-03-07

日本ってやっぱり高性能なコンピュータって作れないものなん?

昔のゲーム機などでCPUGPUを作っていたのは知っているが・・・

AI時代で、いくらでも演算性能が欲しい、1チップじゃなくてマルチチップで処理、といったスパコン並の物って、

日本人にもニーズあるけど、自前で作れないものなのか。


大学研究だと、低消費電力なものは出ているのは知っているが、日の目を見ない。

2024-03-01

PS5 VS Xbox

オンラインマルチプレイ無料

APEX LEGENDSやFORTNITEなどの無料ゲームオンラインマルチプレイも追加料金なしでで遊ぶことができます

まり、「APEXだけしか遊ばない!」という人はXboxの筐体を購入をすれば後は無料で遊び放題です。

Xbox 無料でできるゲーム

プレイステーションニンテンドースイッチなどはオンラインマルチプレイを楽しむために月額料金を支払う必要があるため、完全に無料で遊べるのは非常に嬉しい仕様ですね。

性能はPS5より高い

単純にカタログスペック比較するとXbox SeriesXはCPU性能、GPU性能ともにPS5よりも高いです。

ただしその差は僅かで両者とも拮抗しているため、体感できるほどの差は無いかもしれません。

あくま演算処理系スペック比較した場合Xboxの方が上です。

SeriesXとSのラインナップがある

PS5は最上位機種のみのラインナップなのに対し、Xbox廉価版のSeries Sのラインナップがあります

予算に限りがある場合4Kモニターが無い、あるいは4Kモニターの購入予定が無い方にとってはより安いSeries Sを購入するという選択肢もあります

なお、PS5もPS4のようにPRO版が発売される可能性もあるため、その場合は現行機が廉価版になると思います

魅力的なサブスクリプション

プレイステーションのサブスクは最新のゲームは毎月2タイトルしか遊べないのに対し、Xboxのサブスクは最新のゲームも遊び放題です。

プレステのように魅力的な独自タイトルは少ないものの、GTA5やシティーズスカイライン日本ゲームではペルソナ3・4・5のリメイク版まで遊べてしまます

カジュアルに沢山のゲームを遊びたい方にとっては非常に魅力的なサブスクリプション形態となっています

https://nabelog-blog.com/ps5-vs-xbox/

なるほどー。

オンライン無料なのか。

2024-02-29

anond:20240229120549

というか既存のH100とかはAI向けチップだし(描画が全然ダメ)

アホみたいに高いか消費者には普及してないだけで

3値演算が普及してaiユーザーgpu+aiプロセッサー二枚刺しが普通になるかも

ん?iGpuを使うならグラボはいらないか

2024-02-24

AI向けでコンピュータアーキテクチャは変わるのか?

今までだと命令データキャッシュに乗るのが前提だったが、AIだと、AIモデルGB単位なのでキャッシュそもそも乗らない。

いかキャッシュヒットさせるか、DRAMとのレイテンシ隠蔽するかだったが、キャッシュに乗らないので、メモリ帯域勝負になる。

GPU汎用性があるので使われているが、ゲームだとテクスチャをVRAMに乗せておいて、演算した結果はモニター側へ出力すればよく、

なんだかんだ帯域は足りていたが、AIだとチップチップ間の帯域が足りない。

ニューラルネットワーク接続自体FPGA的に切り替えるのも手だと思うがモデルが大きすぎる。

AI入力も、文書の要約みたいなもので、データの広い範囲で「文脈」を理解しなければならず、広いメモリ空間を参照となる。

メモリ局所性からかけ離れている。

2024-02-21

[] 数学は量子物理学と同様に観察者問題がある

量子力学における観測問題についてはよく知られるように、人間主観性が量子実験の結果に重要役割果たしている。

ドイツ物理学者ヴェルナー・ハイゼンベルクによる有名な引用がある。

私たちが観察するのは現実のものではなく、私たち質問方法さらされた現実です。」

例えば有名なダブルスリット実験では、スリットの後ろに検出器を置かなければ電子は波として現れるが、検出器を置くと粒子として表示される。

したがって実験プロトコル選択は、観察する行動パターンに影響する。これにより、一人称視点物理学の不可欠な部分になる。

さて、数学にも一人称視点余地はあるか。一見すると、答えは「いいえ」のように見える。

ヒルベルトが言ったように、数学は「信頼性真実の模範」のようである

それはすべての科学の中で最も客観的であり、数学者は数学的真理の確実性と時代を超越した性質に誇りを持っている。

ピタゴラスが生きていなかったら、他の誰かが同じ定理発見しただろう。

さら定理は、発見時と同じように、今日の誰にとっても同じことを意味し、文化、育成、宗教性別、肌の色に関係なく、今から2,500年後にすべての人に同じ意味があると言える。

さて、ピタゴラス定理は、平面上のユークリッド幾何学の枠組みに保持される直角三角形に関する数学声明であるしかし、ピタゴラス定理は、非ユークリッド幾何学の枠組みでは真実ではない。

何が起こっているのか?

この質問に答えるには、数学定理証明することの意味をより詳しく調べる必要がある。

定理真空中には存在しない。数学者が正式システムと呼ぶもの存在する。正式システムには、独自正式言語付属している。

まりアルファベット単語文法は、意味があると考えられる文章を構築することを可能にする。

ユークリッド幾何学正式システムの一例である

その言語には、「点」や「線」などの単語と、「点pは線Lに属する」などの文章が含まれる。

次に正式システムのすべての文のうち、有効または真実である規定した文を区別する。これらは定理である

それらは2つのステップで構築されれる。まず、最初定理証明なしで有効である宣言する定理選択する必要がある。これらは公理と呼ばれる。

これらは正式システムの種を構成する。

公理から演繹は、すべての数学コンピュータで実行可能な印象を生む。しかし、その印象は間違っている。

公理選択されると、正式システム定理構成するもの曖昧さがないのは事実である

これは実際にコンピュータプログラムできる客観的な部分である

例えば平面のユークリッド幾何学と球の非ユークリッド幾何学は、5つの公理のうちの1つだけで異なる。他の4つは同じである

しかしこの1つの公理(有名な「ユークリッドの5番目の仮定」)はすべてを変える。

ユークリッド幾何学定理は、非ユークリッド幾何学定理ではなく、その逆も同様。

数学者はどのように公理を選ぶのか。

ユークリッド幾何学非ユークリッド幾何学場合、答えは明確である。これは、単に説明したいもの対応している。

平面の幾何学であれば前者。球の幾何学であれば後者

数学は広大であり、どのように公理選択するかという問題は、数学の基礎に深く行くと、はるかに感動的になる。

過去100年間、数学集合論に基づいてきた。

すべての数学オブジェクトは、いくつかの追加構造を備えたセットと呼ばれるものであるということだ。

たとえば自然数のセット1,2,3,4,...は加算と乗算の演算を備えている。

一般的なセットとは、数学で正しく定義されたことがない。

集合論特定正式システムによって記述される。Ernst ZermeloとAbraham Fraenkelと、選択公理と呼ばれる公理の1つに敬意を表して、ZFCと呼ばれる。

今日数学者は、すべての数学を支える集合論正式システムとしてZFCを受け入れている。

しかし、自分自身を有限主義者と呼ぶ少数の数学者がいる。

彼らは、無限公理と呼ばれるZFCの公理の1つを含めることを拒否する。

言い換えれば、有限主義者正式システムは、無限公理のないZFCである

無限大の公理は、自然数の集合1,2,3,4,...が存在すると述べている。すべての自然数に対してより大きな数があるという声明(「ポテンシャル無限大」と呼ばれる)よりもはるかに強い声明である

有限主義者は、自然数リストは決して終わらないことに同意するが、いつでも自然数の集合の有限の部分集合のみを考慮することに限定する。

彼らは一度にまとめたすべての自然数の合計が実在することを受け入れることを拒否する。

したがって、彼らはZFCから無限公理を削除する。

この公理を取り除くと、有限主義者証明できる定理はかなり少なくなる。

正式システム判断し、どちらを選択するかを決定することができるいくつかの客観的基準...なんてものはない。

主観的には、選ぶのは簡単である

時間空間を超越した何かを象徴しているので無限大が大好きだ」と言えば無限大の公理を受け入れることができる。

ゲーデルの第二不完全性定理は、十分に洗練された正式システム(ZFC等)は、自身一貫性証明することができないと述べている。

数学者は、今日のすべての数学の基礎であるZFCが確固たる基盤にあるかどうかを実際に知らない。

そしておそらく、決して知ることはない。

なぜなら、ゲーデルの第二の不完全性定理によって、より多くの公理を追加することによってZFCから得られた「より大きな」正式システムにおけるZFCの一貫性証明することしかできなかったから。

一貫性証明する唯一の方法は、さらに大きな正式システム作成することだけだ。

数学を行うためにどの公理選択すべきかについて、実際には客観的基準がないことを示唆している。

要するに、数学者が主観的に選んでいるというわけである自由意志に任せて。

公理のための主観的基準というのは、より豊かで、より多様で、より実りある数学に導くものを選ぶという人は多い。

これは自然主義と呼ぶ哲学者ペネロペ・マディが提唱する立場に近い。

自分自身制限する必要がないので、無限公理を受け入れる。

特定公理のセットを選択する行為は、量子物理学特定実験を設定する行為に似ている。

それには固有の選択肢があり、観察者を絵に導く。

これが、一人称視点とそれに伴う自由数学において正当な場所を取る方法である

anond:20240221102514

「わりと大きな」なのか「みんながどよめくような」かどっちやねん物理演算はっきりしろ

2024-02-18

なんか最近"数"が増田流行っているみたいなので、ワイくんも作文してみました

数の概念文化歴史によって変化してきた。古代ギリシアでは、1は数ではなく単位とされていたが、現代では自然数の集合 N の最小の要素とされている。

 

数の概念哲学的問題を引き起こすことがある。無限や超準数といった数は直観に反する性質を持つ。例えば、無限自分自身に加えても変わらないという性質を持つ(∞+∞=∞)。超準数もまた通常の数の演算法則が成り立たない(ω+1≠1+ω)。

 

数は実在するのか、それとも人間の心の産物なのかという存在論的な問いもある。数の実在主義は、数は客観的実在であり、人間の心とは独立して存在すると考える。数の構成主義は、数は人間の心の産物であり、人間言語思考依存して存在すると考える。プラトニズムは、数はイデア界に存在する普遍的実在であると考える。ピタゴラス主義は、数は万物の根源であると考える。論理主義は、数は論理的な体系から導き出されるものであると考える。

 

数の概念数学の基礎付けにも関わる。数学公理定理は、数の概念に基づいて構築されているが、その正当性や完全性には限界がある。ゲーデル不完全性定理は、数の概念を用いた形式体系には矛盾しないが証明できない命題存在することを示した。

 

数の概念は、かつて客観的現実を表すものと考えられていたが、量子論の発展により、数はより複雑で主観的ものである可能性が高まった。古典物理学では、数は物理量と一致していたが、量子論では、数は物理量とは別の抽象的な概念として使われている。

 

自我自由意識と同様に、数の本質はまだ解明されていない。しかし、量子コンピューターは数の概念を利用して作られており、数は物理システム表現する有効ツールであることは、どのレイヤースケールにおいても明らかである

 

数の概念私たち知識理解拡張するものであり、同時に私たちの疑問や不確実性を増やすものでもある。

 

数の概念は、私たち世界に対する見方を変える力を持っている。(どやああああ)

 

————————-

流行を作った増田

数学定義は本当に厳密で一意なものと言えるのか気になりました

https://anond.hatelabo.jp/20240216124331

 

 

 

書き起こす必要があるときちゃん文章書いてます。まとめの参考にしてね

anond:20240310160032 anond:20240310173949

2024-02-17

anond:20240217095737

もっと根源的な問題として、推論規則の「一覧表」があるとして、あるマスの記号とあるマスの記号列の関係それ自体を厳密に記述することは可能なのか?と思う。

「書き換えられる」というような関係ならば、それを「書き換える」という概念をまだ持たない宇宙人などに、感覚によった対面のレクチャーではなく、「記号列」で伝えることは可能なのか?

また、その一覧表を作った本人がそに一覧表に基づいてある記号列を演算規則に基づいて書き換えたつもりになってたが、上記に書いた「常識的」という意味で、間違った規則適用をすることもあるだろう。酔っぱらっててぬとねの区別もつかなくなってるみたいな状態だったりとかで。

推論規則を作った定義者すら、その一覧表をできないとき、その一覧表は推論規則を示したものとしての「意味(解釈ではない)」を持つのだろうか?

誰も空を見るものがいなくなったとき空は青いのかの話じゃないけど、誰もそれが推論規則の表である認識しなくなったら、それは本当に推論規則なのだろうか?ただの「絵」でしかなくなっていないか

あと以下のトラバ主とあなたは同じか?同じならツリーのやりとりは一つにまとめたい。

https://anond.hatelabo.jp/20240216215810

anond:20240216233624

ありがとう。こういうこと↓を考えていてすでにほかのトラバでも一度書いた通り

から合致しているとはどういうこと?そりゃ常識的には「わかる」から変なこと言ってる自覚は大いにあるけど、突き詰めればそういうことになると思う。

推論規則の「一覧表」があるとして、あるマスの記号とあるマスの記号列の関係それ自体を厳密に記述することは可能なのか?

「書き換えられる」というような関係ならば、それを「書き換える」という概念をまだ持たない宇宙人などに、感覚によった対面のレクチャーではなく、「記号列」で伝えることは可能なのか?

また、その一覧表を作った本人がそに一覧表に基づいてある記号列を演算規則に基づいて書き換えたつもりになってたが、上記に書いた「常識的」という意味で、間違った規則適用をすることもあるだろう。酔っぱらっててぬとねの区別もつかなくなってるみたいな状態だったりとかで。

推論規則を作った定義者すら、その一覧表をできないとき、その一覧表は推論規則を示したものとしての「意味(解釈ではない)」を持つのだろうか?

誰も空を見るものがいなくなったとき空は青いのかの話じゃないけど、誰もそれが推論規則の表である認識しなくなったら、それは本当に推論規則なのだろうか?ただの「絵」でしかなくなっていないか

あとは、概念が「数学実在」なるものとしてあって、数学はその実在的な概念発見したものだというなら、推論規則なり定義というのはそうした実体を指示する記号に相当する。

これはアメリカというような「固有名詞」が、アメリカと呼ばれる国であるあれを指すという単なる約束に基づいてるのに比べれば、うえで言うような記号は、実体のもの記号を並べる順番や位置という関係性によって表現しようとしていることと、指示する約束という恣意性を兼ね備えているんだよね。その表現実体を指示するにあたって本当に一意で「約束」を抜きにしても厳密なのか、情報の羅列として実体を一つに絞ってるのかって話になる。

anond:20240216213800

から合致しているとはどういうこと?そりゃ常識的には「わかる」から変なこと言ってる自覚は大いにあるけど、突き詰めればそういうことになると思う。

推論規則の「一覧表」があるとして、あるマスの記号とあるマスの記号列の関係それ自体を厳密に記述することは可能なのか?

「書き換えられる」というような関係ならば、それを「書き換える」という概念をまだ持たない宇宙人などに、感覚によった対面のレクチャーではなく、「記号列」で伝えることは可能なのか?

また、その一覧表を作った本人がそに一覧表に基づいてある記号列を演算規則に基づいて書き換えたつもりになってたが、上記に書いた「常識的」という意味で、間違った規則適用をすることもあるだろう。酔っぱらっててぬとねの区別もつかなくなってるみたいな状態だったりとかで。

推論規則を作った定義者すら、その一覧表をできないとき、その一覧表は推論規則を示したものとしての「意味(解釈ではない)」を持つのだろうか?

誰も空を見るものがいなくなったとき空は青いのかの話じゃないけど、誰もそれが推論規則の表である認識しなくなったら、それは本当に推論規則なのだろうか?ただの「絵」でしかなくなっていないか

2024-02-12

anond:20240212230341

演算能力って遺伝要素もあるけど、帰納的に身につけるケースが多いよな

atcoderでひたすら時間かけて練習するみたいな

2024-01-29

ムーアの法則が終わるとこうなる

機種演算性能
1980HITAC M-200H48 MFLOPS
1985HITAC M-280D , S-810/10630 MFLOPS13.125倍
1994HITAC S-3800/1808 GFLOPS12.698倍
1999HITACHI SR8000288 GFLOPS36倍
2004NEC SX-6 タイプE2894 GFLOPS10.049倍
2009HITACHI SR16000 モデルL272.7 TFLOPS25.121倍
2015FUJITSU PRIMEHPC FX100 ,FUJITSU PRIMERGY CX2550M11268 TFLOPS17.442倍2015年ムーアの法則が終わったと言われている。
2020FUJITSU PRIMERGY CX2550M52.81 PFLOPS2.216倍!!!!5年でたった2.2倍!そりゃ自作PCも盛り上がらないよな・・・

ソース

https://www.mri-jma.go.jp/Facility/supercomputer.html

2024-01-26

各位、久々の大型新人の予感がするので可愛がってください

https://twitter.com/shims_ag/status/1749925004236779961

午前7:40 · 2024年1月24日

「型」という概念存在しないプログラミング言語存在しません。

https://twitter.com/shims_ag/status/1750300836113342567

午前8:33 · 2024年1月25日

メモリ上のデータの種類を表す情報が「型」(type)です。

プログラミング言語側に組み込まれている「型」だけでなく、プログラマー独自に「型」を定義する方法も用意されています

struct、classinterface、type, enumなどを使って独自の「型」を定義します。

開発しているソフトウェア独自の「型」は、ドメインモデルの要素になります

多数の「型」を分類し、組織化するために名前空間を利用します。

近年「クラス」が「型」の定義であるという基本概念理解していないエンジニアが増えているので、エンジニア採用する際には注意しましょう。

https://twitter.com/shims_ag/status/1750346589431042157

午前11:35 · 2024年1月25日

ソフトウェアを起動すると、メモリ上には、たくさんのデータを読み込まれます。各データには、データの種類を表す「型」が割り当てられています

例えば、ゲームならばCartという大分類の「型」を用意し、その要素としてMarioCart, LuigiCartという「型」を用意します。

業務システムならば、Reportという大分類の「型」を用意し、その要素としてCostReport, SalesReportのような「型」を用意することになります

上記の「型」は、構造体やクラスを使って定義します。

これらの大分類の「型」と、要素の「型」は、is-a関係にある、といいます

現代ほとんどの言語にはis-a関係を明確にする方法が用意されています

上記のような「型」の知識プログラミングの基礎です。

https://twitter.com/shims_ag/status/1750014081648779450

午後1:34 · 2024年1月24日

CPU機械語しか理解できません。一方で人間機械語プログラミングすることは困難です。

人間が「1ドル」のつもりで、メモリに「1」と記憶させても、CPUは「ドル」だとは扱ってくれません。

CPUは、「円」のつもりで記憶させた「1」と、ドルの「1」を区別出来ないので、そのまま足し算などの演算を実行してしまます

そこで、人間にとってプログラムを読みやすくすることと、CPU意図しない演算をさせないために、データの種類を表す「型」という概念プログラミング言語に用意されるようになりました。

金融ECサイトなどのお金計算間違いが致命的なシステムでは、1ドル、1円を整数型などで扱うのではなく、予期せぬ演算が実行されないように「ドル型」、「円型」という「型」を定義します。

まとめると、可読性向上と、プログラムの誤動作防止のために「型」が不可欠な概念になりました。


https://twitter.com/shims_ag/status/1750507533536760000

午後10:14 · 2024年1月25日

プログラミング初心者は、

プログラミングを以下のようにシンプルに考えましょう。

(1) データメモリ記憶する命令プログラミングする。

変数配列構造体、クラスなどを使って、メモリ上にデータ記憶させる命令設計し、コーディングする。

(2) データ操作する命令プログラミングする。

上記(1)でメモリ記憶したデータに対して、計算、変換、表示、出力、保存などの命令設計し、コーディングする。

https://twitter.com/shims_ag/status/1750534515616059749

午前0:02 · 2024年1月26日

「型」という概念数学に由来しています

メモリ上のデータがどの「型」に属しているのか、という集合論の話でもあります

分かりやすく言えば、データの種類、分類の話です。

例えば、猫型のデータは、動物型という大分類に属する、という集合の話です。

オブジェクト指向プログラミングの「is-a関係」は、集合論に由来するメモリ上のデータ(オブジェクト)の分類の話です。

クラス」とは「型」の定義であり、メモリ上のデータの「分類」(class)です。

is-a関係」ではないのに継承すると、当然破綻します。

逆に、明らかにis-a関係」なのに、継承せずに委譲すると、スパゲッティコード化を誘発します。

2024-01-23

anond:20240123113558

パクリパクリいってんのこいつかよ、それで問題になってないのか

アイデアの一部がカブることはパクリではないよ、アイデア表現物にするとき創作性がつけくわわったならね

あの独特の物理演算がない他のゲームによくいったな

アイデアでいいならおまえの増田こそやはり他の馬鹿パクリなんだろうね

ログイン ユーザー登録
ようこそ ゲスト さん