  |
はてなキーワード: メモリとは
2.公式デジタルスマホ壁紙を正規購入した後その画像を抱き枕にプリントしそれを販売 →ＮＧ
3.公式ポスターを正規購入した後そのポスターを抱き枕に貼り付け販売 →ＯＫ
という認識でＯＫ？
2のNGに対して1と3がOKなのは知的財産権が消尽しているから？そうであるなら2は消尽しないのはどういう理屈？2も消尽はしているけれど
4.公式ポスターを正規購入した後そのポスターを複写機にてコピー用紙に転写しその印刷物を抱き枕に貼り付け販売 →ＮＧ
と同じで複製がＮＧみたいな話？そうであるなら正規購入しダウンロードしたデジタル商品（0と1の組み合わせ情報）をメモリなどに記録したスマートフォンやCDやUSBメモリを転売する事はＯＫ？
もしそれら記憶媒体がライセンス契約云々で無理とかいう話なら、1と3でも似たような契約で不可と出来るんじゃないの？逆にデジタルの記憶媒体であろうと再販売を禁止したり再販売価格を指定して拘束するのは独占禁止法などの法規制で転売屋が保護されるのではないの？
それが必要なんだよ。たとえば f(x) という関数があって、f(2) = 4 に束縛されたらメモリ上では定数にできて嬉しいのだよ。最近だと、イミュータブルっていうやつで。既存の Ruby や C だと、f(2) が確実に 4 と返すことができなくて、困っているのだ。
そうだね。でも計算機にかける前に、オーダーを出しておく必要なんだよ。計算機は演算にコストがかかるから、前もって結果を推定しないといけないの。だから、元の関数の中身を吟味したいの。
∞と∞を不等号で比較することはできないんだ。
それは事実。∞/∞ は定義されてないよ。知ってるよ。でもさ、数式的にわかっているときに発散具合で、関数自体は比較できるのじゃないの？
④の式を計算機で処理することはできないというあなたの説に反論する為に、WolframAlphaに④の式を計算させるリンクを張ったのだけれども、意図を全く理解してないようだな。
そりゃ、そうだろ。WolframAlpha が数式を表記できなかった誰も使わねえ。アホか。俺は電卓までは否定しないよ。違うってば。オレっちは「制限のあるメモリ（=有限）上では ∞ は定数としか扱えない」から、「数学=計算機科学」ではない、と言いたいの。「反例の反例」で書いたけど、遅延評価のような手法を使うと数学の問題もプログラミングで解けるよ。なんなら、虚数や分数でも Haskell や Ruby を使うとプログラミング上は解けるよ。それは言語製作者がパフォーマンスを落として実現しているだけで、メモリやプロセッサでは直接演算してないのよ。まさかだけど「物理学で小数と分数を同じものとして扱ってはいけない」ことを知らないとかじゃないよね？
数学という学問は「反例があったら、仮説を否定できる」という学問なんだよな？だったら、数学的な問題を計算機で処理できなければ「計算機科学=数学」を否定できるのだろ？なら、今からやってやる。
① f(x) = x ^ 2, g(x) = 2 ^ x とする.
② x に無限に大きくなるとき、f(x) とg(x) は共に無限に発散するが、
③ 数学的には lim が「x →∞」のとき、f(x)〈 g(x) と言える。
④ なぜならば lim が「x →∞」のとき、(x^2)/(2 ^ x) は 0 に収束するからだ。
これは数学的には合っているだろ？歴史的にはカントールがこの難題をクリアしてくれたのだろ？俺は大学の数学科じゃないから不勉強なのは認める。ただ、上記の主張は数学的には合っているはずだ。
じゃあ、計算機で無限を比較するとどうなるか？これから書くことは、IEEE 754 といった現実世界のプロセッサで語るぞ。
③' 計算機では lim が「x →∞」のとき、f(x) 〈 g(x) と言えない。
④' なぜならば lim が「x →∞」のとき、f(x) と g(x) は +∞ という二進法上の値となり「等値」となるか、「比較できない」ものになる。
反例の反例が来るだろうから、こっちも否定しとくぞ。たとえば、Haskell のような遅延評価をする言語では ⑤ の「(x^2)/(2 ^ x) は 0 に収束する」という記述も可能ではある。ただ、それはアルゴリズム的に Haskell は記述できるからであって、メモリ上やプロセッサ上では扱えているわけではない。よって、この「反例の反例」は否定できる。
わかってるとは思うが
メモリリークがまずいのは「消費メモリが多い」というよりは「消費メモリが増え続ける」ことにある
消費メモリが増え続けると、いつか枯渇してソフトは停止させられる
Windows11が出る秋頃に買えばよかろ
3Dゲームやらない、デスクトップで良いならメモリ16GBくらいにしたNUCをBTOで注文すればいいよ
在宅用PCでGPUマイニングとHDDマイニングまわしっぱにしつつ仕事をしてると32GBのメモリでもカツカツになったので64GBに増設した。
・HDDマイニングソフト → 1GB程度しかメモリ消費しない
・GPUマイニングソフト → 300MB未満のメモリしか使わない
・縦タブ50個開いたFirefox → コイツだけで6GB超。すげえ。まあYoutubeタブで川のせせらぎ音とか都会の雑踏の音を動画で流しっぱにしてるから仕方ない。
・タブ10個開いたChrome → タスクマネージャー上は1.3GBしか使ってないが、そんなはずはない。絶対他プロセスで数GBは使ってるはず。
・タブ20個くらい開いたChromium版Edge → タスクマネージャー上900MBしか使ってないことになってる。嘘やろ。流石に。
・PyCharm × 2 → 2GBほど消費。やっぱブラウザよりもIDEはメモリ食うね。予備のバッファ込みだと思うけど。
仕事の状況によってはここからVisualStudio2019を2つ3つ開くこともある。そうなるとメモリ使用量は32GBを上回る。
この構成でPCで作業してると、メモリ32GBじゃメモリ使用率100%超えるから足りない。64GB構成に頼らざるを得なくなる。
ちなみにCPUは論理24コアのRyzen 5900X、GPUは3080と3070のデュアルGPU。
多分IDE4つ開いてHDDマイニングしっぱなしでもCyberpunkでFPS落とさずに遊べると思う。やったことないけど。（さすがにGPUマイニングさせながらゲームするのは厳しいかな）
37歳、いつの間にかそんな歳になってしまった。このくらいの歳ですでに自分の年齢に自信が持てない。自分の歳を間違えるなんて、もっとおじいちゃんおばあちゃんになってからのことだと思っていた。今はまだ37歳で今年38歳になるはず。大丈夫、誕生日はまだ覚えてる。そんなわけで（たぶん）37歳の主婦だ。
私は自分専用のパソコンを持っている。5年前に某PCパーツ店で買った10万円のBTOパソコンだ。この時の私にとっては10万円が出せるギリギリの額で、必要なグラボやら潤沢なメモリやらは後から買うつもりで、でもあとから盛るのが難しいCPUだけは最初から盛っておこうと思って、i7-6700のグラボなしビジネス向けBTO PCを買ったのだ。
そしてそれから5年、コツコツとあれこれ手を入れてきた。グラボも買った。電源も買った。メモリも増設した。そして、Windows10 Pro、i7-6700、16GB、GTX1650、256GB SSD(SATA)、1T HDD(SATA)、650Wのマシンにまで成長した。このパソコンではDQXを主に遊んでいるけれど、安定した動作で何も不満はなかったのだ。昨日までは。
最近になってWindows11が発表された。当然このマシンでWindows11を使うつもりだった。そして昨日何気なく調べてみたところ、この第6世代とやらのCPUではWindows11に対応しないことがわかった。これは良くない。
では、CPUだけ交換しよう。ソケットの形状はFCLGA1151か、この形状に合うCPUでi7-6700くらいの性能でWindows11に対応しているCPU…、あった。i5-9400Fだ。これを買えばいいだろう。明日、PCを買ったパーツ店に行ってこれくださいと言おう。価格も2万くらいだからお手頃だ。CPUの交換は初めてだけど、なんとかなるだろう。
そう思って眠った。
翌朝起きて夫を送り出したあと、朝イチでパーツ店に行くつもりだったが、このパーツ店は開店時間がそこら辺のランチ食堂よりも遅かった。なんだこののんびりさはと思いながら、時間があるので買い物するときに困らないようにPCの構成などを調べていた。
そこでこのPCのマザボがH170-PROというところまで調べたのだが、念のためと思ってこれにi5-9400Fが載せられるかググってみた。最初に出てきたのはYahoo!知恵袋だったが、そこには「無理です」とあった。Yahoo!知恵袋はYahoo!知恵袋であるが、こういう時の回答の精度は案外高い。マジかと思いながら周辺調査をしてみたところ、このマザボではソケットの形状が同じでも第8世代、第9世代のCPUは載せられないらしいことが分かった。どうしよう。
まぁいいか、ここら辺どうするか相談するつもりでPCパーツ店に行こう。このパーツ店、そういうめんどくさい相談にも割とちゃんと乗ってくれるのがお気に入りの理由なのだから。
というわけでPCパーツ店に開店ダッシュを決め、それから2時間ほどのち、私の手元にはマザボとCPUとメモリの3点セットがあった。i5-10400F、H570 Steel Legend、DDR4 PC4-25600 8GB 2枚組、〆て43000円ほどなり。お会計は日々のパート代から出した。
そういうわけで、今までグラボやメモリを挿したり抜いたりはしたことあるけど、人生で初めてマザボの交換に挑戦することになった。
そろそろ文章を書くのにも疲れてきたので割と端折るけど、やっぱりCPUの取り付けが一番怖かった。CPUをソケットに載せて蓋閉めてレバーを固定するだけなんだけど、そのレバーを固定するところでキィィィって音がしてめっちゃ怖かった。これはCPU死んだかもしれないけど様子を見るのがとどめになるのはもっと怖いから信じて先に進んだ。あとはPC全面の電源ボタンや電源LEDなどのフロントパネルにつながる線を挿すのにも、とても小さいソケットで手間取った。
それと厳しかったのは、全部のコードを繋げばOKではなくて、使わないコードもあったりして割と罠だと思ったけど、そこら辺も頑張った。
というわけで一通り繋いで筐体の蓋を閉めてPCの電源を付ける。無事、着いた。普通にPCが使えた。なんか奇跡的だなと思った。メモリの挿し方が悪くてPCが立ち上がらないとか経験した身からすると、本当にびっくりだった。とりあえずCPUも無事なようでよかった。OSの再認証も問題なかった。
ちゃんと全部の機器が繋がってるか、OSの側から確認してみると、メモリが8GBで1枚だけしかないことになっている。どうやら4番目のソケットに挿したメモリが動いてないっぽいので、一旦マシンを落としてもう1度筐体の蓋を開けて問題のメモリを挿し直し、再度立ち上げると今度はちゃんと16GB読み込まれていた。
本当によかった。ホッとした。
へー、寝ているのは知らなかった。
なんか色々特殊な条件が働いていて、鳥の胸には疲労回復物質が含まれるとかなんとか聞いたことはあるが。
遺伝子って容量制限が厳しいメモリみたいなもんで何かを獲得すると何かを失う必要があるんだが、天敵が少ない鳥は防御機構の代わりに特殊な特性にメモリを割り当てられるらしい。歌とか羽とか。
肩がタタタな感じで火がつきそうな痛さなのでこれは凝りなのかどうなのか？
朝まで討論したいところだけど、
私にはそんな暇はないので、
以前に使っていた
あーあ、
久しぶりすぎて、
電池を充電しなくちゃいけないのと、
パッドが埃まみれになっていてくっつかなくなっていたので、
でも安心よ！
これで私の肩も不死鳥の如く蘇るのかなーって
期待を寄せてはかえしてみたものの、
充電池を5分ばかり充電しただけじゃ、
ウンともスンとも言わなくて、
松竹梅のどれが一番高級なのか松？竹？梅？問題ってあるじゃない、
それを地で行くようなウンともスンともの
とにかく凄い自信で充電出来てなかったの！
そりゃそうよねたった5分じゃ無理かーって。
それでも私はじっくり待ってみてその間ことこと煮込んだクノールのスープを冷まして飲めるほどの時間、
つまり30分ぐらい充電したら
ようやく動くようになったの！
これで稼働できたから私の肩はみごと不死鳥の如くか如かないかは1回の施術じゃ効果がないので、
引き続き施術していこうかと思う次第よ。
定期的に激痛がくるときがあったりして
月の満ち欠けか引力なのか？
そういうのが体調に現れるのかしら？って
なにかのエスエフでよくあるロマンシチュエーションの惑星直列って
実際になったらどうなるのか分からないけど、
今までないも起こってないとなると
太陽系が直列したところで
私の肩の凝りとかとは全く関係ないことらしいので、
あきらめて
やっぱり温めるのがいいみたいなのよね。
そう言った工夫もいくつかしてみたいところよ。
でもさー
私のお気に入りのジェットバスは4つのノズルで出てくるターボジェットノズルバスジェット！
点でなく面で当たるかの如く効き目がありそうなの。
あとのところは1つノズルの少し離れたところにもう1つノズルがあって、
ちょうど肩に当たると一応は1箇所ずつ当たるんだけど、
点ノズルなのよね。
ちょっと効き目が4倍違うわ。
私も違いの分かる人になったのかーって
私の持論だと
温めて揉むというのが、
よく公園で見かける年配のお年寄りの先輩の方々が独自に開発した動きの体操をし発見したかのように、
私の考えでは温めて揉むってのが
あの民間療法でネギ頭に巻いたり生姜スライスして貼ったり茗荷を脇に挟んだりと、
やたら民間療法って香味野菜を身体に貼ったり巻いたり挟んだりすること多くない？
私は素麺か！って思うぐらい、
そのまま麺つゆにドボンすれば
そのまま食べられちゃうぐらいに仕上がるのよね。
あなたも気を付けてね！
そういうのは素麺の薬味にしてしまって食べた方がよっぽど栄養になって身体のためになると思うし。
でね、
たたき、もみ、ほぐし、おすっていろいろ順繰り順繰り順番にまわってくるの。
強弱のメモリは65535レヴェルの60000メモリぐらいが一番気持ちいいかな。
でね、
たたき、もみ、ほぐし、おすで
低周波治療器ビリビリチャレンジ牛乳一気飲み選手権を1人でやってるように、
腕がぶるぶる震えて、
私の牛乳を飲みたいタイミングは不意に訪れるからまた厄介なのよね。
まあ、
今度は低周波治療器ビリビリチャレンジシャウエッセン一気食べ選手権を開催してみたいと思うわ。
うふふ。
たまにはこっちの方がお腹に溜まるような気もしないでもないけど、
ここぞとばかりに見つけたら買ってしまう癖がついてしまって困ったものよ。
グレープフルーツが98円で少し安かったので、
搾り器で搾った果汁を
すいすいすいようび～
今日も頑張りましょう！
