厚労省課長講演「と畜場から出荷される牛肉はすべて生食用」 を詳細解説〜腸管出血性大腸菌食中毒問題
執筆者 松永 和紀 京都大学大学院農学研究科修士課程修了後、新聞記者勤務10年を経て2000年からフリーランスの科学ライターとして活動 特集 松永 和紀 2011年5月13日 金曜日 キーワード：メディア 添加物 食中毒 12日に開かれた全国消費者団体連絡会主催の勉強会での厚労省課長の発言が、波紋を呼んでいる。焼肉店のユッケが原因と見られる腸管出血性大腸菌食中毒により４人が亡くなり、患者は百数十人に上っている事件に関連して、課長は生食用食肉の位置づけについて説明した。その中で、「と畜場から出荷される牛肉はすべて生食用」と言ったのだ。FOOCOMはその発言を13日、緊急速報した。さらに、詳細解説を加えたい。 厚労省課長の講演内容、詳細解説 ←5月16日追加 「と畜場から出荷される牛肉はすべて生食用」と厚労省・監視安全課長が説明 ←5月13日追加 「生肉料理を食べなければいい」では済まない ←
震災で加速する“モノづくり”の中国シフト――岐路に立たされる日本の町工場
ジャーナリスト。アジア・ビズ・フォーラム主宰。上海財経大学公共経済管理学院・公共経営修士（MPA）。およそ15年滞在した上海で情報誌創刊、“市井の息遣い”から時代の変遷をウォッチ。「中国取材はデッサンと同じ。あらゆる角度から取材して光と影で実像をつかむ」を持論に30年近く中国に向き合う。近年は中国からの人や資本の流入をフォロー。ダイヤモンド・オンライン「ChinaReport」は10年を超える長寿コラム。 著書に『中国で勝てる中小企業の人材戦略』（テン・ブックス）、『インバウンドの罠』（時事出版）『バングラデシュ成長企業』（共著、カナリアコミュニケーションズ）、『ポストコロナと中国の世界観』（集広舎）ほか。内外情勢調査会、関西経営管理協会登録講師。宅地建物取引士。3匹の猫の里親。 China Report 中国は今 90年代より20年超、中国最新事情と日中ビジネス最前線について上海を中心に
関東大震災と新聞記事ー「失われた１３年」の通過点、すべては揃っていたー
神戸大学の新聞記事文庫のデジタルアーカイブに関東大震災関連の記事が公開されている。 http://www.lib.kobe-u.ac.jp/sinbun/ これを読むと今回の東日本大震災と不思議なほど新聞記事の論調が似ている印象をもつ。例えば米国や中国など世界が日本に同情し、またその震災時の救命活動そのほかを称賛しているという記事。あるいは理想的といわれてきた耐震建築がなぜ崩壊したのか、など安全神話の崩壊を問題視する記事、 経済政策関係では、帝都復興院の創設とその活動を伝えるもの、火災保険の支払い問題、焼失地の政府買い上げ問題、失業者救済問題また暴利取締関係が目立つ。また復興資金では内債、外債での調達の配分をめぐる議論、さらには増税で調達すべきだという議論もある。 さらに注目すべきなのは、震災直前までの最大の経済論争は金本位制への復帰であった。主流は旧平価での復帰である。これは震災後一時期
[iPad] Smart Tub: スマートカバーを風呂フタとして機能させる、iPad 2を浴槽にするアプリ。アヒル付き。無料。 | AppBank
起動時に音がする。 またスマートカバーのスリープから復帰すると「ぴちゃり」と音がする。 アヒルは傾きセンサーに対応し、重力にしたがって動く。 また、アヒルはタッチにも対応しさわると「ピー」と音がする。フリックするとあがくようにして水の上を滑る。 iPad 2をシェイクするとアヒルは「ぶんしんのじゅつ」を使い増殖する。 どんどん増える。 「無限」に限りなく近く増える。 これではアヒル風呂だ。 スマートカバーの良さを120％引き出したこの Smart Tub は見事だ。 まさに、iPad 2 + Smart Cover 持ちは必ずインストールすべきアプリといえよう。 また、このアプリの本来の力を引き出すなら iPad 2は白、Smart Coverは青の組み合わせがよい。 標準アプリに昇格すべく、今後のアップデートにも期待している。 さしずめ以下の機能だろうか。 バスクリン 泡風呂 アヒル口
TDD ⇒ PDD
ダイクストラは、テストでバグの存在は示せるがバグのないことは示せないと言っていた。一方で、TDDはテストを重ねながらプログラミングをおこない、用意したテストが全部通ったらプログラム完成と言うアプローチだ。と誤解しやすいが実は単なる開発プロセスに対する提案である(10/2)。 欲しいのはバグはあるかも知れないが取りあえず動作する綺麗なコードではなく、まずバグのないコードだ。 この点を改善するにはどうするか。実は良いアイディアが浮かんだ。自動テストツールではなく、プログラム検証ツールを使用して正しいことを証明しながらプログラミングをおこなうPDD(Proof driven development)だ。 プログラムSの証明とは、Qを事前条件、Rを事後条件として、{Q} S {P}が恒真であることを示すことだ。たとえば、二つの整数x, yを与えられてxが大きい値になるように、値を入れ替えるプログラ
C言語によるCBMC(有界モデル検査技術)を使用したPDD(証明駆動開発) - ジャンク☆ニュース 臥龍
C言語によるCBMC(有界モデル検査技術)を使用したPDD(証明駆動開発)を藤倉さんが提唱されている。 http://tfujikura.blogspot.com/search/label/PDD OCaml似の文法を使用するCoqによる証明駆動開発に比べて、c(c++)言語で仕様を書けるのでとてもわかりやすいと思う。 http://d.hatena.ne.jp/garyo/20110301 CBMC-PDDについて色々調べてみたいです。 CBMC (Bounded Model Checking for C/C++)は以下でWindows版、Linux版などがダウンロードできます。 http://www.cprover.org/cbmc/ 簡単な使い方は島さんのブログがわかりやすいです。 http://saltheads.blog134.fc2.com/blog-entry-1.html
9歳の息子がDropboxの更新通知を使ってチャットしてきたぁ
外出先（渋谷のOmniture社）で会議中にネット接続していたところ、子どもと共有しているDropboxフォルダの更新通知が。ファイル名を次々に変更しているので、タスクバーの通知がポン、ポン、と音を立ててポップアップ表示します。 新規Microsoft Word 文書.doc おーい.doc パパモウ.doc 最低だ.doc インしたらいきなり.doc プレイタイムまであと5分とか出てきたし.doc 変更通知がポップアップするのを利用して話しかけている？ パパも新しいファイルを作って応答しました。 新しいテキスト ドキュメント.txt メイプル？.doc なぜか無駄に拡張子まで変更してしまいました。負けている…orz 延長して.doc 俺は1分しかやってない.doc PCだと漢字変換できるので生意気に聞こえますが、話すと普通にかわいい小学校３年生で、外では礼儀正しい男の子です…。全部ひらが
TiDDを実践して気づいたことpart9～Scrumのベロシティ #tidd - プログラマの思索
Scrumが従来のAgile開発に比べて優れている点は、プロダクトオーナー、バックログ、ベロシティという概念を明確に定義した点にあると思う。 チケット駆動開発をいくつかのプロジェクトで実践してみて、ベロシティという概念が一番難しく、そして奥が深いという経験を少しだけした。 考えたことをラフなメモ書き。 僕はScrumを勉強中なので、間違っていたら後で直す。 【元ネタ】 Twitter / @Kakutani Shintaro: ベロシティを「安定させるもの」「だいたい予想できるようにすること」と捉えているのが素晴しい / Redmineでアジャイルチームのスピードやパワーを見える化する | 世界 - daipresents!! http://htn.to/odgTtR Twitter / @江端 一将 （えばた かずまさ）: スクラムのベロシティに似ていると思う。ベロシティを高く表現するの
Fossil を個人的な Wiki ＋プロジェクト管理ツールとして使う - ヤルキデナイズドだった
Fossil というモノがあります。 SCM です。バージョン管理システムです。Subversion とか Git とか Mercurial みたいなヤツです。 聞いたことネーヨという人も SQLite くらいは知ってるかと思います。その作者 Richard Hipp が作ったソフトウェアと言われればピンとくるかもしれません。こないかもしれません。 ピンとこない方のために特徴を挙げますと： すべて C で書かれています。 単独の実行ファイルで動作します。 リポジトリは単一の SQLite データベースファイルに格納されます。 zlib 以外のライブラリに依存しません。 diff ツールも web インターフェースも内蔵しています（実例は Fossil の公式サイト）。 CGI としても単独のサーバとしても動きます。 Wiki も内蔵。 バグトラッキングシステムも内蔵。 もう一度書きますが全
【告知】6/18 Scrum Boot Camp というイベントをやります
2011年6月18日(土)にScrum Boot Campというスクラム初心者向けの無償の講習会を行います。 なんでやろうと思ったかはページ下部にて。 Scrum Boot Campとは Scrum Boot CampはこれからScrumに取り組もうとしている方や、あまり教育を受けないままに既にScrumに取り組んでいる方向けにAgileやScrumについてきちんと全体像を学び体験していただくことを目的としています。 Agileとは何か？Scrumとは何か？といった座学だけでなく、実際にプロダクトバックログやスプリントバックログを書いてみる、ふりかえりをしてみる、といったワークショップを行うことでより一層スクラムを理解できるようにします。 講師は私(@Ryuzee)が主につとめ、スクラム道のスタッフがファシリテーターをつとめます。 講習資料のサンプル 開催詳細と申込み 開催日
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ