いまさら聞けないNode.js | さくらのナレッジ
こんにちは！小田島です。さくらのナレッジで初めて記事を書きます。よろしくお願いします！ 先日5月13日、Deno 1.0がリリースされました。Denoについては後日記事を書きますが、今回はDenoが生まれるきっかけとなったNode.jsについて、いまさら聞けないことを色々書いていきます。 対象者 本記事は、Node.jsについて以下のような疑問を持っている人が対象です。 Node.jsって何？ Node.jsを使うと何がうれしいの？ Node.jsを使うときに何を注意すればいいの？ なお、本記事はNode.jsのイメージを掴んでもらうのが目的であり、ハンズオンではありません。そのためコードは1行も出てきませんのでご了承ください。 そもそもNode.jsとは？ 超ざっくり説明すると、JavaScriptの実行環境です。 それまではJavaScriptといえばウェブブラウザー上で動かすのが普通
自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み
長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています（経歴）。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリなどのモデル層のバグを従来の自動テストで見つけられないことでした。ただ、いきなりこの話で始めると理解しづらいと思うので簡単な例から出発します。 この記事でいう自動テストとは以下のようにテスト対象を実際に
岩田健太郎医師｢感染爆発を押さえた西浦博先生の『本当の貢献』とは｣【緊急連載①】 ｜BEST TiMES（ベストタイムズ）
京都大学教授で元内閣参与だった藤井聡氏が、感染症対策専門家会議の尾身茂先生と、感染症数理モデルの専門家として情報の発信と政府への助言をしている西浦博先生に対して、批判文と公開質問状をネットで公開しました。内容は以下になります（以下【当該資料】参照）。 【当該資料】2020年5月21日『「新」経世済民新聞』【藤井聡】【正式の回答を要請します】わたしは、西浦・尾身氏らによる「GW空けの緊急事態延長」支持は「大罪」であると考えます。 https://38news.jp/economy/15951 藤井氏の意見と質問状のポイントを整理すると、さらに以下になります。 （１）「4月7日時点」の「8割自粛戦略という判断」そのものは「結果論」では責められない （２）実証的事後検証は「8割自粛戦略は、無意味で不要だった」事を明らかにした （３）8割自粛戦略は、無意味で不要だっただけでなく、単に「有害」だった
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「なろうのタイトル、あれ見て読もうって気になってる人たちあまりにも読解力低下しすぎじゃないかね。タイトルで中身がわかる小説とか読む意味あるのかな。タイトルに秘められた意味、登場人物の掛け合い、伏線をいかに読み解くかがノベルの醍醐味だと思うのだが」
