「X1」を含む日記 RSS

はてなキーワード: X1とは

2021-11-20

anond:20211120151522

ジョーカーってどぎついかなあ

日本と大差なくないか

治安が悪いのは特定地域だけだし、殺された人も司会者x1だけだろ

この程度は日本と何ら変わらないのでは

2021-11-15

マイコンの話しようぜ!

FM-7とか、PC-8801とか、X1とか。

俺は親がFM-NEW7買ったのが初めてのマイコンだったが、今考えると変わった親だよな。

2021-10-30

ヘッドレスサーバにおぬぬめなx1グラボ

「映ればいい」という需要に見事に応える製品

MicroやMiniITXはx16スロットが貴重であるためナイスソリューション

ASUSASrockはわかっているなあというかんじだ、さすが台湾

2021-08-23

anond:20210823184119

自宅にアポ強盗が来たらどうするの?

父親x1子供x2と、両親+子供x2でどっちが戦闘力が上かもわかりませんか?

2021-08-18

anond:20210720185208

Knoa氏の予測方法

Knoa氏の予測方法(7月26日改定版)で分かったこと ★やはり予想通りだった★。

= (散布図を見ながら人力で推定する)

「人力で推定する」際の脳内の処理を何とか形式化すれば、まあ何とか許容できるものになるのでは。

参考

その他(7月22日朝:過去少女監禁問題は、万一本当だとしても別問題だと思う)

2021-08-03

anond:20210803011046

Knoa氏の予測方法

Knoa氏の予測方法(7月26日改定版)で分かったこと ★やはり予想通りだった★。

= (散布図を見ながら人力で推定する)

「人力で推定する」際の脳内の処理を何とか形式化すれば、まあ何とか許容できるものになるのでは。

神託としての価値はあるか?

せめて、神託としてある程度でも当たっていれば面白いが、たった一週間後なのに4割以上外れたり、精度悪すぎ。

その他1(7月22日朝:過去少女監禁問題は、万一本当だとしても別問題だと思う)

その他2

2021-07-20

anond:20210719230647

Knoa氏の予測方法

Knoa氏の予測方法(7月26日改定版)で分かったこと ★やはり予想通りだった★。

= (散布図を見ながら人力で推定する)

「人力で推定する」際の脳内の処理を何とか形式化すれば、まあ何とか許容できるものになるのでは。

参考

その他(7月22日朝:過去少女監禁問題は、万一本当だとしても別問題だと思う)

2021-07-07

どうしてSwitch Proが出なかったのかを考察してみる

この度「有機ELモデル」という新型が発表されたニンテンドースイッチ

だが、一部ネット上で噂(あるいは期待)されていたのは、所謂Proモデルだったので、その界隈からは落胆の声も上がっているようだ。


では、どうしてSwitch Proは出なかったのか?

その理由を考えてみた。

それはズバリ

丁度いい塩梅SoCが用意できなかった

だ。

身も蓋もない言い方をすれば、nvidia力不足という話だ。

Switchというゲーム機は据置機と携帯機の両方の性質を持つ特殊ハードウェアだ。

そのため、搭載するSoCは「性能」と「省電力性」の両立が求められる。

例えばプレイステーションXBOXのように、世代交代を重ねるごとに電力バカ食いモンスターCPUGPU採用する、なんて事が出来ない。

Tegra X1と同等の省電力性を最低限維持しつつ、より高性能なSoCの開発を!」と言われた事だろう。

そして、残念ながらそのハードルを未だクリア出来るものを生み出せなかったのではないか

という推測だ。

その他、噂されていたSwitch Proの要素はだいたい今回の有機ELモデルで実現している。

なので、実際に水面下ではProモデルの開発と検証自体は進められていたのだと思う。

その結果、SoCけが目標クリア出来なかったと思うと、悲しいな。

また、2年後に期待しようか…。

2021-05-29

anond:20210529224346

おそらく、恐怖を処理する仮定で「私は間違っていない」という強い前提が生まれるんだと思うけど、

そうすると、「Xという根拠により、お前は間違っている」と指摘すると、「私は間違っていない」という前提のほうが強いので、「Xという根拠のすべてが間違っている」が脳内で導出されてるんだと思う。

それを繰り返すと、様々な人から根拠X1,X2,...,Xnにより、お前は間違っている」と指摘され続けるけど、同様に「私は間違っていない」の前提のほうが強いので、「根拠X1,...,Xnは間違っている」になるんだけど、これらを論理的正当化するのが難しいので、支離滅裂になる。

2021-05-16

突然、紹介されるAndroidアプリ集を書いた増田ガジェット

こういうオープンソースとか詳しい人ってどんなスマホパソコン使ってんだろ?

気になるし資金的余裕があれば真似したい

anond:20210516133911

とのことなので暇だし書いてみる

パソコン

自作デスクトップパソコン
OSArch Linux
CPURyzen 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)
GPURadeon RX 6900 XT 16GB
ディスプレイモニタ(プライマリ)LG 35WN75C-B
ディスプレイモニタ(セカンダリ)中華ノーブランド14インチ16:9タッチスクリーンディスプレイ
キーボードLily58 Pro(黒軸)
トラックボールExpert Mouse K72359JP

AMD理由OpenGLを重視したか
データには主に子供写真動画が一杯入ってるので速度と冗長性を取ってHDD無駄使いしてる
タッチスクリーンディスプレイタッチスクリーン使うアプリ開発用でAliExpressから拾ってきたガワがない詳細不明品、3Dプリンタで作ったガワで無理矢理マウントアームに付けてる

ノートパソコン
ASUS Chromebook Flip C436FA
OSChrome OS
CPUCore 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と同じである

OneMix3 S+
OSChrome OS
CPUCore i3-10110Y
ワーキングメモリ8GB DDR4 SDRAM
ストレージ(システム+データ)512GB NVMe SSD
ディスプレイモニタ7インチFullHD+

Windows 10からChrome OSへ置き換えた我が家では実質的タブレットとして運用されているノートパソコン
ほぼ子供玩具で一緒にゲームしたりYoutubeみたり電子書籍を読むのに使われている
Chrome OSへ置き換えたのでAndroid Appsも動く

STB
NVIDIA SHIELD TV PRO
OSAndroid 10
CPUTegra X1+
ワーキングメモリ3GB DDR4 SDRAM
ストレージ1(システム+データ)16GB NVMe SSD
ストレージ2(システム+データ)1TB SATA HDD

日本ではほとんど注目されないスマートセットトップボックス
リビングTVYoutubeNetflixを観るのにこれ以上の選択肢はないのだが一般家庭にはあまり普及してないようだ
ちなみにゲームプレイできたりNAS接続できたりもする

スマートフォン

F(x)tec Pro1
OSAndroid 10
CPUSnapdragon 835
ワーキングメモリ6GB
ストレージ1(システム+データ)128GB
ディスプレイモニタ5.99インチFHD+
カメラ(フロント)8MP
カメラ(リア)16MP
バッテリー3,200mAh Li-ion
防水IPX67
生体認証指紋・顔
ICNFC A/B
充電USB-C・ワイヤレス
重量243g

メインで使ってるスマートフォン
ハードウェアQWERTYキーボードを搭載していてTermuxでsshするときに役立つ
スライド機構を搭載しておりQWERTYキーボードをシャコンとスライドさせて出せ、普段普通スマートフォンのように使える

Unihertz Titan
OSAndroid 10
CPUMediaTek Helio P60
ワーキングメモリ6GB
ストレージ1(システム+データ)128GB
ディスプレイモニタ4.6インチHD+
カメラ(フロント)8MP
カメラ(リア)16MP
バッテリー6,000mAh Li-ion
防水IPX67
生体認証指紋・顔
ICNFC A/B
充電USB-C・ワイヤレス
重量303g

サブで使ってるスマートフォン
ガジェット界隈では有名な鈍器で、iPad mini 2019が約300gだったことを考えれば鈍器と呼ばれる所以がわかる
バカバカしいスマホに思えるけど本来タフネススマホなので頑丈さに特化したからこその重さ
バッテリーが大容量なためモバイル無線LANルーター代わりで持ち歩いている
小型版のUnihertz Titan Pocketが予定されているけれどもちろん買う

Xperia 10
OSSailfishOS
CPUSnapdragon 690
ワーキングメモリ6GB
ストレージ1(システム+データ)128GB
ディスプレイモニタ6インチFHD+
カメラ(フロント)8MP
カメラ(リア1)12MP
カメラ(リア2)8MP
カメラ(リア3)8MP
バッテリー4,500mAh Li-ion
防水IPX67
生体認証指紋・顔
ICNFC A/B
充電USB-C
重量169g

お遊び、検証研究用のスマートフォン
最近スマホ一般的に普及しているものと異なるアスペクト比採用していることが増えてきてるのでTitanと合わせてアスペクト比確認用としても使う(アスペクト比が異なってても正しくレンダリングさせるの今後マジで必須だよ。アスペクト比の決め打ちイクナイ)
現在は一部界隈で注目されていたSailfishOSインストールされているが、ぶっちゃけオープンソースコミュニティ関連で人と会うときに見せるためだけに用意している

スマートウォッチ

THE CARLYLE HR SMARTWATCH(Gen 5) 44mm
OSWear OS
CPUSnapdragon Wear 3100
ワーキングメモリ1GB
ストレージ(システム+データ)8GB
ディスプレイモニタ1.28インチ
バッテリー310mAh Li-ion(1Day+)
防水IPX67(3気圧)
ICNFC A/B
充電独自
重量約50g(モデルにより異なる)

AndroidベースWear OSを搭載したApple Watch対抗のスマートウォッチ
美点はスタイリングデザイン豊富さと微妙Apple Watchよりもバッテリーの保ちが良いこと(使い方によって逆転できるレベルの違い、誤差レベルと言って良い)
AndroidChrome OSとの連携はさすがで、スマホを取り出さなくても使えるGoogle Assistantはスマート電球スマートSTB操作に便利
ただやはりApple Watchも抱えている問題でフル機能活用するとバッテリの保ちが1日+数時間というのは時計としてどうなんだろう
スマートウォッチが好きじゃないと毎日充電する気にはならないとは思う

Mi Smart Band 5
OS独自ファームウェア
CPUDialog DA14697 SoC
ワーキングメモリ512KB
ストレージ(システム+データ)16MB
ディスプレイモニタ1.1インチ
バッテリー125mAh Li-ion(14Day+)
防水IPX67(3気圧)
ICNFC A/B
充電独自
重量約12g

スマートウォッチの大本
安価でありながらスマートウォッチに求められることの大半が可能
大半の人にはMi Smart Band 5で十分、Apple WatchWear OSスマートウォッチは必要ないこと間違いなし
そろそろ新型のMi Smart Band 6が大陸以外でもリリースされる予定なので楽しみだ
万が一、億が一、Mi Smart Bandに機能不足を感じたらApple WatchWear OSスマートウォッチを検討しよう
Apple WatchWear OSスマートウォッチは自分のようなマニアポチポチして遊ぶような代物であって全くもってマニア以外にはオススメしない
ちなみに自分マニアなので左手首にTHE CARLYLE HR SMARTWATCH、右手首にMi Smart Band 5だ

という感じかな
増田投稿容量上限もあるのでこの辺にしとく

2021-05-15

anond:20210515135656

x1シングペ女+幼女  +  DV男

のパティティンだと大抵シングッペ女がわが身可愛さに幼女差し出してレイプされたり、

お湯で殺されたり、放置されてガシ餓死などが1年に何度かニュースで流れてきて

俺らは悔し涙を流す

2021-05-08

anond:20210508052856

よく分からんが、

なにかの現状に対してx2、x3という数字あんまり現実的には思えないことの方が多い気がするんだけど、どうなんだろう

こういう話って、x1.1、x1.2みたいな感じで生産台数を増やすとかだったら理解できるんだけど、

自動車であれ戦闘機であれ、二倍!三倍!みたいなことを偉い人に言われると、

どこまでちゃんと考えているのか疑問というか、フレーズとしてカッコイから言ってるだけなんちゃうか、とか思ってしまうわけで、

まあ、燃えよペンとか逆境ナイン面白いんだけど、スガが同じこと言っても響かないんだよなあ

もうちょっと国民につまらんと言われても地に足ついたことを言った方が、後々のためでもあると思うんだよね

責任だのなにかと面倒なのは凡人だろうが偉い人だろうが変わらないだろうし

ただ、スガ氏が一枚上手?で、最初から責任を負われて辞任に追い込まれるのを込みでやってるのだとしたら、

悪質ではあるけど、戦略として間違ってないとも考えることはできる

そもそもコロナオリンピックは1年後に延長だのを決定したのはアベ氏であって、

吐血理由にしているけど、あんまりにも元気すぎて仮病を疑うレベルだし、

前々から官邸内でアベ氏とスガ氏の仲が嫌悪になっているというのは報じられてきたわけで、

アベ「なんかコロナとか面倒くさいことになったし、コロナとか戦争みたいな国難対応とか難しいからやりたくないし、スガさんは立身出世田舎から出てきて首相椅子に座るのが人生目標なんだろうから椅子を譲りたいんだけど…

スガ「自分首相椅子に座るのが人生の最終目標から喜んで承諾する。歴代総理に名を残したいだけなんだよねw」

アベ「俺もパパやママに言われたように改憲した総理という名前歴史に刻みたいだけで、ぶっちゃけると改憲の内容とかどうでもいいw」

スガ「いやー、奇遇ですなあw」

みたいな感じにしか思えないんで、スガが自爆前提で行動している可能性もあるんだよなあ

2021-03-15

コロナの長期的影響と「ワクチン打たない」について

https://anond.hatelabo.jp/20210315160051 について、ブコメいただきました。

id:dc42jk

ウイルス感染後数年の潜伏期間を経て発症する悲惨病気もある(麻疹のSSPE等)。ワクチンの長期的副作用が分かっていないのと同様に、新型コロナの長期的影響も分かっていない。新型コロナリスク過小評価しすぎ。

もっともだと思います

この点については、論旨に影響ない程度に文章簡単にするため、新型コロナリスク過小評価して文章を書きました。

当然ですが、より網羅的にフェアにいうなら、ワクチンの方にも同様に、既に統計エビデンス)のあるリスク存在します。こちらも文章から省いてあります

省略なしのリスク記述

同様に、

します。つまり

です。

R1R2なら、人はワクチンを打たないということになります。逆も然りです。

元増田で書いた際は、論旨に影響しないため、Y1とX2は無視して、

としていました。上記ブコメは、Y1無視するのはアンフェアだという指摘で、その通りです(実際にはX2も無視しています)。

論旨には影響しない

元増田で書いたのは、情報収集論理によって明確化できるのは、既知のリスクX1(とX2)についてのみであって、未知のリスクY2(とY1)については、個々人の主観的価値判断になるということです。

したがって、Y2を大きく評価し、結果として、R1R2評価する人がいたとしても、他者がそれを「論理的に」「科学的に」否定することは不可能だし、やるべきではありません。

当然、「R1R2ワクチンを打たない)と考えるのは、X1コロナ感染リスク)を過小評価しているからだ」などという指摘は非論理的です。その個人価値判断のもと、Y2(ワクチンを打つ場合の未知リスク)を大きく評価しているだけだからです。

この結論部分は、上記の省略の影響を受けません。

まりX1, X2, Y1がどの値であろうと、

  • Y2 > X1 + Y1 - X2

価値判断する個人にとっては、R1R2という判断合理的であることは変わらず、

結果として「ワクチンを打たない」という意思決定になります

また、それを他者が「論理的に」「科学的に」否定することは不可能です。

-------------

追記します。

yzkuma 「ワクチン接種ジレンマ」で数理的に議論されている問題リスク値のほとんどが不明なので個人的な正解はない。社会的には打つのが正解なので「自分だけ逃げ切る」という選択肢自分の心が許すなら打たなくて良い。

数理的なんて言われると照れちゃいますね。まぁ足し算も数理ですが。

この点は元増田に書いた通りで、

「全員が免疫を獲得する必要がない以上、統計がないリスクワクチン副作用)を低く、統計があるリスク感染重症化・後遺症)のリスクを高く見積もっている人がいるなら、その人が優先的に打ってくれたらみんなハッピーだよね」という考え方はあっていいと思ってます

flont 反ワクチン思想を持ちながら人には理性的に見られたいという両立不可能欲求が興味深い

元増田に書いた通り、「コロナワクチンを打たない」という意思決定は、いわゆる反ワクチン(既知の科学的なリスク評価自体否定する)と異なるよね、というのが議論の出発点です。

kou-qana 未知部分は掛け算で、その値は未知だから全部脳内妄想で、何を重視しても合理的ということ?うーん、未知部分はとりあえず掛け算しない態度と同程度に合理的…か…よくわからない。

掛け算というか足し算ですかね。

「何を重視しても合理的」というのは遠からずです。他人には口出しできないということです。それを合理的と呼ぶべきかどうかは微妙だと思いました。

frantic87frantic87 打ちたくないから打たないということ?内心の自由としてはそれで構わないけど、それで他者を納得させるのは無理では

極論すれば「打ちたくないから打たない」が認められるべきで、少なくともそれが「非論理的」「非科学的」だという非難おかしいという話です。

個人ワクチンを打つかどうかについて、基本的には、他者を納得させる必要はないと考えています。同居家族等を想定しているなら、そもそも議論がもうちょっと違う方向になると思います

mRNAワクチンについては作用機序科学的に考察すれば長期的副反応はそれほど大きいとは考えにくいけれど、嫌なら嫌で良い。アストラゼネカについては経験的に安全性が高いと考えられるけれど、嫌なら嫌で良い。俺は

まさにこういう議論がありがたいです。書いてある内容に異論はないです。

やるべきことは、未知リスクの部分をなるべく正確に推測するために、状況証拠には何があるのか、とか、リスク見積もりに想定外はないか議論する(または、専門家が適切にその議論ができるよう、社会的環境を整える・監視する)ことだと思っています

残念ながら、ブコメでは、「ワクチンの未知リスクは十分に明らかでないと考えるので、ワクチンを打たない」と表明すると、「コロナ後遺症リスクを低く見積もっている」「集団免疫が獲得できないことが理解できていない」等、別の論点にすり替わってしまます。「知っていることだけで議論したい」「知らないことは議論したくない」「自分意見を信じたい/変えたくない」からですかね。論点がすり替わるため、未知リスク見積もり自体ガバガバのまま議論放置されます

未知のリスク自体をなるべく正しく推測するための議論けが生産的だと考えています

2021-03-12

【大胆予想】Nintendo Switch Proなんて、出ない

NVIDIAのNintendo Switch用チップ、年内にも生産停止か。Switch Pro移行の兆候? - Engadget 日本版

欧州ゲームメディアGamereactorの情報源によると、NVIDIA2021年内にSwitch用のTegra X1生産を停止する予定とのことです。

Engadgetではこれを「Proへの移行か?」と推測しているが、私の予想はこうだ。

今年の後半に、『New Nintendo Switch』ならびに『New Nintendo Switch Lite』が発表される。

まり、上位モデルが追加されるのではなく、2年前と同様にSwitchモデルチェンジが行われるという予想である

前回はバッテリー持続時間が伸びる程度の違いに留まったので発表としては

Switch Liteが出ますSwitchちょっと変わりましたよ」

程度のものだったが、今回はさすがに大々的にアピールしてくるだろう。

新型を前提にした新規タイトルの発表は勿論、既存ソフトの快適性が上がっていると嬉しい。PS4ブーストモードのような。

ゼルダの伝説 ブレスオブザワイルドが、60fpsでヌルヌル動くよ」とPRしてきたら最高なのだが、果たして

2021-03-05

パソコン・出る杭はDELL

個人の所感です。ステマじゃないです。

リモートワークが始まって、当社ではほぼ1年がたった。昨年の2月下旬から始まったので。

その間、結構色々なPCを買った。会社が、リモートワーク環境外資系では、Work From Homeと呼ばれる。)整備予算をつけてくれたからだ。

据え置き用と、持ち運び用として、PCは二台。モニタも2台買った。

サポートは、圧倒的にDELLが良かったという話。

買ったもの

ThinkPad X1 Carbon Gen8 (i5モデルメモリ16G QHD解像度 (ほぼ1年つかった今でも、普通に使って18時間くらいバッテリーつので、ストレスフリー。)

DELL OptiPlex Micro i3モデル (早くはないけど、小さいし、ポート豊富からうれしい)

最初ThinkPadを、USB-Cでモニタつなぎっぱなしにしていた。

今は、DELL普段作業して、出先でThinkPadを使っている。

モニタも2台かった。

DELL U3519W リビング仕事する用 ワイド作業ラク

DELL S3221QS 書斎仕事する用(4K映画みるとスゴイ)

サポート

ThinkPadは、なぜか運悪く、BIOSアップデート後に、充電ができなくなる症状が発生。

Lenovoサポートは、すでに試した、バッテリーリセット(一体型バッテリーの接点を一度切る手順)など、かなりたくさんの指示を電話越しにしてきて、なかなか対応が進まなかった。

交換も、先に商品を送り返して、その後、修理か代替品を送ってくるというもの

しかも、1度目の修理は、ロジックボードを交換となって、i5がi7にアップグレードされたのは良かったものの、その後windows上でエラーが頻発して、再度返品。最終的に新品になった。

使えない期間が合計2週間くらいあった。

DELLは、モニタ側面のUSB端子の不良で、接続が成立しないトラブルが途中から出た。

電話をしたら、すぐに翌日、代替品が届き、その後に故障品を送り返す対応だった。

Lenovo製品Thinkpadだけね)は好きだけど、サポートはヒドイ。という経験を書き散らかしてもらいました。

==ついき==

対応は、全部、法人じゃなくて個人顧客としてです。

お金会社からもらってるけど、PCモニタ自分自身個人発注です。法人窓口じゃないよ。)

2020-12-20

増田フェイクニュース

139無念Nameとしあき20/12/20(日)21:08:13No.802184257No.802184257そうだねx1

>はてな匿名ダイアリーとかで「こんなキ〇ガイ現実にいる訳ねーだろ」っていう露悪的な嘘松路線フェミとか障〇者煽りとかやってバズらせるのが趣味

>最大戦果1200ブクマくらい

>なんか雑誌とか朝のニュースにも取り上げられた

>まあ全部作り話の嘘松なんっすけどね

俺もこれやってるぞ

IT業界絡みでの話題限定してるけど

IT業界キチガイばっかりの超絶ブラック嘘松を定期的に書いてる

俺より才能も技術もある若い奴いっぱい入ってきたら給料下がるじゃん?

2020-10-01

新型ニンテンドースイッチに関する予想

情報
予想
1. 新型SwitchはProか?Switch 2か?

ズバリSwitch 2と予想する。

これはシステム的、ハードウェア的にどうというよりも、Proの場合は「これ以上、Switch進化は無い」とも解釈できるためだ。

また、Proの場合は専用タイトルが出る未来は考えづらい。「綺麗なゼルダ」「綺麗なスマブラ」では、コアなファン以外の客層を取り込めるとは思えない。

そのため、Switch 2としてフルモデルチェンジし、下位互換を残す事で、既存タイトルを活かしつつ、その性能をフルに活かした専用タイトルが今後発売していくだろう。

このサイクルを、数年(4〜5年)周期で回してほしいと考えている。

言うなればPS4で言うところのPS5みたいなもの、といえば伝わりやすいだろうか。

あるいはiPhone12の発表はいつですか?

2.採用されるSoCについて

引き続きnVIDIASoC採用されると思うが、XavierかOrinのどちらか(を、Switch向けにカスタマイズしたもの)になるだろう。

それぞれ、現行と比較すると以下の通り。

現行0.4TFLOPSTegra X1カスタム
Xavier1.3TFLOPS-
Orin不明曰く、Xavierの7倍との事

参考

PS41.84TFLOPS
PS4 Pro4.2TFLOPS
PS510.3TFLOPS

まずXavierだが、こちらはPS4にも及ばないくらいの性能だ。そんな性能では4Kは無理だろう。

Switchの上位機種としては十分かもしれないが…。)

一方、Orinに関しては、その性能を仮に1.3 x 7 = 9.1TFLOPSとすれば、PS5の10.3TFLOPSに迫る勢いだ。

これなら4Kも十分可能では無いだろうか。

ただし、PS5のデカイ筐体を見た後なので、そんな性能を実現しつつ、Switchサイズ感やコンセプトを維持できるのかは疑問だが…。

Nvidia Announces New Drive Platforms With Orin and Ampere

こちらの記事によればOrinのTDPは45Wと言うことなので、案外大丈夫かも?

もちろん、PS5やXBOX Series Xの凄さSoC以外にも高速SSD等の要因があるため、真の意味でこれらのハードに迫る性能にはならないと思う。

だがそれでも、馬力が無くてSwitch版が作られなかったタイトル(例えばARKとか)がSwitch 2なら可能になる、等の可能性が生まれるのは良いことではないだろうか。

3.発売時期について

しかし、今回の予想、思わぬところに落とし穴があった。

実は、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が同じような協力体制を取っているのであれば、あるいは…?

まとめ

以上です。

この予想がどこまで当たるか、来年以降が楽しみです。

2020-08-13

チェーン店ソーメン” ”チェンソーメン”

チェーン店ソーメン” ”チェンソーメン”との一致はありません。

未来最高って過去最悪 - 二次元裏@ふたば

c3.ftbucket.info › img › cont

5 日前 - 720/08/09(日)00:07:58No.716102701そうだねx1. なんでチェンソーメンが巻き添え食ってんのよ ... そうだねx1. チェンさんのソーメン ... チェーンソーマンチェンソーマンチェインソーマン恐怖!電鋸男! 字面も含む気がする ...

おしい

2020-06-17

Massiveな髪

イメージとしてはラピュタのドーラみたいな感じである

後頭部の真ん中で両側に分けると、それぞれの束が常人の全体の髪を上回るボリュームを有している。

トップノットにでもしよう日には、頭の上にもう一つ頭があるのかというボリュームである

長髪が映える趣味を持っているので、ショートカットにするのは気が進まない。そもそも髪の重みで引っ張っているので、ショートカットにしたらビッグアフロのようになってしまうかもしれない。

髪の多い人あるあるだと思うが、ヤワラバーバンドなら私の髪は引きちぎってバチーンと弾ける。きついポニーテールにしてしまうと、頭皮が引っ張られ、髪が生えてるだけで痛いという症状を引き起こす。

通常であれば、常人の全頭部くらいの量の髪を梳いて梳いて梳きまくってもらいどうにか常人x1.2倍くらいの量に抑えているが、このコロナ禍のおり、すっかり私の髪は全力で伸びきってしまった。ここまでの自分頭皮の全力を見せつけられたのは小児期以来かもしれない。もはや南部ハリケーンかなにか、災害かなんかかというレベルボリュームだ。

AVEDAのクソデカパドルブラシでゴリゴリブラッシングする。馬の鬣を梳いているようなパワフルな満足感がある。ゴーリゴリ、ゴーリゴリと音がするので、部屋からボーイフレンドが出てきて、Soothingな音だねえとか呑気なことを言う。

ハハハと笑い返して、無心で梳り続けるとだんだんトランスしてくる。

今度は下から上にブラッシングする。髪をワシワシと掴んでもスカルプに触れるかどうかも怪しい。もはやthick hair というレベルじゃないなと思った。Massiveだ。私の髪はMassive disasterだ。繊細でしなやかとは真逆の、暴力的で強くたくましい、イメージはヒンズーの神、カーリーだ。おお、カーリーを崇めよ、私のMassive hairを崇めよ。

2020-06-05

Galois拡大って何?

分離的かつ正規代数拡大のことです。

集合Kが2つの二項演算+: K×K→K、*: K×K→Kを持ち、以下の性質を満たすとき、Kは体であるという。

  1. 任意のa, b, c∈Kに対して、(a + b) + c = a + (b + c)
  2. ある元0∈Kが存在して、任意のa∈Kに対して、a + 0 = 0 + a = a
  3. 任意のa∈Kに対して、ある元-a∈Kが存在して、a + (-a) = (-a) + a = 0
  4. 任意のa, b∈Kに対して、a + b = b + a
  5. 任意のa, b, c∈Kに対して、(ab)c = a(bc)
  6. 任意のa, b, c∈Kに対して、a(b + c) = ab + ac、(a + b)c = ac + bc
  7. ある元1∈Kが存在して、任意のa∈Kに対して、1a = a1 = a
  8. 任意のa∈K\{0}に対して、ある元a^(-1)∈Kが存在して、aa^(-1) = a^(-1)a = 1
  9. 任意のa, b∈Kに対して、ab = ba

体の例
  • 有理数全体の集合Q、実数全体の集合R、複素数全体の集合Cは、通常の和と積について体になる。一方、整数全体の集合Zは体にはならない。
  • 素数pについて、整数をpで割ったあまりの集合Z/pZ := {0, 1, ..., p-1}は、自然な和と積によって体になる。

代数拡大

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は超越拡大であるという。

代数拡大の例

C/Rは代数拡大である

なぜならば、任意の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で

F(X) = a(X - a1)...(X - an)

と一次の積に分解する。このような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が有限次元であることに矛盾する。□

上の証明から特に、KにFの1つの根αを添加した体K(α)は、Kの代数拡大体である。このような拡大を単拡大という。


拡大次数と自己同型群

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]。


Galois拡大

L/Kを有限拡大とする。#Aut(L/K) = [L : K]が成り立つとき、L/KをGalois拡大という。L/KがGalois拡大のとき、Aut(L/K)をGal(L/K)と書き、L/KのGalois群という。

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拡大。

Gal(C/R)={id, σ: z→z*}

平方因子のない有理数αに対して、Q(√α)/QはGalois拡大。

Gal(Q(√α)/Q) = {id, σ: 1→1, √α→-√α}。


正規拡大

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であるという。


Q, R, Cの標数は0である。Z/pZの標数はpである

標数0の体および有限体の代数拡大はすべて分離拡大である

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となり、重根を持つ。

Galois拡大であることの言い換え

有限拡大L/KがGalois拡大であるためには、L/Kが分離拡大かつ正規拡大となることが必要十分である


Galois拡大の性質

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⊂Gal(L/K)に対して、K⊂L^H⊂L
  • 中間体Mに対して、Aut(L/M)⊂Gal(L/K)

さらに、以下の性質を満たす。

  • 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に対応する。

2020-06-01

欲しいクルマ

こんな車があったら買っちゃう

外装、サイズ

フィアットX1/9の見た目、サイズ

または、ランチア ストラトス

エンジン

縦置きフラット6

またはNA2ローター

動力機構

やはりMT

2020-05-07

ThinkPad X1バッテリートラブル

ThinkPad X1 extremeAC電源をほぼ繋ぎっぱなし、時々持ち歩いて使用中です。

なぜか充電されない事象が発生したが下のリンク方法で内部バッテリー無効化した所、充電できるようになったのでメモ

自分現象

バッテリーに充電されない(70%以下で充電、90%で充電ストップの設定で充電しているが70%以下になっても充電されない)

ACケーブル接続しても側面のバッテリーインジケーターが点灯しない

ACケーブル接続するが電源ステータスは[電源に接続:充電していません]になる

Lenovo Vantageでバッテリーの詳細を見ると 動作していません になる

OS再起動をするも改善しない

システム アップデートは最新の状態

2014の記事だけど、

https://nasunoblog.blogspot.com/2014/08/thinkpad-twist-battery-0-percent-and-not-charging.html

なおリンク先と異なり充電再開時の充電量は再開前と同じ21%で、自分トラブルではバッテリ ステータス管理している箇所の問題ではなさそう。

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