  |
はてなキーワード: クラックとは
○ご飯
朝：なし。昼：サラダ。夜：人参、大根、白菜、しめじ、ベーコンのスープ。きつねうどん。いりたまご。間食：なし。
○調子
むきゅーはややー。おしごとは、むむむー。
蜘蛛にハマってくれる人が続いたおかげで、6連勝ぐらいできた。
楽しいなあ、終わらないで欲しいなあ。
なんか急に格闘ゲームがしたくなり、購入。
最近、ユーザの操作技術が求められるゲームを遊んでなかったので、やりたくなった。
続いてのマイケルは竜巻の飛び道具にパワーウェイブを相殺される。
すわタマ撃ち合戦になるかと思いきや、こちらの後隙が長いし、出もせいでその間に近づかれてボコられて負けた。
必殺技に固執せずに通常技も使う方が良いんだろうけど、必殺技が冗談みたいな威力で楽しすぎた。
バーンナックルとパワーウェイブは出せるけど、ライジングタックルとクラックシュートは出せなかった。
○ポケットモンスター緑(NPC交換の旅)
この辺の道路のモブキャラたち、セリフの筆が乗ってる感じがして好き。
ポケモンタワーで眠るポケモンのことを思う少女からもらうスピードスターの技マシンとか、筋が良いと褒められて調子乗ってる女の子とか、家に帰るとポケモンがいることを思う大人のお姉さんとか。
早解きをすると無視しがちな道路だけど、僕は好きなので毎回レベル上げがてら攻略してる。
手持ちはチャッピー39、おしょう40、まさこ40、テリー40、なめぞう39、バリバリ41。
だいぶ平たくレベル上げできた。
過去10年間のディープラーニングの進歩のペースは、まさに驚異的だった。ほんの10年前、ディープラーニング・システムが単純な画像を識別することは革命的だった。今日、我々は斬新でこれまで以上に難しいテストを考え出そうとし続けているが、新しいベンチマークはどれもすぐにクラックされてしまう。以前は広く使われているベンチマークをクラックするのに数十年かかっていたが、今ではほんの数カ月に感じられる。
https://situational-awareness.ai/wp-content/uploads/2024/06/owid-test-scores-1024x723.png
ディープラーニング・システムは、多くの領域で急速に人間レベルに達し、あるいはそれを超えつつある。グラフィック データで見る我々の世界
私たちは文字通りベンチマークを使い果たしている。 逸話として、友人のダンとコリンが数年前、2020年にMMLUというベンチマークを作った。彼らは、高校生や大学生が受ける最も難しい試験に匹敵するような、時の試練に耐えるベンチマークを最終的に作りたいと考えていた。GPT-4やGeminiのようなモデルで〜90％だ。
より広く言えば、GPT-4は標準的な高校や大学の適性試験をほとんど解いている。(GPT-3.5からGPT-4までの1年間でさえ、人間の成績の中央値を大きく下回るところから、人間の成績の上位に入るところまで、しばしば到達した)
https://situational-awareness.ai/wp-content/uploads/2024/06/gpt4_exams-780x1024.png
GPT-4の標準テストのスコア。また、GPT-3.5からGPT-4への移行で、これらのテストにおける人間のパーセンタイルが大きく跳ね上がり、しばしば人間の中央値よりかなり下から人間の最上位まで到達していることにも注目してほしい。(これはGPT-3.5であり、GPT-4の1年も前にリリースされたかなり新しいモデルである。)
https://situational-awareness.ai/wp-content/uploads/2024/06/math2022-1024x273.png
灰色：2021年8月に行われた、MATHベンチマーク（高校数学コンテストの難解な数学問題）の2022年6月のパフォーマンスに関する専門家の予測。赤い星：2022年6月までの実際の最先端のパフォーマンス。ML研究者の中央値はさらに悲観的だった。
MATHベンチマーク（高校の数学コンテストで出題された難しい数学の問題集）を考えてみよう。このベンチマークが2021年に発表されたとき、最高のモデルは問題の5％しか正解できなかった。そして元の論文にはこう記されている：「さらに、このままスケーリングの傾向が続けば、単純に予算とモデルのパラメータ数を増やすだけでは、強力な数学的推論を達成することは現実的ではないことがわかった。数学的な問題解決をより牽引するためには、より広範な研究コミュニティによる新たなアルゴリズムの進歩が必要になるだろう」、つまり、MATHを解くためには根本的な新しいブレークスルーが必要だ、そう彼らは考えたのだ。ML研究者の調査では、今後数年間の進歩はごくわずかだと予測されていた。しかし、わずか1年以内（2022年半ばまで）に、最高のモデルの精度は5％から50％に向上した。
毎年毎年、懐疑論者たちは「ディープラーニングではXはできない」と主張し、すぐにその間違いが証明されてきた。過去10年間のAIから学んだ教訓があるとすれば、ディープラーニングに賭けてはいけないということだ。
現在、最も難しい未解決のベンチマークは、博士号レベルの生物学、化学、物理学の問題を集めたGPQAのようなテストである。問題の多くは私にはちんぷんかんぷんで、他の科学分野の博士でさえ、Googleで30分以上かけてやっとランダムな偶然を上回るスコアを出している。クロード3オーパスは現在60％程度であり、それに対してインドメインの博士たちは80％程度である。
https://situational-awareness.ai/wp-content/uploads/2024/06/gpqa_examples-768x1120.png
続き I.GPT-4からAGIへ：OOMを数える (4) https://anond.hatelabo.jp/20240605205024
これ
https://nou-yunyun.hatenablog.com/entry/2024/03/04/170000
また例によって差別商売のアイツが何やら言ってるのに対して電脳塵芥氏はガソリンスタンドだったのはとうの昔で違うんじゃね？と疑問を呈しているが、増田はこの建物はガソスタの躯体のままだったと考える。
なお、増田がガソスタ勤務だったのは20年前で、その後は危険物取扱者の更新研修を受けていないから20年前より後の消防法の改正については追いかけられていない。
勤務時は危険物保安監督者に任命されていた。（役職手当無し！）
で、火災の危険があるので基本的に給油所の上に建物を建ててはならないし、敷地内に事務所や整備所以外の用途の建造物は建ててはならなかった。
いつかは判らんが、自社の事務所用途のみなら給油所の上に建物を建てても良いという事になった。つまり給油所の上に本社などが建てられる。
90年代の規制緩和の波に合わせて自社以外でも事務所としてなら使用可になった。但し住居としての使用は絶対に不可。
というわけなので〇〇モータースKKが本社社屋兼ガソスタとして建築→廃業して建物を改造してディーラー化というのは平仄があう。
給油所は火災や土壌、排水汚染の危険性があるので設備や形状に特徴がある。そのいくつかが合致する。
・上階の窓は壁面から後退させるか下に庇をつける
前面から見ると2階はファサードで覆われ、3階の窓は後退しているhttps://maps.app.goo.gl/ruJd61cgMcRoPGDj7
裏から見るともっと特徴的だ。https://maps.app.goo.gl/kQsHnn3hNptBMpVX7
2階の窓の下には大きな庇がある。3階、4階とも窓が大きく後退している。こういう建て方をすると雨漏りしやすく防水工事に金が掛かる。
・扉は防火で外開き
建物裏参照。風で扉が開いた時に危険物扱所から屋内に空気が入らようにするない為
・外側に向かって比較的大きな床勾配
給油所の床には水勾配よりも大きい勾配を外に向かって付けねばならない。ガソリン蒸気は重いので隅の方に溜まって引火することがある為。
・鉄線入りガラス
前と裏面にある。まぁこれは車屋でも必要か。こぼれた油脂を下水に流さない為。
なのでガソスタを廃業して、給油スペースを巨大ガラスで仕切る改造をしたものと思われる。
例を挙げると秋葉原のリビナヤマギワの駅と反対側もガソリンスタンドとその本社だった。https://maps.app.goo.gl/j43sSStAaXZKDRVD9
リビナヤマギワは元々駅側のあきばおーとかに近い方だけだった。
上階の窓が引っ込んでいるという特徴と1階天井が高くてシャッターが付いているという特徴があるのが判るだろうか？
90年代前半にガソスタとその本社として開業したが、実は神田秋葉原近辺はガソスタが多い上に設備も少なくて余り儲からなかったのか、数年で閉業してシャッターが掛かったままになった。それをヤマギワが買収して大工事を行い、オフィスを店舗と駐車場に、スタンド部は空調置き場に、本店の裏の壁をぶち抜いて両建物を連結したのだった。
2.地下タンクの油脂だけを抜いて売り、別業態で営業する。給油取扱所のままだがポンプや給油機は撤去する。タンク残量の記録などの義務は残る。
3.タンクを洗浄して水で埋めて封止する。
嘗ては認められなかった方法だがいつだかの規制緩和で可能になった。
タンクを中和剤で洗い、水で埋める。水質検査して汚れが無ければok。パイプ類は切断して厳重に封止する。点検口などの穴は水が溜まるのでモルタルで埋める。これなら他の用途に使えるようになるので給油所部分に建物を建てて会社にしたり、スーパーになっている所もある。上階部分もテナントとして貸せる。住居として貸せるかは不明。
件のHonda Carsの裏側には床に四角いモルタルがある。タンク直上の点検口を埋めたものと思われる。
ガソスタの解体でヤバいのはやはり地下タンクだ。ガスで切断したりユンボでゴツンと叩いて破壊すると中のガソリン蒸気に引火して大爆発する。それ故、一度水で満たしてからガスで切断するというような慎重な作業が必要になる。
但しそれは営業していたままのものだ。建物転用している場合は上記の3.で、タンクと配管は既に洗浄、水で埋まっているから危険はないはずだ。また土壌汚染も起こらないはず。
解体時にテキトウやれば油脂が漏洩して土壌が汚染される。だけど油脂を抜いてあるからその量は大した事ない。
問題は配管やタンクにクラックがあって長年漏洩していた場合だ。ガソリンの主成分は揮発してなくなるがベンゼンが残留する。ガソリンの匂いで気持ち悪くなるのはこのベンゼンが血中に回る為だ。
またハイオク剤も残留する。ガソリンを放置すると沈殿したり固まったりしてキャブレターが詰まったりするが、これがハイオク剤が重合したものだ。長年漏洩していた場合はかなりの量になり、それが広範囲の土壌に浸透している。
そういう場合は土壌の入れ替えをせねばならないが、これがとんでもない額になる。小さなガソスタでも5000万とか7000万とか行ってしまうのだ。だから売主は土壌汚染についてはピリピリしている。
地主は上記のように土壌汚染問題にはヒリついているものだ。そしてそれは多くは営業中の漏洩で引き起こされる。
更に土地の権利はカタギの商売人じゃなくて、訳アリ土地扱いますっていうスジもの業者に売られて転がされてる事もある。
それなのに2chまとめブログ農園のキャベツとか、アルファブロガ時代には日本のネットで隆盛だった2chの影響が無いブロゴスフィアを作ると銘打っていた主幹が作ったのに、年喰って背伸びしたい2chねら上がりみてえなのしか読者が居ない上に寄稿者もそんなのばっかなのに古代ギリシャの広場を名乗ってて当人らだけが日経新聞と比肩するとか思ってるようなサイト農園のレタスとかから生まれた、社会の仕組み判ってないような妖精のチンクルみたいなおっさんが「クルド♪土壌汚染♪」とか歌いながら地雷原の方に行ったらそれを優しく見守ってあげる方がいいのではないだろうか？
ゆえ無き批判で破廉恥な売文業を生業にしているのを見て糺したくなる気持ちは判るが、地雷原の近くで自転車の練習してる場合には応援してあげる方が良い場合もある。
現代くらいの技術レベル同士で数光年くらい離れたとこに電波通信可能な文明がある世界を描いたSFってある？
「三体 1」はわりと近いけど、あれは恒星間の征服戦争というシチュエーションを描くために三体人側にぶっとんだ惑星、ぶっとんだ技術を与えてるからちょっと違う。
どんなに科学が進歩しても超光速通信とか量子サイズの自立機械とかは不可能で、数万年オーダーをかけない限り恒星間を移動可能なものは実質的に情報だけみたい世界観。
仮に相手を支配下しても、そこから資源や土地などは得られないので相手文明を支配したり滅ぼしたりしようとする動機は基本的に存在しないので、
暗い森林で光を灯しても矢は飛んでこない。
まあその場合でも、宗教など利益を度外視した概念上の理由ならあるかもしれないが。
あと「計算資源」として見るなら、情報だけしかやりとりできなくても相手を支配する価値はあるかもしれない。実際そういう理由でクラックされているPCはいっぱいあるので。
僕は弱者男性プログラマーだ。コードを書いて金をもらっている。
そんな僕が、社会学や政治に興味を持つ人が多いこのような場で物申すというのはちょっと変だと思うかもしれない。
実際、社会学なんて僕の専門じゃない。
僕はコンテンツを収集するクローラを書いたり、それを検索できるようにインデクシングしたり、あるいはコンテンツのクリック履歴に基づいておすすめを表示させたりするプログラムを書いている。
このようなプログラムにも、社会的側面というのは存在する。利用者が何らかの目的によってその検索ツールを利用し、調べたいものにたどり着く。コンテンツプロバイダー、ユーザー、システムという3つのアクターの社会が形成されている。
社会学者がコンピュータについて語ることがあるぐらいだから、プログラマーが社会について語ってもいいだろう。
僕が常々思うのは、人々の目的だ。
つまり「この検索ツールを使う人は、一体なにがしたいんだ」「コンテンツを提供する側は何が目的なのか」ってこと。
もっと状況を限定するために、「ブログ検索」というツールについて考えてみよう。君がクエリを投げてブログを調べようと思うのは一体どういうときなのか。あるいはブログを書こうと思う人たちの動機は？
動機は基本的にneedとwantによって分類されると考えて良い。needの場合、例えば確定申告書の書き方について調べていて、適切な情報を知りたいと言ったケースがそうだ。
wantというのは社会的な本能に結びついている場合もあるし、退屈しのぎということもある。承認欲求は基本的に社会的欲求だし、ハッカーが自分の知見を公開するのはちょっとした挑戦だろう。
リーナスの法則というのを聞いたことがあるだろうか。マズローの欲求解創設と似たようなもので、「生存」「社会」「娯楽」という3つが人の行動原理だとリーナス・トーバルズは言っている。
ブログを書くのが「生存」目的という人はどういう人だろうか。きっとそれ以外に職がなく、必死にアフィリエイトで稼ぎを得ている人だろう。
ブログを書くのが「社会的目的」という人は、すごいことをして認められようとか、専門家とつながりたいと考えているかもしれない。
しかし「娯楽目的」というのはもっと崇高なものに思えてくる。ブログの文章を書くのが単純に「楽しい」といった人たちのことだ。
生存、社会、娯楽という3つの階段によって、コンテンツの質というものが判断できるのではないかと、僕はそういう仮設を持っている。
アフィリエイトで生存的目的の発信をしている人たちのコンテンツは、お世辞にも良いとは言えない。クリックベイトであったり、感情を煽ったり、SEOをクラックしたり、初心者的だったりする。
社会的目的の人たちはもう少しマシで、認められようとして努力をする姿勢がある。でも、「たくさんの人と繋がりたい」という目的の場合はちょっと注意が要る。結局、そういう人は手当たりしだいにアクセスを増やそうとするから、コンテンツの質は下がってしまう。
「文章を書くのが楽しいけど、人に評価されることはどうでもいい」という人たちのコンテンツを探すことは難しいが、こういう人たちのコンテンツは奥深いことが多く、表面をなぞったようなアフィカスブログとは一線を画している。
しかしこれはコンテンツを提供する人の観点である。これらのコンテンツをクロールし、検索できるように整備している「システム」の観点から見ると、どうしても「広告利益」のようなものが重要視されやすい。
Googleであれば、Googleの広告利益に貢献するようなコンテンツを検索結果で優先表示するかもしれない。そしてそれはまさに生存欲求のためのアフィカスを優先しているのと同じことなのだ。
インターネットがつまらなくなったと言う人たちがいる。僕は次の喩えでこれを説明しようと思う。
昔のインターネットというのは、水の上に白いピンポン玉が浮いていた。この白いピンポン玉は良いもので、楽しいものだ。
ところが徐々に黒いピンポン玉を投下する人たちが増えてくる。黒いピンポン玉は悪いものだ。手を使って沈めようとしないと、白いピンポン玉が見つからない。
そして今のインターネットは黒いピンポン玉が一番上に浮かんでいて、白いピンポン玉はその下で見えなくなっている。
白いピンポン玉は純粋な娯楽精神を持ったコンテンツのことで、黒いピンポン玉は「アクセス数を増やしたい」がために鬱陶しいことをしているコンテンツのこと。
つまり、インターネットでは年々白いピンポン玉を見つけるためにエネルギーを使う必要が出てきてしまっていて、疲れているときは必然的に黒いピンポン玉を見るしかなくなっているということだ。
リーナスは「文明は、生存、社会、娯楽という段階に進んでいく」と言っていたが、インターネットは「娯楽、社会、生存」という逆の階段を降りている形になっているように思える。
現段階では、アテンションの総和が一定であるために、ネット人口が飽和し、広告企業の利益は落ち込んでいる。純粋な娯楽ではなく、企業の生き残りをかけた戦争に突入してしまっているのだ。
僕は今のインターネット社会では、意識的に面白いコンテンツを見つけるためにエネルギーをかけることがかなり重要だと思っている。ダラダラとやっていたらアフィカスとバズ目的しか目につかない。
例えば人間が一日に読める文章量なんて限られているから、本当に面白い人を見つけたらRSS購読しておいたほうがいいと思う。
うるさいハエがクソに群がっている。「クソを美味しくないと思うなら、お前がつまらない奴だからだ」と左翼思想家が指摘するかもしれない。
例えば科学分野だと中国の論文数が多くなっているという統計はニュースで報道されていて知っているし、
ここで、なんで優秀な人が出てきたか、疑問が浮かんでくる。
日本だと、教育への金が足りないんだ、という話で止まっているのだが、それだけじゃないだろうと思うわけだ。
中国の教育システムだったり、研究室の仕組みだったり、書籍やWebの解説書の充実度が違うなど、そういうのが知りたいがなかなかない。
半導体関係に関してだと、Cadence, Synopsys, Menterといった設計ソフトの使い方を解説した中国語の書籍がそれなりの数である。
ボード設計だとAltium Designerという高密度で実装出来るソフトがある。
ソフト自体はクラックされたのが出回っていて、使っているのは知っているのだが、どの規模で使われているかはわからない。
他に理系のソフトだと、Mathematica、Matlab、他にシミュレーションソフトは出回っている。
出回っているからこそ、書籍も出るし、Webにも多くの情報が出てくる。
日本や英語圏は、業務縛りでピンポイントで質問し解決出来ない点かと思う。
日本の場合、金がなくて企業・大学でも理系ソフトは買えない、契約出来ない、というのがある。
オープンソースで何でも出来るだろうと思われがちだが、やはり市販品の方が性能が良いソルバーがあるのは事実だ。
もちろんソフトを使って勉強する必要があるが、先に説明した通り、情報がある。
1例を上げてみたが、実際これがどこまで影響があるのかはわからないし、著作権を重視しようという人も多くいる。
かなり細かく具体的に、何が必要かを公開している。網羅し、総取りしようという姿勢がある。
日本はかなりフワッとした内容になりがちだ。経営者目線といえばいいだろうか、インパクトとお金の規模感が重視されている。
こういう所に差が出てきてるのではないだろうか。
あとは政府批判が出来ないのが上手く効いているのではないだろうか。
日本語Webだと政治絡みに多くの人の時間を奪っているし、実際金になる所で手を動かす人が少なくなっているのだろう。
うんこしてトイレから出てきたら、テレビの画面が真っ暗で音しか出てない。
電源を入れ直すと、一瞬だけ画面が映るがすぐ消える。
よく見るとうっすらと画像は見えてる。
バックライトが逝ったらしい。
昼くらいのことだ。
バックライトの一部がいかれると、保護回路が働いて全部とまるみたいだ。
電源の入り切りの繰り返しや、コンセントを抜いての放電頼みもダメみたい。
基盤のはんだ付けのクラックとかもあるらしいから、交換以外で自力で直している人もいるようなのだけれど、このテレビは中村俊輔がワールドカップメンバーに選ばれたときに買ったやつ。
もう16年選手だから、LED かコンデンサが逝ったと考えるのが妥当だろう。
「修理」は気になるところだけれども、ハンダを盛った程度では直らないだろうとは見当がついている。
のんびりやってると、録画をロストする。
14時くらいに嫁が帰宅。
こういうときの嫁は話が早くて助かる。
まあ、いっぱいあって分からんのだわな。
節電要請とかで半分くらいは電源が入っていないのだけれど、大きさ以外に視野角とか発色なんかで値段が違うのは理解した。
今まで 2m くらいの距離で見ていたので、それほどでかいのは要らんというか大き過ぎると困る。
逝かれたのが 32inch なのだけれど、それに近いサイズだと選択肢があまりない。
うろうろしてると店員が寄ってくるわな。
展示の際に点けっぱなしなので、確実に製品寿命を削ってる。冷蔵庫なんかとは違うのだと。
結局、購入したのは FUNAIブランドの有機EL の 48inch。
有機EL の中では安いし、それほど大きな画面の必要性は感じてなかったので、在庫があるなら持ち帰りで、とオーダ。
ひとつだけあったので即決。
テレビは配線の末端だから、それほど苦労はしないだろうと思っていたのだけれど、つないで電源入れて、最初に出てきたのは Google アカウントの入力。
Android TV なのかよ。
これ、iPhone 使いで家に WiFi ありませんとかだと詰むだろう。
古いテレビを販売店に持ち込んで引き取ってもらい、5,000円くらい。
なんか疲れたので晩飯は鍋にしようと、あらためて買い物に行って、帰ってから初めての番組は笑点。
風呂に入って飯を食って、まだ画面の大きさに慣れてないけどベルセルクの録画みてちょっときれいかなとかおもってたりするのが今。
いまどきのテレビって、Android TV が多いんだなあ。
FUNAI が、じゃあないんだ。
この 6年で、二回くらいテレビの設置をやったけど、B-CAS カードを突っ込んでチャンネルのスキャンをしたら終了だったので、想像すらもしてなかったよ。
Google アカウントを持ってなくてもセットアップは続けられたのかもしれないなあ。
OS のサポートって続くんだろうか。Google だからなあ...
YouTube で変なの見てなくて良かった。
履歴が見えちゃうのは気持ち悪いので、あとでアカウントを変えておこう。
前の REGZA が、購入後の数ヶ月で二回くらい修理に出したんだったか。
問題がある機種だったらしいのはあるけれど、最近の AV 系って壊れるのが早すぎるからなあ。
いまどきのって、音声出力に RCAプラグでの L/R ってないのね。
スピーカー使えん。
機種が変わると読めなくなっちゃうのはどうにかして欲しいところ。
無線で画面を飛ばせるくらいできるはず。
たとえば下り勾配で運転手の意図しない形で速度超過したときにどうするかみたいな課題はある（自動制御の設計の甘さが原因でこないだのバス横転みたいにブレーキにクラック走るようでは困る）
問題はなんでそういうのをメーカーの自主規制に任せてんの？って話
リミッター外しを請け負ってる会社まであるんだよ、現状はそれで車検が通るんだよ（ディーラーは受け付けない場合あり）、速度超過で事故起こされた被害者からしたら完全にEvilじゃん
元増田の主張だと速度超過を検出した時に警察が事後的に対応することになるんだろうけど、それじゃ事故自体を防ぐことはできない
最近はクルーズコントロールとかで可変リミッターが実装されてる車も増えてきてる
新車についてはそっちの装着を義務付ければ、一般道は60km/hでETC通ったら120km/hみたいなのも将来的に可能になる
高校生のとき2ストだとか原付で90km/h出したったわとかイキってる奴ら横目に見てた20年前くらいからほんとにずっとずっと思ってるけど、人口減少とかで警察官のなり手不足も深刻になるだろうし、覆面白バイ大量生産して全国の警察が高速を定期的に巡回するとかオービスとか非効率極まりないし、どう考えても金と資源のムダでしょ
