  |
はてなキーワード: メモリとは
Lavie NS の公式サイトで同じ価格帯のノート見てたけどびっくりするくらいのゴミカスだな
E2-9000とか下手したらCore i5 2410Mの半分くらいの性能しか無いぞ
メモリも標準だと4GBだしストレージもSSDじゃない上に500GBだし本物のゴミを売っていると言って差し支えない
8年経ってんだから同じ値段でより良いものが買えないとおかしいのに,むしろ粗悪品になってるってのが日本の衰退を如実に表していてうんぬんかんぬん
八年位前にWindowsからMacに自宅パソコンを変更し、iMacを使い続けてきたのだけど、intel core i5 + 8GBメモリではとうとうパフォーマンスが不満になることが多くなり、昨年年末に思い切ってMacBooKPro 16インチ版(intel core i9 + 16GBメモリ)をポチった。
おおおお、すげぇとまだまだその快適極まりないパフォーマンスに感激する毎日を過ごしているわけだが、それまで無視していたWindows10を思い切って導入してみることにしたのである。
もう10年以上、Windowsなんかインストールしたことないので、まさかのまさか、たったの三千円しかかからないなんて感動だった。もっと安く1000円というのもあったのだけど、ちょっと安過ぎて危険と判断し三千円としたわけである。
いずれにしても、二万円くらいかかると思い込んでいたので導入を躊躇ってきたのが悔やまれた。何故かというと、Microsoft Officeである。そのofficeサブスクリプションを五年くらい前に購入してMacOS上にOffice入れて使っていたのだけれど、これが重いのだ。また、仕事で使っていたVBAに互換性がなく、ファイルを自宅では使えないという問題が頻発した。
まったく、もっと前に気付くべきだった。OfficeのパフォーマンスだけはWindows上が最高であった。
しかし二つの異なった環境とは言え同じパソコン上にあるのに、何故だか最新のBootCampでは互いのディスク上を共有することは出来なくなっているのは結構な不満。
クラウドに置いておけば済むのではあるけど、めんどくさい話でもある。
あと、妙な話なのだが、Windowsの性能は100％出ていると思うのだけど、めっちゃ音質のいいはずのスピーカー音が何故かWindows上では音質が落ちる。MacBookPro2019モデルはめちゃくちゃ音質が良くて、少なくともMacOS上での音楽再生は感動レベルなのだけど…。それに音楽再生していると何分かに一回「ブチっ」と雑音が入るのも不思議。デジタル再生で雑音が入るって聞いたことがないんだけど？
タッチパッドの使い勝手がいくら調整してもMacOSと同等というわけにはいかないのも若干不満。でもWindowsってそんなもんだよな。
仮想環境でWindows10という考えもあったけど、特に必要性は感じなかったので安直にBootCampとした。
追記：
ちなみにこの記事中では少なくともWindows10については値段しか述べてないので悪しからず。
Parallelsはねぇ、その九千円弱って金額が微妙なので躊躇ったんですよ。今でも躊躇ってるんですけど、BootCampで困っているという程ではないので。
Windows機を別に新調するってのも、持ち運ぶのが大前提なのでそれは選択肢にはなかったっす。どこでもどちらも使えないと困るので。でも何が凄いって、MacもWindowsもその両方がcore i9 + 16Mメモリ + AMD Radeon PRO 5500M という比較的ハイスペックで動く事。新調することに比べればこのコスパは比較になりません。
ムカついてたのはMicrosoft Officeだけじゃなくて、ゲームもです。catalina になって32ビット排除をAppleが押し進めたものですから、Macで動作するゲームがガタ減りしたのです。
何かの参考とかにしたらダメです。書き始めて半年経つんだけどこっからどう直したらいいんだか（何をゴールにしたらいいのか）わからない。。
追記：合流性とか強正規化可能性とか停止性とか、全部チューリング不完全で、事前の静的解析で使うメモリの最大量が確定できる、とかそういう風に読み替えられる人を増やしたいのです、数式の添え字とΣと∫にびびらない人を増やしたいようなもので
数理論理学の一分野である証明論から成長した、数理論理学と理論計算機科学の境界領域の研究領域である型理論(type theory)は、大規模なプログラムの内的な整合性のチェックを行うための方法論を必要とする情報処理技術の分野で関心を集めている。
そもそも「型」(type)とは何か。プログラミング言語は一般的にはレコードや関数といったプログラムを構成する「値」(value)の定義をする道具である(*1)。その言語のコンパイラ作成者はこれらレコードや関数などの値、もしくは第一級の対象(first-class object)の種類を区別する型システム(type system)を必要とする。抽象代数学の観点からすると、「型」とはこれらの値もしくは第一級の対象が属する高階の対象(higher order object)としての空間(space)ないし代数系(algebraic system)で、型システムはそれら「型」とそれら相互の関係(relation)つまり型のなす順序構造(order structure)ないし束構造(lattice structrure)であるといえる。
プログラムを構成する値すべてに型が付くためには、曖昧でない(*2)こと、自己矛盾していないこと、悪循環を含まないこと、それぞれの値の内容をチェックするために無限の時間を要しない(*3)ことなどが必要で、これらを満たすなら、プログラムは有限時間で実行を終え、停止する。手続き型言語では無限ループ、型無しラムダ計算では無限再帰によって型付け不能なプログラムを書くことができるが、型理論はこれらのチューリング完全な計算機を意図しない停止しないプログラムから守る装甲でもあり、再帰やメモリ確保で好き勝手をさせないための拘束具でもある。型が付くプログラムには単に停止するというだけでなく、可能な実行経路（訂正：経路→方法）のすべてで同じ結果を出すなど種々の良い性質がある。
1)この定義は現実に使われているプログラミング言語の特徴を覆い切れていない、狭い不満足な定義だが本稿では都合上この定義に立脚して限定的に議論する。例えば変数(variable)というものを持つプログラミング言語もあり広く使われているが、これについてはレコードや関数と同じように性質の良いものとして扱うことが難しい。難しさの原因は次の注の内容と関連する。近年は変数を扱うかわりに値の不変のコピー(immutable copy)やその参照に名前を付ける機能を持つプログラミング言語が増えている。
2) 現実の情報システムでは、COBOL言語のレコード再定義やC言語の共用体、一般的な関数ポインタやVisual Basic言語のvariant型変数のように、同一領域に異なる型の値が共存する共用型(union type)の値がしばしば必要となる。共用型の値はgoto文を排除した構造化／オブジェクト指向プログラミングにおいて条件キャストやクラス分岐などによる実行経路の複雑さの主要な原因になるが、これは和型(sum type)すなわち相異なる型の非交和(disjoint sum)として定義することで曖昧さなく定義できる。
3) ゲームプログラムやネットワークサービスにおいてしばしばみられるように、入力として無限リストや任意に深い木のようなものを想定する場合には明らかに（条件を満たさない限り）停止しないことが正しい動作となり、この場合は最外周のループを（←どうする？）メモリリークを起こさないなど別の考慮が必要となる。
○ご飯
朝食：なし。昼食：チャルメラ。夕食：サイゼで豪遊（豪遊といっても2000円もいかないの、最of高。
○調子
むきゅーはややー。早起きして散歩するつもりが朝食食べてからの二度寝を決めてしまった。
てへりんちょですね。
なので今日はダラダラとYoutubeのよゐこチャンネルを見ながらスマホゲ。
……あ、あれ？ 俺、ループしてね？ 金曜日と全く同じことを書いてるような？
まあ、まあ、まあ、いいじゃないですか、こういう何もしない日こそが休みの日の本質で、僕はかなり人付き合いで疲弊するタイプなので、去年の教育係のお仕事でとても疲弊していたんだと思う。
ちゃんとこの休みはノベルゲーをプレイするって目標もこなしてるし、大丈夫大丈夫。
いい休みだよ、まだ一日あるし。
スマホRPGの方ばっかりしてたので、こっちを今日はガッツリプレイ。
とはいっても、ペコリーヌに天むすを上げるための編成を練ってた時間がほとんどで、進捗はそれだけ。
色々練ってたけど、結局、ムイミがてんろうはざんけんして、ネネカがミラーミラーするいつものやつ。フェス限ってまじで強いな。
割と苦労した甲斐があって、天むすペコリーヌは相当強くていい感じ。めちゃめちゃ硬い上に、攻撃力もそれなりに出るようになってますます頼れるタンク役だ。
星6でこれだけパワーアップするのはワクワクするね。来週にはコッコロも星6にできそうなので、コッコロも楽しみだ。
星6の進捗具合は、コッコロがあとピュアメモリピース4個、キャルがあとピュアメモリピース16個、リノがあとピュアメモリピース37個とプリンセスオーブ22個。
ユカリさんはまだ星4なので星上げ中。星4で止めてて、ダンジョンコインをクウカに使ってたら星6実装されたから、年明けぐらいから使い先をユカリさんに変えた。そのせいで、クウカが星4専用装備なしっていう中途半端な状況。
キャルと
結果は、キャラが水シルヴァ、水ユエル。石が魔鯛(二匹目)。ゴムーンが七個。あとSR加入でヴェリトール。
魔鯛は、四凸実装までは短期戦で並べて使う運用か、ルリア使うときにダブル真鯛とかしたら良いのかしら。ダブル真鯛強そうだな、あとで試してみよう。（まあ召喚って2ポチ分ぐらい時間かかるから、2召喚って実質4ポチだから微妙そう）
サプチケどうしようなあ、シトリ取る気満々だったんだけど出禁なの忘れてたせいで、誰にするか決めないとだ。
戦力的な意味では杖パを作り出してるので、水のリリィか、風のユリウス、光クラリスあたりが欲しいかも。特に風は杖得意がアンチラ、バイヴ、ペトラ、μ’s1年しかいないので欲しいな。水はフォリアとエウロペがいるからもう形にはなってる感じがしてる。（と思ったけど、リリジカタログスペック見るだけでも強さが伝わってくるな）光クラリスはさすがに型落ち感するかなあ。
あと、石か。無凸でも使えるのだと、アルバハHLにもっていくらしいトール、ゴブロ連戦が捗りそうなフレイあたりかしら。
凸るの前提だと、ゴリラ、サテュロス、アヌビス、プロメテウスがあと2枚で三凸できるんだよね。サテュロスはかなり良さそうなんだよなあ、火の石って強いの多くない？ サンはアーカルム石の中で飛び抜けてるし、サテュロスとデビルでデバフが石だけで終わるし、シヴァは言わずもがなだし。まあ、どれも持ってないし凸れてないから関係ないけど。
キャラなし武器だと、この年末年始でアグニスを引いたので火の神石用武器…… クリムゾンフィンガー？ ううむ、いや、たしかに火ユイシスいるから背水はいいかもだけど…… まあないでしょ、どんだけ並べるんだって話だし。
キャラ的な意味では、クリスマス限定を引けたナルメアさんが気になるな。超大作アニメRPGの方で（M・A・O）さんを重宝してるのもあるし。
あと、ユエルとソシエの二人を揃えるってのも面白そうかな。水ソシエ、火ソシエ、水ユエル、イベ SRユエルを持ってるから、火ユエルと風ソシエ、それと浴衣ユエルの三体。うーん、季節限定あると集めよう欲が阻害されるな。
増田にマジレスすんのもアレだけど、山口という人物がどういう影響を及ぼしていたのかは謎だし、観測された事実と自分の妄想をごっちゃにして語るのは迷惑だからやめろと本気で言いたい
https://twitter.com/telmin_orca/status/1212927225890144256
山口とかいうクソがなんのコントリビューションしたんだコラと憤慨したい気持ちはあるし、あいつのせいで俺らの仕事がどれだけ邪魔されたと思ってんだと真剣にキレてるからはやいところ消えてくれと願っている
https://twitter.com/telmin_orca/status/1207303862899527681
https://twitter.com/telmin_orca/status/1207303964732952576
俺らの成果だとか業績を疑い始めたら助走つけて殴るからな。伊藤某の判決で騒ぎたい連中はそこら辺考えて発言しろよ
https://twitter.com/telmin_orca/status/1207304400600887296
詐欺と脱税は齊藤元社長の犯行で裁判中。脱税は会社設立当初から毎年で確定。 山口敬之は詐欺にも脱税にも無関係。
山口敬之と政党や財団を立ち上げた齊藤元章元社長が悪い。山口敬之のコントリビューションがなければ元社長の見る目がなかった。山口敬之に損害賠償とか、事実と妄想を区別できない人間しか言わない。
MacBook Pro 13 inchを買った。Macデビューである。メモリをカスタマイズして16GB。ストレージは512GBだ。年末に買って浮き浮きしていたら正月の初売りでギフト券付き販売がされていた。くやしい。しかし初売りを待っていては年末年始にMacで遊ぶこと叶わなかったのだ。時間を買ったのだと自分を慰めている。
さて、iCloud同期を設定した。これまでに撮りためた写真がたいそうあったので、無料の５GBでは全然足りない。 50GBのiCloudストレージを月130円で買った。
ところで、使えば使うほど便利で驚異的なのが音声入力機能である。iPod/iPad（iPhoneは持っていない） がマイクとなって音声入力ができるのだ。音声入力された結果がリアルタイムでMacBook（のメモアプリ）に反映されて文字に起こされるのだからこれは凄まじいテクノロジー！
物書きにとってこんなにも便利なツールが他にあるだろうか。いやない。一昔前には到底想像つかなかったような技術の進歩である。この世界は凄い。Apple凄い。
