パスワードを忘れた? アカウント作成

okkyさんのトモダチの日記みんなの日記も見てね。 ログインするとコメント表示数や表示方法をカスタマイズできるのを知っていますか?

14997876 journal
日記

okkyの日記: COMPILER EXPLORER 1

日記 by okky

なんか10回位アドレスを調べなおしているので、もうここに書いておこう。

https://godbolt.org/

このページ、今時のコンパイラがどういうコードを吐くか知りたいときに便利です。
例えばこれ:
https://godbolt.org/z/6q5fhj

from, to を整数で与えると、from .. to の間の数字の話を求めて printf() で出してくれるという、要するに有名なガウスの等差級数の和を求める話を一般化した奴なのだが。

見ての通り、アセンブラ側にループが無い。

今時のコンパイラ、等差級数の和ごときは自動検出して、いきなり公式に当てはめてしまうのだ。

こうなると、何をどう書いた時に「コンパイラがそのアルゴリズムを知らなくて」素直に書かれた通りのコードを出すのか、どう書いた時は
「ふふん、そんなの私はお見通しですよ」
と全然違うコードを出してくるのか、正直判らない。で、コンパイラが見抜けるものについては「わかりやすい」「コンパイラが最適化のためのパターンを見つけやすい」書き方の方が、凝ったアルゴリズムを直接書くよりも良い、と言う事になりかねない。

そしてそういう議論をするときには、
「こういうコードが出ているんだからこう書いた方が良い」
的な内容を皆で共有するには、こういうページを使った方が便利なのだ(少し変更したらどうなるか、とか気になるポイントを各々実験できるから)。

14313712 journal
日記

okkyの日記: コロナ対策をしたらインフルエンザが蔓延しなかった話(備忘録) 1

日記 by okky

https://news.yahoo.co.jp/byline/mamoruichikawa/20200911-00197625/
『【希望?】この冬の南半球で、インフルエンザになる人がビックリするほど少なかったことが判明』

南半球で、コロナ対策を徹底したら、コロナの前にインフルエンザが蔓延しなかった話。

やっぱり我々はばっちい暮らしをしてたんやな…

14160082 journal
日記

okkyの日記: 備忘録

日記 by okky

『もし次の疫病大流行(アウトブレイク)が来たら?私たちの準備はまだ出来ていない』
https://www.ted.com/talks/bill_gates_the_next_outbreak_we_re_not_ready?language=ja

ビル・ゲイツのTED2015でのスピーチ。

『Coronavirus is not the flu. It's worse.』
https://www.youtube.com/watch?v=FVIGhz3uwuQ&feature=youtu.be

コロナウイルスがどう危険なのかをまとめた動画。
これは素晴らしく判りやすい上に、要約されている。

---

『「家から出ないでください」 ジョンソン英首相』
https://www.bbc.com/japanese/video-52013808

このおっさん、こんなに聞き取りやすい英語を話せたんだ…と言う意味でも、簡潔な英語を話しているという意味でも、英語の勉強の参考になる。

『Boris Johnson thanks the NHS and British public on release from hospital』
https://www.youtube.com/watch?v=r7eFcNlqja8

---
『新型コロナウイルス(SARS-CoV-2)と戦う半導体技術(1)』
https://pc.watch.impress.co.jp/docs/column/kaigai/1248879.html
『新型コロナウイルス(SARS-CoV-2)と戦う半導体技術(2)』
https://pc.watch.impress.co.jp/docs/column/kaigai/1248979.html
半導体技術に関する説明記事のはずなのに、非常に分かり易く、今後何が起こるのか(あるいはどうするべきなのか)をマクロレベルで説明している。

実際にはここまできれいなモデルにはできないだろう。アメリカで既に「ロックダウン反対」活動が起こっているので、そいつらが波及するだろうし、鎖国を解けば想定よりもはるかに多くの無症状感染者が日本に入り込むだろうから。それでも何が起こっていて何が起こるのかの数理モデルは理解するべきだし、理解しておくべき。

…なお、これだけ判りやすいのに「前段」だというのが…

で、それだけの「前段」に基づいて、半導体技術が今後どのようにCOVID-19対策に使われるのかについて説明している。創薬の為のDeep Learningの利用とかは既に使われているよね(AMDとNVIDIAのGPUが世界中のスパコン群でゴリゴリぶん回っているらしい)。

『コロナ「突然重症化した人」の驚くべき共通点』
https://toyokeizai.net/articles/-/346423
急に重篤化した人の中には、急に症状が悪化したのではなく「サイレント(無症候性)低酸素症」という酸素欠乏を引き起こしていた、と言う話。息苦しいと感じていないのに、実際は低酸素症をおこしている(肺炎になっている)事があるらしい。

どうやらオキシメーターで血中酸素濃度を定期的に測定してトレンドを追う事で、低酸素症をおこしているかどうかは判るらしい。普通のご家庭でできるのはむしろこれでは…

---
(2020/07/20 追記)
新型コロナウイルスは、いかに感染し、そして重症化するのか? そのメカニズムが研究で明らかになってきた
https://wired.jp/2020/04/19/covid-19-mechanism/
細胞への侵入方法から、特定の組織が別の組織よりも SARS-CoV-2 にとって侵略しやすい理由とかが書いてあって、参考になる。

---
(2020/09/11 追記)
東京都の感染症発生動向情報 週報告分 水位グラフ 過去5年分比較: https://survey.tokyo-eiken.go.jp/epidinfo/weeklychart.do
こういうのがサクサク参照できるようになったのもありがたい限りなのだが、それ以上にすごいのがこの 2020年の推移。

インフルエンザだろうが、手足口病のような感染経路がほぼ全く分かっていなかったものだろうが、ことごとく発生件数が0に近い。

明らかにこれらはすべて「感染症」で、高い確率で大人が子供に感染させてていたのだ、と判るし、今回のコロナのお陰で皆手洗いうがいを徹底したら、感染経路のほとんどが封鎖できたことがわかる。

そして、これだけやってもなお、コロナが感染するぐらいコロナウイルスの感染力は強いのだとわかる。

あぁ、COVID-19が流行る前からコロナウイルスの感染だけ分離できるよう、検査が行われていてデータが集まっていればなぁ…。

14138415 journal
日記

okkyの日記: 偽陽性と偽陰性がどれほど怖いかと言うお話 10

日記 by okky

いや、別に私が何かを言おうというわけではなく。

今、PCR検査を無作為に行うとどれぐらい酷い結果になるか、をとても分かりやすく説明したページがあったので共有。

https://jp.quora.com/%E5%AD%AB%E3%81%95%E3%82%93%E3%81%8CPCR%E6%A4%9C%E6%9F%BB%E3%82%92%E5%A4%A7%E3%80%85%E7%9A%84%E3%81%AB%E3%82%84%E3%82%8B%E3%81%A8%E3%83%84%E3%82%A4%E3%83%BC%E3%83%88%E3%81%97%E3%81%9F%E3%82%89-%E5%A4%9A%E3%81%8F/answers/202847447?ch=10&share=8a826ab4&srid=czveu

ちなみにこれは病気だと特に怖いが、別に病気の検査だけに偽陽性・偽陰性があるわけじゃない。
乱暴な例だとサーバーがダウンしているかどうかの診断だって偽陽性とかあるし、この状態で迂闊に「電源切ってリブートっ」とかやると更新中のDBMSが壊れたり、大騒ぎが起こる。

当然、間違って「故障している」診断が出まくると、サポートがパンクする。コストがとんでもなくかかりまくる。

だから偽陰性を少々高くしてでも偽陽性を落として、検知から漏れたものについて
「ごめんなさいをする偉い人」
を用意するのだ。

14102145 journal
日記

okkyの日記: TimSort 3

日記 by okky

https://en.wikipedia.org/wiki/Timsort

Wikipediaには日本語版が無いので、英語で。

Merge Sort の進化系らしいのです。というか、いくつかの改良戦略を追加したもの。

https://tech.preferred.jp/ja/blog/tim-sort/ "高速な安定ソートアルゴリズム “TimSort” の解説"

が詳しい。
--
見ると判るけれど、要素数が小さい場合のテクニックとか、「すでにソートされている」(あるいは逆順にソートされている)場合の対応とかが満載。

これらを繋ぎ合わせるとなると、確かに Quick Sort のように全体を分割していく戦略よりも、部分的にソートされているものを merge していく Merge Sort の方がやりやすいのではないか、と思う。

これは良いものをしった。

13999006 journal
日記

okkyの日記: 台風15号による被害、軽微 2

日記 by okky

とりあえず生きているぞ連絡として。

いやー、15号の進路が鎌倉で上陸、武蔵小杉を通る、と言う予報だったときは
『こ…これはシン・ゴジラ??! あの辺の高層マンション、倒されるのか?!』
と思ったのだが、実際には東京湾を縦断してTDLへ直接遊びに行ってくれたので、こちらの被害はほとんどなかった。

ベランダが落ち葉だらけになったのを掃除するのが面倒だなぁ…

13556890 journal
日記

okkyの日記: ルビーやサファイヤをペン先に使った万年筆 6

日記 by okky

秋田研磨工業 http://www.yutopia.or.jp/~kenma/ というところが、ペン先に人工ルビーや人工サファイヤ(まぁ、同じものですけどね。色は違うけど)を使った万年筆を出しているそうだ。知らなかった…

値段がすさまじいのでちょっと「欲しい、よし買おう」とはできないけれど、これは綺麗だし、使ってみたいなぁ…

http://www.kahoku.co.jp/tohokunews/201712/20171209_42047.html

13518927 journal
日記

okkyの日記: 22年ぶりにスキー

日記 by okky

1月21日の週はこの冬一番ともいわれる寒波が襲来したわけですが。

「それは絶好のスキー日和になるってことだぜ」

と言うわけで、1月27日28日の土日にスキーに行ってきました。実に22年ぶりなので無理な(普通の)スキー場ではなく、「地元の人が主にやってくる、初心者向けの」スキー場へ。
具体的には小野川温泉スキー場
面は1つ、降りてくるのに必要な時間は1分。リフトで登るのに3分。一周4分というスーパー小型な地元密着型スキー場。

なぜここにしたのかというと、スキー場から歩いて5分の場所にある温泉。
小野川温泉
当初の予定では
「朝7時ぐらいに起きて、土曜日の午後いちで到着して、2~3時間滑って、あとはひたすら温泉で回復」
月曜日に調べたらなんと予約のキャンセルがあったらしく、部屋が空いてる。よっしゃー!

 

さて、では実際はと言うと…

・起きたら朝10時だった
いきなり寝坊ですよ。流石ですね(何が?)

・運行状況を調べると「山形新幹線だけ」次々と発生する運休。
結果として、早起きしても想定していた新幹線は運休でした。ラッキーですね(何がよ)

・米沢は雪。
周りが真っ白すぎて、ポケモンGOの画面が無いと道路が判らない。まぁ、運転してくださったのはタクシーなので、私は全然苦労はしなかったんですけどね。

・結局現地に着いたら、「スキー場クローズまであと30分」。
歩いて5分なので見には行きましたが、土曜日はそれで終わり。

と言うわけで土曜日は全く滑っておりません。

・日曜日は打って変わって好天。なので朝10時から午後2時まで滑りました。

…嘘です。朝10時半ぐらいからスタートして、嫁さんは2時まで滑っていましたが、私は11時半で一度休み、12時から滑って1時にまた休み。1時半に滑って2時にはダウン。結局2時間強しか滑れていません…

さらに言うと。スタートしてから1時間45分は、勘を取り戻すのに費やしました。
しかし、スタートしてから2時間後にはHPが0になってました。
HPが0になると同時に板を制御できなくなり、ものすごい勢いで転ぶように(それまでは転ぶことは全くなかったのに)。

さらに転んだあと立ち上がるのが困難に(力が入らない…)

と言うわけで、午後2時ぐらいに滑り終わって、駅前で昼ご飯を食べて帰ってきました。想定していた『温泉を使ってのHP回復』は全くできず、未だに筋肉痛が残っている有様です…

今週金曜日も日本海側は大雪で、同僚はみな
「スキーだー \(^o^)/」
と言っていたのですが、私はもうそれどころではございません orz

13495201 journal
日記

okkyの日記: あけましておめでとうございます。

日記 by okky

遅くなりましたが、今年もよろしくお願いいたします。

とうとう、手持ちのマシンではモナー神社が動かなくなるぐらいにはFlash非対応環境になってしまいました。

typodupeerror

ナニゲにアレゲなのは、ナニゲなアレゲ -- アレゲ研究家

読み込み中...