はてなキーワード: x1とは
= (散布図を見ながら人力で推定する)
「人力で推定する」際の脳内の処理を何とか形式化すれば、まあ何とか許容できるものになるのでは。
せめて、神託としてある程度でも当たっていれば面白いが、たった一週間後なのに4割以上外れたり、精度悪すぎ。
= (散布図を見ながら人力で推定する)
「人力で推定する」際の脳内の処理を何とか形式化すれば、まあ何とか許容できるものになるのでは。
この度「有機ELモデル」という新型が発表されたニンテンドースイッチ。
だが、一部ネット上で噂(あるいは期待)されていたのは、所謂Proモデルだったので、その界隈からは落胆の声も上がっているようだ。
では、どうしてSwitch Proは出なかったのか?
その理由を考えてみた。
それはズバリ
だ。
身も蓋もない言い方をすれば、nvidiaの力不足という話だ。
Switchというゲーム機は据置機と携帯機の両方の性質を持つ特殊なハードウェアだ。
そのため、搭載するSoCは「性能」と「省電力性」の両立が求められる。
例えばプレイステーションやXBOXのように、世代交代を重ねるごとに電力バカ食いモンスターのCPUやGPUを採用する、なんて事が出来ない。
「Tegra X1と同等の省電力性を最低限維持しつつ、より高性能なSoCの開発を!」と言われた事だろう。
そして、残念ながらそのハードルを未だクリア出来るものを生み出せなかったのではないか?
という推測だ。
その他、噂されていたSwitch Proの要素はだいたい今回の有機ELモデルで実現している。
なので、実際に水面下ではProモデルの開発と検証自体は進められていたのだと思う。
その結果、SoCだけが目標をクリア出来なかったと思うと、悲しいな。
また、2年後に期待しようか…。
こういうオープンソースとか詳しい人ってどんなスマホやパソコン使ってんだろ?
気になるし資金的余裕があれば真似したい
とのことなので暇だし書いてみる
OS | Arch Linux |
CPU | Ryzen 9 5900X |
ワーキングメモリ | 32GB DDR4 SDRAM |
ストレージ(システム) | 1TB NVMe SSD |
ストレージ(データ1) | 6TB SATA HDD(RAID0+1) |
ストレージ(データ2) | 6TB SATA HDD(RAID0+1) |
ストレージ(データ3) | 6TB SATA HDD(RAID0+1) |
ストレージ(データ4) | 6TB SATA HDD(RAID0+1) |
GPU | Radeon RX 6900 XT 16GB |
ディスプレイモニタ(プライマリ) | LG 35WN75C-B |
ディスプレイモニタ(セカンダリ) | 中華ノーブランド14インチ16:9タッチスクリーンディスプレイ |
キーボード | Lily58 Pro(黒軸) |
トラックボール | Expert Mouse K72359JP |
AMDな理由はOpenGLを重視したから
データには主に子供の写真や動画が一杯入ってるので速度と冗長性を取ってHDDを無駄使いしてる
タッチスクリーンディスプレイはタッチスクリーン使うアプリ開発用でAliExpressから拾ってきたガワがない詳細不明品、3Dプリンタで作ったガワで無理矢理マウントアームに付けてる
OS | Chrome OS |
CPU | Core i7-10510U |
ワーキングメモリ | 16GB DDR4 SDRAM |
ストレージ(システム+データ) | 512GB NVMe SSD |
ディスプレイモニタ | 14インチFullHD |
ノートパソコンではメインとなってるChromebook
実質的にAndroid Appsが動くLinuxディストリビューションなので非常に便利
Chrome OSの有用さを友人へ伝えるたび鼻で笑われていたが、コロナ禍でまさかの注目株に
Chrome OSを使ってる理由が、UNIX使いたい人が安定しているUNIXとしてmacOSを選ぶみたいなノリで、安定しているLinuxディストリビューションとしてChrome OSを使っていると理解してもらえれば良い
ちょっと突っ込んだ使い方しようとすると途端に意味不明な挙動をするところまでmacOSと同じである
OS | Chrome OS |
CPU | Core i3-10110Y |
ワーキングメモリ | 8GB DDR4 SDRAM |
ストレージ(システム+データ) | 512GB NVMe SSD |
ディスプレイモニタ | 7インチFullHD+ |
Windows 10からChrome OSへ置き換えた我が家では実質的にタブレットとして運用されているノートパソコン
ほぼ子供の玩具で一緒にゲームしたりYoutubeみたり電子書籍を読むのに使われている
Chrome OSへ置き換えたのでAndroid Appsも動く
OS | Android 10 |
CPU | Tegra X1+ |
ワーキングメモリ | 3GB DDR4 SDRAM |
ストレージ1(システム+データ) | 16GB NVMe SSD |
ストレージ2(システム+データ) | 1TB SATA HDD |
日本ではほとんど注目されないスマートセットトップボックス
リビングのTVでYoutubeやNetflixを観るのにこれ以上の選択肢はないのだが一般家庭にはあまり普及してないようだ
ちなみにゲームをプレイできたりNASへ接続できたりもする
OS | Android 10 |
CPU | Snapdragon 835 |
ワーキングメモリ | 6GB |
ストレージ1(システム+データ) | 128GB |
ディスプレイモニタ | 5.99インチFHD+ |
カメラ(フロント) | 8MP |
カメラ(リア) | 16MP |
バッテリー | 3,200mAh Li-ion |
防水 | IPX67 |
生体認証 | 指紋・顔 |
IC | NFC A/B |
充電 | USB-C・ワイヤレス |
重量 | 243g |
メインで使ってるスマートフォン
ハードウェアQWERTYキーボードを搭載していてTermuxでsshするときに役立つ
スライド機構を搭載しておりQWERTYキーボードをシャコンとスライドさせて出せ、普段は普通のスマートフォンのように使える
OS | Android 10 |
CPU | MediaTek Helio P60 |
ワーキングメモリ | 6GB |
ストレージ1(システム+データ) | 128GB |
ディスプレイモニタ | 4.6インチHD+ |
カメラ(フロント) | 8MP |
カメラ(リア) | 16MP |
バッテリー | 6,000mAh Li-ion |
防水 | IPX67 |
生体認証 | 指紋・顔 |
IC | NFC A/B |
充電 | USB-C・ワイヤレス |
重量 | 303g |
サブで使ってるスマートフォン
ガジェット界隈では有名な鈍器で、iPad mini 2019が約300gだったことを考えれば鈍器と呼ばれる所以がわかる
バカバカしいスマホに思えるけど本来はタフネススマホなので頑丈さに特化したからこその重さ
バッテリーが大容量なためモバイル無線LANルーター代わりで持ち歩いている
小型版のUnihertz Titan Pocketが予定されているけれどもちろん買う
OS | SailfishOS |
CPU | Snapdragon 690 |
ワーキングメモリ | 6GB |
ストレージ1(システム+データ) | 128GB |
ディスプレイモニタ | 6インチFHD+ |
カメラ(フロント) | 8MP |
カメラ(リア1) | 12MP |
カメラ(リア2) | 8MP |
カメラ(リア3) | 8MP |
バッテリー | 4,500mAh Li-ion |
防水 | IPX67 |
生体認証 | 指紋・顔 |
IC | NFC A/B |
充電 | USB-C |
重量 | 169g |
お遊び、検証・研究用のスマートフォン
最近のスマホは一般的に普及しているものと異なるアスペクト比を採用していることが増えてきてるのでTitanと合わせてアスペクト比確認用としても使う(アスペクト比が異なってても正しくレンダリングさせるの今後マジで必須だよ。アスペクト比の決め打ちイクナイ)
現在は一部界隈で注目されていたSailfishOSがインストールされているが、ぶっちゃけオープンソースコミュニティ関連で人と会うときに見せるためだけに用意している
OS | Wear OS |
CPU | Snapdragon Wear 3100 |
ワーキングメモリ | 1GB |
ストレージ(システム+データ) | 8GB |
ディスプレイモニタ | 1.28インチ |
バッテリー | 310mAh Li-ion(1Day+) |
防水 | IPX67(3気圧) |
IC | NFC A/B |
充電 | 独自 |
重量 | 約50g(モデルにより異なる) |
AndroidベースのWear OSを搭載したApple Watch対抗のスマートウォッチ
美点はスタイリングデザインの豊富さと微妙にApple Watchよりもバッテリーの保ちが良いこと(使い方によって逆転できるレベルの違い、誤差レベルと言って良い)
AndroidやChrome OSとの連携はさすがで、スマホを取り出さなくても使えるGoogle Assistantはスマート電球やスマートSTBの操作に便利
ただやはりApple Watchも抱えている問題でフル機能を活用するとバッテリの保ちが1日+数時間というのは時計としてどうなんだろう
スマートウォッチが好きじゃないと毎日充電する気にはならないとは思う
OS | 独自ファームウェア |
CPU | Dialog DA14697 SoC |
ワーキングメモリ | 512KB |
ストレージ(システム+データ) | 16MB |
ディスプレイモニタ | 1.1インチ |
バッテリー | 125mAh Li-ion(14Day+) |
防水 | IPX67(3気圧) |
IC | NFC A/B |
充電 | 独自 |
重量 | 約12g |
スマートウォッチの大本命
安価でありながらスマートウォッチに求められることの大半が可能
大半の人にはMi Smart Band 5で十分、Apple WatchやWear OSスマートウォッチは必要ないこと間違いなし
そろそろ新型のMi Smart Band 6が大陸以外でもリリースされる予定なので楽しみだ
万が一、億が一、Mi Smart Bandに機能不足を感じたらApple WatchやWear OSスマートウォッチを検討しよう
Apple WatchやWear OSスマートウォッチは自分のようなマニアがポチポチして遊ぶような代物であって全くもってマニア以外にはオススメしない
ちなみに自分はマニアなので左手首にTHE CARLYLE HR SMARTWATCH、右手首にMi Smart Band 5だ
よく分からんが、
なにかの現状に対してx2、x3という数字はあんまり現実的には思えないことの方が多い気がするんだけど、どうなんだろう
こういう話って、x1.1、x1.2みたいな感じで生産台数を増やすとかだったら理解できるんだけど、
自動車であれ戦闘機であれ、二倍!三倍!みたいなことを偉い人に言われると、
どこまでちゃんと考えているのか疑問というか、フレーズとしてカッコイイから言ってるだけなんちゃうか、とか思ってしまうわけで、
まあ、燃えよペンとか逆境ナインは面白いんだけど、スガが同じこと言っても響かないんだよなあ
もうちょっと国民につまらんと言われても地に足ついたことを言った方が、後々のためでもあると思うんだよね
責任だのなにかと面倒なのは凡人だろうが偉い人だろうが変わらないだろうし
ただ、スガ氏が一枚上手?で、最初から責任を負われて辞任に追い込まれるのを込みでやってるのだとしたら、
悪質ではあるけど、戦略として間違ってないとも考えることはできる
そもそも、コロナでオリンピックは1年後に延長だのを決定したのはアベ氏であって、
吐血を理由にしているけど、あんまりにも元気すぎて仮病を疑うレベルだし、
前々から官邸内でアベ氏とスガ氏の仲が嫌悪になっているというのは報じられてきたわけで、
アベ「なんかコロナとか面倒くさいことになったし、コロナとか戦争みたいな国難の対応とか難しいからやりたくないし、スガさんは立身出世で田舎から出てきて首相の椅子に座るのが人生の目標なんだろうから、椅子を譲りたいんだけど…」
スガ「自分は首相の椅子に座るのが人生の最終目標だから喜んで承諾する。歴代総理に名を残したいだけなんだよねw」
アベ「俺もパパやママに言われたように改憲した総理という名前を歴史に刻みたいだけで、ぶっちゃけると改憲の内容とかどうでもいいw」
スガ「いやー、奇遇ですなあw」
https://anond.hatelabo.jp/20210315160051 について、ブコメをいただきました。
ウイルス感染後数年の潜伏期間を経て発症する悲惨な病気もある(麻疹のSSPE等)。ワクチンの長期的副作用が分かっていないのと同様に、新型コロナの長期的影響も分かっていない。新型コロナのリスクを過小評価しすぎ。
この点については、論旨に影響ない程度に文章を簡単にするため、新型コロナのリスクを過小評価して文章を書きました。
当然ですが、より網羅的にフェアにいうなら、ワクチンの方にも同様に、既に統計(エビデンス)のあるリスクが存在します。こちらも文章から省いてあります。
同様に、
です。
R1<R2なら、人はワクチンを打たないということになります。逆も然りです。
元増田で書いた際は、論旨に影響しないため、Y1とX2は無視して、
としていました。上記ブコメは、Y1を無視するのはアンフェアだという指摘で、その通りです(実際にはX2も無視しています)。
元増田で書いたのは、情報収集と論理によって明確化できるのは、既知のリスクX1(とX2)についてのみであって、未知のリスクY2(とY1)については、個々人の主観的な価値判断になるということです。
したがって、Y2を大きく評価し、結果として、R1<R2と評価する人がいたとしても、他者がそれを「論理的に」「科学的に」否定することは不可能だし、やるべきではありません。
当然、「R1<R2(ワクチンを打たない)と考えるのは、X1(コロナの感染リスク)を過小評価しているからだ」などという指摘は非論理的です。その個人の価値判断のもと、Y2(ワクチンを打つ場合の未知リスク)を大きく評価しているだけだからです。
と価値判断する個人にとっては、R1<R2という判断が合理的であることは変わらず、
また、それを他者が「論理的に」「科学的に」否定することは不可能です。
-------------
yzkuma 「ワクチン接種ジレンマ」で数理的に議論されている問題。リスク値のほとんどが不明なので個人的な正解はない。社会的には打つのが正解なので「自分だけ逃げ切る」という選択肢を自分の心が許すなら打たなくて良い。
数理的なんて言われると照れちゃいますね。まぁ足し算も数理ですが。
この点は元増田に書いた通りで、
「全員が免疫を獲得する必要がない以上、統計がないリスク(ワクチンの副作用)を低く、統計があるリスク(感染・重症化・後遺症)のリスクを高く見積もっている人がいるなら、その人が優先的に打ってくれたらみんなハッピーだよね」という考え方はあっていいと思ってます。
元増田に書いた通り、「コロナワクチンを打たない」という意思決定は、いわゆる反ワクチン(既知の科学的なリスク評価自体を否定する)と異なるよね、というのが議論の出発点です。
kou-qana 未知部分は掛け算で、その値は未知だから全部脳内妄想で、何を重視しても合理的ということ?うーん、未知部分はとりあえず掛け算しない態度と同程度に合理的…か…よくわからない。
掛け算というか足し算ですかね。
「何を重視しても合理的」というのは遠からずです。他人には口出しできないということです。それを合理的と呼ぶべきかどうかは微妙だと思いました。
frantic87frantic87 打ちたくないから打たないということ?内心の自由としてはそれで構わないけど、それで他者を納得させるのは無理では
極論すれば「打ちたくないから打たない」が認められるべきで、少なくともそれが「非論理的」「非科学的」だという非難はおかしいという話です。
個人がワクチンを打つかどうかについて、基本的には、他者を納得させる必要はないと考えています。同居家族等を想定しているなら、そもそもの議論がもうちょっと違う方向になると思います。
mRNAワクチンについては作用機序を科学的に考察すれば長期的副反応はそれほど大きいとは考えにくいけれど、嫌なら嫌で良い。アストラゼネカについては経験的に安全性が高いと考えられるけれど、嫌なら嫌で良い。俺は
まさにこういう議論がありがたいです。書いてある内容に異論はないです。
やるべきことは、未知リスクの部分をなるべく正確に推測するために、状況証拠には何があるのか、とか、リスクの見積もりに想定外はないかを議論する(または、専門家が適切にその議論ができるよう、社会的環境を整える・監視する)ことだと思っています。
残念ながら、ブコメでは、「ワクチンの未知リスクは十分に明らかでないと考えるので、ワクチンを打たない」と表明すると、「コロナの後遺症リスクを低く見積もっている」「集団免疫が獲得できないことが理解できていない」等、別の論点にすり替わってしまいます。「知っていることだけで議論したい」「知らないことは議論したくない」「自分の意見を信じたい/変えたくない」からですかね。論点がすり替わるため、未知リスクの見積もり自体はガバガバのまま議論が放置されます。
NVIDIAのNintendo Switch用チップ、年内にも生産停止か。Switch Pro移行の兆候? - Engadget 日本版
欧州のゲームメディアGamereactorの情報源によると、NVIDIAは2021年内にSwitch用のTegra X1生産を停止する予定とのことです。
Engadgetではこれを「Proへの移行か?」と推測しているが、私の予想はこうだ。
今年の後半に、『New Nintendo Switch』ならびに『New Nintendo Switch Lite』が発表される。
つまり、上位モデルが追加されるのではなく、2年前と同様にSwitchのモデルチェンジが行われるという予想である。
前回はバッテリー持続時間が伸びる程度の違いに留まったので発表としては
「Switch Liteが出ます!Switchもちょっと変わりましたよ」
程度のものだったが、今回はさすがに大々的にアピールしてくるだろう。
これはシステム的、ハードウェア的にどうというよりも、Proの場合は「これ以上、Switchの進化は無い」とも解釈できるためだ。
また、Proの場合は専用タイトルが出る未来は考えづらい。「綺麗なゼルダ」「綺麗なスマブラ」では、コアなファン以外の客層を取り込めるとは思えない。
そのため、Switch 2としてフルモデルチェンジし、下位互換を残す事で、既存タイトルを活かしつつ、その性能をフルに活かした専用タイトルが今後発売していくだろう。
このサイクルを、数年(4〜5年)周期で回してほしいと考えている。
言うなれば、PS4で言うところのPS5みたいなもの、といえば伝わりやすいだろうか。
引き続きnVIDIAのSoCが採用されると思うが、XavierかOrinのどちらか(を、Switch向けにカスタマイズしたもの)になるだろう。
それぞれ、現行と比較すると以下の通り。
現行 | 0.4TFLOPS | Tegra X1カスタム |
---|---|---|
Xavier | 1.3TFLOPS | - |
Orin | 不明 | 曰く、Xavierの7倍との事 |
参考
PS4 | 1.84TFLOPS |
---|---|
PS4 Pro | 4.2TFLOPS |
PS5 | 10.3TFLOPS |
まずXavierだが、こちらはPS4にも及ばないくらいの性能だ。そんな性能では4Kは無理だろう。
(Switchの上位機種としては十分かもしれないが…。)
一方、Orinに関しては、その性能を仮に1.3 x 7 = 9.1TFLOPSとすれば、PS5の10.3TFLOPSに迫る勢いだ。
ただし、PS5のデカイ筐体を見た後なので、そんな性能を実現しつつ、Switchのサイズ感やコンセプトを維持できるのかは疑問だが…。
Nvidia Announces New Drive Platforms With Orin and Ampere
こちらの記事によればOrinのTDPは45Wと言うことなので、案外大丈夫かも?
もちろん、PS5やXBOX Series Xの凄さはSoC以外にも高速SSD等の要因があるため、真の意味でこれらのハードに迫る性能にはならないと思う。
だがそれでも、馬力が無くてSwitch版が作られなかったタイトル(例えばARKとか)がSwitch 2なら可能になる、等の可能性が生まれるのは良いことではないだろうか。
実は、Orinが採用される場合、2021年に発売しない可能性がある。
NVIDIA、5W版の新型SoC「Orin」でADAS市場を本格的に志向。「2000TOPSでも、4000TOPSでも可能」とダニー・シャピロ氏 - Car Watch
気になる出荷時期についてダニー・シャピロ氏は、サンプル版を2021年、通常版を2022年、5Wの低消費電力版を2023年と語る
さすがに、早くても2022年になるだろう。
ここでnVIDIAが頑張って2021年に間に合わせるなんてことが…ありえるのか?
一応、PS5の例を書いておくと、PS5には「カスタムRDNA2アーキテクチャ GPU」が搭載されてるが、RDNA2アーキテクチャの「Radeon」はまだ発表すらされていない(今月末に発表予定)。
つまり、AMDはゲーム機に対してGPUをある程度先行して投入していた事になる。
nVIDIAが同じような協力体制を取っているのであれば、あるいは…?
以上です。
この予想がどこまで当たるか、来年以降が楽しみです。
後頭部の真ん中で両側に分けると、それぞれの束が常人の全体の髪を上回るボリュームを有している。
トップノットにでもしよう日には、頭の上にもう一つ頭があるのかというボリュームである。
長髪が映える趣味を持っているので、ショートカットにするのは気が進まない。そもそも髪の重みで引っ張っているので、ショートカットにしたらビッグ・アフロのようになってしまうかもしれない。
髪の多い人あるあるだと思うが、ヤワなラバーバンドなら私の髪は引きちぎってバチーンと弾ける。きついポニーテールにしてしまうと、頭皮が引っ張られ、髪が生えてるだけで痛いという症状を引き起こす。
通常であれば、常人の全頭部くらいの量の髪を梳いて梳いて梳きまくってもらいどうにか常人x1.2倍くらいの量に抑えているが、このコロナ禍のおり、すっかり私の髪は全力で伸びきってしまった。ここまでの自分の頭皮の全力を見せつけられたのは小児期以来かもしれない。もはや南部のハリケーンかなにか、災害かなんかかというレベルのボリュームだ。
AVEDAのクソデカパドルブラシでゴリゴリとブラッシングする。馬の鬣を梳いているようなパワフルな満足感がある。ゴーリゴリ、ゴーリゴリと音がするので、部屋からボーイフレンドが出てきて、Soothingな音だねえとか呑気なことを言う。
ハハハと笑い返して、無心で梳り続けるとだんだんトランスしてくる。
今度は下から上にブラッシングする。髪をワシワシと掴んでもスカルプに触れるかどうかも怪しい。もはやthick hair というレベルじゃないなと思った。Massiveだ。私の髪はMassive disasterだ。繊細でしなやかとは真逆の、暴力的で強くたくましい、イメージはヒンズーの神、カーリーだ。おお、カーリーを崇めよ、私のMassive hairを崇めよ。
集合Kが2つの二項演算+: K×K→K、*: K×K→Kを持ち、以下の性質を満たすとき、Kは体であるという。
K, Lを体とする。K⊂Lとなるとき、LをKの拡大体という。L/Kが拡大であるともいう。もちろん、これはLの部分群Kによる剰余群のことではない。
C/Rや、C/Qは体の拡大の例である。K(X)/K(X^2)なども体の拡大の例である。
L/Kを体の拡大とする。任意のa∈Lに対して、K係数の多項式f(X)が存在して、f(a)=0となるとき、LをKの代数拡大体、またはL/Kは代数拡大であるという。
そのような多項式が存在しない元が存在するとき、LはKの超越拡大体、またはL/Kは超越拡大であるという。
なぜならば、任意のz∈Cはz = x + yi (x, y∈R)と表わせ、z* = x - yiとおくと、zは二次方程式
X^2 -(z + z*)X + zz* = 0
の解だから。
Kを体とする。K上の任意の多項式F(X)に対して、Fの根を全て含む体Lが存在する。言い換えれば、FはLで
と一次の積に分解する。このようなLのうち最小のものが存在し、Fの(最小)分解体という。Fの分解体はKの代数拡大体である。
LをFの分解体とする。Lの部分環Vを
K[X1, ..., Xn]→L (f(X1, ..., Xn)→f(a1, ..., an))
の像とすると、VはK上のベクトル空間である。各aiはn次多項式の根であるから、aiのn次以上の式はn-1次以下の式に等しくなる。従って、VはK上高々n^2次元の有限次元のベクトル空間である。
Vは整域であるから、0でない元による掛け算は、VからVへの単射線形写像である。したがって、線形写像の階数と核の次元に関する定理から、この写像は全射である。よって、Vの0でない任意の元には逆元が存在する。つまり、Vは体である。
Lは、Kと各aiを含む最小の体であり、V⊂Lなので、L=Vである。
さて、Lの元でK上のいかなる多項式の根にならないものが存在したとし、それをαとおくと、無限個の元1, α, α^2, ...は、K上一次独立となる。これはVが有限次元であることに矛盾する。□
L/Kを代数拡大とする。LはK上のベクトル空間となる。その次元をL/Kの拡大次数といい、[L : K]で表す。[L : K]が有限のとき、L/Kは有限拡大といい、無限大のとき無限次代数拡大という(上の証明でみたとおり、超越拡大は必ず無限次拡大である)。
M/K、L/Mがともに有限拡大ならば、L/Kも有限拡大であり、[L : K] = [L : M] [M : K]。
α∈Lとする。K上の多項式fでf(α)=0をみたすもののうち、次数が最小のものが定数倍を除いて存在し、それをαの最小多項式という。
[K(α) : K]は、αの最小多項式の次数に等しい。なぜならば、その次数をnとするとαのn次以上の式はすべてn-1次以下の式になるため、[K(α) : K]≦n。1, α, ..., α^(n-1)が一次従属だとすると、n-1次以下の多項式でαを根に持つものが存在することになるので、[K(α) : K]≧n。よって、[K(α) : K]=n。
Lの自己同型σでKの元を固定するもの、つまり任意のa∈Kに対してσ(a)=aとなるもの全体のなす群をAut(L/K)と書く。
任意の有限拡大L/Kに対して、#Aut(L/K) ≦ [L : K]。
L/Kを有限拡大とする。#Aut(L/K) = [L : K]が成り立つとき、L/KをGalois拡大という。L/KがGalois拡大のとき、Aut(L/K)をGal(L/K)と書き、L/KのGalois群という。
L/Kを有限拡大、[L : K] = 2とする。#Aut(L/K) ≦ [L : K] = 2なので、Aut(L/K)に恒等写像以外の元が存在することを示せばよい。
[L : K] = 2なので、α∈L\Kが存在して、1, α, α^2は一次従属。したがって、α^2 - aα + b = 0となるa, b∈Kが存在する。解と係数の関係から、α, a - α∈Lは、2次方程式X^2 - aX + b = 0の異なる2解。
α∉Kより、K⊕KαはK上2次元のベクトル空間で、K⊕Kα⊂LなのでL=K⊕Kα。
σ: L→Lをσ(1)=1, σ(α)=a-αとなるK線形写像とすれば、σは全単射であり、Kの元を固定する体の準同型でもあるので、σ∈Aut(L/K)。□
C/RはGalois拡大。
L/Kを有限拡大とする。任意のα∈Lに対して、αのK上の最小多項式が、Lで1次式の積に分解するとき、L/Kを正規拡大という。
L=K(α)とすると、L/Kが正規拡大であるのは、αの最小多項式がLで一次の積に分解するときである。
K(α)/Kが正規拡大で、さらにαの最小多項式が重根を持たなければ、αを他の根に写す写像がAut(K(α)/K)の元になるから、Aut(K(α)/K) = αの最小多項式の次数 = [K(α) : K]となり、K(α)/KはGalois拡大になる。
nを自然数として、ζ_n = exp(2πi/n)とする。ζ_nの最小多項式は、Π[0 < m < n, gcd(m, n)=1](X - (ζ_n)^m)であり、Q(ζ_n)/QはGalois拡大である。
L/Kを有限拡大とする。任意のα∈Lの最小多項式が重根を持たないとき、L/Kは分離拡大という。
体Kに対して、1を1に写すことで一意的に定まる環準同型f: Z→Kがある。fの像は整域だから、fの核はZの素イデアルである。fの核が(0)のとき、Kの標数は0であるといい、fの核が(p)であるとき、fの標数はpであるという。
F_2 = Z/2Zとする。F_2係数の有理関数体F_2(X)/F_2(X^2)は分離拡大ではない。
実際、XのF_2(X^2)上の最小多項式は、T^2 - X^2 = (T - X)(T + X) = (T - X)^2となり、重根を持つ。
L/KをGalois拡大、Gal(L/K)をGalois群とする。
K⊂M⊂Lとなる体Mを、L/Kの中間体という。
部分群H⊂Gal(L/K)に対して、L^H := {a∈L| 任意のσ∈Hに対してσ(a)=a}は、L/Kの中間体になる。
逆に、中間体K⊂M⊂Lに対して、Aut(L/M)はGal(L/K)の部分群になる。
次のGalois理論の基本定理は、L/Kの中間体がGalois群で決定されることを述べている。
L/KをGalois拡大とする。L/Kの中間体と、Gal(L/K)の部分群の間には、以下で与えられる1対1対応がある。
- H'⊂H⊂Gal(L/K)ならば、K⊂L^H⊂L^H'⊂L
- K⊂M⊂M'⊂Lならば、Aut(L/M')⊂Aut(L/M)⊂Gal(L/K)
- 中間体K⊂M⊂Lに対して、#Aut(L/M)=[L : M]。つまり、L/MはGalois拡大
- 部分群H⊂Gal(L/K)に対して、#H = [L : L^H]、#Gal(L/K)/H = [L^H : K]
- 中間体K⊂M⊂Lに対して、M/Kが正規拡大(L/Kは分離的なのでM/Kも分離的であり、従ってGalois拡大)であることと、Gal(L/M)がGal(L/K)の正規部分群であることが同値であり、Gal(L/K)/Gal(L/M)〜Gal(M/K)。同型はσ∈Gal(L/K)のMへの制限で与えられる。
K=Q, L=Q(√2, √3)とすると、Gal(L/K)はσ√2→-√2とする写像σと、√3→-√3とする写像τで生成される位数4の群Z/2Z×Z/2Zである。
この部分群は{id}, {id, σ}, {id, τ}, {id, στ}, {id, σ, τ, στ}の5種類があり、それぞれ中間体L, Q(√2), Q(√3), Q(√6), Kに対応する。
ThinkPad X1 extremeにAC電源をほぼ繋ぎっぱなし、時々持ち歩いて使用中です。
なぜか充電されない事象が発生したが下のリンクの方法で内部バッテリーを無効化した所、充電できるようになったのでメモ。
バッテリーに充電されない(70%以下で充電、90%で充電ストップの設定で充電しているが70%以下になっても充電されない)
ACケーブルを接続しても側面のバッテリーインジケーターが点灯しない
ACケーブルを接続するが電源ステータスは[電源に接続:充電していません]になる
Lenovo Vantageでバッテリーの詳細を見ると 動作していません になる
2014の記事だけど、
https://nasunoblog.blogspot.com/2014/08/thinkpad-twist-battery-0-percent-and-not-charging.html
なおリンク先と異なり充電再開時の充電量は再開前と同じ21%で、自分のトラブルではバッテリ ステータスを管理している箇所の問題ではなさそう。
匿名掲示板のグレタのスレとか読んで社会勉強したほうがいいと思うぞ
ここの連中とかの話な
https://b.hatena.ne.jp/entry/s/twitter.com/10255110251/status/1236077579385200640
↓
例えば昨日、某所でスレ立ってたけど反応コレだからね(なおURL先のログは2日程度で消えます)
https://b.hatena.ne.jp/entry/s/twitter.com/10255110251/status/1236077579385200640
431263 B20/03/06(金)22:56:46 ID:HNiAfJGsNo.668897354+ 23:57頃消えます
120/03/06(金)22:59:38No.668898450そうだねx66
よくもそんなことを!
220/03/06(金)23:00:30No.668898749そうだねx4
320/03/06(金)23:01:00No.668898949そうだねx3
かわいい…
420/03/06(金)23:02:35No.668899605そうだねx15
あまりグレてないな…
520/03/06(金)23:03:11No.668899814+
アノニーきっしょ
620/03/06(金)23:04:01No.668900135+
児ポでは?
720/03/06(金)23:04:17No.668900240そうだねx9
グレタVSメカグレタ
820/03/06(金)23:04:47No.668900419+
サンドバック?
920/03/06(金)23:05:12No.668900578+
顔に麻袋かぶせてならできそう
1020/03/06(金)23:05:19No.668900612そうだねx67
1120/03/06(金)23:05:23No.668900646+
黙ってればいい感じだな
1220/03/06(金)23:05:52No.668900833+
これはセックスしたい
1320/03/06(金)23:06:26No.668901048+
もっと可愛くして
1420/03/06(金)23:06:30No.668901082+
まんこついてんの?
1520/03/06(金)23:06:36No.668901114そうだねx12
1620/03/06(金)23:07:01No.668901258+
1720/03/06(金)23:08:20No.668901782+
エコだな
1820/03/06(金)23:08:41No.668901956そうだねx2
ひ、ひどい
>I am going to teach her to say Dump your carbon in me daddy
1920/03/06(金)23:08:42No.668901971+
どうせCGでしょ?
マジモンの物質はこの世にないでしょ?
(以下きりがないので抜粋)
2220/03/06(金)23:09:21No.668902234+
こんなに可愛くねえだろ
2320/03/06(金)23:10:18No.668902565+
ロボに人権はないのでセーフ
2420/03/06(金)23:10:58No.668902814+
2920/03/06(金)23:12:02No.668903190そうだねx4
って卑怯な手を使いやがるからネット上で匿名で攻撃するしか方法がないから畜生!
3020/03/06(金)23:12:06No.668903216そうだねx3
こんな美人だったら主張の如何に関わらず世界中にファン出来るんだよなぁ…
3720/03/06(金)23:14:05No.668903909そうだねx4
3820/03/06(金)23:14:33No.668904089そうだねx16(←増田註:前の書き込みへのレスとの、読み手が評価する「そうだね」の数の差を見てほしい)
なぜ愛ゆえと思えない
4420/03/06(金)23:15:08No.668904344そうだねx1
正直言うと本物よりも可愛いし抜けそう
後略
自分割と休日は愛犬とかと会いたくて実家行ったりどっかに泊まってることが多くて、
ゲームのセーブデータとか自宅と実家で使いまわしたいからGTX1050搭載の
(このサイズとしては)割と軽い薄型15.6ノートPCを持っていってるんだけど
最近ちょっと街中の方に引っ越してきたからスタバとかでドヤ顔で作業するのもいいかなーって思えてきた
んでそうなるとやっぱ15.6ノートだとちょっとでかすぎてきついかなって思ったりする
買い換えようか迷ってんだけど
デザインと軽量さだけ見ると一番欲しいのはThinkpad X1 Carbon
Thunderbolt3端子はあるから外付けGPUという選択肢はどうだろうか
ただなんやかんや10万くらいかかるから自宅と外で2つ以上環境用意するのはちょっときついかもしれない
ちょっと重量は増えるがMX250搭載のThinkpad T490とかはどうだろうか
軽めのゲームはどこでもできて、重めのゲームは外付けGPUに繋いで自宅で遊べる、うーん……
最初に思いつきそうなやり方としてゲーミングデスクトップとサブのノートで分けるととか…
いっそ15.6ノートのままスタバでドヤリングするのはどうだ?浮いたりしないだろうか
チラシの裏に書くべきないようだけど、休日どっか泊まってること多い上にゲーマーって結構特殊な生活だしめっちゃ迷うなぁ
どうすりゃええんや
2007年まではバンナム発表の出荷本数リストが存在している。
https://game.watch.impress.co.jp/docs/20071211/tales.htm
それ以降は、Wikipediaにも掲載されている国内の売上本数(おそらくDL販売は含まれていない)をベースに、別ソースの海外売上を括弧書きで示している。
追記。
各プラットフォームでの発売時期を書いてどれがリメイクか分かりやすくしたよ。
でも別ソースだから、単純に「累計から海外出荷本数をマイナスしたら国内出荷本数が出る」というものじゃないから注意してね。
出荷・世界
1995 SFC:21.2万本
1998 PS:76.9万本
出荷・世界
1997 PS:113.9万本
(累計出荷160万本との発表あり)
出荷・世界
出荷・世界
出荷・世界
出荷・世界
出荷・世界
(海外で14万本)
売上・世界
売上・国内
売上・国内
売上・国内
売上・国内
売上・国内
売上・国内
売上・国内
売上・国内
発売日 | タイトル | 合計 |
---|---|---|
1995年12月 | ファンタジア | 143.1万 |
1997年12月 | デスティニー | 160万 |
2000年11月 | エターニア | 127.1万 |
2002年11月 | デスティニー2 | 110.6万 |
2003年8月 | シンフォニア | 143.9万 |
2004年12月 | リバース | 60.5万+α |
2005年8月 | レジェンディア | 39.7万 |
2005年12月 | ジ アビス | 159.2万 |
2007年12月 | イノセンス | 32.3万 |
2008年8月 | ヴェスペリア | 122.5万+α |
2008年12月 | ハーツ | 62.5万 |
2009年12月 | グレイセス | 110.9万 |
2011年9月 | エクシリア | 116.8万 |
2012年11月 | エクシリア2 | 88.7万 |
2015年1月 | ゼスティリア | 126.8万+α |
2016年8月 | ベルセリア | 100万 |
国内では安定して30万〜40万本の売上を確保する一方、
海外でも根強い人気があり、累計ではたびたびミリオンを越えている。
いわゆるAAAタイトルではなく、またコテコテのJRPGでありながらも、
コアなファンを掴むことで、安定した成績を収めていると言えるだろう。
また、90年代に百花繚乱の様相を呈していたJRPGが2000年代に入って失速し、
この「安定感」こそがテイルズオブシリーズの最大の武器だと思う。
はたして「一発逆転」など狙う必要があるだろうか?
軽いしWifiも4G LTEも繋がるし、バッテリーはオレの使い方だと5営業日持つし、仕事捗るし、軽いし、良かった。
どこでも仕事できるし、とってもいい。
安くなったし、メイン回線と、PC用と安く2sim持てるし、よかった。
RIMOWAとかカッコイイよな~とか悩んだけど、軽くてタフで、安いし十分。ヘコんだりしないしね。
MTで、お出かけにも使えるし、なにより仕事で疲れた後に走らせると全てを忘れられる。
焼きたてウマ杉。
部屋の熱、逃げ無すぎて嬉しい。
軽くて最高に良い。
YAMAHAの。エレキと同じくらいの難易度かと手を伸ばしたけど、ポジションからして難しい。これはレッスンに行かないと、見に付かない。
今のところ、置物になってしまっている。
去年は、PUBGとかやりたい、仕事も家からやれるし!と息巻いていたが、我慢した。
結果的に、忙しくて遊んでる暇は無かったし、遊んでいたら色々な成長機会を失っていたと思う。目もこれ以上悪くできない。