データ改ざんに甘い社会で統計の信頼性を云々することの無意味さについて - remcat: 研究資料集
毎月勤労統計調査のサンプルが不正に減らされていた問題について、『wezzy』 に記事を書きました： 「毎月勤労統計調査」は90年代以前から改ざんされていた?: データ改ざんに甘い社会 田中重人 (2019-02-07) https://wezz-y.com/archives/63479 記事の基本的な観点は、リード文に書いてある通り： この事件の別の側面として、対象事業所数や誤差率など、調査精度をあらわす数値の偽装という問題があります。この観点からみたときに何が見えてくるのか、これまでにわかっている情報から整理してみました。 https://wezz-y.com/archives/63479 とりあげている具体的な問題は、大きくつぎの3つにわかれます。 1990年代以前からの調査対象削減 2002年以降の抽出率データ改ざん 2004年以降の誤差率データ改ざん このなかでいちばん規模が大きい
Rustのメモリ管理って面白い - Qiita
はじめに Rustという言語に初めて触れてみて、これのメモリ管理戦略って面白いなと思ったのでちょっと書いてみます。まだ真剣に見始めて実質1日くらいなので大いに勘違している可能性もありますが、自分の理解のためにもまとめてみます。 なお、言語の成り立ちとか特徴とかはググると色々出てくると思いますが、個人的に乱暴にまとめてしまうと Mozillaが支援していて、FirefoxのレンダリングエンジンServoの開発に使われている C/C++が得意としていたシステムプログラミングに使える 性能と安全性のバランスを取っている Go言語と何かと比較されている といったところかなと思います。 なお、Rust関連情報のリンク集として、@moshgさんのこの記事もとても役にたちました。ありがとうございます。 興味を持ったきっかけ Rustという言語自体は知っていましたが、最初に聞いたときは「また新しい言語が出
「セキュリティ意識が高すぎ」とネットで話題――3要素認証の「ATM型貯金箱」はなぜ生まれた？ ちゃお編集部に聞く
「セキュリティ意識が高すぎ」とネットで話題――3要素認証の「ATM型貯金箱」はなぜ生まれた？ ちゃお編集部に聞く：週末エンプラこぼれ話（1/4 ページ） 1977年に創刊した、小学館の女児向け雑誌「ちゃお」。2018年12月に発売された「ちゃお2月号」にネット上がざわついたのをご存じだろうか。その理由は、ふろくの「ATM型貯金箱」。3要素認証を備えた“超強固”な貯金箱は、どのようにして生まれたのだろうか。 「ちゃおっ娘」のセキュリティ意識が高過ぎる――。 2018年も終わろうとしているころ、ある雑誌の“ふろく”にネット上がざわついた。それは、小学館の女児向けマンガ雑誌「ちゃお」2月号のふろくである「タッチ認証！ATM型貯金箱」だ。 ちゃおのメインターゲットは小学4～6年生の女子。そんな子ども向けのおもちゃがなぜ大きな注目を集めたのか。それは貯金箱のロックを解くために必要な“認証技術”にある
動画のインパクト - むしのみち
動物の行動を研究していると、研究内容を人に伝えるのに長々と説明するよりも、その動物の動画を見せることが手っ取り早いものです。外国人研究者に説明する時には特にそうです。撮影した動画を編集していつでも再生できるようにスマートフォンに保存しておけば有用です。 最近は論文にも動画が付いていることが多く、メディアでも動画で研究を紹介することが一般的になりました。ナショナルジオグラフィック（National Gegraphic）とか、サイエンス（Science Magazine）でも動画をつかった研究紹介記事が増えました。 サイエンスで配信された動画で、2018年で私がもっとも印象深かった映像です。 First footage of deep-sea anglerfish pair アンコウの一種の交尾シーンです。メスに比べて小さなオスも印象的ですが、何よりインパクトがあるのは、メスの体から出ているた
Rustで普通にプログラミングするだけでMISRA-Cのルールを90%満足できる - 低レイヤ強くなりたい組込み屋さんのブログ
はじめに 2019/2/10追記 記事を書いてから気づいたのですが、正確には、Rustのアトリビュートをいくつか設定すれば、MISRA-Cのルールを90%満足できるでした。 私はMISRA-Cのコーディング規約でプログラミングしたことがないため、内容に誤りがありかもしれません。間違っている点があれば、ご指摘いただけるとありがたいです。 後、いつも通りですが、C言語を貶める意図は一切ありません。 昨日からtwitterで、Rustが組込みのセキュリティが重要な分野で広まると良いなぁ、という議論がありました。 その中で、車載では、やはりMISRA基準との関係が明確になること、ということが1つの基準になりそうでした。 github.com @hashaskell さんから、MISRAコーディングルールのうち、Rustコンパイラがアトリビュートの設定を含めて、保証するルールのリストを作成しているレ
Announcing ghc-lib
On behalf of Digital Asset I'm delighted to announce ghc-lib, a repackaging of the GHC API to allow it to be used on different GHC versions. The GHC API allows you use the GHC compiler as a library, so you can parse, analyze and compile Haskell code. The GHC API comes pre-installed with GHC, and is tied to that GHC version - if you are using GHC 8.6.3, you get version 8.6.3 of the API, and can't c
Haskell network library version 3.0 - あどけない話
Brief history The first commit of the network library in Haskell was created by Simon Marlow in 2001. It says: Package 'net' moved over. URI & CGI still missing because they have dependencies on other bits that haven't made it over yet. So, I guess that the code existed before the day and actually I heard that network was one of the oldest packages in Haskell. When Johan Tibell became the previous
Proxy arguments in class methods: a comparative analysis - Ryan Scott
The Foreign.Storable module provides a Storable class with two rather unusual methods: class Storable a where sizeOf :: a -> Int alignment :: a -> Int ... What is unusual about sizeOf and alignment? To demonstrate, consider what happens if we look up the sizes of various Int8s: λ> sizeOf (0 :: Int8) 1 λ> sizeOf (1 :: Int8) 1 λ> sizeOf (2 :: Int8) 1 λ> all (\c -> sizeOf c == 1) [minBound..maxBound
Piping Server を介した双方向パイプによる，任意のネットワークコネクションの確立 - Qiita
nwtgck 氏によって HTTP を用いて2つのホスト間でパイプを構成するサーバ実装が公開されました． https://qiita.com/nwtgck/items/78309fc529da7776cba0 名前を Piping Server と呼ぶそうです． nwtgck 氏は 枯れた技術である HTTP 上に実装されている HTTP 上に実装されているため，ウェブブラウザ，wget，curlなどの慣れ親しんだツール群でデータのやり取りができる パイプ経由で効率的にデータを転送でき，従って送信側・受信側ともにコマンドライン上でパイプをつなげることによりデータの加工がバイトストリーム上で行える データの送信者，受信者ともに TCP ポート番号80または443への外向きのコネクションさえ確立できれば良い といったあたりが Piping Server のアピールポイントであると主張されていま
CSSセレクタのチートシート｜37パターンを一覧で解説
CSSセレクタのチートシートでは、要素セレクタ / classセレクタ / idセレクタ / 属性セレクタ / 複数セレクタ / 子孫セレクタ / 兄弟セレクタ / 隣接セレクタ / 擬似クラス / 擬似要素 / 全称セレクターから37パターンのセレクタの説明と実際のコードで使い方サンプルを紹介しています。
コンテナ技術入門 - 仮想化との違いを知り、要素技術を触って学ぼう｜ハイクラス転職・求人情報サイト AMBI（アンビ）
コンテナ技術入門 - 仮想化との違いを知り、要素技術を触って学ぼう コンテナ技術を適切に活用するには、コンテナが「どうやって」動いているかを学びたいところ。はてなのエンジニアhayajo_77さんがコンテナの要素技術の勘所を解説します。 こんにちは。株式会社はてなでサーバー監視サービス「Mackerel」のSREを務めるhayajo_77（ @hayajo ）です。 さて、コンテナ技術はDockerの登場がきっかけとなり、本格的に活用が始まりました。現在はKubernetesを始めとするコンテナオーケストレーションツールや AWS, GCP, Azure などのクラウドサービスで提供されるコンテナマネジメントサービスを採用したサービス運用事例が数多く紹介されており、コンテナ技術は「理解する」フェイズから「利用する」フェイズに移ってきています。 コンテナそのものは上記のツールやサービスにより
QUIC開発日記 その1 参戦 - あどけない話
QUICや ああQUICや QUICや 詠み人知らず。QUICの実装の難しさに絶望した心境が詠まれたと伝う。 序章 2017年の7月ごろ、QUICの実装を始めました。Haskellの有名なシリアライザ/デシリアライザである binary や cereal では、バッファ操作ができないので、パケットヘッダを複雑に処理する必要がある QUIC には不向きです。そこで、Haskell HTTP/2 ライブラリから、バッファ操作の部分を切り出して、network-byte-orderというライブラリを作るところから始めました。 その矢先、上司とのミーティングでのこと： 上司「来年度開発室を立ち上げる前に、下期の半年間、現場に行って開発の現場を見てこい」 kazu「いいですけど、他のQUIC実装に遅れをとることになりますが、いいんですか？」 上司「いい。」 という訳で、QUICの開発は中断されました
はてなブックマークのタグを一括置換するコマンドラインツールを書いた
追記(2020-12-16): 公式で再実装されたようです。 「タグの一括編集機能」をPCのブラウザで再提供いたします - はてなブックマーク開発ブログ はてなブックマークで自分のブックマークの既存のタグ名を変更した時に一括置換したいことがあります。 以前は公式のタグの一括置換/削除機能の追加がありましたが、ブックマーク一覧ページのリニューアル時に消えてしまったようです。 ユーザーのブックマーク一覧ページのシステムリニューアルを行いました - はてなブックマーク開発ブログ Firefoxのアドオン版でも同様の機能がありましたが、もう動かなくなっているので、はてなブックマークのタグを一括置換するコマンドラインツールを書きました。 azu/hatenabookmark-rename-tags: A CLI that replace all hatena bookmark tags. haten
Rust: A unique perspective
The Rust programming language is designed to ensure memory safety, using a mix of compile-time and run-time checks to stop programs from accessing invalid pointers or sharing memory across threads without proper synchronization. The way Rust does this is usually introduced in terms of mutable and immutable borrowing and lifetimes. This makes sense, because these are mechanisms that Rust programmer
sourcehut - the hacker's forge
Welcome to sourcehut! This suite of open source tools is the software development platform you've been waiting for. We've taken the wisdom of the most successful open-source communities and turned it into a platform of efficient engineering tools. Absolutely no tracking or advertising All features work without JavaScript Many features work without an account The fastest & lightest software forge 1
osaka.rs - rust async without the noise
this post has received too much exposure for the wrong reasons and was retracted. thanks for the feedback. it’s pretty clear that i won’t ever be able to reach the expected communication standard to get to the technical discussion that i feel is necessary. There’s nothing to gain from more heated debate about tone and language, so there will simply not be a follow up article. I’ve got electric car
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Hacker Tools
Reddit - Dive into anything
Masking async tasks in the wild
Program synthesis of a spec with optional manual implementation for parts of the program | Lobsters
Building a RISC-V PC | Lobsters
Introduction to the Coq Proof Assistant - Andrew Appel
Programming Z3