「x1」を含む日記 RSS

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

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-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してきたら最高なのだが、果たして

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%で、自分トラブルではバッテリ ステータス管理している箇所の問題ではなさそう。

2020-03-08

グレタのラブドールの件でショック受けてる連中

匿名掲示板のグレタのスレとか読んで社会勉強したほうがいいと思うぞ

ここの連中とかの話な

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

正直言うと本物よりも可愛いし抜けそう

後略

まあこの体たらくなわけよ、実際にグレタの話がなされる、ある種の空間ってのは

一応念のため、「匿名掲示板から露悪的でも仕方ない」みたいな話をするアホは口を開かないでな?頼むから

2020-01-09

正規非正規という呼び名廃止してオールタイムパートタイムにしよう

退職金は在籍年数x1万みたくすればわかりやす

(意外と退職金ないところが多い)

ボーナスも勤務年数x10にしたらいい

あと労働契約書を労働監督署に提出するようにして、契約した仕事や想定以上の残業や無休が合った場合労働者を守れるようにしろ

一カ所に縛られて疲弊していく働き方は止めよう

2019-08-23

ノートPCどれ買うかめっちゃ迷ってる

自分割と休日は愛犬とかと会いたくて実家行ったりどっかに泊まってることが多くて、


ゲームセーブデータとか自宅と実家で使いまわしたいからGTX1050搭載の

(このサイズとしては)割と軽い薄型15.6ノートPCを持っていってるんだけど

最近ちょっと街中の方に引っ越してきたかスタバとかでドヤ顔作業するのもいいかなーって思えてきた

んでそうなるとやっぱ15.6ノートだとちょっとでかすぎてきついかなって思ったりする

買い換えようか迷ってんだけど

デザインと軽量さだけ見ると一番欲しいのはThinkpad X1 Carbon

だけどグラボはオンボだからゲームはほぼ無理だろう

Thunderbolt3端子はあるから外付けGPUという選択肢はどうだろうか

ただなんやかんや10万くらいかかるから自宅と外で2つ以上環境用意するのはちょっときついかもしれない

ちょっと重量は増えるがMX250搭載のThinkpad T490とかはどうだろうか

軽めのゲームはどこでもできて、重めのゲームは外付けGPUに繋いで自宅で遊べる、うーん……

最初に思いつきそうなやり方としてゲーミングデスクトップとサブのノートで分けるととか…

いっそ15.6ノートのままスタバドヤリングするのはどうだ?浮いたりしないだろうか

チラシの裏に書くべきないようだけど、休日どっか泊まってること多い上にゲーマーって結構特殊生活だしめっちゃ迷うなぁ

どうすりゃええんや

2019-07-03

anond:20190703092057

全く関係ない話をして申し訳ないけれど、ワイはそういう時、ノートならthinkpadシリーズを勧めてる。

X1とかは性能に対するお値段高めだから外しつつ。

もしみんなも聞かれたら、thinkpadお勧めするといいよ。

2019-02-27

テイルズオブシリーズの売上まとめ

前置き

2007年まではバンナム発表の出荷本数リスト存在している。

https://game.watch.impress.co.jp/docs/20071211/tales.htm

それ以降は、Wikipediaにも掲載されている国内の売上本数(おそらくDL販売は含まれていない)をベースに、別ソース海外売上を括弧書きで示している。

「出荷本数」と「売上本数」の違いに留意されたし。

追記

プラットフォームでの発売時期を書いてどれがリメイクか分かりやすくしたよ。

2007年までの作品海外出荷本数も添えたよ。

でも別ソースから、単純に「累計から海外出荷本数をマイナスしたら国内出荷本数が出る」というものじゃないから注意してね。

ファンタジア

出荷・世界

1995 SFC:21.2万本

1998 PS:76.9万本

2003 GBA31.4万本

2006 PSP:13.6万本

海外GBA版が12万本)

デスティニー

出荷・世界

1997 PS:113.9万本

2006 PS2:39.5万本

(累計出荷160万本との発表あり)

海外PS版が21万本)

エターニア

出荷・世界

2000 PS:87.3万本

2005 PSP:39.8万本

海外PS版が15万本、PSP版は1万本)

デスティニー2

出荷・世界

2002 PS2:97.7万本

2007 PSP:12.9万本

シンフォニア

出荷・世界

2003 GC:95.3万本

2004 PS2:48.6万本

海外GC版が85万本)

リバース

出荷・世界

2004 PS2:60.5万本

2008 PSP:?

レジェンディア

出荷・世界

2005 PS2:39.7万本

海外で14万本)

アビス

売上・世界

2005 PS2:74.2万本

2011 3DS:85万本

海外PS2版が17万本、3DS版が70万本)

イノセンス

売上・国内

2007 DS24.6万本

2011 PS Vita:7.7万本

ヴェスペリア

売上・国内

2008 Xb36020万本(+海外55万)

2009 PS3:44.6万本

2019 PS4:?

2019 X1:?

2019 Switch:2.9万本

2019 PC:?

ハーツ

売上・国内

2008 DS:26万本

2013 Vita:7.5万本(+海外29万本)

グレイセス

売上・国内

2009 Wii:21.6万本

2010 PS3:36.3万本(+海外53万本)

エクシリア

売上・国内

2011 PS3:66.8万本(+海外50万本)

エクシリア2

売上・国内

2012 PS3:46.7万本(+海外42万本)

ゼスティリア

売上・国内

2015 PS3:38.8万本(+海外16万本)

2015 PC:?(+海外30万本)

2016 PS4:1万本(+海外41万本)

ベルセリア

売上・国内

2016 PS3:10.8万本

2016 PS4:22.6万本(+海外39万本)

2017 PC:?

(累計販売100万突破との発表あり)

まとめ

発売日タイトル合計
1995年12ファンタジア143.1万
1997年12デスティニー160万
2000年11月エターニア127.1万
2002年11月デスティニー2110.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万
201211月エクシリア288.7万
2015年1月ゼスティリア126.8万+α
2016年8月ベルセリア100万

総評

国内では安定して30万〜40万本の売上を確保する一方、

海外でも根強い人気があり、累計ではたびたびミリオンを越えている。

いわゆるAAAタイトルではなく、またコテコテJRPGでありながらも、

コアなファンを掴むことで、安定した成績を収めていると言えるだろう。

また、90年代に百花繚乱の様相を呈していたJRPG2000年代に入って失速し、

頼みのFFDQも大作化してなかなか新作が出なくなる中で、

安定してナンバリングタイトルを出し続けた功績も大きい。

この「安定感」こそがテイルズオブシリーズの最大の武器だと思う。

はたして「一発逆転」など狙う必要があるだろうか?

anond:20190226164452

2018-12-10

2018年・買って良かった物/悪かったもの

買って良かった物

ThinkPad X1 Carbon

軽いしWifiも4G LTEも繋がるし、バッテリーはオレの使い方だと5営業日持つし、仕事捗るし、軽いし、良かった。

どこでも仕事できるし、とってもいい。

biglobe携帯電話契約

安くなったし、メイン回線と、PC用と安く2sim持てるし、よかった。

スーツケーススフィアピナー55(機内持込可)

RIMOWAとかカッコイイよな~とか悩んだけど、軽くてタフで、安いし十分。ヘコんだりしないしね。

ポルシェケイマン

NAは力が無いと言われてるけど個人的には速いと思う。

MTで、お出かけにも使えるし、なにより仕事疲れた後に走らせると全てを忘れられる。

ツインバードの安いパン焼き機

焼きたてウマ杉。

[エースジーン] ace.GENE リュック クロスタイドs 3WAY

リュック通勤、快適すぎ。X1カーボンも丁度入るので良い。

窓断熱シート

部屋の熱、逃げ無すぎて嬉しい。

LINDBERG メガネ

軽くて最高に良い。

耳栓多数

全てのカバンに入れておくことで、いつでも耳栓出来る。

買わなくても良かったかも知れないもの

クラシックギター

YAMAHAの。エレキと同じくらいの難易度かと手を伸ばしたけど、ポジションからして難しい。これはレッスンに行かないと、見に付かない。

今のところ、置物になってしまっている。

過去、買おうと思っていたけれど、思いとどまったことが正解だったかもな、と思ったもの

高性能デスクトップPC

去年は、PUBGとかやりたい、仕事も家からやれるし!と息巻いていたが、我慢した。

結果的に、忙しくて遊んでる暇は無かったし、遊んでいたら色々な成長機会を失っていたと思う。目もこれ以上悪くできない。

パスタマシン

こねる時間なかったかも。あと、捏ねたら食べて太ってたかも。

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