ADMIS_Walker の雑記帳: 2月 2020

2020年2月29日

書いた、どのくらいの頻度でEINTRされるのかはまだ追ってない。 #golangjp https://t.co/PhlUtPZahq
— kadota (@plan9user) February 29, 2020

素晴らしいまとめ。おまけ部分、ファイルの場合は defer f.Close() しつつ、f.Sync() で fsync(2) のエラー処理をするようにしてますね。fsync 成功したら、close(2) の失敗は気にしない。 https://t.co/O6DMhjzebS
— ymmt (@ymmt2005) February 29, 2020

資源開放処理は決して失敗してはいけないってのはAPI設計の大原則なので(理由は「Exceptional C++」 https://t.co/j5CsQvpPEp 等C++のデストラクタに関して詳しく説明してる文書などには載ってる)、「fsyncでエラー処理してcloseのエラーは気にしない(ログはOK)」って方針が確かにベストだと思う。 https://t.co/tYft3jiKLO
— SODA Noriyuki (@n_soda) February 29, 2020

Linuxカーネル界隈の議論でもこれがベストプラクティスということで議論が決着しております。 https://t.co/KYI3RAdz9O
— 令和うまれの恐竜 (@gachacomplete) February 29, 2020

2020年2月27日

https://t.co/irYr2EV43b
不要データ削除による精度向上の研究。一度学習させるだけで、学習データをあるデータを１つ除いた場合のパラメータ差分を近似的に計算する手法を提案。それを利用し、あるデータを除いてロスが下がれば不要なデータと判断する。確かに不要と判断されたデータは？なものが多い pic.twitter.com/IDJRTplSNO
— akira (@AkiraTOSEI) February 26, 2020

日本、修士だけでなく学部卒のスペックも高い。卒論書くために「研究」するのって、凄いことです。むしろオーバースペックです。米国なら、修士でもコースワークだけですよ。 https://t.co/dld0Bet7hv
— はかせ Mk-II (@hshimodaira) February 26, 2020

2020年2月25日

リストラされる中年層を見て若手は「あれは未来の自分」と思うだろうし、成果主義になれば後輩への指導は自分の敵を育てるのと同じ。目先の人件費惜しさに採用を絞った氷河期と同じ副作用がまた来るぞ。

希望退職で「やる気なし若手」を量産する素人トップの罪 https://t.co/XQvnlckg2W
— ncc1701 (@ncc170116) February 25, 2020

ばりふさんが言ってた「公募は出すのが支配戦略」がとても印象に残ってしまったせいで、応募資格がある奨学金には全部応募することにしている
— きばん (@kivantium) May 19, 2019

2020年2月24日

成功する人 VS 失敗する人
よくまとまってる pic.twitter.com/4oU5Uubh57
— Masa Tadokoro / 田所雅之 (@TadokoroMasa) February 24, 2020

2020年2月23日

複雑に絡まりあったソースコードを改修するのは大変の図 pic.twitter.com/c4zM45zFMs
— あつかん@Vue.js (@atukan0930) February 23, 2020

学会の品質を保つためには査読の品質を保たないといけなくて、査読の品質を保つには査読者のモティベーションを維持しないといけないと思うのです。

要は何が言いたいかというと

「author response しなかった人は翌年投稿禁止にして欲しい」

Thank you ぐらい言っても損はないだろうに。
— 賀沢秀人 (@hidetokazawa) February 23, 2020

別にrebuttalしないならそれでいいけど，指摘された点を修正なり反論なりしないで他の会議に回すのは本当にやめてほしい（結果的に似たような査読者に当たり真に時間の無駄）．複数の会議で連携取って著者banしてもいいと思う
— Yusuke Oda (@odashi_t) February 23, 2020

前回査読者に提案された改善案をしれっと「propose」してくるのもどうにかならないか（アイデアの出自をもっと明確に書く方法はないか）
— Yusuke Oda (@odashi_t) February 23, 2020

査読でたまに「このタイトルでは内容が分からないから直せ」とコメントすることがあるけど，他の会議に回って大抵直らないまま公開される．それで適切な文脈で引用されてなかったりすると「ざまぁ」という気持ちになる
— Yusuke Oda (@odashi_t) February 23, 2020

2020年2月22日

巨大な有限は、小さな有限からも近づけないし無限からも回ってこれない、というのは僕も印象的だった🙂 https://t.co/9L68l3JlKJ
— さのたけと (@taketo1024) February 22, 2020

重労働＝高給取りでは無い。

褒められたことではないが
勤務中にツイッターをしても
私の去年給与収入は930万円程。

Excelも満足に使えない上司も
年千万円を優に超えている。

あなたが低賃金なのは
あなたのせいではない。
就職する会社で全て決まる。

キツい仕事ほど低賃金。
これが現実だ。
— Ｖ.Ｐ.Ｓ＿2018 (@vps_2018) February 21, 2020

これ若いエンジニアに何回も言ってるわ
技術ではないです。上の会社に入れ
それだけ
— ぽんたちゃん＃ソロ充最高＼(^o^)／ (@pontacyan7777) February 21, 2020

メモ
22時超えて食事すると睡眠の質が低下する。
— t-tkd3a (@t_tkd3a) February 22, 2020

メモ
睡眠の質が低下した日が続くと、ダルさ、肩や腰の痛み、に出る人もいる
— t-tkd3a (@t_tkd3a) February 22, 2020

メモ
若いうちは、週中での疲れを週末の寝溜めで解消出来ても、年々その手の無理は出来なくなる。
日々の睡眠の質は大事。
— t-tkd3a (@t_tkd3a) February 22, 2020

メモ
体温が暖かい状態で布団に入るのがいい、体温が高い状態から低くなってゆく過程は熟睡となりやすい。
風呂後に冷めないうちか、カフェインレスの暖かい飲み物を飲んでおくのが良い。
— t-tkd3a (@t_tkd3a) February 22, 2020

死語ビッグデータよりもっと大事なリッチデータ (記録できる次元や変数の爆発)。リッチデータの調理には高次元統計の出番だが、最近出たばかりのこの本は正確厳密で網羅的なのにアホみたいに読みやすくすでに聖書感。日本人では加藤賢悟・市村英彦両氏の研究が引用 https://t.co/4SZapmp5lO
— 成田悠輔 (@narita_yusuke) February 22, 2020

「生物情報は文字列マッチングだけで2単位分の授業がある」と理情出身の学生に言ったら驚かれたが、
・Suffix Array、SA-IS、BWT
・NW法、SW法、アフィンギャップ、スコア行列
・seed-and-extension、seedの設計方法
・pair HMM、profile HMM
・Multiple Alignment
とか教えてたら2単位分は普通にいく
— 福永　津嵩 (@fukunagaTsu) February 21, 2020

2020年2月21日

日本人最初のフィールズ賞受賞者の小平さんのエッセイ集。一行目から印象的 pic.twitter.com/EdQJ5JR26H
— ひさ (@hisagrmf) February 21, 2020

2020年2月19日

月末に退職すると社会保険料が2倍になって損するって本当？　「退職日と社会保険料徴収のルール」を知っておこう https://t.co/wQmjGVqxC1 @manetatsuさんから
これ
— ひさ (@hisagrmf) February 19, 2020

2020年2月16日

メモ

" vector<bool> vUsed(N, false);
　vector<uint64> vCost(N, INT64_MAX);

　int minIdx=-1;
　for(uint i=0; i<N; ++i){
　 if(vUsed[i]==-1 || vCost[minIdx]<vCost[i]){ minIdx=i; }
　} "
を
"　minIdx = min(vCost && !vUsed); "
と書きたいわけですよ．
— あどみすヾ(๑╹◡╹)ﾉ" (@ADMIS_Walker) February 16, 2020

普通に頑張って演算子をオーバーロードすればできるけど，たぶん遅くなる．
— あどみすヾ(๑╹◡╹)ﾉ" (@ADMIS_Walker) February 16, 2020

関数にするならこうか．
vCost_f = passFalse(vCost, vUsed);
vCost = min(vCost_f);

うーん．．．
— あどみすヾ(๑╹◡╹)ﾉ" (@ADMIS_Walker) February 16, 2020

いずれにしても，メモリはじゃぶじゃぶに使う．
— あどみすヾ(๑╹◡╹)ﾉ" (@ADMIS_Walker) February 16, 2020

元々ストレス耐性が高いわけではないのですが、ストレスを感じた時は意識的に多めに睡眠を取るようにしてからストレス耐性が圧倒的に上がった気がします。酒や飯のストレス解消効果を否定するものではないのですが、肉体への負担は別のストレスを呼ぶので、睡眠に勝るストレス解消はないかなと。
— ノースライム (@noooooooorth) February 15, 2020

日本が初期対応に失敗したために、感染拡大してるという諸外国からの批判は他の先進国にがんがん広がっていく中で、自然と弱まっていきますので、気にしなくて大丈夫です。呼吸器系感染症は最終的に罹患か予防接種で社会の大多数が免疫を獲得するまで拡大するもので、これを止めることは困難です。
— たいしょう (@taisho__) February 14, 2020

じゃあなんで今こんな大騒ぎしてるんだと言われたら、発症者の発生を極力抑制し、これに従って重症者の数をコントロールするために対応してると答えます。ただ、ピークが低くなると流行期間は長引きますよ。最終的に大多数が免疫獲得するまで続くものなので。
— たいしょう (@taisho__) February 14, 2020

国内の流行の第一波は春ぐらいにピークかなと予測されてます。早ければ三月後半あたりですかね。麻疹みたいに感染したら確実に発症する病気ではなさそうなので、感染拡大の制御はなかなか難しいです。症状ない人からもウイルスは排出されるから。
— たいしょう (@taisho__) February 14, 2020

欧米の大騒ぎは、黄色人種差別とつながる根深い話で、これで差別が正当化できると喜んでいる姿が目に浮かぶ感じです。日本でも先々週ぐらいにたくさん見かけました。中国人と日本人は十把一絡げで排斥を受けるようになってますが、今どんなお気持ちですか？殴られないとわからないものなんですけどね。
— たいしょう (@taisho__) February 14, 2020

感染症の病原性に対する評価は今のところ変わりません。重症者は救命困難な事例が多そう、過去の事例から考えて免疫疾患、COPDなどの持病持つ方々、妊婦、高齢者は高リスク。熱だしてなくてもうつるけど、熱だしてたら確実にうつるので、外出はしてはいかんというところでしょうか。
— たいしょう (@taisho__) February 14, 2020

各社の対応もやってるところに注目が当たるのであって、大多数は大したことしてない。中国への渡航抑制の呼びかけには、中国国内で移動制限されるリスクを勘案してくれと書いてありましたよね。あれは感染症そのもののリスクというよりは役所が無茶をするリスクへの対応と理解しております。
— たいしょう (@taisho__) February 14, 2020

検査を気軽に受けられる態勢の整備は根本的にリスクの低減につながりません。今回の某システム大手の話だって、協力会社の社員だから休めなかったという話がコアにある。体調不良の社員無理矢理出勤させると大きなリスク抱え込むのが今の状況です。リスクの低減は人と人の接触機会抑制が第一選択。
— たいしょう (@taisho__) February 14, 2020

イベントの中止も相次いでますが、これらの社会的コストを払ってまで対応しなければならない時期は徐々に遠ざかり、まあ、またコロナだねーと自然に受け入れられる時期が徐々に近づいています。おひとり暮らしのかたがたは、事前に療養に専念できる環境作っておかないと大変ですよ。
— たいしょう (@taisho__) February 14, 2020

中国の工場が止まってるので、うちのウォシュレットも修理ができません。こんな感じで少しずつ不便が増えるかもしれませんが、あと数ヶ月の辛抱ですむといいなと思いつつ、今朝の雑感でした。
— たいしょう (@taisho__) February 14, 2020

結核は免疫獲得しても完治しませんし、

SARSは免疫獲得しても重症化しないだけで伝染すしなので

免疫で感染拡大を防げるかは病原体の感染力と獲得する免疫によります。
— いと@変態右ウイング (@komyusyo_hunter) February 15, 2020

あーそれはご指摘の通り。ただ、呼吸器系感染症の拡大防止の第一選択は感受性対策であって殺菌ではないと言いたかったのです。
— たいしょう (@taisho__) February 16, 2020

2020年2月15日

どうしても発表論文数を増やしたかったときの話。 pic.twitter.com/61IwWfJGN2
— 森野キートス (@ki1tos) April 20, 2019

GitLab社の会社の組織運営プロセスが全部詰まったHandbookが実はオープンソース的に公開されているんですが、その中身がまじですごすぎたので、見所をブログに紹介しました！

スケールする組織を支えるドキュメンテーションの技術を”GitLab Handbook”から学ぶ #note https://t.co/ory1wvm5SJ
— takahiro / MNTSQ (@takahiroanno) February 14, 2020

2020年2月14日

深層学習を使わない？人からすると、「モデルに何かつけ加えると性能上がって当然でしょ」という印象がありそうな観測をしたけれど、BERTとかTransformerとかの挙動にみられる「いらんことすると神の怒りに触れ性能下がる」という知見もっと広まってほしい。
— Yuki Arase (荒瀬由紀) (@Yuki_arase) February 14, 2020

「お主はTransformerの意志に背いた．裁きを受けよ」
「We regret to inform you that we could not accept your paper.」
「グワーッ！」
— Yusuke Oda (@odashi_t) February 14, 2020

知らんけど，AtCoderで青なら一般的な観点でそれなりに強者という認識．うちのコーディングで必要なレベルがそれくらいな気がする．知らんけど（大事なことなので2回言いました）．
— Yusuke Oda (@odashi_t) February 14, 2020

「具体的な書き方は分からんけど，このタイプの設定なら多分これくらいの計算量」という大雑把な見積もりができればそれでよい（あとは調べればよい）．ある程度訓練が必要なのは間違いない（ので競プロやっといて損は特にない）
— Yusuke Oda (@odashi_t) February 14, 2020

数値計算屋って、たぶん一生に一度は古典4段4次のRK公式の証明をしなきゃいけないんだと思うんだけど、ずっとこれまでサボってた。いま、早川さん(@hhayakawa)のノート見ながら、二段二次の証明までやった。老眼が始まった目にはわりと厳しい。https://t.co/aZF5x88Now
— ロボ太 (@kaityo256) December 4, 2018

去年の春か夏頃にラボによくいて頑張って研究してた学部生がCMUなどに受かってて「すげー」と思ったんだけど、なんかゲームの内容をよく理解してるんだよね。「優秀なやつが採られる」程度じゃなくて「何を持っていると優秀だと認識されるか」を丁寧に把握し、推薦状を3枚集めるゲームをクリアしてた
— ふくさんのグッドフクサニティ賞 (@fukusanity) February 13, 2020

2020年2月13日

昨日出たばかりの論文
19人は寝る前30分スマホ禁止、他の19人は制限なしで1ヶ月過ごしてもらっとたところ、スマホ禁止した方は有意に寝つきが早くなり睡眠の質が高くなりポジティブになりワーキングメモリ課題のスコアが上がった
結構明確に差が出ててびっくりhttps://t.co/YW6Ju9CNHB
— deriba (@deriba9) February 11, 2020

2020年2月12日

ssh した先で tmux のセッションが残ってたら開いて無かったら作るみたいなの

ssh -host "tmux -u a -t mattn || tmux -u new-session -s mattn"

って書いてたんだけど知らないうちに -A というフラグが出来てた。

ssh host exec tmux new -A -s mattn

tmuxｻｲｺｰじゃん
— mattn (@mattn_jp) February 12, 2020

2020年2月8日

. @nimdanaoto
さんの「準同型暗号によるバーチャルセキュアプラットフォームの開発」がはじまります #kernelvm
— Fadis (@fadis_) February 8, 2020

プログラムを暗号化した状態で送って、暗号化したまま実行(!)して、暗号化した結果を返したい、と #kernelvm
— Fadis (@fadis_) February 8, 2020

CPUの処理は論理ゲートで
表現できる→準同型暗号を使うと、暗号化された値に対して論理演算を行い復号した値と平文に論理演算を行った値が一致する
これを利用して暗号化されたデータを暗号化したまま処理したい #kernelvm
— Fadis (@fadis_) February 8, 2020

CAHPv3と呼ばれる命令セットを作り、LLVMがこの命令セットを吐けるようにした → この命令列を準同型暗号で暗号化したまま実行するVM Iyokan → 実行時に鍵がいらないが結果を復号には鍵がいる#kernelvm
— Fadis (@fadis_) February 8, 2020

ゲートは全て準同型暗号で演算する必要がある→ VMのROMやRAMも → 大規模にするのが難しい為現状VM上では512バイトしかRAMがつかえない #kernelvm
— Fadis (@fadis_) February 8, 2020

プロセッサのISAを準同型暗号で暗号化されたコードを食べるように変換すれば暗号化されたコードを実行できるが、ゲートが増えるとどんどん時間がかかるようになる為、いかに少ないゲート数でプロセッサを作るかがキモになる、と #kernelvm
— Fadis (@fadis_) February 8, 2020

VM上で使えるメモリが厳しい為メモリに置かれるプログラムも小さくないと困る → RISC-Vの命令セットをベースに小さくなるISAを考える → オペランドを沢山使う命令はRISC-Vで32bit命令になる → 24bitに圧縮だ! #kernelvm
— Fadis (@fadis_) February 8, 2020

LLVMバックエンドの書き方はドキュメントがあまり整っていなくて辛いが、RISC-Vのバックエンドは比較的最近書かれた為綺麗で参考になる、と #kernelvm
— Fadis (@fadis_) February 8, 2020

RAMには暗号化された値を置くんだから普通のRAM使ったら? → アドレスが暗号化されているためRAMも含めて準同型演算の対象にしておかないと以前と同じアドレスからデータを取れない #kernelvm
— Fadis (@fadis_) February 8, 2020

2020年2月6日

京都大学数理解析学研究所の一般向け数学入門公開講座の講義ノートが公開されているhttps://t.co/ILAMqe720k
"入門"と付いていても大学までで習う数学とは一線を画すレベルの内容だが，最先端の数学に少しでも近づけるような工夫を凝らしたノートになっている
ABC予想の件で有名な望月教授の講義も pic.twitter.com/aNUKVrfOhG
— えるエル (@learn_learning3) February 6, 2020

2020年2月3日

Dの者に博士来たモチベーション聞いたら仕事が退屈だったという回答を得た
— 😢🔰神🔰😢 (@AllisTheWill) February 3, 2020

2020年2月2日

「極論言うと勉強できてもね、研究というアウトプット・成果がないと意味が無いからね」と教授から伝えられた
— ogiwara (@designpatterngf) February 2, 2020

2020年2月1日

pic.twitter.com/RbjQLEFRTU
— 第3の男の神話の終わり (@nil_and_lin) February 1, 2020

聞き返す時に「Pardon?」はほぼ使いません。(１年以上留学してますが、今だに聞いた事がないです。)

1番よく聞くし、使うのは、
「Sorry?」

丁寧に聞き返したい時は、
「YOU SHOULD TALK MORE SLOWLY TO NON-NATIVE SPEAKER！！！！！」
— Hideyuki Tanaka (@tanakh) January 31, 2020

pic.twitter.com/o0lQBJKpWt
— ひよこ大佐🐣@技術書典Day2う14 (@hiyoko_taisa) January 31, 2020

登録: 投稿 (Atom)