マルレク 「ソフトウェア・エンジニアリングの新しい潮流 -- Deep Specificationの世界」 | Peatix
今回のマルレクでは、"Deep Specification" というソフトウェア・エンジニアリングの新しい潮流を紹介します。この流れは、ハードとソフトの開発に、コンピュータの数学的証明能力を利用して、プログラムの正しさをチェックしようというものです。 ほとんどの開発者にとっては、「機械がチェックする数学的証明」なぞは、アカデミーの世界の好奇心の対象ぐらいにしか思っていないかもしれません。プログラムの開発に「形式的手法」を導入しようという動きは、新しいものではありません。HoareのHoare Logicをはじめとして、1960年代末にはすでに生まれていました。その当時のシステムと比較して、現在のシステムは、はるかに大規模で複雑なものです。現在の大規模で複雑なシステムについても、「形式的手法」は有効なのでしょうか？ MITのアダム・チッパラ（Adam Chlpala）は、むしろ逆だといいます
「歯のエナメル質」を再生するゲル状の溶液により既存の虫歯治療に革新が起こる可能性
by Rodolfo Clix 人体で一番硬い部分である「歯」の表層にあるエナメル質は、非常に硬く複雑な構造をしています。そんなエナメル質を溶かす虫歯には世界中の人々が苦しめられていますが、中国・浙江大学の研究チームが「エナメル質を回復する溶液」を開発しました。 Repair of tooth enamel by a biomimetic mineralization frontier ensuring epitaxial growth | Science Advances https://advances.sciencemag.org/content/5/8/eaaw9569 Scientists Have Developed a Genius Method That Actually Regenerates Tooth Enamel https://www.sciencealert.c
商用利用無料！Material Designが簡単に実装できる、Bootstrap 4をベースにした新作テンプレートのまとめ
Material Designを使用してみたいけど、時間がない、手間をかけたくない、という人にぴったりな、Material Designが採用された商用でも個人でも無料で利用できるBootstrap 4ベースの新作テンプレートを紹介します。 企業向けサイト、プロダクトのランディングページ、ポートフォリオやギャラリー、ブログ用のテンプレートが揃っています。 Material Design for Bootstrap 4 MDB- GitHub Bootstrapの特徴や基本的な使い方は、下記の記事を参考にどうぞ。 参考 Bootstrap 4の主な特徴、IE8のサポート終了、Sassに移行、CSSの単位はremとem採用 Bootstrapのグリッドシステムの基本な使い方 新しくなったBootstrap 4の基本テンプレート、ナビゲーション、コンポーネントのまとめ ではMaterial De
ユニクログローバルブランドアンバサダー特集サイト
グローバルブランドアンバサダーは、 ユニクロのLifeWearというフィロソフィーを体現する存在です。 卓越性を追求し、絶え間ない成長に情熱を注ぎ、 共通の価値観を持って社会的な活動に取り組む。 私たちはその姿に日々インスピレーションを受けながら、 人々の生活をより豊かにする革新的な服づくりに努めていくとともに、 この類まれな才能と手を組み、次世代のリーダーの育成に力を尽くしていきます。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ニュース | WOWOWテニスワールド