公正取引委員会は、個人情報などビッグデータを特定企業が独占するのを防ぐため、新たな指針をまとめる。人工知能（AI）やIoT技術の普及により、ビッグデータが企業活動における新たな資源になっていると判断。巨大企業が市場での支配的な立場を使ってデータを集めていたり、不当にデータを囲い込んだりした場合、独占禁止法を適用する考えを示す。公取委は1月から専門家を集めた研究会を開いており、近くデータと競争政

When I was a kid, my mother would attempt to cure my persistent procrastination by telling me that if I cleaned my room now, I wouldn’t have to do it later. But I never fell for it. I knew that it was always best to let it ride as long as possible. For one thing, if I cleaned it now, it’d just get dirty again, and then I’d have to perform that odious chore twice. Also, if I let it go long enough,

正しさは相対的な概念である。 Bertrand Meyer [1] Bertrand Meyer氏は「契約による設計」という概念から例外を導出し、例外の必要性をエレガントに説明しています。また、彼の説明に則れば今までの議論と比べて例外をいくぶんか形式的に扱えるようになります。契約による設計を学ぶ前に、プログラムの正しさについてもう一度考えてみましょう。 プログラムの正しさ あるプログラムが正しいかどうかを判定するにはどのようにすれば良いでしょうか。最も簡単な方法は、あるプログラムの正しさを形式的に定義する事です。より直接的に言えば、あるプログラムの正しさを簡単な論理式で表現します。その論理式が真ならばそのプログラムは正しい。偽ならばそのプログラムは正しくありません。 これだけだと関数の戻り値を検査すれば良いだけのようにも聞こえます。しかし、そう簡単な話ではありません。純粋でない言語の場合、

2013年5月6日に横浜Android and モバイルOS プラットフォーム部で発表した資料です。Androidアプリ開発者向けにOutofMemoryErrorの発生原理とメモリ管理について最新事情を加味してまとめました。Androidアプリにおけるメモリ事情は(初期に比べたら)改善していますが、OpenCVなど画像処理の需要、高解像度対応を踏まえると依然として十分とは言いがたいユースケースもあります。そんな中でメモリ資源をうまく使うための指標となれば幸いです。

Java/Androidとメモリのお話 社内LTで発表した資料です。 はじめに 最近AndroidでJava 8導入か？ということで、Jack Compilerのページが公開されたり、Android Nの動向が気になるところでして、社内の勉強会でJava 8とかJack/Jillとかについて発表しようとしていたのですが、そもそも「Dalvik / ARTの違いってなんだっけ？」「そもそもHeapやGCってなんだっけ？」となったので、調べてみました。 良くわかっていなかった箇所を整理するためにも書いています。なので、間違っているところやアドバイスがあれば、質問・指摘・コメントしていただけるとすごく嬉しいです Keyword JVM Heap Gabage Collection Android Application Heap Linux Heap ( Native Heap ) Dalvik

「30周年を迎えた『GET WILD』を、今度はみなさんの手でリミックス」――TM NETWORKの楽曲「Get Wild」のリミックスコンテストがYouTubeで始まった。宇都宮隆さんのボーカルデータを利用したリミックスを募集。TM NETWORKのメンバーなどが審査し、各賞を決める。募集は8月16日正午まで。 TM NETWORKが所属するエイベックス・エンタテインメントが企画し、音楽誌「サウンド＆レコーディングマガジン」（サンレコ）が協力する企画。 PCから特設サイトにアクセスし、メールアドレスを入力すると、宇都宮隆さんのボーカルデータがダウンロード可能に。データを使ったリミックス音源を作ってYouTubeにアップロードし、指定のフォーマットでタイトルを設定すると応募できる。応募は誰でもOK。ボーカルデータはコンテスト応募以外の目的には利用できない。 応募された楽曲は、TM NETW