プロが教える！iPhoneの写真編集で重宝する5つの機能｜夜景や人物も加工で綺麗に | プロの逸品
島本優 プロカメラマン AKBなどの人気アイドルや女優など数多くのポートレート撮影を行う。SONY PRO SUPPORT会員。WEB『YU.SHIMAMOTO』 この専門家の他の記事を見る iPhone の写真「編集」機能を使うまず初めに、こちらの画像をご覧ください。 もしあなたが「海に行った写真をSNSに載せる」となった時に、どちらの写真を載せたいですか？ ほとんどの方が「B」と答えると思います。 「B」の写真の方がきれいに見えますよね。「A」の写真はなんだか薄暗くて、夏らしい雰囲気が伝わってきません。 でもこの2つの写真、元々は同じ写真なんです。 両方とも同じ iPhone で撮影し、「A」の写真は編集も何もしていません。ただ「B」の写真はiPhone の写真「編集」機能を使いました。 その作業はとても簡単で、使いやすい機能がそろっていて、プロもこの機能はとても重宝しています。 もと
Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する - エンジニアHub｜Webエンジニアのキャリアを考える！
Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する プログラミング言語「Coq」では、プログラムを「証明」して間違いを防ぐことができます。プログラムの正しさを保証できる一歩進んだエンジニアになりましょう！ coqtokyoを主催する今井宜洋さんの解説です。 みなさん、Coqってご存知ですか？ プログラムを証明して間違いを防ぐという優れものです。今回はそのCoqについて、coqtokyoという勉強会を主催している今井宜洋がお届けします。 プログラムをただ作るだけではなく、その正しさを保証できる一歩進んだエンジニアになってみましょう！ Coqって何？ プログラムを「証明する」ってどういうこと？ Coqを使ってみよう Coqのインストール方法 CoqIDE：Coqによる証明開発のフロントエンド Coqで関数プログラミング プログラムの仕様を記述しよう 証明開発モード ゴ
AppleはiPhoneを売るために中国ユーザーのiCloud全データを中国政府に差し出す
中国でiCloudデータを管理するデータセンターを建設するAppleは、2018年2月28日までにデータ管理業務を中国当局が管理する現地法人に引き渡します。これは、iCloudのユーザーデータに中国政府の管理する企業が自由にアクセスできることを意味しているとのこと。中国でiPhoneを売りたいがために中国政府のいいなりとなりユーザーデータを差し出すAppleの姿勢を、台湾にある国立中正大学の教授が痛烈に批判しています。 How Apple is paving the way to a ‘cloud dictatorship’ in China | Hong Kong Free Press HKFP https://www.hongkongfp.com/2018/02/17/apple-paving-way-cloud-dictatorship-china/ 2017年6月に中国政府が施行し
図解でわかるSpectreとMeltdown
A brief explanation of spectre(variant 1) and Meltdown(variant 3)
機械学習を使って東京23区のお買い得賃貸物件を探してみた - データで見る世界
さて、改めて今回の目的を確認しておくと、機械学習を使って東京都23区のお買い得賃貸物件を発見しよう、というものです。前回までの記事で、お買い得賃貸物件を発見するためのデータを収集し、分析にかけられるよう前処理してきました。 www.analyze-world.com www.analyze-world.com 今回の記事では、いよいよ機械学習を使って分析していきましょう。前回まではPythonを使っていましたが、この分析ではRを用いています。なお、コードはGitHub（https://github.com/ShoKosaka/Suumo）に上げておきますので興味ある方は参照ください。 最初に、データの中身をざっくり見ていきます。具体的には、分析のキーになるポイントをグラフにしながら、賃貸物件の現状や変数同士の関係性を把握していきます。 データ探索 まず、23区の中でどこが物件数が多いのかを
ターボのタービンハウジングを板金化、二重構造による空気断熱で熱容量を削減
ターボのタービンハウジングを板金化、二重構造による空気断熱で熱容量を削減：東京モーターショー 2017 カルソニックカンセイは「第45回東京モーターショー 2017」において、ターボチャージャーのタービンハウジングを板金化した新製品「CK-SMITH」を公開した。間もなく市販されるディーゼルエンジン車への採用が決まっており、既に量産に入っている。タービンハウジングの板金化は、ディーゼルエンジン車向けでは「世界初」となる。 カルソニックカンセイは、「第45回東京モーターショー 2017」（東京ビッグサイト、プレスデー：10月25～26日、一般公開日：10月28日～11月5日）において、ターボチャージャーのタービンハウジングを板金化した新製品「CK-SMITH（Calsonic Kansei Sheet Metal innovative Turbine Housing）」を公開した。従来比で1
はじめてのAdversarial Example
今回はadversarial exampleについて解説していきます。Adversarial exampleというのは、下図のように摂動を与えることによりモデルに間違った答えを出力させてしまうもののことです。 この例では、もともとモデルがパンダと正しく分類することができていた画像に摂動を与えることで、テナガザルと誤分類させています。しかし、人間には元の画像との違いはほとんど分からず、パンダのままに見えます。 Adversarial exampleは機械学習モデルを実用化していく上で大きな問題となります。例えば、交通標識をadversarial exampleにしてしまえば、自動運転車をだませてしまう可能性があります。 注目を集めてきている研究分野ですが、まだちゃんと調べたことがないという人も多いかと思います。今回もなるべく丁寧に解説していきたいと思います。 目次 基礎 攻撃 防御 論文紹介
究極の大規模汎用量子コンピュータ実現法を発明
1つの量子テレポーテション回路を繰り返し利用 東京大学工学系研究科教授の古澤明氏と同助教の武田俊太郎氏は2017年9月22日、大規模な汎用量子コンピュータを実現する方法として、1つの量子テレポーテーション回路を無制限に繰り返し利用するループ構造の光回路を用いる方式を発明したと発表した。これまで量子コンピュータの大規模化には多くの技術課題があったが、発明した方式は、量子計算の基本単位である量子テレポーテーション回路を1つしか使用しない最小規模の回路構成であり、「究極の大規模量子コンピュータ実現法」（古澤氏）とする。 今回発明した光量子コンピュータ方式。一列に連なった多数の光パルスが1ブロックの量子テレポーテーション回路を何度もループする構造となっている。ループ内で光パルスを周回させておき、1個の量子テレポーテーション回路の機能を切り替えながら繰り返し用いることで計算が実行できる 出典：東京大
理系大学入学後にどん詰まる「ε-δ論法」について - HELLO CYBERNETICS
はじめに ε-δ論法 ε-δ論法が難しく感じる理由 ε-δ論法の解説 直感的な極限の話 ε-δ論法での話 論法の意義 論法の主張 流れを整理 最後に はじめに 大学に入学して新生活を始めた方もたくさんいるでしょう。 そこで理系大学生が微積分（あるいは解析学）を学び始めて、最初に詰まるとされる悪名高き「ε-δ論法」について分かりやすく解説したいと思います。 ε-δ論法 ε-δ論法とは要するに、以下のように極限の定義を行うことです。 これで理解ができた人は、もうこれ以上記事を読む必要はありません。 ちゃんと分かりやすく直感的に説明したいと思います。とは言っても、そもそも極限を直感的にではなく厳密に定義するために生まれてきたものですから、多少の記号の意味を理解する必要はあります。 しかし、どのような必要に迫られてこんなことしなければならなくなったのか、つまり事の経緯とそのアイデアを抑えれば、十分
Facebookの特許条項付きBSDライセンスが炎上している件について｜こんぴゅ
先月あたりから、オープンソースソフトウェア（以下、OSS）のライセンスのあり方について、Facebookを火種にして侃々諤々の議論が起こっているので解説してみる。 ASFがFacebookにNOをつきつけることの始まりは、Apache Software Foundation（以下、ASF）という著名OSSプロジェクトを多数保有する非営利団体が、Facebookが自社OSSに付加している独自ライセンス Facebook BSD+Patents license を「Category-X」リスト（禁忌リスト）に追加したことだ。 ASFプロジェクトは、Category-Xに含まれるOSSに依存してはいけない決まりがあるため、Facebook製のOSSに依存しているプロジェクトは、8月31日以降はそれらの依存を取り除いてからではないと新しいリリースが出来ない。影響を受けたプロジェクトは少なくとも C
まとめサイトや知恵袋が引っかからない検索サイト「Nyafoo!」登場 開発者自身にとって使える検索を目指した結果
ネットで何かの情報を検索しようとすると、多くの場合“まとめサイト”や“Q&Aサイト”が検索結果に表示されてしまいますが、それらのサイトに引っかからない検索サイト「Nyafoo!」が登場しました。 【訂正：2018年2月13日 サイトURLが移転したため、リンク先を移転後URLに変更しました】 Nyafoo! かわいい馴染みのある語感の「Nyafoo!」は、いわゆる「まとめ」と呼ばれるWeb上の情報を集めたキュレーションサイトや、利用ユーザーによる質問と回答が公開された「Q&Aサイト」などが表示されない仕様になっています。 開発したのはNyafooJapan（@nyafoo_japan）さん。開発理由については「Googleがアテにならないときが出てきたため」ということで、自分にとって使える検索サイトを作った結果、上記の「三次情報」サイト群を省くこととなったようです。 例として「猫」で検索し
かつて香港に存在した世界有数の巨大スラム街「九龍城」での生活を描いた「Life Inside The Kowloon Walled City」
無計画に建てられた高層ビルが密集し、近寄りがたい独特の雰囲気を放っていた香港の「九龍城」はどの政府の統治も届かない文字どおりの無法地帯となっており、犯罪者や売春宿、麻薬の売人などが集まる「魔の巣窟」と呼ばれたり、多くの映画作品やゲームの舞台となったことで世界的によく知られる世界でも有数のスラム地域でした。外から見ると犯罪都市のように見えた九龍城ですが、実際の姿は多くの子どもやお年寄りまでもが暮らす生活の場となっていたことは意外と知られていないもの。そんな九龍城での人々の生活をまとめたインフォグラフィックが「Life Inside The Kowloon Walled City」です。 Kowloon Walled City: Life in the City of Darkness | South China Morning Post http://www.scmp.com/news/ho
東京都庁の通信内容がダダ漏れ危機？「badWPAD」脆弱性とは (1/2)
「Black Hat USA 2016」レポートの第1回記事では、NetBIOSの「BadTunnel」脆弱性を悪用する攻撃例として「WPAD（Web Proxy Auto-Discovery）」を組み合わせた手法が登場した。だが実は、このWPAD自体にも、未だ修正されていない別の脆弱性が存在する。 8月5日、Black Hatの講演で登壇した元トレンドマイクロのマキシム・ゴンチャロフ氏が、「badWPAD」と名付けられたこの脆弱性の実態調査結果を発表した。これを悪用すれば、ターゲットを攻撃者のプロキシサーバーに接続させることができ、フィッシングサイトへの誘導、偽の認証画面を使ったログイン情報詐取（中間者攻撃）、通信内容の監視など、幅広い攻撃が可能になる。 しかもゴンチャロフ氏の調査では、東京都が使っている多数のクライアントPCが、現在進行形でそのリスクを抱えていることも具体的に明らかにさ
仮想通貨の根幹であるブロックチェーン・テクノロジーとは - Genx Records
仮想通貨が世界中で注目を集める中、その動力源となっているのがブロックチェーン・テクノロジーです。では、ブロックチェーンとは具体的にどのようなものなのでしょうか。この記事では、ブロックチェーンの基本原理から、その仕組み、そして仮想通貨における役割までを解説します。 ブロックチェーンの原理 ブロックチェーンは、文字通り「ブロック」と「チェーン」から成り立っています。ここで言う「ブロック」とは、取引データをまとめたデジタルの記録のこと。これらのブロックは時系列に沿って「チェーン」のように連なり、一つの長い情報の列を形成します。ブロックチェーンの最も重要な特徴は、分散型の台帳技術（DLT）であり、一箇所に記録されるのではなく、ネットワーク上の多数のコンピュータ（ノード）に分散して記録されることです。 ブロックチェーンのメカニズム ブロックチェーンでは、新しい取引が行われるたびに、その取引情報がブロ
全部言える？超重要な26の財務指標をまとめて解説 経営者のための財務分析入門！
こんにちは、税理士の高橋です。 経営者のみなさんが高く関心を寄せている事項として、よく挙げられるのが「財務分析」ですよね。 財務分析は会社にとって非常に大事な作業ですが、そもそも何のために行うのでしょうか。 今回は、「何のために分析するのか」「何を分析できるのか」といった、財務分析の基本的な部分について、分析に用いる代表的な指標の紹介を混じえながらご説明します。 企業の成長・危機回避のためには財務分析が有効 健康診断や人間ドッグを定期的に受ける方は多いでしょう。それは、病気になっていないかをチェックするため、あるいは、万が一病気にかかっていたとしても早期に発見し、治療を行って大事に至らないようにするためだと思います。企業の財務分析も、それとまったく同じです。 財務分析では、「経営に問題はないか」「改善する点はないか」といった点をチェックすることで、経営危機を回避することができます。また、今
スパースモデリングの深化と高次元データ駆動科学の創成
スパースモデリングによる高次元データ駆動科学の創成 より深く自然を知りたいという飽くなき探究心が，とどまることを知らない計測技術の向上をもたらし，大量の高次元観測データを日々生み続けている． この状況において，科学技術の水準を革新的に向上・強化させるためには，情報科学と自然科学が緊密に融合した革新的な自然探究の方法論が必要不可欠である．我々は，その方法論構築のためのキーテクノロジーが，近年，情報科学分野で大きな注目を集めているスパースモデリングであると考える．スパースモデリングは，高次元データに普遍的に内在するスパース(疎)性を利用することで，計算量が次元数に対して指数爆発(計算量爆発)する状況でも，実際的時間でデータから最大限の情報を効率よく抽出できる技術の総称である．これまでもスパースモデリングは個別分野において萌芽的成果を生み出しており，それらの背後にある共通原理を明確化し，より強力
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
技術的負債と向き合う
リセット200ml(専用クロス付) リセット カーピカネット
kisslink パスワード不要＆タッチで接続 無線Wi-Fiルーター – Gadget mart
ビッグバンの前にはもうひとつの「古い宇宙」があった：研究結果
