George @Love_yellowhat 動画よりも文章の方がはるかに早く理解できるし効率がよいと考えるタイプの人にとって、動画による説明しかないコンテンツはめちゃくちゃ苦痛 2021-09-28 20:20:43
【長文です】 1995年3月20日に起こった地下鉄サリン事件…オウム真理教が起こした未曾有のテロでした。お亡くなりになった方々のご冥福をお祈りすると共に、今もなお、PTSDなどの後遺症で苦しむ方々の症状が少しでも改善しますようお祈り申し上げます。...
知人の家で料理をしていたところ「最近、鉄のフライパンで卵を焼くとくっつんだよね」という話が。ちょっと見せてもらいましょう。 こ、これは良くない状態です。このフライパンで調理をすれば焦げ付く事態が想像できます。その理由は表面に焦げなどの汚れが付着しているから。 そもそもなぜフライパンに食材がくっつくのか、を復習しておきましょう。フライパンの表面を顕微鏡でのぞくと、目に見えないヒビや突起があります。このでこぼこがフライパンに食材がこびりつく物理的な原因です。 タンパク質を加熱するとお互いに反応しあって、網状組織をつくるわけですが、この時、鍋の金属イオンとも反応します。例えば熱くしたフライパンに卵液を注ぐと、凝固したタンパク質がこの凸凹にしがみつきます。つまり「くっついてしまう」のです。 一般的な解決策は油を注ぐことです。油は温度が高いほど流動性が高くなり、隙間を埋めることができるので、注ぐ前に
OOMKillerの殺意 顧客EC2のTomcatがアクセスの無い早朝にもかかわらずOOMKillerに突然殺されてしまったので、調査した顛末をたぶん同じような問題に直面されている方もおられるかと思いますので備忘録として記載します。 Javaヒープのチューニングにも多少役立つかと思います。 (この記事はJava8が対象となります。) OOMKillerとはOut of Memory時に、サーバ全体を守るためにメモリーを消費しているプロセスを停止するLinuxの標準機能です。 そのOOMKillerになんとTomcatが突然殺害されてしまいました。 問答無用の辻斬り状態です。 早朝ですのでアクセスログには何も記録されておらず、catalina.outには OpenJDK 64-Bit Server VM warning: Setting LargePageSizeInBytes has no
政府は17日の閣議で、東京五輪の観戦チケットに「首相枠」や「首相官邸枠」、「議員枠」があるかを尋ねる質問主意書に対し「答えることは困難」とする答弁書を決定した。理由については「『首相枠、官邸枠および議員枠』の意味するところが明らかではない」とした。 立憲民主党の田島麻衣子参院議員の質問主意書に答えた。田島氏は観戦チケットについて「…
by skeeze 蚊は刺されるとかゆみが出てうっとうしいだけではなく、デング熱・ジカ熱・マラリアといった伝染病を媒介することでも人々を悩ませています。そんな伝染病を媒介する蚊を撲滅するため、遺伝子を操作して生まれた子孫が死ぬようにした蚊を野生に放ち、蚊の個体数を減少させる実験がブラジルで行われていましたが、残念ながら実験は失敗したと報告されました。 Transgenic Aedes aegypti Mosquitoes Transfer Genes into a Natural Population | Scientific Reports https://www.nature.com/articles/s41598-019-49660-6 GM experiment may have strengthened wild mosquitoes https://newatlas.com/s
あんまりプライベートなこととか政治的な意見は公に書きたくないんだけど、 id:gomi-box から待機児童ゼロチャレンジバトン(#taikijidou0challenge)なるものが回ってきたので書きます。 gomi-box.hatenablog.com 時間が無い人のためのまとめ タイトルはちょっと飛躍してますが本質は結局はそういうことなんじゃないのかなーと思う。 最初にまとめておくとこの記事にはこういう話が書いてある: 待機児童を減らすことはあくまで手段で、目的は日本の人口を増やすことだよ 日本の人口を増やそうと思うと3人は産まないとだめだよ 働きたいから保育園に預けるってのはワガママだよ でも今の世論や政策のようにワガママを聞いてもらえない状況だと、みんな子供は多くても1人で産むの止めちゃうよ 日本政府がやるべきことは国民個人がワガママ=自己利益の最大化に走ろうとした時に日本の人口
TL;DR 平成から令和への時代の変遷とともにNTTComを退職し、スペシャリスト社員としてNTTComに入社し、新たな人生を歩みます。 仕事としてはSDNのテックリードとしてNTTComのクラウドのSDN基盤のStabilityとScalabilityの向上に引き続きチャレンジしていきます。 一階級飛び級して課長相当のロールの仕事をして、終身雇用と年功序列と労働組合の轍から外れる人生を歩むことになります。お給料もあがります。 これからは、短期的にはテックリード→アーキテクト/エンジニアリングマネージャー→CTOのような感じで、NTTComの中でのエンジニアのキャリアアップのロールモデルとして活躍し、道を切り開いていきたいと思います。 長期的にはNTTComに限らず、ネットワークのおもしろい案件を渡り歩いて請け負っていく、エンジニアやエンジニアリングマネージャーとして生きていこうかなと思い
今回は「探求メモ」の特別版といった位置づけで、長めの記事を投稿します。2017年に出た神経科学についてのちょっと面白い論文を読み、友人と議論しながらあれこれ考えて書いたものです。昆虫の神経科学と合成生物学を研究している、鈴木力憲(@Mujinaclass)氏との共著です。この文章は、鈴木氏の研究ブログにも同時掲載されています。(同ブログには、研究者として本稿を書いた意図をまとめた「序文」がありますので、このテーマのご専門の方はまずそちらをご覧ください。) どうすれば脳を「理解」できるのか:「コンピュータチップの神経科学」から考える 文章:丸山隆一(@rmaruy)・鈴木力憲(@Mujinaclass) 近年、神経科学の進歩がすさまじい。さまざまな技術革新によって、脳に関して得られるデータは飛躍的に増えた。「記憶を書き換える」「全脳をシミュレーションする」といった華々しい研究の数々は、神経科
システム系のトップ学会の一つである、OSDI (USENIX Symposium on Operating Systems Design and Implementation)の論文を2010年まで一通り眺めてみたので、その中で個人的に面白かった物をまとめてみる。 一通り眺めたといっても、全て読んだわけではないので、見逃してる論文もたぶんある。あと、英語力低くて趣旨を取り違えてる論文もあると思うけど、寛大な心で見逃してもらえると有り難いです。 (こういう系の話、少し間違えると「おめーここ間違ってるじゃねーか!」ってマサカリが飛んでくる印象があって、あんまり書きたくないんですよね) 2018 LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation https://www.usenix.org/co
AWSにおける形式手法の記事(https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf)を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能である アマゾンでは10の現実のシステムに適用して、すべてで効果が得られた。難解なバグの発見したり、正当性を犠牲にすることなく確信を持って最適化を施せた 7つのチームでTLA+を使用。エンジニアは2−3週間で学習することができる 以下は、読んでいる途中で書きだした要点。 AWSでは2011年以降形式仕様とモデル検査を使用している 複雑な分散システムを検証するにあたって、従来の手法 ― 設計レビュー、コードレビュー、静的解析、ストレス
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く