「4K」を含む日記 RSS

はてなキーワード: 4Kとは

2024-07-17

プライムデー(先行セール含む)で買ったもの

モバイルバッテリー 999円

洗剤+香りビーズ 1,649円

プロテイン 2,700円

綾鷹 濃い緑茶 1,666

サーキュレーター 3,280円

プラスティックチェスト5段 4,164円

PD対応USBケーブル 999円

有線マウス 910

電源タップ2個 4,363円

パスタ5㎏と全粒粉パスタ2kg 2,280円

アンカーサウンドコア2×2個 7,780円

Fire TV Cube 9,980円

ドライヤー 1,967円

28インチモニタ4K) 24,350円

合計約67,000円

溜まっていた3万ポイントぐらい使ったけど、浪費しちゃったなあ

2024-07-14

おすすめYOUTUBEチャンネル2選

ブルーノートジャパン

https://www.youtube.com/@BLUENOTEJAPAN

ブルーノート東京、コットンクラブブルーノートプレイスでの一流アーティストライブが最高4K画質で観られる。

音質も良くて、考え事をしたくないなというときに見るのがおすすめ

でんじろう先生のはぴエネ!

https://www.youtube.com/@hapiene

科学実験とかモノが動く仕組みを10分以内の動画で教えてくれる。大人子供勉強になっておすすめ

2024-07-12

アマゾンデバイスステレオスピーカー

モニタFire TV stickエコー系2台でホームシアター化を考えている

音質はそこまでこだわらない


モニターとFire TV4K MAX)は手持ち


スピーカーとなるエコーをどうしようかって話


POP2台かDot2台が定番ではあるが、時計や天気を見る用途として

Spot+POPを考えてるんだけど疑問点がある


そもそも違う種類のエコーステレオ化はシステム的に可能

システム的に可能でも違う種類なら音質が違って微妙になる?

同じ種類でやることを考えるとDot with Clock+Dotがいい?


Pop×Pop 4,960円 最安で一応候補時計など表示機能は捨てる

Dot×Dot 7,960円 多分選ばない

Spot×Pop 8,460円 表示機能価格バランスが一番よさそう

Dot×Dot時計 9,460円 時計機能はあるけど値段がって感じ


アマゾンデバイスにこだわらず市販スピーカーでいいんじゃって意見も聞きたいが、Pop2台のコスパに勝るものはなかなかなさそう

2024-06-11

オーディオってほんとに進歩がない

テレビディスプレイであればブラウン管から液晶フルHDから4K8Kと順調に進歩してるのに

いつまで経ってもオーディオは数百年前に発明された発音方式から変わらない

そりゃ衰退もするわ

質的にも80年代オーディオブーム成熟期を迎えて以来、ほとんど変わりがないんだから

今のオーディオ業界は手を変え品を変え同じものいかに真新しく見せて高く売りつけるかということにばかり腐心してる

あるいはミライスピーカーみたいなイロモノがポッと出ては消えてくだけ

もっとこうレーザー光で音を発生させるとか面白い技術はないものかねえ

2024-06-06

   私が黒羽刑務所で解いた、国際数学問題東大生なら誰でも知っている不定方程式を用いると、4で割った余りが0,3のときには実現しないことが出て来るが、余りが1,2

  のときであることを支持するのに、 4k+1→4k+2→4k+9 という完全補題発見して証明する。しかし、完全補題は、要点補題、簡潔補題比較して、もの発見することが

    非常に難しく、鋭利かつ飛躍的な内容を含む。 4k+1→4k+2は非常に鋭利であり、 4k+1→4k+9は飛躍的であるし、対応する証明も専門的になって知能指数

  要らないが込み入った論証となる。完全補題はそれこそ、円のように完全なものであるから発見できる者はまれである。 補題を用いた証明技術も、技術である。 これに対して、連結支配集合

   を用いる場合もあるが、連結支配集合は、情報科学の分野で取り上げられるもので、特に教員から習って訓練を受けていないとそれを用いることは難しい。

   連結支配集合は、 誘導部分のグラフが連結しているときに、いう

     

2024-06-05

I.GPT-4からAGIへ:OOMを数える (7)

アンホブリング

最後に、定量化するのが最も難しいが、それに劣らず重要改善カテゴリーを紹介しよう。

難しい数学問題を解くように言われたとき、頭に浮かんだことを即座に答えなければならないとしたらどうだろう。最も単純な問題を除いて、苦労するのは明らかだろう。しかしつい最近まで、LLMにはそうやって数学問題を解かせていた。その代わり、私たちほとんどはスクラッチパッドで段階的に問題を解いていき、その方法はるかに難しい問題を解くことができる。「思考連鎖プロンプトは、LLMのそれを解き放った。生の能力は優れているにもかかわらず、明らかな足かせがあるため、LLMは数学が苦手なのだ

私たちはここ数年で、モデルの「足かせを外す」ことに大きな進歩を遂げました。これは単に優れたベースモデルトレーニングするだけでなく、アルゴリズムの改良によってモデル能力を引き出すものです:

足場作り。CoT++について考えてみよう:ただ問題を解くようモデルに求めるのではなく、あるモデル攻撃計画を立てさせ、別のモデル可能性のある解決策をたくさん提案させ、別のモデルにそれを批評させる、といった具合だ。例えば、HumanEval(コーディング問題)では、単純な足場作りによってGPT-3.5が足場なしのGPT-4を上回った。SWE-Bench(実世界ソフトウェアエンジニアリングタスクを解くベンチマーク)では、GPT-4は~2%しか正しく解くことができませんが、Devinのエージェントの足場があれば14-23%に跳ね上がります。(後ほど詳しく説明するが、エージェントのアンロックはまだ初期段階に過ぎない。)

ツール:もし人間電卓コンピュータを使うことを許されなかったらと想像してみてほしい。まだ始まったばかりだが、ChatGPTウェブブラウザを使ったり、コードを実行したりできるようになった。

エポックAIによる研究によると足場作りやツール使用など、これらのテクニックのいくつかを調査したところ、このようなテクニックは多くのベンチマークで通常5~30倍の効果的な計算量の向上をもたらすことがわかった。METR(モデル評価する組織)も同様に、同じGPT-4ベースモデルからのアンホブリングによって、エージェントタスクのセットで非常に大きなパフォーマンスの向上を発見しました。

https://situational-awareness.ai/wp-content/uploads/2024/06/metr_gains_over_time-1024x597.png

METRのエージェントタスクパフォーマンス。出典モデル評価と脅威研究


これらをコンピュートとアルゴリズム効率統一した実効的なコンピュート規模に当てはめることは困難ですが、少なくともコンピュート規模の拡大やアルゴリズム効率とほぼ同規模の大きな進歩であることは明らかです。(また、アルゴリズム進歩が中心的な役割を担っていることも浮き彫りになっています。0.5OOM/年の計算効率は、すでに重要ものではありますが、ストーリーの一部に過ぎません。)

「アンホブリング」こそが、実際にこれらのモデル有用になることを可能にしたのであり、今日多くの商業アプリケーションの足かせとなっているものの多くは、この種のさらなる「アンホブリング」の必要であると私は主張したい。実際、今日モデルはまだ信じられないほど足かせが多い!例えば

ここでの可能性は非常に大きく、私たちはここで急速に低空飛行の果実を摘んでいる。これは非常に重要です。"GPT-6 ChatGPT "を想像するだけでは完全に間違っていますGPT-6+RLHFと比べれば、進歩は段違いだ。2027年までには、チャットボットというより、エージェントのような、同僚のようなものが登場するだろう。

続き I.GPT-4からAGIへ:OOMを数える(8) https://anond.hatelabo.jp/20240605210232

2024-05-15

Xperia 1Vユーザーから見たXperia 1VI

わりと評価できる内容だった。

デザイン

現行の質のいいデザインを引き継いだので嬉しい。

縦幅が3mm縮み、横幅が3mm広くなったのは今までのXperiaユーザーによっては嬉しくない人もいるかもしれないが、個人的には19.5:9でも十分縦長だと思う。

画面

4KからFHDになった。

ここだけはあまり評価できない。せめてQHDぐらいになってくれればと。

ただ、Xperia1Vを使っていて4Kで嬉しかたことが明確にあるか、というと無いので、使っていて困ることはないのだろう。

ノッチが無い分他のスマホより画面を広く使えるのはメリットなので、そこが引き継がれたのは喜ばしい。

カメラ性能

光学ズームの望遠端が換算170mmとなっていて、使い勝手がよさそう。

写真作品的に画作りしていく場合や、遠いもの撮影する場合など、広角よりも望遠のほうが使い勝手がいいことは多々あるため、私自Xperia 1Vでは望遠レンズを多用している。

それでも1Vでは換算85mmと、やや足りないと感じることもあったため、倍以上の余裕があるのはとても良い。マクロ撮影もできるのは嬉しい。

写真アプリ一般的な他社スマートフォンと似たUIになったので、使い勝手は上がっていると思う。個人的には現行のアプリも嫌いではないが…

ポートなど

継続してmicroSDカードスロットや3.5mmジャックがついていて評価できる。

ポートがあると防水防塵性能を確保するのが難しいらしいが、ユーザーにとっては知ったことではなく、付いているならそれに越したことはない。

手元のXperia 1Vでも実際に使うことは多い。

値段

いね

他にもベイパーチャンバー搭載、フロントステレオスピーカー継続バッテリー長寿命化などあり、良い内容だった。

2024-05-12

リッター4K(燃費悪め)

ラピッドブラスター(ラピ)

ラピッドブラスターデコ(ラピデコ)

ラピッドブラスターエリート(ラピエリ)

ラピッドブラスターエリートデコ(エリデコ)

ここまでは知ってるのだが、じゃあ

リッター4K(リッター)

リッター4Kスコープ(リッスコ)

リッター4Kカスタム(リッカス)

とき

リッター4Kスコープカスタムは?

コカス??

2024-05-05

動物きじゃないなら動物看護師絶対お勧めしないぞ

よっぽど動物きじゃないなら動物看護師にはなるな

若いなら看護師になった方がいい

そうじゃないなら介護士看護助手)になった方がいい

その方が給料相場高いし、身体的にも楽だから

看護師介護士

Kキツイ

K汚い

K給料低い

3Kだが、動物看護師

Kキズだらけ

が付け加えられて4Kになる

獣医も同じ法則適用される

強い動機がないなら獣医ではなく、医師を目座せ。医師獣医師かで、人生全然うから

医師は国や自治体から守られ、社会的地位も高く、楽なところに逃げることもできる。

獣医師は医師より難しい国家資格を乗り越えてきてるが、開業してやっと医師年収に食いつくかどうかで、開業してそれなりに成功しなければ医師年収の三分の一くらいしかない。

医療に興味があるだけなら、動物医療の分野は何にも旨味がない。生半端な覚悟で飛び込むな。賃金低く、不安定で、傷だらけになってもなお動物が好きです or 人手不足で激務だけど公共衛生に貢献したいですって言える奴だけ飛び込んでこい。その覚悟がないなら普通医療業界を目指せ。

2024-05-02

anond:20240502134019

ああFHDモニタ最近買ってたのね

まあ……wqhdはなかなかいいよとだけ

ドットが分からないぐらいに小さいから遠景が綺麗で おおーとなる

4070なら全然4k行けるけどね、そこはfpsとのトレードオフ

それに、2枚あれば捗るんじゃないか!?

cpuクーラーは、i9なら簡易水冷必須になるけど、

cpu落とせばMUGENとか虎徹でもなんとかなる……という意味で。

個人的に簡易水冷耐久性の面からなんとなく避けてたけど、今のpcでの稼働実績があるなら全然いいと思う

(動くなら)水冷のほうが冷えて静かなのは確かだから

初めての自作、頑張ってください

2024-05-01

anond:20240501164622

元増田が、家賃 4K(築60年)で9万5000円って言ってるじゃん

もはや群馬レベル

anond:20240501135228

築60年はヤバいぞ。耐震化されてないだろ。

水回りも老朽化の極みだろ。よく住めるな。

自分も3年前まで築50年のボロ屋住んでたからどんだけヤバいのか分かる。

4Kでその家賃は異常なまでに安いけど、命にはかえられないだろ。

夫婦子ども一人なら2Kでもう少し新しい家に住んだほうが安心できると思うんだが……。

貧乏人なのに東京に住んでる理由

40歳既婚・子供一人(小3) 世帯収入500万

練馬区在住 家賃 4K(築60年)で9万5000円

 

合理的に考えれば割に合わないのは承知の上で、もう15年も今のボロ家に住んでいる

もっというと大学進学時に上京してきたか通算22年間東京にいることになる

 

人混みが嫌いだしアウトドア趣味もあるので正直都会は不便で不快

今の職場もクソみたいなもんだから地方移住して転職、というのもあり得る選択肢だと思ってる

自営してる妻の取引先が近所に多数あるというのが表向きの移住しない理由だが、デジタル時代なのでそれもなんとかなると言えばなる

そもそもその妻の収入は年間200万にも満たないから最優先にすることではない

じゃあなぜ東京に住んでるのか?

 

理屈じゃないんだよねおそらく

ジジババが不便な過疎集落固執してるのと、たぶん完璧に同じ動機

まり俺や妻にとって東京はもうホームタウンなの

子にとってはもちろん東京故郷だけど、俺達にとってもここが故郷になってるんだよね

こっちで人生の半分以上過ごしてるし、出身地量産型地方都市にはそれほど帰りたいと思わない

実家を見捨てはしないけど、もともとそんなに仲良くもないし家族というより親戚みたいな感じ

 

東京はそんなふうに疎遠じゃない

最後自由学生時代を過ごして、就職氷河期時代をなんとか生き抜きながら妻と出会って

時には反発しあったり試行錯誤しながらギリギリ幸福な家庭を築いてきた

人生の濃密なところがほとんど全部東京で起こってるというか、空間人生が不可分になってる

東京に居続けることは「選択肢ひとつ」じゃないんだ、俺達にとっては

2024-04-28

青年自然の家 -- 最寄り駅まで距離にして いくらくらいなのでしょうか? 6k くらい ですね. 電車がちょうどよいじこくにきてくれて, よかったです. 運賃は, 結局 280円 でした. おそらく ねあがり してますよね? 電車を 降りた 駅から, 自宅まで 4kくらい. 合計すると 10k くらい ですか? まあまあ の 距離 ってところですか?

2024-04-27

[]現代音楽を聴こう2024.4.27

https://www.youtube.com/watch?v=MXFdmyn45l8

Grisey: Les espaces acoustiques ∙ Ensemble Modern ∙ hr-Sinfonieorchester ∙ Kasakawa ∙ Cambreling

ジェラルド・グリゼー 作曲

音響空間

Gérard Grisey:

Les espaces acoustiques ∙


Prologue – pour alto seul 00:00 ∙

Périodes – pour sept instruments 15:58 ∙

Partiels – pour 18 musiciens 32:51 ∙

Modulations – pour 33 musiciens 54:14 ∙

Transitoires – pour grand orchestre 1:10:17

Épilogue – pour quatre cors solistes et grand orchestra 1:36:36 ∙


Ensemble Modern ∙

hr-Sinfonieorchester – Frankfurt Radio Symphony ∙

Megumi Kasakawa, Viola ∙

Sylvain Cambreling, Dirigent ∙


cresc… Biennale für aktuelle Musik 2024 ∙

Eröffnungskonzert ∙

hr-Sendesaal Frankfurt, 16. Februar 2024 ∙


ARD-Mediathek: https://www.ardmediathek.de/hr/sendun...


#4K


© 2024

Hessischer Rundfunk (hr)

2024-04-15

PC周りでこれ買ってよかったってもの教えて

コロナきっかけで家で仕事するようになって最初は何もないシンプルデスクだったけど、趣味PCを使うことも多いから、だんだんと使いやすく、見た目もいい環境にしていきたくなって、2年かけていろいろ揃えてきたんだよね。

YouTubeオススメされてるものを見ては良さそうなもの買ってみたけど、最近はもう欲しいものがなくて少し物足りない気持ちになってる。

かにもっと良いもの、最新のものを買うこともできるけど、置く場所もないし、買い換えても費用対効果を考えるとうーんってなることが多くなったんだよね。

タンディングデスクにはじまりバカ高いオフィスチェア4Kリフレッシュレートのモニター、高いキーボードマウスサウンドバーコンデンサーマイクモニターライト左手デバイスなどなど、いろいろ買い集めた。この辺までは使ってる。

LEDテープとかライティングちょっと試したけど、ほとんどつけてない。ヘッドホン無線からオーディオインターフェイスはいらない。壁も空いてないかプロジェクターも要らないし、iPadも使いこなせてない。

PCもミドルハイエンドで満足してる

普段映画見たりゲームしたりしてる。アニメイラストとかはあんまり興味ない。

なんか斬新なものない?これ買って良かった~っていうおすすめある?

2024-04-06

最近思ったんだけどほとんどの接客業ってオンライン化できるよね?

たとえば

1. 不動産 → 営業さんがカメラで紹介。4K高画質だから雰囲気もわかりやすい。

2. 保険 → データをTeamsで画面共有して見積もり出して終わり。会う必要ゼロ

3. 医者 → 客の顔色を4Kカメラとか医療カメラ自分で映してもらって、必要場合だけ病院に来てもらう。

これらができるってことはほとんどの接客業ネットで完結できるってことだと思うのだが。

2024-04-05

宇多田ヒカルの「traveling」って20年以上も前なんだな

youtube4K版のMVを観て、ふと思った。

自分感覚では生まれる前の物って、古臭い感じがするんだけど、

今の10代とかこれ見てどう思うんだろう。古臭いと感じるんだろうか。

全てのデータデジタルで鮮明に記録されていく世界でも、コンテンツ寿命って変わらないのか、それとも長生きになるのか。

まぁどちらにせよ商業的な理由で、古びてもらわないと売り手が困るか。

反転マウスカーソルを使え

もう一回だけ書かせてくれ

4Kディスプレイマウスカーソルを見失うことが多すぎたので、マウスカーソルの色を反転色というものにしてみた

Windows→設定→デバイスマウスマウスポインター とかで設定開ける

 

めっちゃ見つけやす!!!

おすすめからお前らも使え

欠点はたまに色が気持ち悪いこと

マウスカーソルの陰になっている色の反転色でマウスカーソルが染まる

増田ブルー色のラインの上に置くと、なんかウンコみたいな茶ばんだ色になる

でもしょうがないよね

2024-04-04

おじさんなのでマウスポインターを大きくした

4Kディスプレイマウスポインターを見失うことが増えたので大きくした

こんな簡単にできるとは知らなかったよ

 

サイズを1から2に上げるだけでずいぶん大きくなるぞ

色も反転色にしたからもう見失わない!!

勝利!!!

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