Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する - エンジニアHub｜Webエンジニアのキャリアを考える！
Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する プログラミング言語「Coq」では、プログラムを「証明」して間違いを防ぐことができます。プログラムの正しさを保証できる一歩進んだエンジニアになりましょう！ coqtokyoを主催する今井宜洋さんの解説です。 みなさん、Coqってご存知ですか？ プログラムを証明して間違いを防ぐという優れものです。今回はそのCoqについて、coqtokyoという勉強会を主催している今井宜洋がお届けします。 プログラムをただ作るだけではなく、その正しさを保証できる一歩進んだエンジニアになってみましょう！ Coqって何？ プログラムを「証明する」ってどういうこと？ Coqを使ってみよう Coqのインストール方法 CoqIDE：Coqによる証明開発のフロントエンド Coqで関数プログラミング プログラムの仕様を記述しよう 証明開発モード ゴ
AbemaTV「極楽とんぼKAKERUTV」で私が受けたハラスメント｜桃子
9月1日、BuzzFeedで「Abemaが非公開にした『くそババア』罵倒映像 過激化するネットテレビの2つの問題」という記事が配信されました。拝見したところ、結構なバズり具合です。 冒頭に出てくる、「生放送中に男性陣からハラスメントにあった」とBuzzFeed Newsに連絡したAさんとは私のことです。記事は「規制のないネットテレビの問題点」を洗い出し、社会に問う内容ですが、ここでは私自身が気持ちに整理をつけるためにも、事の次第を振り返ってみたいと思います。 noteというメディアを使うのは初めてなので、不慣れゆえ至らないところも多いでしょうが、どうかご容赦ください。 ＊以下、お酒の席でハラスメント、暴行、虐待を受けた経験がある方、目上の人から大声で罵倒された経験がある方には読んでいてつらい記述もあると思います。ご注意ください。 はじめまして、の方も多いと思うので最初に簡単な自己紹介をいた
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Y on Twitter: "赤の他人にも、血の繋がった家族にも、血の繋がらない家族にも、パートナーにも、ネット上でさえも、容易に攻撃されるからね。 味方なんていないっていう気持ちになったことのない母親の方が少ないのではないかと思います。"
一色登希彦 on Twitter: "震災の混乱で朝鮮人をはじめ数多くの人が各地で虐殺された。下の島田さんの昔のツイはそのひとつ「烏山事件」と呼ばれるものだけれど、拙版『日本沈没』６巻でひとりの青年が死に至る話は、この烏山の出来事をモチーフにして描いた。（このツイ自体… https://t.co/LcsbSZhz2c"
菊池雅志 on Twitter: "何度でも言うが、世界中のどこに行っても通用しない「パワハラ」だの「ブラック企業」だのと言ってる奴らは一人残らず能無しの負け犬。被害者ぶることしか頭にない似非日本人で中身は韓国人そのもの。馬鹿で無能でゴミ人間だから生きてる価値がない。"
