  |
はてなキーワード: 演算とは
でも、どうしても吐き出したくてもう一度載せる。何通か書いたものをまとめて載せる。追記の項に書いたけど、吐き出したいだけで、それ以上の意味はない。
思うままに書いたエントリを縦につなげただけなので、論理構成は無茶苦茶。
長男が発達障害だ。療育手帳は上から3番目の等級。これは、身体障害で言うと指の欠損とか嚥下障害とかと同じくらいの重さ。ただ、どこがどうと言うと、説明が難しい。
多動でもなければ注意欠陥でもない。ステレオタイプな目を合わせないような自閉症ではない。むしろかなり人懐こい。
知恵も遅れてなさそうだし、人と目を合わせられないとかでもない。
説明しやすい違いというと、喋らないことだけだ。5歳が近づいてなお、意味のある単語は喋らない。イーッ！アーッ！ばかりだ。手帳はほとんどそれで貰えたに近い。しかし、言葉を喋らないことは、育てにくさの一端でしかなく、本質じゃない。
彼の場合、ただただ、コミュニケーションに対する考え方が、行動が定型児とは違うのだ。無敵の人なのだ。
みな「うちの子もそうよ」みたいな話をする。そりゃ、どの子だって、自分の世界に入って周りの音が聞こえないことってあるだろうさ。我を通したいがためにスーパーで寝転がって駄々をこねるということもあるだろうさ。でも、頻度と質が違うんだ。
彼は楽しさを共有しようとする意思がある。テレビをみて、今のみたか？というふうに視線を送ってくる。無視していると、髪を掴んで強制的に鑑賞させられる。
その一方で、他者からの働きかけには興味がない。まず名前を読んでも反応がない。問いかけに対する反応もない。聞こえてないわけでも理解してないわけでもない。なぜなら、自分の利害と一致するような言葉はちゃんと拾うのだ。「買ってあげるから(スーパーの)カゴに入れて」とか、「児童館行くからおいで」という言葉にはちゃんと反応する。
そんななので、口頭試問という手段が使えないので、知能を測ることは難しいんだけど、親バカだがむしろ賢い。ひらがな、カタカナ、アルファベットは2歳くらいから読めてる様子。3歳になるとPCのキーボードでタイピングするようになった。数字は100くらいまで理解し、足し算のような演算記号も理解してる様子。機械の仕組み、道順、人の顔もすぐ覚える。
知能が測れないというのは地味に厄介だ。
何ができて、何ができない、何を知ってて、何を知らないのかが親にわからない。
ある日突然できている。いきなり意味のある文章をタイピングしたり、いきなりそれとわかる絵を描いたり、いきなり1人で着替えてる(もう一度してと言ってもしてくれないし、再現されることはまずない。いまだに手で食べ、オムツで、着替えは人任せだ)。
しかし、嬉しい驚きばかりじゃない。むしろ、それが一番困るところだ。
1歳で1人で外に出た。3歳くらいのとき1人でスーパーから消え近くの踏切にでた。やはり3歳で包丁で野菜を切ってたこともある。
目を離した親が悪いというけれど、本当に、「ある日突然なにかができてる」なのだ。
そして、これが特徴だけど、どんなに怒鳴っても、ほとんど響かない。嫌われることへの恐怖心というものが皆無だ。すごい剣幕に、近くにいた次男はギャン泣きなのだが、当の長男はというと、なんか耳元でうるさいなくらいの顔しかしない。
拳や足による制裁が加わっても、なにか面白いものを見つけると、次の瞬間に天使の笑顔である。憎しみや怒りに対して笑顔をぶつけられるチートスキル。明らかに不機嫌がおさまらず噴火寸前触るな危険な妻にも、キャッキャ寄っていく。価値判断が自分が楽しいかどうか、自分がしたいかどうかだけで、他者評価を一切気にしない。つまり、無敵の人なのだ。
袋詰めの一瞬の隙をついて、消えた。まさかの店外に出ていて、近所の踏切で確保された。何人かの大人に囲まれ詰問されていたが、喋れない。警官が駆けつけたところで、パニックになった妻が到着。地獄絵図だったそうな。
本人的には「俺は一回くれば道くらい覚えてるからさ、1人で踏切にくらい行けるし、車道や踏切の中で止まるほどバカじゃないよ」
って喋れたらそう言ってるだろう。
自分は、彼のことを95%くらい信じてる。口頭試問できないが、かなり賢い。たぶん信号を理解してるし、車道や踏切というものをたぶん理解してる。でも5%くらいは信頼できない。5%、つまり20回に1回はなにかある、そのくらいの信頼度だ。そういう意味でも、親は子供の「はじめて」の側にいたい。何度かの練習で失敗を繰り返し、99.99%成功、万が一くらいの危険度になってようやく1人でやらせたい。だが、彼の初めては、常に突然だ。気がついたらなにかしてる。無敵の人だからだ。幸いに事故はないのだけど、大人がすり減る。
こだわりの強さの話をしよう。
こだわりとわがままは違う。
我が家の場合、定型っぽい次男のイヤイヤ期のほうがよっぽど理不尽だった。
例えば、次男が牛乳のお代わりを要求するのに対し断ったとする。イヤイヤ泣く。渋々お代わりを与えても、「欲しかったのはさっきの瞬間で、今じゃない！あの時の俺の気持ちをどうしてくれる！」みたいな泣きがはじまる。
発達っ子の長男は、こだわりは絶対に譲らない。どんなに拒否されても、コンコンと要求を取り下げない。激しく叫んだり暴れたりしても、パニックではなく、伝えるためにそうしてるだけだ。30分でも1時間でもやめない。ちゃんと要求さえ通れば、それきりだ。要求を飲んでくれたことへの感謝もなければ、要求をしぶられたことへの恨みもない。
他のことに気を逸らすことが非常に困難で、まず無理だ。いわゆる子供騙しが通用しない。
本当に、無敵なのだ。
この子の母、自分の妻は、長男と180度違う。妻の性格はちびまる子ちゃんみたいと言えばいいだろうか。おだてられたら調子に乗り、怒られたら凹む。他人の成功を妬んだり、目の前の餌に釣られたり、ふと冷静になって後悔したり、劣等感にさいなまれたり、仏様に憐れまれそうな典型である。
妻は憐れな衆生の1人、お気持ちファーストなので、妻が長男を叱る時、響かないのはストレスらしい。凹ませるのが目的じゃないって正論を言っても、理性ではわかっても行動をアップデートできない。反省の色が云々は裁判官でも言っちゃうので、怒られてすぐヘラヘラされて正気でいるのは、解脱が遠そうな性格の妻には無理のようだ。
妻と衝突した時、次男は判断が気持ちできまる。こんな気持ちにさせられたという自分の気持ちがファースト、相手が怒ってるどうしようという相手の気持ちがセカンド、それを天秤にかける感じ。多くの場合、なぜ怒られたかすら理解してない。
対して、長男は、「かくあるべし！」っという戒律じみた強い信念と、好奇心が行動規範。話が聞こえてないわけではない。そもそも悪いと思ってないとこはなにを言われても取り合わないが、失敗(はしゃいで走って牛乳をこぼしたとか)を咎められると、バツが悪そうな顔をする。言葉は通じてるのだ(自分でタオルを持ってきて拭きはじめるが、拭き終える前に別のことを始めるのだが)。
どっちかっていえば、長男が人類のあるべき姿で、定型の定型たらしめる妻と次男の人間臭さこそ、現世の生きづらさな気がするのだ。長男はこだわりや好奇心の邪魔をされなければ、妻や次男に八つ当たりや理不尽な攻撃をされてさえ、「やれやれだぜ」くらいの顔しかしない。
でも、悟るのは成人してからにしてもらわないと困る。お釈迦さまだって結婚や育児が一段落してから出家したように、まずは社会通念に従ってくれないと、この世で生きられない。
社会のルールとか、貨幣制度というのは、幻想を共有することだ。長男はその能力が著しく低い。「僕が鬼で君が隠れる。見つかったら負け」こういうのはたぶん長男は理解しない。というか理解する必要性を感じない。鬼とか負けというのは、幻想だから。
理解するとしても、アルゴリズム体操のように、そういうアルゴリズムとして理解して、前後の文脈や場の空気からの理解じゃない。
長男はよく星のカービィ(WiiUのバーチャルコンソール)をしてるのだけど、ライフがゼロになるとか穴に落ちたら残機が減るというのは理解する。なぜなら、幻想じゃなく仕様だから。ゲーム機の充電、ゲームを起動、多彩なアクション、テレビゲームのルールこういうのは得意。
社会のルールは理解しないくせに、長男独自の数多のマイルールに縛られてる。多くの人がキッチンスポンジのほうが便器より汚いといわれても便器を舐められないように、長男としては譲れないポイントがそこらじゅうにある。親は全てに付き合わされる。例えば、妻がどんなに怒り心頭してても、次男が頭から流血してても、散歩のルーチンは譲らない。
それに加えて、子供の好奇心と目覚めた知能をフル活用した想定外の行動を起こす。無敵の人だから叱ることが抑止力にならない。
よく発達障害について、こだわりが強いとか、注意散漫とか、他人の気持ちを理解するのが下手とか、そういう説明がある。
言葉としてはあってるけど、ちょっとズレてる。そんなもんじゃなくて、生物として、もっと基本的なところでなにか違う。
天才も多いと言われるけど、たぶんそれも違う。認知や学習の方法が全く違うから、定型の知能と長男の知能の優劣はつけられない。
たぶん、長男は学業優秀に育てば、国語のテストで満点を取れるようになったりはするだろう。でもそれは文章は理解できるというだけだ。心がわからないというのではない。小説や映画に感動できるようになっても、この子が物語から感じる感動の質は、定型の人のそれとはおそらく違うと思う。寄生獣という漫画で、犬を看取った直後に、その犬をゴミ箱に捨てるシーンがある。ヒロインが「あなた普通じゃないわ」と言うが、主人公は「死んだら肉だ」と噛み合わない。この子は将来、そういう違和感を周囲に与え続ける。
どこまでいっても彼は異星人だが、寄生獣のミギーのように愛される存在になってもらいたいと親としては思ってる。
定型児は、音声の模倣から入る。最初は原始的なオウム返しだけ。そこから、過去の経験、前後の文脈から、それらしい語をつないで出力するようになる。
GPTのモデルと同じ。次にくる語を確率的に予測してつなぐだけ。「吾輩は」の後には「猫である」がくる。そこに理由などなく、確率論、経験則で。でも、それを高度に行えるようになると、知能と呼べるような振る舞いになる。
定型児の知能の獲得はコレに似てると思う。
ヒトは噂話をするために言語をさせたという説がバカバカしいが一番有力らしい。
サルの毛繕いのような、コミュニケーションをとりたがる本能があって、その延長に噂話、言葉と言葉をつなぐことによって、知能と呼べるようなものが生まれたと考えると、なるほどと思う。
定型児は、自分の言葉や行動が、前後の文脈や周囲の空気の中にから紡がれ、その言葉や行動が他人にも自分自身にも影響することを意識する。
知恵がつくから意識するのかと思ったが、GPTの仕組みを聞くと、意識することそのものが知恵の本質のように思う。
少し別の話。
長男の前で、ぬいぐるみを手に持ってぬいぐるみが喋ってるふうにして喋ると、怒る。
定型児にはごっこ遊びでも、彼にとっては「嘘」なのだ。やめろ気持ち悪いと感じてる様子。
ホモサピエンス全史がいうところの、「妄想を信じる力」が抽象的な概念の獲得なら、長男の知能は頭打ちしそうなんだけど、むしろ数字や文字は幼い時から好きだった。
どういうふうに育つのか、親としても興味はある。
ここ2週間くらいで、ようやく強く呼べば名前に振り向くようになった。
今までは、用があるときは長男から働きかけてくるが、こちらが何を言っても無視だったものが、進歩だ。
遊びに行った先でもう帰るよって言っても、抑えつけて車に放り込んで車が動き出すまで聞かなかったものが、すんなり諦めるようになった。
彼なりに、成長してる。
この駄文は、発達障害育児エントリに触発され沸き上がった心の叫びでしかないので、何が言いたいかわからんという感想はごもっとも。
目を離さない以外できることがない。
あと、言わせて欲しい。
座って待ってられるようになって食べられる食材が増えたら子連れで外食に行けるようになりたい。
列に並んで待てるようになったらテーマパークに行きたい。
ビット演算子とシフト演算子は、プログラミング言語で提供される演算子で、ビットレベルでの操作を行うことができます。これらの演算子は、コンピュータがデータを2進数（ビット）で表現する性質を利用して、効率的な操作や計算を可能にします。ビット演算子とシフト演算子の主な用途は以下の通りです。
ビット演算子を使用して、特定のビットを操作、取得、または設定することができます。これは、フラグや設定値をコンパクトに表現する際に役立ちます。
ビット演算子を使って、複数のフィールドを1つの整数に格納できます。これは、メモリの節約に役立ちます。
ビット演算子とシフト演算子は、算術演算よりも高速に実行されることがよくあります。そのため、パフォーマンスが重要な処理に使用されます。
Haskellにおける圏論の概念に対応する要素は、以下の通りです。
圏論における対象は、ある種の数学的構造を持った集合や空間などを表します。
Haskellにおける対象に相当するのは、型（type）です。
例えば、Int型やBool型は、Haskellの対象になります。
Haskellにおける射に相当するのは、関数（function）です。
例えば、(+)関数や(not)関数は、Haskellの射になります。
Haskellにおけるファンクターに相当するのは、関数子（functor）です。
関数子は、ある種のデータ構造に対して、別のデータ構造を関連付ける操作を表すものであり、map関数が代表的な関数子の例です。
圏論におけるモナドは、複雑な演算を簡単な手順で実現するための数学的構造を表します。
Haskellにおけるモナドに相当するのは、モナド（monad）です。
モナドは、副作用を扱うための抽象化された概念であり、特定の型の値をラップし、その値を操作するためのインターフェースを提供します。
例えば、IOモナドやMaybeモナドは、Haskellのモナドの例です。
AI絵生成で遊ぼうと思ったらいくらぐらいの予算のパソコンが必要なの？
AI絵生成には、大量の計算資源が必要です。一般的に、高性能のグラフィックスカード（GPU）が必要になります。また、大量のRAMと高速なストレージも必要です。
必要な予算は、使用するAIモデルや絵の生成に必要な解像度や複雑度によって異なりますが、一般的には、数千ドルから数万ドルまでの予算が必要になる場合があります。
AI絵生成に特化したPCを作る場合は、GPUとCPUをバランス良く選び、RAMとストレージも十分な容量を確保する必要があります。また、オペレーティングシステムやソフトウェアの設定も最適化することが重要です。
ただし、クラウドベースのサービスやプラットフォームを利用することもできます。これらのサービスには、類似の機能を提供するツールやアルゴリズムが組み込まれており、必要な計算資源を提供してくれます。この場合、使用料金は生成する画像の解像度や量によって異なる場合があります。
具体的にいくら掛かるの
AI絵生成に必要なコンピュータの具体的な予算は、多様な要因によって大きく異なります。以下にいくつかの例を挙げます。
- 中級ユーザー向け: NVIDIA GeForce RTX 3070 GPU、AMD Ryzen 7 5800X CPU、32GB RAM、1TB SSDを搭載した自作PC。予算は約2,000〜2,500ドル程度。
- 上級ユーザー向け: NVIDIA GeForce RTX 3090 GPU、AMD Ryzen 9 5950X CPU、64GB RAM、2TB SSDを搭載した自作PC。予算は約4,000〜5,000ドル程度。
クラウドベースのサービス: OpenAIのDALL-E 3DやDeepDreamGeneratorなど、AI絵生成のクラウドベースのサービスを利用する場合は、生成する画像のサイズや品質に応じて使用料金が変動します。多くの場合、無料プランや月額数十ドルからの有料プランが用意されています。
これらの予算は、あくまで一例であり、為替レートや地域によっても異なるため、ご参考にしていただくことをお勧めします。また、AI絵生成には様々なアプローチがあり、各アプローチに応じて必要な予算も異なるため、具体的な予算については専門家に相談することをお勧めします。
日本在住の場合、AI絵生成に必要なコンピュータを購入する場合には、以下のような方法があります。
- オンラインショッピングサイトを利用する：Amazonや楽天市場などの大手オンラインショッピングサイトで、必要なパーツやPCを購入することができます。
- パソコンショップで購入する：PCパーツや完成品のPCを扱っている専門店で、購入することができます。日本には、ドスパラやツクモなど、多数のパソコンショップがあります。
- 自作パソコンの専門店で購入する：自作PCに特化したショップで、必要なパーツを購入して自分で組み立てることができます。代表的な店舗には、TSUKUMOやパソコン工房があります。
これらの方法を比較し、価格やサポートなどの観点から最適な方法を選択することをお勧めします。また、インターネット上には、自作PCの組み立て方法を紹介した情報も多数ありますので、事前にリサーチしてから購入することをお勧めします。
上級ユーザー向け: NVIDIA GeForce RTX 3090 GPU、AMD Ryzen 9 5950X CPU、64GB RAM、2TB SSDを搭載した自作PC。予算は約4,000〜5,000ドル程度。の発注書を作成してください。
はい、了解しました。以下が、NVIDIA GeForce RTX 3090 GPU、AMD Ryzen 9 5950X CPU、64GB RAM、2TB SSDを搭載した自作PCの発注書になります。予算は4,000〜5,000ドル程度とのことでしたので、最大限予算内に収めるように構成しました。ご確認ください。
【1. マザーボード】
ASUS ROG Crosshair VIII Dark Hero
【2. CPU】
【3. GPU】
NVIDIA GeForce RTX 3090
【4. メモリ】
G.SKILL Trident Z Royal 64GB (4 x 16GB) DDR4 3600
【5. ストレージ】
【6. 電源ユニット】
【7. ケース】
Lian Li PC-O11 Dynamic XL ROG Certified
【合計価格】
【備考】
以上が、NVIDIA GeForce RTX 3090 GPU、AMD Ryzen 9 5950X CPU、64GB RAM、2TB SSDを搭載した自作PCの発注書になります。ご確認いただければ幸いです。
マザーボードは、コンピュータの各パーツを接続し、制御するための基盤です。ASUS ROG Crosshair VIII Dark Heroは、AMD Ryzenプロセッサーに対応し、高速なデータ伝送を実現するPCI Express 4.0をサポートしています。また、USB 3.2 Gen 2x2、Thunderbolt 3、WiFi 6、10G LANなどの最新の接続規格にも対応しています。
CPUは、コンピュータの中枢部分であり、プログラムの実行や演算処理を行います。AMD Ryzen 9 5950Xは、16コア32スレッドで動作し、最大ベースクロック3.4GHz、最大ブーストクロック4.9GHzを誇る高性能なCPUです。
- GPU: NVIDIA GeForce RTX 3090
GPUは、グラフィック処理を担当するパーツであり、ゲームや動画の再生などに必要です。NVIDIA GeForce RTX 3090は、最新のAmpereアーキテクチャを採用し、リアルタイムレイトレーシングやAI機能を実現します。また、24GBのGDDR6Xメモリを搭載し、高解像度や高フレームレートのゲームにも対応しています。
メモリは、コンピュータが処理するデータを一時的に格納するパーツであり、多くの場合、大量のメモリを搭載することで高速な処理が可能となります。G.SKILL Trident Z Royal 64GBは、高速なDDR4メモリであり、容量も64GBと多くのメモリを必要とするアプリケーションやタスクにも対応します。
ストレージは、データを保存するためのパーツであり、高速なストレージを使用することで、起動時間やアプリケーションの読み込み速度を向上させることができます。Samsung 970 EVO Plusは、高速なNVMeインターフェイスを採用し、最大読み込み速度が3,500MB/s、書き込み速度が3,300MB/sを誇る高性能SSDです。
電源ユニットは、コンピュータに電力を供給するためのパーツであり、高性能なパーツを使用する場合は、電力消費量が増加するため、高出力の電源ユニットが必要になります。CORSAIR RM1000xは、高効率で安定した電力供給が可能な1000Wの電源ユニットであり、高性能なパーツを安定して動作させることができます。
- ケース: Lian Li PC-O11 Dynamic
ケースは、コンピュータのパーツを収納するためのパーツであり、デザインや冷却性能などが重要なポイントとなります。Lian Li PC-O11 Dynamicは、高品質なアルミニウム素材を使用し、美しいデザインと高い冷却性能を両立させた人気のケースです。
CPUクーラーは、CPUを冷却するためのパーツであり、高性能なCPUを使用する場合は、十分な冷却が必要になります。Noctua NH-D15Sは、高い冷却性能を発揮する人気のCPUクーラーであり、静音性も高いため、長時間の使用にも適しています。
追加ファンは、ケース内の空気の循環を改善し、冷却性能を向上させるためのパーツです。Noctua NF-F12 PWMは、高い静音性と高い風量を実現する人気のファンであり、冷却性能を向上させるのに役立ちます。
1+1=2なのはなぜかという問いと、一個のあるものにもう一個あるものが手に入ってそれを合わせたら2個になるのはなぜかという問いは似て非なるだと思う。
前者はペアノの公理なり群論なりからなかば定義にみたいにそうだからそうなんだと説明できる。
だが後者はそういう目で見たり手に取ってみれる直観的現象としてなぜそうなるのかという話だ。しかもどんなに巨大な個数あっても同様なことが成り立つわけだ。
しかもこれ、微積分とかの何らかの計算がなぜ成り立つのかというのと問うのはまだ掘り下げてその仕組みを理解することが意義深いものでありうる感じるの違って、やはり問うまでもでもなく当たり前のことでしかないのではないかとも感じてしまう。
しかしそうやって連立方程式がなぜ代入法で解けるのかについて理解することについては素通りして当たり前に成り立つに決まってるとして活用してたのが、実は自明でもなんでもなく理解すべきロジックがきちんとあってそれに対して当たり前と言う言葉に目を曇らせていた事実もあったから、今回その可能性があるのではないかといわゆるジレンマに陥っている。
1+1=2のような足し算しょせんそういう直観的現象に対して辻褄があるように取り決められた演算にすぎない。あくまで直観的現象が先にあってその現象が予想できるように自然数の公理なりが定義されているわけだ。
あるいは5個あったところに1個追加された全体は3人で余りなく分けられるのはなぜかというのも似たような問いだ。6÷2=3だからだというのはその説明になっていない。
実際にそうなることの計算による推論の仕方を言ってるのではなく、なぜそうなるかと聞いてるわけだ。
人間の個数に関する認識が数学の構造にうまい具合に従っているから、認識と数学の集合が同型（雰囲気で言ってる）だから、みたいなことだろうか？数学基礎論を齧ってみたがいまいちこの問いと結びついているようであまり有用な感じもしない。なんかスマートな説明ないか。
愛する人が魂と肉体の二つに分かれたら、あなたはどちらを愛しますか？
そもそも、エリクト≠スレッタとか、エリクト＝スレッタのどちらかしか存在しないのかが、引っかけなんじゃないかと。
・スレッタ・マーキュリーはエリクトの肉体に発生した別の人格である。
→スレッタの人格はどこから？：エアリアルAI（＝ルブリスAI）の影響を受けてエリクトの肉体に出現した新たな人格である。
→エリクトの人格はどこに？：ルブリスAI（というか、ルブリスAIからコピーされたエアリアルAI）の中にいる
→どうしてそうなった？：ルブリスがフォールクヴァングから水星に移動する際、パラダイムシフトを起こし、結果ルブリスAIの中に吸い込まれた
→パラダイムシフト？：ルブリスと繋がったエリクトがパーメットスコア10（？）を発生させたことにより、アルクビエレ・ドライブを発生させた/光速で水星まで移動した。
※フォールクヴァングの位置が本編中で明かされていないため、現実の小惑星帯にある小惑星ヴァナディースの位置を参考にしています。ルブリスのエネルギー残量では、水星まで移動するのが難しいと思われるため、ルブリスを使った別の移動手段がなければサマヤ親子は宇宙で野垂れ死にます。
※パーメットスコア3で機体＆ガンビットの移動速度が、パーメットスコア6で情報処理速度が上がっているので、10辺りまで行ったら両方の速度が格段に向上するのではないかと推察しています。光を超えるのは難しいかもしれませんが、光を超えてもらうか、それに近い状態を発生させないと次の考察がこけるので。
※アルクビエレ・ドライブの元となっている量子テレポートは、ガンダム00劇場版で使われています。これなら視聴者にも説明しやすいかと。
※ルブリスで移動できるほど水星が近い場所なら、サマヤ親子は捕まってるでしょう。水星はデリングの膝元ですから。二人が捕まらなかった＆しぶしぶながら水星が二人を受け入れた理由は後述。
○エルノラ・サマヤは何故デリング・レンブランと手を組むことが出来たのか
・パーメットスコア向上による光速、ないしアルクビエレ・ドライブによる移動で13年後の水星に「13年前当時の」サマヤ親子が出現したため、デリングが受け入れざるを得なかった
→受け入れざるを得ない？：偶然とはいえ実現可能な新技術を目の当たりにしたため、デリングがベネリットグループで再現＆基幹技術として利用できるよう、エルノラを受け入れた
※エルノラ（プロスペラ）が妙に若い理由の一つが、娘エリクトとともに時間を飛び越えてしまったからではないかと。ただし、エルノラは水星に着いて後、本当に事故に遭ったものと思われます。整形して髪と眉が黒い＆謎のヘルメットをかぶっているのは事故に遭った事実を自分の顔を晒さない理由として利用しているのではないでしょうか。
※つまり、本編開始の13年前からデリングとプロスペラは繋がりがあると思われます。クワイエット・ゼロ計画のために手を結んだのでしょう。
・ルブリスとエリクトが偶然起こしたパラダイムシフト、つまりパーメットを介した光速移動ないしアルクビエレ・ドライブを再現し、利用するための計画。
→プロスペラにとっては、ルブリスAI（の中に吸い込まれたエリクトの意識）を取り戻すための計画。一人では実現できないため、デリングを協力者として引き込んだが、最終的にプロスペラはデリングを殺して計画を横取りするつもりである。
※クワイエット・ゼロ計画のためにフロント・クエタに作った装置を使って、スレッタの肉体にエリクトの意識をダウンロードするつもりなんだと思います。11話で「エアリアルはここに"いる"もの」。「"ある"もの」ではなく「いるもの」と言ったことに意味があるんだと思います。エアリアルとスレッタは二つで一つ。プロスペラはそう考えているのではないでしょうか。
・地球のオックス・アース社の生き残りが、試作型ルブリスを元にすでに開発中。そこにコピーしたルブリスAIを搭載し、水星に送り込んだ。ルブリス・ウル＆ソーンもここで製作したが、エアリアルAIのコピーを断念したため、ウル＆ソーンにはガンビットが搭載されていない。
※ニカが「関節の～こんなやり方があるなんて」と驚いていたのは、エアリアルが御三家＆ブリオン社、および同業他社のモビルスーツとは全く異なる仕様を使っていた（つまり、学校では教わらない）からではないかと。
○ルブリスは今どこにあるんよ
・フロント・クエタの縦穴？の底にいて、クワイエット・ゼロ計画の演算装置として使用中。ルブリスAIとエアリアルAIはネットワークで繋がっているため、演算速度が向上している
・エアリアルを稼動させているので、プロスペラにとって大切なのはエアリアルに乗っかっている方の（スレッタを通していろいろな情報を得ている）エリクト。
・ウル＆ソーンにAIを載せられなかった理由。マジで地球の戦災孤児を使ってエリクトのようにAIに吸い込ませている。エリクト＝スレッタが成立しているため、12人の兄弟はエアリアルAI＆ガンビット11機のAI。
※ソフィがスレッタを「お姉ちゃん」と呼んだ理由は、血が繋がっているとかではなく、境遇が同じ、と思っているからではないだろうか。ヤクザが自分の上位の存在を血縁でもないのに「叔父貴」と呼ぶのと同じかと。
○ゆりかごの星の「扉が開いた」
デリングがミオリネの夫選びのために始めたホルダー制度を、逆手にとって利用すること。ミオリネの側にスレッタを置くことで「いつでもお前の娘を殺せるぞ」とプレッシャーをかける、あるいは本当にミオリネを殺すために。
※危険な環境でパイロットとして育ったスレッタは、アスティカシアという箱庭の中で育ったパイロット達などものともしないと踏んでいたので、スレッタを「学校に行っておいで」という名目で送り出した。
○査問会は茶番じゃないの？
デリングはマジでプロスペラから一旦エアリアルを取り上げるつもりだった。クワイエット・ゼロ計画を進めるにあたって、プロスペラが余計な横槍を入れて来ないよう＆ミオリネを守る（スレッタがミオリネの隣にいると、いつかプロスペラの命令でスレッタがミオリネを殺しかねないから）ために。ところが、ミオリネがスレッタを思いのほか気に入ってしまったため、断念せざるを得なくなる。あとはプロスペラの言うエアリアルの実証実験（パーメットスコアの向上）は、アスティカシア学園でなくてもできるので、その辺の牽制を兼ねている。デリングは、ミオリネの希望を容れる形で牽制の仕方を切り替えただけ。
つまり。
★やりたいこと
①クリスタで5000ピクセルくらいの大きさの100枚以上レイヤー使ったファイルを2つ開きつつ、live2dを作りたい
②VtubestudioとOBSとゲーム（アクションゲームは苦手なので多分やらない）を同時起動したい。Vtubestudioの物理演算をカクつかせたくない。せっかく頑張って髪揺れと胸揺れ作ったんだ。
③光学ドライブがほしい（昔買ったアドビソフトを使い倒すため）
・メモリは32GB以上
世代は新しい方がいいみたいだけどインテルなら8以降、ライゼンなら3以降なら何とかなるかな？
★調べること
https://www.mouse-jp.co.jp/store/g/gg-tune-hm-a-3060ti/
これなら184800くらいだ
https://www.frontier-direct.jp/direct/g/g114046-jan2/
これなら32GBにして光学ドライブつけても190400
・モニタも新調したいがsRGBが100%がいいらしい？絵描くし。ノングレアは絶対。アクションゲームはしないからリフレッシュレート？は気にしなくて良さそう。27インチがいい。今使ってるのがその大きさだから。もっと大きくてもいいけど多分高くなる？
・ハードディスクは1tbあったほうがいいのか？外付けHDD500GB持ってて、完成した作品はそっちに移すようにしてるからいいか？でも完成までにバックアップが5個位出来るからなあ。ファイルの大きさを調べる
→500で余裕だった
・
20万に収めたいけど無理かなー
今のパソコンも動くっちゃ動くし全然絵描けるしそんなに急いでない
スプラトゥーン3のフェスのヨビ祭が朝からと思って張り切って挑んだら
仕方が無いので、
それまでおでんを仕込むことにします例の1か月育てて鍋のルーシーがかなり強くなってるおでんの。
そんでせっかくだからって
お出掛けしてお買い物
これでお正月年末年始のハイボールとかが捗るってもんじゃない。
もう朝遅い時間だし、
ラッキー！
また一つ年末までに有終の美を重ね飾ることが出来たわ。
にしても、
違うフロアは本当によその知らない会社だし下の通用口の守衛さんはいつものようにいるものの挨拶して入ってってはいつもの感じ。
さすがにこの時期の年末年始だと人の気配は少ないわね。
誰もいない事務所のこのフロアは寒すぎて私は早く事務所の仕事と言っても今日はほぼないので、
この電子端末の前に来ただけとは言わないけれど、
そうそうに温かく温まって
銭湯情報も年末年始インターネッツで発表しているところはいいけど、
もう1つのところは実際に現地に行かないと営業してるか年末年始の営業状況分からないのよね。
以前それで行ったにもかかわらず営業してなかった！ってこと2回も喰らったのよ。
おでんの具材のスターティングメンバーをそろえて夕方に挑むわ。
よくさ、
都市伝説で
ってあるじゃない。
私がもしその権利があるとしたなら
さすがにおでんはゲーム中に手掴みで手を汚さずに食べられるというわけではない、
私が言う街を闊歩しながら片手で持ち歩いて食べられるニューヨークスタイルとは完全に様子は違うけれど、
超簡単じゃない？
完成まで何も手を加えることがなく、
もう仕上がったここ1か月で鍛え上げたおでんのベーナーのルーシーはかなり強まっているところよ。
だからこれはもうスプラトゥーン3のお共にピッタリなわけなのよ。
ここまで今シーズンおでん引っ張るだなんて私も思いも寄らなかった誤算で
晩ご飯とか面倒くさいから準備する時間もと思っていた矢先だったので、
これはもう本当に自動的に鍋に入れたらなんでもおでんになってしまう
ペキカンなこのおでんのルーシーは育てた甲斐があったってもんよね。
あとはもう！、
どんどん好きな具材を鍋の積載容量いっぱいまでどんどん入れていけば、
ファクトリーオートメーションの極みよ。
仕組み化か肝心要よね！
あれをもっと巨大化して
もちろんあの早さでは具に美味しいのが染み込まないので、
牛の歩み寄りももっと遅い感じの水流で
そう言ったおでんプール長ーいのを始点から終点まで到達したら自動的におでんが仕上がっちゃう感じの量産体制のベルトコンベア的な
まあそれは冗談として、
その規模のおでんもありえるわけなのよ。
サンドイッチ作りたいだけでポケモン買うのはさすがにしないけれども、
おでんにはそれが足りないというか、
逆に言えばおでんのルーシーの熱の具の染み具合の流体力学的なやつ？
積む要素が無いから煮る要素だけでは
ちびっ子にグッとこないのかも知れないポイントだわ。
あと私には
今年本当の最後の最後まで有終の美をあと幾つ飾ることができるかの
有終の美チャレンジがあるので、
うふふ。
また朝ご飯も昼ご飯も食べていない感じのこんな休日モードでどーも！って感じね。
何事にも！
それよか
あまりにも寒すぎるわ。
みんなも寒いの気を付けて。
今年も1年またありがとうございます！
どうぞよろしく！
よい年末年始を！
すいすいすいようび～
今日も頑張りましょう！
論理パズルゲーの大家Zachtronicsが送るガチプログラミングゲー
PDFでリファレンスマニュアルを読みながら架空の（貧弱な）マシンを動かし問題を解いていく
問題の難易度勾配もほどよくなかなかのやりがいがあってオススメ
限られた予算の中でトライ&エラーをし車両を対岸まで送るゲーム…なんだけど予算は無視していいし車両を対岸まで送れれば橋はどうなってしまってもいい！
つまりは任天堂のメトロイドをリスペクトしたゲームだけど小粒ながらしっかり面白い
スーツを脱いで狭い場所に入ったりと猫ならではのアクションもあってよく調整されたゲームだ
難易度は高いが毎回違った構造でどれだけスコアを稼げたか、どれだけ深く潜れたかのスコアアタックが熱い
一回のプレイはサクッと遊べるので手軽にできるのも嬉しい
あの頃のゲームへの愛を感じる音楽やグラフィック、ゲーム性はどの世代にも通じる魅力があると思う
難易度は少し高めなのもあの頃と同じということで是非…
格ゲーを買ったけど動かし方がわからない、格ゲーがうまい人って何が見えているんだろう…
みたいな人はこのゲームを遊んでほしい
同キャラだしジャンプもない、3ボタン(前後+攻撃ボタン)だけしか使わないけど格闘ゲームの基礎が詰まってるゲームだよ
p進ホッジ理論とか、俺は数学専門じゃないので全然わからないけど、解説を見るともし頑張って勉強すればある程度は理解できそうとは感じる。
https://ja.wikipedia.org/wiki/P%E9%80%B2%E3%83%9B%E3%83%83%E3%82%B8%E7%90%86%E8%AB%96
なんとなくこういうことかなと想像すると、p進ホッジ理論は、p進数という実数でない数構造がたくさんあってそいつらを何らかの基準の下に分類する手段を与えるもので、それがホッジ理論つまりその数構造の上で定義される幾何的なオブジェクトの性質によって作れるよと言ってる気がする。
一方で、p進数はそれを定義した時点で自然な足し算や掛け算の演算が定まってるっぽいんだけど（有理数を完備化するときにp進距離というもので完備化するものなので、有理数上で定義されている足し算や掛け算をp進距離完備化と矛盾しないように拡張する方法が一意かわからんけど何か定まるんだろう）、
この辺の解説を読む限り、IUT論文に出てくるHodge theatreという概念はその演算自体を変形することを考えてるっぽいな。そうするとそうやって演算を変形した数構造はたぶんもはやp進数ではないと思うんだけど、それでもホッジ理論に基づくある種の分類基準は定義可能ということなんじゃないか。そうするとホッジ理論ひとつに対して数構造が1個付随してるんじゃなくて可能な変形の全体が付随してる感じになるということなのかなと想像する。それがtheatreということなんじゃないか。
しらんけど。
そう考えると
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf
のFig. I1.4とか、あーなんかそういう感じの話か〜みたいな雰囲気はしてくるな。なんかこうある種の対称性を備えていることを「演算」の定義として、その対称性を通常のものから拡張していってる感じがする。Fうんたらという記号の意味は1ミリもわからんけど。
絵を描いたり動画作ったりはぼちぼち出来てたけど
vtubestudioとOBS使うとだめ！！！カクカク！！！
Live2dモデル作ったからサンプル動画作りたいんだけど物理演算ちゃんと動いてない！！！
配信なんて夢のまた夢！！
新しいパソコンが欲しいぞ！！
お金かけたくない！！
…でも今使ってるパソコン（クリスタとLive2d同時起動をためらうレベル）も買ったときは12か13万くらいしたしな…
物価も上がってるし、今よりハイスペックなものを買おうとすると15〜20万くらいはかかるのだろうな…
リギングが間違ってるのでは
デフォーマのはみ出しは正直ある
なるべくはみ出さないように気をつけたけど目に数か所残ってる
けどそんな重くなるほどではないはず…
別に急がない！！
