タグ

2015年2月3日のブックマーク (23件)

  • 命題 - Wikipedia

    この項目では、論理学、哲学の用語について説明しています。 「命題」の語義については「wikt:命題」をご覧ください。 数学(特に数理論理学以外の分野)での定理の一種については「定理」をご覧ください。 この記事の内容の信頼性について検証が求められています。 確認のための文献や情報源をご存じの方はご提示ください。出典を明記し、記事の信頼性を高めるためにご協力をお願いします。議論はノートを参照してください。(2009年3月) 命題(めいだい、(英語: proposition)とは、論理学において判断を言語で表したもので、真または偽という性質(真理値)をもつもの[1][注釈 1]。また数学で、真偽の判断の対象となる文章または式、定理[2]、問題のこと[3]。西周による訳語の一つ[4][5]。 厳密な意味での「命題」の存在について、「意味」の存在と同様に疑問を投げかける哲学者もいる。デイヴィド・ルイ

    morioka
    morioka 2015/02/03
  • 東京都・大井町の洋食店でド迫力「オムライス」と「メンチカツ」に遭遇

    東京都品川区の大井町駅から徒歩3分、世の中のいしん坊たちを大満足させてきた洋屋があると聞きつけ取材班が直ちに出動!! 大井東口商店街から一路地に入ると、頭上にご立派な看板を発見。その名も「ブルドック」。鼻息荒く突撃だっ。 「いらっしゃい! じゃあ、さっそくコレ一枚引いて? 」。 トランプの束を筆者の前へおもむろに差し出す店主の鈴木謙さん。む、むむ!? コ、コレは同店の通過儀礼なのか?? しかし、引くしか選択肢はなさそうだ。 「数字覚えた? じゃあ、いくよ……ッホイ! 」。 せ、正解! すっげーー!! ってなんだコレ。鈴木さん、マジックじゃなくて、今日はオムライスとメンチカツをべに来たんですけど。 「ハハハ! 冗談だよ。僕は学生のときに安くて旨くてデカいメンチカツをべて幸せを感じてね、自身が大きなメンチカツを提供しているのはその影響もあるかな。ま、べてごらん」。 一番手前の赤スカ

    東京都・大井町の洋食店でド迫力「オムライス」と「メンチカツ」に遭遇
    morioka
    morioka 2015/02/03
  • 全国のイケアでワンコインの「スイーツビュッフェ」バレンタイン期間限定で開催

    2015年2月5日(木)から15日(日)までの期間、イケア(IKEA)がワンコインで楽しめる「スイーツビュッフェ」を全国の店舗で開催する。 おすすめは、この時期にスウェーデンで定番のセムラと呼ばれる甘いパンにアーモンドペーストとホイップクリームをトッピングした伝統的なスイーツ。その昔、スウェーデンではイースター(復活祭)前の40日間断を行っていたが、その断を乗り越えるためのパーティーでされたごちそうの一つがこのセムラだ。 ほかにも、クレープ状のパンケーキにイチゴジャムと生クリームをトッピングしたスウェーデンパンケーキや、チョコレートファウンテン、フルーツポンチ、各種ケーキなどメニューは盛り沢山。 価格も499円(税込)とリーズナブルなので、ぜひこの機会にスウェーデン流スイーツを堪能してみてはいかがだろう。 【開催概要】 スイーツビュッフェ 期間:2015年2月5日(木)〜15日(日)

    全国のイケアでワンコインの「スイーツビュッフェ」バレンタイン期間限定で開催
    morioka
    morioka 2015/02/03
  • 【新連載 東京“エス肉”めぐり 第一回】三軒茶屋で完全炭火焼・コスパ抜群のシュラスコを喰らえ! - ぐるなび みんなのごはん

    サラームアリクム。ワールドミュージックの評論家にして、日初の中東料理研究家、サラーム海上(うながみ)と申します。中東音楽好きが高じて、毎年中東諸国に音楽取材に行くうちに、音楽だけでなく中東の料理を覚え、2013年にはトルコ、レバノン、モロッコ、エジプト、イエメン、イスラエル料理のフォトエッセー&レシピを載せた書籍『おいしい中東 オリエントグルメ旅』(双葉文庫)を刊行しました。そして、雑誌やウェブサイト、TwitterやFacebookを通じて日頃から、自分で作ったり、お店でべたり、現地で習ったりしたエスニック料理の写真をアップし続けてきたところ、ぐるなび編集部から「エスニックな肉料理の連載やりましょうよ!」と話が来ました。もちろん喜んで! 僕は肉料理に目がない。特に牛肉と羊肉! インドに行ったらマサラで漬け込んだラムチョップの炭火焼きを一人で10くらいべちゃうし、トルコではドネル・

    【新連載 東京“エス肉”めぐり 第一回】三軒茶屋で完全炭火焼・コスパ抜群のシュラスコを喰らえ! - ぐるなび みんなのごはん
    morioka
    morioka 2015/02/03
  • 人工知能は失業者を生む:中国のAI研究者が警鐘

    morioka
    morioka 2015/02/03
    ふつう、Andrew Ngの枕詞は「中国の」ではなく「スタンフォードの」だと思うのだけれど。
  • 民間人テストパイロットがF-22 1,000飛行時間を達成 | FlyTeam ニュース

    F-22のコクピットで1,000飛行時間のプラカードを見せるロッキード・マーティンF-22チーフ・テストパイロット、スティーブ・レイニー氏 アメリカの民間人テストパイロットが、2015年1月22日、カリフォルニア州エドワーズ空軍基地(AFB)で、F-22ラプター1,000飛行時間を達成しました。 民間人と言ってもアメリカ空軍の虎の子「F-22」を飛ばすのですから、ただ者であるわけがありません。同基地でF-16のテストパイロットやF-22の試験計画責任者を勤めた元軍人で、現ロッキード・マーティンのチーフ・テストパイロットであるスティーブ・レイニー氏がその記録を達成した人物です。 レイニー氏は1998年に、エドワーズAFBでF-22を飛ばした最初の空軍パイロットになりましたが、2000年に空軍を退役し旅客機のパイロットになりました。しかし、カートランドAFBでF-16の4機編隊を旅客機のコクピ

    民間人テストパイロットがF-22 1,000飛行時間を達成 | FlyTeam ニュース
    morioka
    morioka 2015/02/03
    ボーイング籍でF-22のテストパイロット?
  • マイクロソフトの天才、キップマンってどんな人?

    駅員さんじゃないよ。 1月にマイクロソフトが発表した中で1番衝撃的だったもの。それはVR(Virtual Reality)ゴーグルHololensですよね。3Dのホログラムを、まるで実際に目の前にあるかのようにつかんだり、触ったりできるというこのヘッドセット。いかに簡単に従来のコンピューターでは成し得なかった仮想的なものを作ることができるかを世に知らしめました。 その開発者がアレックス・キップマンです。 キップマンはブラジルに生まれ、2001年にロチェスター工科大学を卒業した後、幹部候補としてマイクロソフトに入社しました。彼はマイクロソフトの開発者向けソフトウェアである「ビジュアルスタジオ」の開発者としてキャリアをスタートさせ、2005年にWindows部門に入ります。 けれども、彼の才能が当に開花したのは2008年、Xbox部門に入ってから。キップマンが開発したKinectのモーション

    マイクロソフトの天才、キップマンってどんな人?
    morioka
    morioka 2015/02/03
  • 自分でスキャンしたファイルをKindle本に変換できるAmazon謹製ソフトが登場

    Amazon.comは2月2日(現地時間)、個人が所有する書籍データをKindleに変換するWindows向けソフト「Kindle Convert for PC」を発売した。価格は49ドルだが現在は19ドルで販売。ただし、現時点では米国のみでの展開となる。 このソフトは、スキャナで取り込んだ書籍データ(JPEGやTIFF、PDF。解像度は300dpi以上を推奨)をKindleに変換できるというもの。単純な変換を掛けるのではなく、文字属性のOCRやその修正、傾き補正などが簡単な操作で行え、できあがったものをAmazonのオンラインストレージであるCloud Driveに送ることができる。 複雑なレイアウトには対応していないが、文字中心の書籍であればかなりよいものができあがりそうだ。 関連記事 米Amazon、電子教科書領域に向けたオーサリングツール「Kindle Textbook Cr

    自分でスキャンしたファイルをKindle本に変換できるAmazon謹製ソフトが登場
    morioka
    morioka 2015/02/03
    これは欲しい。日本版が。
  • http://www.osica.jp/interview/story_201405.html

    http://www.osica.jp/interview/story_201405.html
    morioka
    morioka 2015/02/03
    アオイホノオ
  • 東芝 テレビ自社生産から撤退へ NHKニュース

    テレビ事業の抜的な見直しを進めている「東芝」は、インドネシアの生産拠点のほか、エジプトの合弁工場も売却する方針を固め、自社生産から撤退する見通しになりました。 一方、日国内にかぎっては、生産を海外メーカーに委託して自社ブランドでの販売を続けることになります。 関係者によりますと、東芝はエジプトの合弁工場で行っているテレビの生産事業をことし4月までに合弁相手の現地の家電メーカーに売却する方針を固めました。 エジプトの工場は4年前から中東やアフリカ地域向けにテレビを生産していましたが、東芝が海外でのテレビの販売事業から撤退するのに伴って、手放すことにしたものです。 東芝は、インドネシアにあるもう1つのテレビの生産拠点も売却する方向で複数の企業と交渉を進めており、いずれも売却が決まれば、海外向けが中心だったテレビの自社生産から撤退することになります。 一方、日国内にかぎっては、生産を海外

    morioka
    morioka 2015/02/03
    話題になってたのはこれか。
  • Expired

    Expired:掲載期限切れです この記事は,産経デジタル との契約の掲載期限(6ヶ月間)を過ぎましたのでサーバから削除しました。 このページは20秒後にITmedia ニュース トップページに自動的に切り替わります。

    Expired
    morioka
    morioka 2015/02/03
    管理規約で禁止された。
  • 「823年に一度の奇跡のカレンダー」の季節が今年もやってきました - 聴く耳を持たない(片方しか)

    2015年の今年、2月はこのようなカレンダーになっています。 1日が日曜日で28日分が綺麗に4段で収まっていますね。こうした配置は少し珍しいな、と感じる方も多いのではないでしょうか? すると、先日こんなツイートが投稿され、多数のRTを集めていました。 確かになかなかありませんが、823年というのはさすがに大袈裟で、少し調べるだけでも 2009年2月 2026年2月 と前後10年もせずにありますから、日付には定評のある東スポ(日付以外はあっていない、とも)のTwitterアカウントからもこうしてツッコミを受ける事態になっています。 この件そのものは、携帯電話やパソコンのカレンダー機能を使えばすぐに分かるだろ!……っていう即終了する話なんですが、問題はこのネタって定期的に湧いてくるんですよね。 さらに言えば日だけでなく、世界的に。少なくとも英語圏でも何度も見かけます。 ということで、これまで

    「823年に一度の奇跡のカレンダー」の季節が今年もやってきました - 聴く耳を持たない(片方しか)
    morioka
    morioka 2015/02/03
  • 恐怖の JVM 大量メモリ消費!メモリリークの謎を追え!! - Cybozu Inside Out | サイボウズエンジニアのブログ

    こんにちは、ミドルウェア開発チームの青木(@a_o_k_i_n_g)です。将来の夢は川口浩探検隊に入ることです。 先日、弊社のアプリケーションサーバーで大量にメモリを消費するという現象に遭遇しました。アクセス頻度の低いサーバーがメモリを大量消費するという謎深いものでした。 発生当初の状況はこんな感じです。 アプリケーションサーバーでは Jetty が稼働 現象が発生した JVM は 5GB 程度のメモリを消費しており、明らかに通常ではない量のメモリを消費している 複数台のサーバーで発生していたが、全てで発生したわけではない。 また、発生したサーバーはいずれもアクセス頻度が少ないサーバーだった。 ヒープ、パーマネント、スタック ひとまず、JVM でトラブルが発生した時は何はともあれヒープダンプとスレッドダンプを見るに限ります。各種情報の取得をインフラ部隊へ依頼し、得られたヒープを解析すると、

    恐怖の JVM 大量メモリ消費!メモリリークの謎を追え!! - Cybozu Inside Out | サイボウズエンジニアのブログ
    morioka
    morioka 2015/02/03
  • OpenIDをとりまくセキュリティ上の脅威とその対策

    なりすましは可能か——OpenIDとリプレイ攻撃 次にリプレイ攻撃(Replay Attack)について触れます。リプレイ攻撃とは簡単に説明すると、「パスワードや暗号鍵、あるいは認証済みのセッションデータなどを再利用してそのユーザーになりすます攻撃」といえます。OpenIDでもこのような攻撃が可能でしょうか?——答えは可能です。 id_resモードによってIdPからUserAgentを介してConsumerに渡される認証結果文字列を再度利用することによりConsumerサイトにおいてそのユーザーとして認可されてしまうでしょう。 これはちょっとしたConsumer側の対策で簡単に防ぐことができます。OpenIDの認証トランザクションが開始する際にConsumer側で独自のnonce(ハッシュを用いたなりすまし防止のためのランダムな文字列)をエンドユーザーに対して発行します。このnonceはユ

    OpenIDをとりまくセキュリティ上の脅威とその対策
    morioka
    morioka 2015/02/03
  • vNext Build fails with error message ‘Cannot find solution’ because it does not exist. - MSDN Blog

    In Visual Studio 2022 17.10 Preview 2, we’ve introduced some UX updates and usability improvements to the Connection Manager. With these updates we provide a more seamless experience when connecting to remote systems and/or debugging failed connections. Please install the latest Preview to try it out. Read on to learn what the Connection ...

    vNext Build fails with error message ‘Cannot find solution’ because it does not exist. - MSDN Blog
    morioka
    morioka 2015/02/03
  • ウェブ界の近未来を指し示す男の「嗅覚」

    テクノロジー関係者でティム・オライリーの名前を知らない人物はいないだろう。 オライリーは、1977年に自分の名前を冠した出版社を創設した。サンフランシスコから北へ2時間ほども車を走らせた、のんびりした田舎町に、だ。 そのオライリー&アソシエーツ(後にオライリー・メディアに改称)が出版したのは、コンピュータ関連の解説。コンピュータ・ハードウェアの関係者たちに向けたものだった。 だが、考えてもみてほしい。1970年代末といえば、インターネットはもちろんのこと、パーソナル・コンピュータが人々に知られていなかった時代。彼は、そんな時にコンピュータに特化した出版社を作ってしまったのだ。 ウェブ界の新しい潮流を見つけ出す嗅覚 だが、オライリーの先見の明は年月が経つに連れて次々と明らかになっていく。 たとえば、1992年に出版したインターネットの解説『ホール・インターネット・ユーザーガイド&カタログ

    ウェブ界の近未来を指し示す男の「嗅覚」
    morioka
    morioka 2015/02/03
  • 「広告宣伝費を削った100社」ランキング

    テレビやインターネット、新聞、雑誌といった主要なメディアを中心として、一般消費者の目に届く企業広告。鉄道、バスなど交通機関の車内や駅・停留所のほか折り込みチラシなどでも目にすることが多い。 東洋経済オンラインは1月27日、「『広告宣伝費』を増やしたトップ100社』を配信したが、今回はその逆を紹介しよう。主要な上場企業のうち、この5年間で広告宣伝費を減らした金額が多い上位100社をランキングした。 原則として直近の決算(2013年10月期~2014年9月期)における有価証券報告書の表・注記に開示があった企業を対象としており、広告宣伝費と販売促進費が分けられない場合は合算値を用いて算出。業種は金融以外の一般のみに限定した。なお、連結ベースなので海外における広告宣伝活動も原則として反映されているとみられる。 広告は企業業績がいいときには金額を増やし、悪いときには広告を減らす傾向がある。5年前

    「広告宣伝費を削った100社」ランキング
    morioka
    morioka 2015/02/03
  • Nexus 7(2012)をLolipopにして重くなったChromeは閲覧履歴のクリアで軽くなった

    Nexus 7をAndroid 5.0 Lolipopにアップデート、Nexus 7(2012)をAndroid 5.0 Lolipopにアップデートしたら重くなった、Nexus 7(2012)をAndroid 5.0 Lollipopからダウングレードして4.4.4 KitKatに戻す方法を検討、Nexus 7(2012)を初期化したら重かったAndroid 5.0 Lollipopでもサクサク動くようになった、Nexus 7(2012)をAndroid 5.0.2にアップデートする事でメモリーリーク問題も解消?(追記あり)と続けてきたNexus 7(2012)を5.0 Lolipopにしてから続く高速化の戦い。 一番動作が重くて再起動の原因となっていたChromeについては、閲覧履歴のクリアを行うだけであっさりと解消ができました。

    Nexus 7(2012)をLolipopにして重くなったChromeは閲覧履歴のクリアで軽くなった
    morioka
    morioka 2015/02/03
  • Nexus 7(2012)をAndroid 5.0.2にアップデートする事でメモリーリーク問題も解消?(追記あり)

    Nexus 7(2012)を初期化したら重かったAndroid 5.0 Lollipopでもサクサク動くようになったと前回書いて、Android 5.0 Lollipopのアップデートによる不具合も終わると思っていましたが、暫く使っているとまた重たくなって再起動が必要に。 これは、やはりメモリーリークの不具合が発生していたようで、Googleもこの問題を把握して対応をする事になったようです。 スマホ口コミ評価速報:Android 5.0/5.0.1でメモリリーク不具合が公式に確認。5.0.3アプデで修正の見込み これを受け、Googleプロジェクトメンバーも不具合を公式に確認したようで、同スレッドのステータスがFutureReleaseに変更されました。 また、この重たくなるのは最後に端末を起動してから40時間ぐらいで発生するようです。 スマホ口コミ評価速報:Android 5.0/.5

    Nexus 7(2012)をAndroid 5.0.2にアップデートする事でメモリーリーク問題も解消?(追記あり)
    morioka
    morioka 2015/02/03
  • Nexus 7(2012)を初期化したら重かったAndroid 5.0 Lollipopでもサクサク動くようになった

    Nexus 7をAndroid 5.0 Lolipopにアップデートし、Nexus 7(2012)をAndroid 5.0 Lolipopにアップデートしたら重くなったとレポートし、Nexus 7(2012)をAndroid 5.0 Lollipopからダウングレードして4.4.4 KitKatに戻す方法を検討までした今回のAndroid 5.0 Lollipopへのアップデート。 イライラする挙動でも我慢して使っていましたが、昨日、急にWifiに接続が出来なくなりました。 まず、Wifiの設定画面が立ちあがらない、画面が出てきても真っ白、Wifiが選択できずパスワード等の設定が出来ない状況で、再起動を繰り返してもなんともならず。 そこで、Android 5.0 Lollipopが遅い事もあってNexus 7(2012)を工場出荷時の状態に初期化をしてみると、かなりサクサクの挙動となってい

    Nexus 7(2012)を初期化したら重かったAndroid 5.0 Lollipopでもサクサク動くようになった
    morioka
    morioka 2015/02/03
  • 偽物と思われるソニー製のネクサススマートフォン「Xperia Nexus」情報、何故かグーグルから郵送の手紙で仕様指定?

    偽物と思われるソニー製のネクサススマートフォン「Xperia Nexus」情報、何故かグーグルから郵送の手紙で仕様指定? Xperia Nexus brand smartphone of imitation perhaps グーグル、リファレンスモデルとして展開している「Nexus」シリーズに、ソニーモバイル製の初となるエクスペリアブランドのネクサススマートフォン「Xperia Nexus」が追加されるとの情報。しかし、偽物(フェイク情報)の可能性が非常に高いようです。 ■ スペック コードネーム: Porpita OS: Android 5.0 Lollipop CPU: Qualcomm Snapdragon 805 or 810 RAM: 3GB ROM: 32GB or 64GB サイズ: 111.9×60×9.1mm 画面: 4.3インチ LTPS ゴリラガラス4採用 解像度:

    偽物と思われるソニー製のネクサススマートフォン「Xperia Nexus」情報、何故かグーグルから郵送の手紙で仕様指定?
    morioka
    morioka 2015/02/03
  • Facebook製「Facebook Bluetooth Beacon」がFCC認証を取得

    morioka
    morioka 2015/02/03
  • Windows 10 and Ubuntu prepare for IoT battle on Raspberry Pi 2 – Old GigaOm

    morioka
    morioka 2015/02/03