証明の“お膳立て”のやり方 - 檜山正幸のキマイラ飼育記 (はてなBlog)
N君が「こういうのは、どうやって証明したらいいのか… わかんないなー？」と困った顔をしてました。的確な処方箋を述べることは出来ないのですが、ヒントになりそうなことを記しておきます。 目的： 証明の“お膳立て”とは 例題 命題、証明可能性判断、証明要求 連言の分解 含意の変形 全称限量子を型宣言に お膳立てルールの繰り返し適用 同値な命題に置き換える お膳立てを完成させる シリーズ目次： 証明の“お膳立て”のやり方 証明の“お膳立て”のやり方 2： 証明の顧客・業者モデル 証明の“お膳立て”のやり方 3： さらに事例 証明の“お膳立て”のやり方 4： 随伴による集合差の定義 証明の“お膳立て”のやり方 5： 証明可能性判断と推論規則 証明の“お膳立て”のやり方 オマケ1： 集合の内包的記法の困惑 有限集合とは何だろう（ストーリー付き練習問題集） 有限集合とは何だろう への補足 距離空間と位相
食う寝る殺す『性食考』
食べること、セックスすること、殺すこと。これらは独立しているのではなく、互いに交わり重なり合っている。「食べちゃいたいほど、愛してる」という台詞を起点に、古事記と神話、祭りと儀礼、人類学と民俗学と文学を横断しながら、人の欲の深淵を覗き見る。ぞくぞくするほど面白い。 著者は民俗学者。引き出しを沢山もっており、バタイユやレヴィ=ストロース、デズモンド・モリスや柳田國男などを次々と引きながら、性と食にまつわるさまざまな観点を示してくれる。おかげで、わたしの引き出しも次々と開かれることとなり、読めば読むほど思い出す読書と相成った。 たとえば、入口の「食べちゃいたいほど、愛してる」は、センダック『かいじゅうたちのいるところ』から引いてくる。いたずら小僧のマックスが、罰として寝室へ追いやられるところから始まる夢と空想と「かいじゅうたち」の物語。その愛のメッセージを引いてくる。 「おねがい、いかないで。
「ネットはゴミだらけ」を考える:Geekなぺーじ
「ネットはゴミだらけ」ということが話題になることが増えてきました。 今も昔も、ネット上にあるコンテンツが玉石混淆であることは変わりません。 ある程度探したいものが明確であり、かつ、キーワードもわかっていれば、今も昔も変わらずにネット検索は可能です。 しかし、何かは確実に変わっているように思えます。 そうやって考えていると、そもそも、Webの世界で実現される夢として語られていた「群衆の叡智」というのは、あの当時の熱狂を背景として専門家がダンピング的に専門知識をネット上に掲載していたから実現したことであって、それが永遠に続くわけではないのかも知れないと思い始めました。 叡智を目指したはずが、営利へと主軸が変化していくなかで、2000年代の熱狂と夢から覚めつつある人々が「ネットはゴミだらけ」という感想を発している場合もありそうです。 さらに、「ゴミだらけ」になった背景であったり、「ゴミだらけ」だ
エピソード - みみより!解説
日銀の政策転換で金利が上がってきています。家計にもプラス・マイナス両方の影響が出てくる可能性があります。預金・保険・住宅ローンなどについて詳しく解説します。
Tome Software、自転車ブランドTrekと提携——自転車事故削減のためのAI開発を目指す - BRIDGE（ブリッジ）テクノロジー＆スタートアップ情報
Image credit: Pixabay 私は昨年の夏から定期的に自転車に乗るようになった。出張のたびに、健康を保つため、もしくは都市を散策するための手段として自転車を使うようにしている。また、数え切れないほど自転車でキャンプに出かけたが、そのほとんどは私が住んでいるミネソタ州だ。 昨年、カリフォルニア州マウンテンビューに行った際、初めて自転車事故を目撃した。それほど深刻なようには見えなかったが、改めて言うと、たとえ自分が軽やかに身をこなして避けられる人だとしても、自転車に乗っている時に車とぶつかるのは、常に深刻な事態だ。 自転車事故を減らすために AI を使った実験プロジェクトを Tome Software という会社が始めると知った時、私はこれに注目をした。これは、典型的な AI のユースケースではない。マシーンラーニングの使われ方の多くは、スマートホームの統合、自動運転車、Face
Windows 10でSSH（Secure Shell）サーバーを使う
Anniversary Updateから 開発者モードで利用可になったSSHサーバー Windows 10のAnniversary Update（RS1）から、開発者モードをオンにすると、SSHサーバーが起動するようになっている。SSHとは「Secure Shell」の略で、ネットワークを介して、他のホストに接続して「シェル」を使うためのプロトコルだ。通信は暗号化されていて、ホストやサーバー認証も行なわれ、比較的安全にインターネット内で利用することができる。 SSHでは、SSHサーバー側がネットワークからの接続を待ち、SSHクライアント側はネットワークを介して他のマシン上で動作しているSSHサーバーに接続する。接続すると、SSHクライアントプログラムのウィンドウに対するキーなどの文字入力は、サーバー側に送られ、サーバー側でシェルが動作、その応答（文字出力）がSSHクライアントプログラムのウ
ウェブペイを手がけた久保氏、次の挑戦は「無人コンビニ」？決済機能付きスマート冷蔵庫をfacebookに投稿 - BRIDGE（ブリッジ）テクノロジー＆スタートアップ情報
昨日facbookに投稿された一つの動画が話題になっている。 投稿したのは久保渓氏。2015年2月にモバイル送金・決済のプラットフォーム「WebPay」を展開するウェブペイ・ホールディングスをLINEに売却した連続起業家だ。その後、LINE Payへの事業移行が進み、WebPayそのものの事業は2016年10月に終了を発表。久保氏も2017年5月末の完全なる移行を機会にLINEグループを離れ、新しい活動の準備をしていたようだ。ただ現在は今年6月に設立し、久保氏が代表に就任した600株式会社という情報がfacebookのタイムラインにある以外、表立った活動は特に聞こえてこなかった。 彼が昨日投稿した内容は友人設定されているので、許可をもらった上でスクリーンショットをいくつか掲載させてもらう。 スマート冷蔵庫についてる端末にクレジットカードをスワイプして解錠 中から好きな商品を取り出して端末で
東海道新幹線の車内で乗客のタブレット端末から煙 非常停止 | NHKニュース
２４日、東海道新幹線の車内で乗客の持っていたタブレット端末から煙が出て、車両が品川駅の近くで非常停止しました。けが人はいませんでした。 乗り合わせた男性が撮影した動画には、車両の前方に煙が立ちこめ、乗客に避難を求める車内アナウンスが流れている様子が確認できます。 ＪＲによりますと、新幹線は非常停止し、同じ車両にいた乗客は別の車両に移動しましたが、けがをした人はいませんでした。 新幹線は、安全を確認したうえで運転を再開し、品川駅に８分遅れで到着しました。 警視庁によりますと、乗客の男性が新横浜駅を過ぎてタブレット端末の電源を入れようとした際、突然、煙が出たということです。 タブレット端末は熱によって変形していたということで、警視庁や消防は、バッテリー部分が発熱した可能性があると見て詳しい状況を調べています。 この新幹線に乗り合わせて動画を撮影した千葉県に住む４７歳の男性は「急に白い煙が上がり
『クレカや電子マネーが普及しないのは、決済端末や手数料が高いから』では、電子決済が広まるはずもない！業界誌監修でこの内容はツラいです。 - クレジットカードの読みもの
本日、週プレニュースを読んでいたら、興味深い記事を発見。 使えるのはチェーン店だけ？ クレジットカード＆電子マネーが日本で普及しない理由 どうやら日本国内でクレジットカードや電子マネーが普及しない理由が書いてあるとのことなので、熟読してみることにしました。 では、なぜこれほどクレカや電子マネーを持つ人が増えているのに、決済方法として導入していない店が多いのか。業界唯一の電子決済専門誌『カード・ウェーブ』の編集長・岩崎純さんに聞いた。 日本でクレカや電子マネーが普及しない理由とは？ ではなぜ、日本でクレジットカードや電子マネーが普及しないのか？ 業界唯一の電子決済専門誌『カード・ウェーブ』の編集長・岩崎純さんによると下記の理由によるものだそうです（カード・ウェーブの詳細はこちら）。 「一番大きな理由は手数料です。クレカや電子マネーでお客さんが支払いをすると、店側はその金額に応じた数％の手数料
【アンチパターン】Arrange、Act、Assert（AAA）を意識できていないRSpecのコード例とその対処法 - Qiita
【アンチパターン】Arrange、Act、Assert（AAA）を意識できていないRSpecのコード例とその対処法RubyRailsRSpec # トレーニングジムの予約システムを開発していると仮定してください describe 'キャンセル処理' do let(:user) { create :user } let(:reservation) { create :reservation, user: user, start_at: '2017-08-10 10:00'.in_time_zone } context '24時間前をすぎるとキャンセル料が発生する' do before do travel_to '2017-08-09 10:00'.in_time_zone reservation.cancel! end after { travel_back } let(:billing)
愛媛編：一般家庭の蛇口は2つ――地方別「風土」「産業」「暮らし」
愛媛県は、「東予」「中予」「南予」の3つの地方から成る。それぞれの地方は、別の県といってもいいほど趣が異なる。端的に言えば、「歴史文化、工業の東予」「教育、観光、商業の中予」「自然、農林水産業の南予」といったところだ。 移住に当たっては、食も重要な要素だろう。 愛媛といえばミカンが有名だが、キウイ、ブルーベリー、桃の産地でもある。全国トップシェアの伊予市の小魚珍味、宇和島市の鯛飯、名水百選の西条市のビール、松山市道後の地ビール、地酒、じゃこ天、中山栗などもはずせない。 1つだけ、期待してはいけないことがある。愛媛の一般家庭の蛇口の数は2つがデフォルトであって、みかんジュース蛇口工事の助成制度はない。 次ページから、3つの地方を順に紹介していこう。 関連記事 鳥取編：ITの仕事って、ホントに田舎でもできるんですよね？ ITエンジニアならば、PCとネットワークがあればどこでも働ける――それが本
秋葉原 変容し続ける街で「なにもしなかった」オノデンが生き残った理由 | 文春オンライン
1960年代前半、東京五輪に沸く首都を活写した開高健の『ずばり東京』で、開高が描かなかった街・秋葉原。いまやJR東日本で9位の乗降客数を誇り、外国人観光客も多く呼び寄せる秋葉原は、どのように発展してきたのか。ノンフィクションライター・神田憲行氏が、その軌跡を辿る。 出典：「文藝春秋」2017年9月号・全3回 しかし開高の「ずばり」に、秋葉原という文字は一度も登場しない。これは今の感覚からするとけっこう不思議なことではないだろうか。 この連載が開高健の「ずばり東京」をモチーフにしていることは読者のみなさんもご存じだろう。1960年代前半、東京五輪開催直前の東京のあちこちを開高が歩き回った名作ルポである。 現在のJR秋葉原駅の1日の乗降客は24万6000人以上、JR東日本管轄の駅の中では9位に入る。上野や有楽町などよりも多い（2016年度、JR東日本調べ）。また「電気街」「アイドル」「アニメ」
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Dadbag – パパのでっ腹風ウェストポーチ
Apple Watch Series 3でLTE契約、その手順を調べてみた：石川温 - Engadget 日本版
著作権料を気にせず使える音楽聴き放題アプリ「Simple BGM」 - ディレイマニア
「音楽関係者は注意を」と専門家 「半音下がって聞こえる」咳止め薬の副作用