![Redux入門【ダイジェスト版】10分で理解するReduxの基礎 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/b177fb683f5185eaa1d3069752c1982930347c61/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9UmVkdXglRTUlODUlQTUlRTklOTYlODAlRTMlODAlOTAlRTMlODMlODAlRTMlODIlQTQlRTMlODIlQjglRTMlODIlQTclRTMlODIlQjklRTMlODMlODglRTclODklODglRTMlODAlOTExMCVFNSU4OCU4NiVFMyU4MSVBNyVFNyU5MCU4NiVFOCVBNyVBMyVFMyU4MSU5OSVFMyU4MiU4QlJlZHV4JUUzJTgxJUFFJUU1JTlGJUJBJUU3JUE0JThFJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmcz02NjUzOTU5ODAwYmEyMDdhMDNmYmJhMGQ5ZjUzMWI1ZA%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBraXRhZ2F3YW1hYyZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9MjNlNjM5MTMwNzliNmEyM2QxMDE2YmVkNTA3OTk0Yzk%26blend-x%3D142%26blend-y%3D436%26blend-mode%3Dnormal%26txt64%3DaW4gVG9yZXRhLCBJbmMu%26txt-width%3D770%26txt-clip%3Dend%252Cellipsis%26txt-color%3D%2523212121%26txt-font%3DHiragino%2520Sans%2520W6%26txt-size%3D36%26txt-x%3D156%26txt-y%3D536%26s%3D19ecccc1f95b60fed992f909b349dd17)
長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています(経歴)。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリなどのモデル層のバグを従来の自動テストで見つけられないことでした。ただ、いきなりこの話で始めると理解しづらいと思うので簡単な例から出発します。 この記事でいう自動テストとは以下のようにテスト対象を実際に
たとえば次のような「user.proto」というプロトコル定義ファイルを用意し、これを変換する例を見てみよう。 syntax = "proto3"; message Picture { uint32 id = 1; uint32 width = 2; uint32 height = 3; enum PictureType { PNG = 0; JPEG = 1; GIF = 2; } PictureType type = 4; } message User { uint32 id = 1; string nickname = 2; string mail_address = 3; enum UserType { NORMAL = 0; ADMINISTRATOR = 1; GUEST = 2; DISABLED = 3; } UserType user_type = 4; repeated
電子証明書の暗号化やブロックチェーンは、入力された値からまったく異なる値であるハッシュ値を算出する「ハッシュ関数」によって成り立っています。エンジニアのGreg Walker氏が、代表的なハッシュ関数である「SHA-256」のハッシュ値算出の過程をアニメーションで表示できるプログラム「SHA-256 Animation」を公開しています。 GitHub - in3rsha/sha256-animation: Animation of the SHA-256 hash function in your terminal. https://github.com/in3rsha/sha256-animation 実際にプログラムを動かしてみたムービーが以下のものです。 ハッシュ値が生成される様子を「SHA-256 Animation」で観察するとこんな感じ - YouTube プログラムを動かす
リンク SankeiBiz コロナ封じ総動員 治療薬・ワクチン急ぐ 首相インタビュー 安倍晋三首相は7日の産経新聞のインタビューで、新型コロナウイルスを克服するために、既成薬の活用やワクチン開発など、あらゆる方策を総動員して迅速に取り組む考えを示… 1 user 11 Chieko Nagayama @RibbonChieko 安倍総理 既成薬活用やワクチン開発 “日本&世界中の企業、研究者の英知を結集し一刻も早く患者に届くよう努めたい” ①アビガン→今月中の薬事承認を目指す (備蓄200万人分へ) ②抗原検査はもなく実用化。15分で陽性か陰性か出る ③次亜塩素酸水の噴霧活用の実用化も検討中 sankei.com/politics/news/… 2020-05-08 00:06:40
新型コロナウイルス感染拡大への日本政府の対応の酷さに多くの批判が集まっていますが、複数の著名人らがそうした批判を封じ込めようとする発言を行っています。 ですが、戦後最大の国難であることを理由に「こんな時に批判するな」「今は一致団結するとき」といった言説は完全に間違いで百害あって一利なしです。どういうことか説明してみましょう。 ◆著名人らから政府への批判を封じ込める発言が続々 新型コロナウイルスが日本国内での蔓延が押さえきれなくなり、緊急事態宣言の発令された4月8日、有名コピーライターの糸井重里氏が以下のツイートを行いました。 わかったことがある。 新型コロナウイルスのことばかり聞いているのがつらいのではなかった。 ずっと、誰かが誰かを責め立てている。これを感じるのがつらいのだ。 — 糸井 重里 (@itoi_shigesato) April 9, 2020 責めるな。じぶんのことをしろ。
安倍首相はルイ16世というよりチャウシェスク大統領に例えた方が良いと思う。森友問題に代表されるように、夫婦で国家を私物化し国有財産を食い物にしているし、困窮する自国民に対する冷酷極まりない態度も瓜二つ。
未解明だった数学の超難問「ABC予想」を証明したとする望月新一・京都大数理解析研究所教授(51)の論文が、同所が編集する数学専門誌に掲載されることが決まった。3日、京大が発表した。ABC予想は、素因数分解と足し算・かけ算との関係性を示す命題のこと。4編計646ページからなる論文は、斬新さと難解さから査読(論文の内容チェック)に8年かかったが、その正しさが認められることになった。有名な数学の難問「フェルマーの最終定理」(1995年解決)や「ポアンカレ予想」(2006年解決)の証明などと並ぶ快挙となる。【阿部周一、松本光樹】 望月教授は2012年8月、構想から10年以上かけた「宇宙際タイヒミューラー(IUT)理論」の論文4編を、インターネット上で公開した。これを用いればABC予想など複数の難問が証明できると主張し、大きな注目を集めたが、既存の数学が存立する枠組み(宇宙)を複数考えるという構想は
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く