数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
「『社会の決まり』はどのように決まるか」 - shorebird 進化心理学中心の書評など
「社会の決まり」はどのように決まるか (フロンティア実験社会科学) 作者: 亀田達也,西條辰義出版社/メーカー: 勁草書房発売日: 2015/01/20メディア: 単行本この商品を含むブログ (3件) を見る 本書は「フロンティア実験社会科学シリーズ」の一冊．このシリーズは，特定領域研究「実験社会科学」の研究成果をまとめたもので，これまでの政治学，経営学，経済学，社会学，心理学などという学問の垣根を越え，社会が進化の産物であるヒトの行動や選択の積み重ねの結果形成されることを正面からとらえ，ヒトの特性の観察，実験によって社会を理解していこうという取り組みを紹介するものだそうだ．本書のその中で「社会規範」がどのように成立するのかを扱ったものということになる． 序章では問題状況が概説される． 最初にホッブスの議論とダンバーの社会脳仮説を振ってから，「社会規範がうまく機能し，維持されるために解かな
「ナラティブ」概念について
リンク インサイド ゲームのナラティブはどうして議論がわかりにくい？ 立命館大学ゲーム研究センターの研究員が徹底議論 | インサイド KANSAI CEDECで立命館大学ゲーム研究センターは「ゲームの『ナラティブ』がどうしてこれほど問題になるのか？」というパネルディスカッションを実施しました。 manjimal_sakaki @manjimal_sakaki 現在、ゲームとナラティブというテーマが何かしら「難しさ」を感じさせるものになってしまっているのは、「ナラティブ」という用語が日本のゲーム業界に独特な形で輸入されてしまったからではないか（例：CEDEC2013。4gamer.net/games/999/G999…）。→ manjimal_sakaki @manjimal_sakaki 承前）《リニアかつ固定された物語》はナラティブではなく《プレイヤーがゲームをプレイすることで事後的にプ
ネアンデルタール人と人類の出会いに新説
5万5000年前の現生人類の頭蓋骨の一部。2015年1月、ガリラヤ西部のマノット洞窟で発見された。人類がネアンデルタール人と同時期にレバント地方にいたことを示唆している。（Photograph by Menahem Kahana, AFP, Getty Images） 人類はどこから来て、どうやって拡散したのだろう？ はじめの疑問に対しては、遺伝学の研究が説得力のある答えを見出している。現生人類の祖先はアフリカで進化したというものだ。 人類はその後、6～5万年前に一気にユーラシア大陸に広がった。そしてこのたび米国の2人の考古学者が、初期人類がアフリカを出てから広く拡散するまでの道のりを明らかにしたと発表した。パンくずのように残された石器の跡をたどると、私たちの祖先はいったんアフリカから緑のオアシスだったアラビア半島へと遠回りし、5万年間ほど定住。続いて中東に移動して、そこではじめてネアンデ
【作業用BGM】RIP SLYME（リップスライム）mix 1
RIP SLYME（リップスライム）mixを作成しました。聞きづらいかと思いますが、是非聞いてみてください！よろしくお願いします！1.雑念エンタテイメント 2.BLUE BE BOP 3.Hot chocolate 4.ジャッジメント 5.マタ逢ウ日マデ 6.Masterpiece 7.黄昏サラウンド 8.Disco-mmunication 9.Bushuman 10.UNDER THE SUN 11.楽園ベイベー 12.love & hate 13.GOOD DAY 14.FUNKASTIC 15.GALAXY 16.ブロウ 17.StroboX 18.bubble トラブル 19.ジグソウ 20.太陽とビキニ 21.ヒッチハイクガール 22.MORE&MORE 23.JOINT★他mix【ファンモンmix】⇒sm9478658【リップスライムmix】⇒sm9391499 【ケツメイシ
『21世紀の資本』訳者解説――ピケティは何を語っているのか/山形浩生×飯田泰之 - SYNODOS
700ページ以上の大作、さらに経済専門書にも関わらず、世界各国で100万部以上を売り上げた『21世紀の資本』。現在、空前の「ピケティーブーム」だ。なぜ、こんなにも注目が集まっているのか。そして、ピケティはいったい『21世紀の資本』で何を語っているのか。訳者・山形浩生と、経済学者の飯田泰之が語る。紀伊國屋ホールで行われた「ピケティ『21世紀の資本』刊行記念 山形浩生×飯田泰之トークショー 訳者解説プラス」より抄録。（構成／山本菜々子） 飯田 本日は、『21世紀の資本』訳者・山形浩生さんにお話を伺います。ピケティ大流行ですね！ 米国では50万部売れたそうですが、現在、日本ではどのくらい売れているのですか。 山形 7刷か8刷で、13万部売れていると聞いています。 飯田 単価を考えると今世紀でいちばん売り上げた経済専門書になるのではないでしょうか。 山形 そうですよね。僕のところに翻訳しろという
【JAZZ・FUSION】 45分耐久Take Fiveメドレー 【作業用BGM】
ジャズに五拍子を持ち込んだ事で有名な、Paul Desmond作曲、テイクファイブだけで作業用BGM。様々な演奏者による七変化どころか時々原形とどめてない様をお楽しみ下さい。イチオシは9曲目。 【曲目】1.The Dave Brubeck Quartet 2.Will Boulware 3.Carmen Mcrae With The Dave Brubeck Quartet 4.Take five (Take another five)/Grover Washington Jr. 5.堅田喜三久 6.Aziza Mustafa Zadeh 7.Take Five (Nicola Conté Remix)/Roberto Roena 8.Chet Atkins 9.おまけ/Farmers Market 関連BGM：■30分耐久Giant Steps[sm2146450] ■五拍子楽曲寄
新宿歌舞伎町ぼったくりFAQ | 新宿 弁護士青島克行の歌舞伎町ぼったくり被害相談室
新宿 弁護士青島克行の歌舞伎町ぼったくり被害相談室 新宿歌舞伎町でぼったくり被害にあわれた方から毎週３～４件（どころではない数）のSOS電話を受けております。弁護士として緊急対応ができない懺悔の気持を込めてこのサイトを運営しています。 歌舞伎町ぼったくり｜よくあるご質問 細かい話はぬきにして、原則的な回答をさせていただいております。 あくまで原則的な回答ですので、個別具体的事情（身の危険！）に応じた、現場判断は、皆さん各自でしていただく必要があります。 安全第一、無事帰宅を再優先にお願いします。 弁護士に関するご質問 Q 今歌舞伎町交番前にいます。今助けに来てくれますか？ A 申し訳ないです。行けません。 今後どうなるかはわかりませんが、2015.3月時点では現場に出向くという対応をする予定はありません。 但し、被害客側が店側に自分の身分（氏名、住所、電話番号など）を明かしているにもかかわ
正義の反対は悪ではなく、もう一つの正義だ『正義はどう論じられてきたか』
世の中には、あてにならない言葉がある。 「行けたら行くわ」 「怒らないから言ってみなさい」 「テスト勉強してないわー」 「大丈夫、何もしないよ絶対に」 他にも、「全米No.1」や「免疫力」、「効果を実感したと答えました」なんて浮かぶ。これらは、言葉があてにならないというよりも、むしろ、このセリフを言う人を信じてはいけない。「行けたら行くわ」と言う奴は頭数に入れないし、「何もしない」は連れ込むための方便だ。 これに「正義」が入る。あてにならないのは言葉ではなく、ふりかざす人。前提なしで「正義」を振りまわす人が胡散臭い。主義に応じて伸び縮みし、いかようにもカスタマイズできるこの言葉を、それが使われることで流された血をきれいに忘れ、恥ずかしげも恐ろしげもなく使う人を、わたしは信じない。 この「正義」について、古代から現代までを振り返り、正義論の思想地図を検証したのが本書になる。プラトン、アリスト
新宿歌舞伎町ぼったくり店のご紹介 | 新宿 弁護士青島克行の歌舞伎町ぼったくり被害相談室
新宿 弁護士青島克行の歌舞伎町ぼったくり被害相談室 新宿歌舞伎町でぼったくり被害にあわれた方から毎週３～４件（どころではない数）のSOS電話を受けております。弁護士として緊急対応ができない懺悔の気持を込めてこのサイトを運営しています。 歌舞伎町ぼったくり被害｜店舗一覧ページ 被害者の皆さまからのご報告のうち、店舗名のご報告のあったものをご紹介いたします。 今相手にしている店員が、これらの店舗の店員かどうか、参考までに。 歌舞伎町ぼったくり｜情報の提供をお待ちしております ★の数は私の事務所に被害報告のあった回数です。 （最終更新：2015/07/14） 「ALTANA」 ★★★★★★★★★★ ★★★★★★★★★★ ★★★★★★★★★★ ★★★★ ← 被害報告件数最多店舗です。（かなり悪質な例あり→4/16までに３名検挙されました。→検挙されても営業継続中です→6/13一斉摘発対象店→その後
全てのUIは消耗品である、とりあえず今のところ
全てのUIは消耗品である、とりあえず今のところ Any UIs are consumable , for the time being 2015.04.08 Updated by Ryo Shimizu on April 8, 2015, 08:29 am JST Windows10は成功すると思います。 Windows8の惨めな敗北を挽回し、再びMicrosoftが地上の王者たる地位を取り戻すきっかけになるでしょう。 Microsoftというのは思えばとても幸運な会社です。 失敗しても、挽回するチャンスが幾度もあります。 たとえば誰にも見向きされなかったWindows1.0とWindows2.0、使い辛かったWindows Vista、そして今回のWindows8。 にもかかわらず、Microsoftがユーザから支持され続けるのは常にユーザに沿おうと努力し続けているからです。 失敗したら
生活コストの「見える化」システムがスゴかった - なか日記
2015-04-08 生活コストの「見える化」システムがスゴかった 雑記 いつからなのかはよくわかりませんが、経済産業省が『生活コストの「見える化」システム』というものを公開しています。 生活コストの「見える化」システム（METI/経済産業省） どんなものかちょっと気になったので少し使ってみました。 ん？ お、おう。 ダウンロードした後、xlsmファイルを開きます。しばらくPCのファンが唸った後、システムが起動します。 「地域の家計収支」と「地域の暮らしやすさの貨幣価値」を見ることができるようです。 松山市と大都会岡山を比較してみました。 地域の家計収支 収入は適当な金額です。私の世帯収入じゃないですよ。 興味がある地域と他の地域1箇所で比較することができるようです。 これを見て、「お、俺の収入で何とか生きて行けそう」という安心感を得る感じでしょうか。 ボタンから各自治体の移住に関する情報
『データビジュアライゼーションのデザインパターン20 －混沌から意味を見つける可視化の理論と導入－』｜感想・レビュー - 読書メーター
データビジュアライゼーションのデザインパターン20 －混沌から意味を見つける可視化の理論と導入－の評価67％感想・レビュー3件
社内にエンジニア的な視点を入れたくないというお話。
「なんで穴の空いたジーパン履いてるんですか？」 「汚いし、寒いし、動きづらいから、こっちのナイロンパンツ履きましょうよ！」 「このナイロンパンツ、ゴアテックスっていう高機能素材使っているから、雨にも強いし、風も通さないし、最高ですよ！」 「え、あっ…うん…」 さて、これは極端な話ですが、いま社内にエンジニア的な視点を入れたら、これと同じ現象が起きると思っています。 そして、こんな話を切り出されたら僕らは絶対に否定できない。どう考えても彼らの言っている事のほうが合理的だし、効率もよい。100％正しいことを言っていますからね。 でも間違いなく、この「穴の空いたジーパン」にも価値はある。その価値観を見出したくてやっているから、僕らは穴の空いたジーパンをこれからもしばらくは履き続けていきたいと思っているというのが今日の主題です。 一度失ってしまった価値観は、取り戻すことが不可能。 エンジニア的な視
ただ「急かす」だけの上司と、部下の仕事をスピードアップさせる上司のちがいは、２つの質問にある。
あらゆる会社に、結構な確率で、仕事を「急かす」上司がいる。カッコ内は部下の心の声だ。 上司 「こんな仕事3日でできるだろう」 部下 「…はい。」（いやいや、3日なんで絶対無理だから） 上司 「このプロジェクトは、1ヵ月でやれ」 部下 「…。がんばります」（いやいや、言ってることを実現しようとすると、最低3ヶ月はかかるから） もちろん、「早く仕事をしろ」と言う上司の気持ちもわかる。また、「ひょっとして部下が怠けているのでは」と疑心暗鬼になる上司もたくさんいよう。しかし、上司に急かされても、実際仕事は全く早くならないばかりか、かえって部下が上司への対応策を見つけるために余計な時間を使うハメになる。 仮に突貫工事で仕上げても、結局納期に間に合っただけで、肝心のプロジェクトの成果物や仕事のクオリティはおざなりになる。また、それを修正するために結局、より多くの時間がかかるため、「何のために急かしたの
新宿歌舞伎町で2人で20分呑んで260400円でした。
懺悔します。アホが負けた話です。 ------------------------------- →2015/4/9 03:00 追記しました。 →さらに追記：(2015/5/5 18:00） ・思わずお知り合いのhagexさんと意気投合してしまい記事に取り上げて頂きました。 はてな匿名ダイアリーで26万円ぼったくり被害を書いた人間は私の友人でした。hagex-day-info 2015-04-24 ・あれ、なんかこれって…（滝汗 何も連絡を受けた覚えは…あの。まぁいいですけど。 個人的には青島克行弁護士には心の支えを頂いた気がしますが、 この古川なにって人には何も…。 なんか書き方から流行りの「ネイティブアドのノンクレジット」臭がするのは気のせい？ 「20分飲んで26万円」歌舞伎町で「ぼったくり」に遭ったーーこんなときの対策は？弁護士ドットコム 2015年5月5日(火)11時37分配信
ピース又吉、本紹介するスマホ新サービスで“店主”務める「誰でも入って」
このサービスについて、又吉は「それぞれがそれぞれのテーマで棚を作るのが面白い。知らない本を手に取るのは勇気が要るけど、自分が読んでこなかった本と出会えるいい場所」とPRする。書店の店主を演じる自身のファッションについても「本屋としては和洋折衷のいい格好。着物を着ていると若者が入りにくく、おしゃれすぎると年配の方が入りにくい。こだわりなく誰でも入ってくれるとありがたい、という気持ちを込めた」と丹念に説明した。 又吉はこの会場で、太宰治や谷崎潤一郎などの著作を次々と解説し、目利きとしての腕前を存分に発揮。「日常の中に本があり、気付いたら本から知識を得ている。期待をしないで本を読んで救われた経験が何度もある」という又吉の、本に対する思いがあふれる発表会となった。
なるほどUnixプロセス ― Rubyで学ぶUnixの基礎 / Jesse Storimer - スペクトラム
#naruhounix を読んだ。 正直「プロセス？あれでしょ、なんか動くやつ。」というレベルだったので非常に勉強になった。 Rubyで書かれているのも、余計なこと(Cの文法とか例外処理とか)がついてこなくて理解しやすい。 書き方はいいからイメージが知りたいんや！というタイプの方におすすめ。 逆にRubyの余計なこと(このバージョンでは修正済みとか)がついてくるのでRubyist寄りであることはいなめない。 プロセスをforkしてもリソースは同じみたいなところはポインタ的な解釈。 あとfork後ちょっとでもメモリの内容が変わったら全コピーだと思ってたけど全然違ってオブジェクト単位？(このへんあやふや)というか本当に変わった部分だけコピーされるみたいだ。 例えばRailsアプリとかは立ち上がる際に大量のフレームワークのコードとアプリケーションのコードを読み込んでいるので数秒とかかかる。 しか
データビジュアライゼーションのデザインパターン20 −混沌から意味を見つける可視化の理論と導入−
この本の概要 データビジュアライゼーションのデザインパターンをサンプルをもとに，構成する要素やビジュアルのキーとなる部分などの概要から，作成する際に軸となるポイントまでを解説する書籍です。ビジュアライゼーションのサンプル例がWebとしてみることができるので，データビジュアライゼーションの概要を容易に理解することができ，さらにウェブ系のサイト構築/アプリ開発の現場で作成する際にイメージを共有させるなど，さまざまな活用をすることができます。 こんな方におすすめ データビジュアライゼーションを導入したいと考えているWeb，スマートデバイスの設計に関わる人 はじめに 目次 サンプルページの使用方法 Chapter1 データビジュアライゼーションの概論 データを可視化する必要性 データと情報，そしてビジュアライゼーション データは「素材」，情報は「料理」，ビジュアライゼーションは「調理法」と例える
「ソフトバンク光」開通できず「詫びWi-Fiルーター」が送りつけられる事案 - すまほん!!
Yahoo! BB ADSLの時代の既視感のような出来事ですが、SoftBankの光固定回線サービス「SoftBank光」が、工事が遅い・サポートセンターが繋がらない・工事日が決まらないなどのトラブルが相次いで報告されています。テレビCMを含め宣伝自体は数多く展開されているものの、現場の処理は追いついていないようです。 ソフトバンク光が早速トラブル中なんですが #softbank さらには、工事日になっても一向に工事が行われない問題への対応措置として、「詫び石」ならぬ「詫びWi-Fiルーター」が送られているようです。 SoftBank光の工事が遅れてるからか？ 無償でポケットWi-Fiが送られてきた！ 同封手紙によると「光回線申込時の手続きに不備があるため開通工事ができない」とあるが、店員に言われた通りに申込してるからこっちの不備じゃないだろ！ pic.twitter.com/uSBtfH
Atom の日本語化パッケージ "Japanese Menu" を作りました - syonx
インストール方法 blog.nocorica.jp 経緯とモチベーション 実は、Atom の日本語化パッケージは他にもあります。Localization というのですが、こちらは世界中のあらゆる言語に対応できるように作られているものの、インストールしてもうまく動作しないことがあります。これに困っている方が多くおられるようでした。また、うまくいっても警告が出てしまい、問題が報告されても改善の様子が見られません。プルリクも放置気味です。 JavaScript にも慣れてきたので、いっちょ自分で作ってみるかとパッケージ作りの世界に飛び込んでみたところ、これがなかなか面白い。調べていくうちにメニューバーだけでなくコンテキストメニューも日本語化できることがわかったり、どのような仕組みで表示制御をしているか、例えばツリービューの上なのかタブの上なのかといった切替の仕組みがわかって面白かったです。 実現
満員電車にて痴漢してるオッサンを発見した話。 - 自意識をひっぱたきたい
昨日の話。大学の講義が終わり、電車に乗って自宅へ向かう。19時頃に電車に乗ったので、仕事終わりの方々が溢れていて、車内はこれでもかというほどの人口密度。 自意識過剰な僕は、「痴漢冤罪になったらやだな～。」とか思ってしまうので、満員電車の中では両手を挙げて吊り革を持つことにしている。満員電車の中は暇だ。暇な時は周りにいる人間を観察することが癖になっているため、特にやることがないギュウギュウの車内の中で、周りの人間たちのことを観察していた。 一昨日、鳥飼茜さんの『先生の白い嘘』を読み終え、男と女の体格差という生まれながらの不平等について少し考えを巡らせたこともあり、満員電車内での人間観察もそこのところに目がいく。 （参照：鳥飼茜さんの『先生の白い嘘』を読んで考えたこと。フェミ寄りの人のことが気になりつつも、どこか近づきがたさを感じてしまうことについて。 - 自意識をひっぱたきたい） やはり基本
グリー公式オウンドメディア 6 deGREEs
グリーグループの公式オウンドメディアです。事業の最前線や働く人の様子、役員インタビューなど、グリーグループ社員の「真剣さ」を6つのカテゴリーに分け、ご紹介していきます。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
About that dress …
大学教員の研究時間減少続く 13年、勤務全体の35％ ：日本経済新聞
http://meetty.jp/index.html
DropboxがソフトバンクC&Sと提携、日本企業に「ビジネス向けDropbox」を販売
諸行無常、どんなサービスもいつかは終わる覚悟で利用しましょう(山本一郎) - 個人 - Yahoo!ニュース