タグ

2017年12月17日のブックマーク (17件)

  • 数学記号の表 - Wikipedia

    数学記号」はこの項目へ転送されています。ウィキペディアにおける数式の書き方については「m:Help:Displaying a formula/ja|ヘルプ:数式の書き方」をご覧ください。 数学的概念を記述する記号を数学記号という。数学記号は、数学上に抽象された概念を簡潔に表すためにしばしば用いられる。 数学記号が示す対象やその定義は、基的にそれを用いる人に委ねられるため、同じ記号に見えても内容が異なっているということがあれば、逆に、異なって見える記号が同じ対象を示しているということもある[注 1]。従って項に示す数学記号とそれに対応する数学的対象は、数多くある記号や概念のうち、特に慣用されうるものに限られる。

    morioka
    morioka 2017/12/17
  • TBS吉田アナ妊娠に局内「ホッ」の舞台裏 視聴者からは「やっぱりね」の声

    「TBSの吉田明世アナウンサー(29)が第1子妊娠を発表したことで、局内からは安堵の声、視聴者からは『やっぱりね』という声と祝福の声があがっています」(女性週刊誌記者) 吉田アナは3日、司会を務める「サンデー・ジャポン」の生放送中に体調不良で途中退席。10月29日の同番組でも貧血を理由に退席していたことから心配されていた。 「10月の『サンジャポ』の後、吉田アナに仕事が集中しすぎているなどの批判もあり、レギュラーを務める『ビビット』の月曜と火曜を休みにし、出演数を減らすなどしていましたが、妊娠とわかり局内はホッとしていますよ。安定期に入っていなかったことから一部の近しい人をのぞいてまだ周囲には内緒にしていたようですが、お騒がせになってしまったことで逆に早く発表せざるを得ない形になってしまったようです。仕事は今後も体調を見ながら続けていくそうです」(TBS局員)

    TBS吉田アナ妊娠に局内「ホッ」の舞台裏 視聴者からは「やっぱりね」の声
    morioka
    morioka 2017/12/17
  • Electronアプリをリリースするまでにあった知見 - Qiita

    はじめに こんにちは、@tsuwatchです。普段はRubyを書くのですが、仕事の幅も広がりつつあり、フロントエンド格的にやっていこうということで、 Kaizokuというニコニコ生放送のデスクトップアプリをリリースしました。 人生の大半の時間がニコ生に溶けているわけですが、かねてからコメントビューワを作ろうと思っていたので、この機会に作ってみました。 しかし、Mac版のコメントビューワにはHakumaiという大変素晴らしいコメントビューワが存在するので、少し違う方向を向いた生放送ビューワをかねたアプリにしました。 Hakumaiはコメントビューワとしては数少ないオープンソースなので、実装やコメントサーバの仕様など大変参考にさせて頂きました。この場をお借りして、お礼を申し上げます。 アプリの機能や今後についての紹介はまた別途ブログで書くと思います。 ご興味がありましたら、ぜひ使ってみてい

    Electronアプリをリリースするまでにあった知見 - Qiita
    morioka
    morioka 2017/12/17
  • Alexa(echo) スキル用AWS Lambda functionをAWS SAMを使ってバババッと立ち上げる - でこてっくろぐ ねお

    はてなエンジニア Advent Calendar 2017の16日目です。 昨日は、id:cockscomb さんによる 三点リーダーの位置をOpenTypeフォントでいい感じにする…… - cockscomblog? でした。 最近、各種スマートスピーカーが日に上陸してきており、私もAmazon Echo DotとGoogle Home Mini を購入しました。 大変便利なので、自分でも色々スキルの開発をしたいな、ついでに最近話題のAWSのSAMとやらも一緒に試してみたいな、と思ってこのエントリを書いてます。 結論 github.com をREADMEの通りに実行することでバババッとlambda functionが完成するので、後は以下エントリ等参照しながら、amazonの開発者ツールからlambdaのarnを登録すると自分のEchoにスキルを登録できてデバッグ等ができるようになりま

    Alexa(echo) スキル用AWS Lambda functionをAWS SAMを使ってバババッと立ち上げる - でこてっくろぐ ねお
    morioka
    morioka 2017/12/17
  • TechCrunch

    In the oversubscribed IPO of Mamaearth, Peak XV Partners has found its fourth 10x or greater return within the six months since separating from the Sequoia family. The venture fund is sitting on an 10

    TechCrunch
    morioka
    morioka 2017/12/17
  • eBPF入門 /eBPF-getting-started

    KIXS vol.006 LT 10 min https://kixs.connpass.com/event/69643/ ブログ https://takumakume.tech/blog/2017-12-18-ebpf-getting-started/

    eBPF入門 /eBPF-getting-started
    morioka
    morioka 2017/12/17
  • 人の意識を機械に移植できるのか──『脳の意識 機械の意識 - 脳神経科学の挑戦』 - 基本読書

    脳の意識 機械の意識 - 脳神経科学の挑戦 (中公新書) 作者: 渡辺正峰出版社/メーカー: 中央公論新社発売日: 2017/11/18メディア: 新書この商品を含むブログ (2件) を見る人の意識は機械に移植できるのだろうか。 SFなどではおなじみのテーマだけれども、現実的にはまだまだぜんぜん無理だ。でも、その可能性を検討することはできる。果たしてどうやって意識を移植するのか? そもそも移植すべき意識は脳のどこに、どんな過程で宿るものなのか? 仮に意識の領域、発生プロセスが確定したとして、それを移植したとして、どうやったら「機械への意識の移植が成功した」と確認をとることができるのだろうか? 書『脳の意識 機械の意識 - 脳神経科学の挑戦』はそんな脳の意識をめぐる脳神経科学の歴史と成果、それとちょっとばかりの飛躍として、機械の意識について語られた一冊である。これがまあ、基礎的な脳神経科学

    人の意識を機械に移植できるのか──『脳の意識 機械の意識 - 脳神経科学の挑戦』 - 基本読書
    morioka
    morioka 2017/12/17
  • 嘉戸彩乃とは何者? 入社1年でLINEモバイルの社長に抜擢された、その理由とは。 | キャリアハック(CAREER HACK)

    「のん」を起用したCMでもおなじみ『LINEモバイル』。同事業の立ち上げに参画し、軌道に乗せた立役者の一人、それが嘉戸彩乃さん(32)だ。彼女は外資系証券会社、ベンチャーを経てLINEへ。そのわずか1年後、LINEモバイル社の代表に就任した。嘉戸彩乃は一体何者? その活躍のウラ側とは? わずか1年で『LINEモバイル』を事業化。嘉戸彩乃さんの活躍に迫る! 2016年3月、モバイル業界を揺るがすニュースが駆け巡った。 「LINEが格安スマホ・SIMに参入」 そして誕生したのが『LINEモバイル』だ。2016年9月に正式リリースされ、着実にユーザー数を伸ばしてきた。特徴のひとつは、ユーザー満足度が非常に高いということ。「LINEモバイル」ユーザーを対象とした調査(*1)では、ユーザー満足度86%に加えて、友人や家族への推奨度も80%近い数字を誇る。 同時に、あまり知られていないのが『LINE

    嘉戸彩乃とは何者? 入社1年でLINEモバイルの社長に抜擢された、その理由とは。 | キャリアハック(CAREER HACK)
    morioka
    morioka 2017/12/17
  • 機械学習ではじめるDocker - にほんごのれんしゅう

    目次とお断り この資料をまとめるに当たって、実際に開発したり運用したりという経験のスニペットから、できるだけ編集して、自分なりに体系化したものです 様々な角度のデータが乱雑なっててわかりにくいかもしれませんが、ご了承いただけると幸いです "1. Dockerとは" "2. Dockerを用いるメリット" "3. docker.ioのインストール" "4. dockerでコンテナの起動" "5. 基的な操作" "6. Dockerコンテナにsshdなどの必須ソフトウェアをインストールする" "7. dockerコンテナのexportとimport" "8. 機械学習ように調整したコンテナの利用" "9. 実際に使用している例" "10. Docker Hub連係" "11. Docker Compose" "12. Dockerのコンテナとホストマシン間でファイルの共有をする" "13.

    機械学習ではじめるDocker - にほんごのれんしゅう
    morioka
    morioka 2017/12/17
  • Webアプリケーションフレームワーク導入時に考慮すべき22の観点 - Qiita

    記事では、 チームによる持続的に変更可能なWebアプリケーションの開発を目標に、フレームワーク導入時に考慮すべき22の観点を紹介する。 フレームワークによって特徴は異なるが、番導入にあたって、考慮すべきポイントはあまり変わらないので、極力フレームワーク1に依存しすぎないよう配慮する。また、話をシンプルにするため、REST APIを提供するアプリケーションを題材とする。 前提 ソフトウェアのエントロピー ソフトウェアがエントロピー増大の法則を避けられないことを、体感している開発者は多いだろう2。普通にアプリケーション開発を続けると、開発スピードは鈍化し、品質は低下してバグが増え、開発者からは技術的負債への怨嗟の声が聞かれるようになる。エントロピー増大というフォースは極めて強力で、意思を持って立ち向かわなければ、容易にダークサイドに堕ちてしまう。 関心事の分離 大規模Webアプリケーション

    Webアプリケーションフレームワーク導入時に考慮すべき22の観点 - Qiita
    morioka
    morioka 2017/12/17
  • 初心者がGASで同窓会の参加受付から名簿更新までを自動化した話 - ytmatsuge's log

    この記事は CAMPHOR- Advent Calendar の16日目の記事です。 ytmatsuge です。 普段は六木の会社で新規事業のビジネスサイドを担当しております。 日は、非エンジニアの私が、同窓会委員の負担を減らすべく、出欠確認・名簿更新の自動化に携わった話をまとめてみます。 自動確認メールの送信 自動更新名簿の作成方法 上記のような技術的な話はもちろんですが、「母世代でも利用しやすいサービス企画・設計」「最小限のコストで問題解決する方法」など、業務上の目的で実際に利用されるサービスをつくるにあたっていくつかハードルがあったので、少しでも参考にしていただければと思います。 改善前の状況 改善前の状況では、同窓会事務局と卒業生がメールでやり取りをし、 その情報をエクセルに転記しリストを作成していました。図にすると次のような流れになります。 これを見た若者は いや、 LINE

    初心者がGASで同窓会の参加受付から名簿更新までを自動化した話 - ytmatsuge's log
    morioka
    morioka 2017/12/17
  • freeeのChatbotが問い合わせの4割近くを解決できるようになるまで - freee Developers Hub

    はじめまして、freee FastestCustomerSupportチームに所属しています、浅越(あさこし)です。社内ではこっしー/kossyと呼ばれています。特技は身長です。 この記事は freee Developers Advent Calendar の16日目です。 突然ですが、会計freeeではプロダクト内で自動応答システム、いわゆるChatbotなサポートを提供しており、ユーザーの皆様からのお問合せに24時間回答ができるようにしています。 2017年1月に公開してから約1年になり、チャットサポートにお問い合わせいただく数と比較して4割近くの対応が完結できている計算になっています。 freeeのカスタマーサポートチームはユーザー皆様の対応以外にもいろんな分野の業務を担えるように日々取り組んでおり、その一環でこちらの導入や運用も担当をしてきました。今日はその経緯やこれまで感じたとこ

    freeeのChatbotが問い合わせの4割近くを解決できるようになるまで - freee Developers Hub
    morioka
    morioka 2017/12/17
  • OCaml でも採用されているレベルベースの多相型型推論とは - はやくプログラムになりたい

    言語実装 Advent Calendar 2017 の16日目の記事です. GoCaml という OCaml のサブセットな言語を実装していて,多相型の型推論を実装するために論文を読んだり OCaml の実装をちょっと追ったりしていたので,その知識を整理する意味でこのエントリを書いています. この記事では OCaml の型推論器のベースになっている「レベルベースの多相型型推論アルゴリズム」について概略を直感的に説明しようと思います. 理論的になぜこのアルゴリズムで正しく動作するのかについてはこの記事で概要を把握した上で論文 のほうを読んでいただければ理解が速いと思います. また,この記事では最もシンプルな単相型のHM型推論については知っている前提で書きます. ご存知でない場合は, 住井先生の MinCaml の型推論実装の解説 五十嵐先生の型推論の解説 20日目の@uint256_t さん

    OCaml でも採用されているレベルベースの多相型型推論とは - はやくプログラムになりたい
    morioka
    morioka 2017/12/17
  • 最近のGoプロジェクトのMakefile - 詩と創作・思索のひろば

    最近は仕事でも新しくGoプロジェクトをイチからはじめることが増えてきて、コピペ元が欲しくなるので、スナップショットとして残しておきます。とくに Go でウェブアプリケーションを書くような場合を想定していて、npm エコシステムにも乗っていきます。 大まかな方針としては、 self-contained である グローバルな環境を汚染しない コマンド一発で開発環境が再現できる ……というところを目指します。 motemen/prchecklist がこれを達成しているつもりなので、以下、これを例に見ていきます。 依存ライブラリは dep なり何かしらのツールと Go 標準の vendoring で管理すればよい一方、そのツール自体であったり、他の開発中に必要なツール(golint とか gobump とか)であったりのインストールをどうするかという話。 npm であれば devDepende

    最近のGoプロジェクトのMakefile - 詩と創作・思索のひろば
    morioka
    morioka 2017/12/17
  • 大学の実験でChromiumに勝手に機能を追加してみた話 - あさりさんの作業ログ

    これは Chromium Browserアドベントカレンダーの15日目の記事です。 この記事では所属する電子情報工学科の実験でChromiumに「指定したキーワードを含む特定の検索履歴のみ非表示にする」という機能を勝手に実装した時の体験をつらつら書いて行きたいと思います。 学科の先輩で現在Blink-Workerチームにいらっしゃるamiq11さんが在学中にこの実験のTAをされていたこともあって声をかけていただきました。 プロの方々によるとても素敵な記事ばかりが並ぶ中で恐縮ですが、「ちょっと勉強がてらChromiumのソースコードをとりあえず読んでみて、何かちょっとした機能を加えてみたい、改造したい」な ニッチな人々の参考になれば嬉しいです…! なんで大学の実験でChromium東大工学部電気系3年生は3〜6個のテーマの実験を行うことが必修となっており、私は今学期、他の二つの実験と併せ

    大学の実験でChromiumに勝手に機能を追加してみた話 - あさりさんの作業ログ
    morioka
    morioka 2017/12/17
  • 【Day-16】ニューラルネットを0から作り、仕組みを基礎から理解する - プロクラシスト

    データ分析ガチ勉強アドベントカレンダー 16日目。 今日からは少しディープラーニングの勉強。 ここ数年間、深層学習用ライブラリも猛烈に整備され、誰でも簡単にディープラーニングを使えるようになりました。 その一方で、整備されすぎて、魔法の箱だという認識も多いですよね。 けれど、深層学習と言えど、しているのはほとんど線形代数と微積分を組み合わせた数値計算です。 だったら自分で作れるのでは? というわけで、仕組みを理解するために、0からスクラッチで作ることにしました。 尚、勉強にはプロフェッショナルシリーズの深層学習を利用しています。 爆速で技術が進む深層学習界隈では少々obsoleteかもしれませんが*1、きちんと基礎の基礎を知るにはいいだと思います。詳しい計算方法を学びたい人は、どうぞ。(線形代数と偏微分の知識が必要です。) 深層学習 (機械学習プロフェッショナルシリーズ) 作者: 岡谷貴

    【Day-16】ニューラルネットを0から作り、仕組みを基礎から理解する - プロクラシスト
    morioka
    morioka 2017/12/17
  • コンサルタントだった頃学んだ「議論がうまい人」とそうでない人の5つの差異。

    コンサルタントをやっていたころ、「議論」を見る機会がよくあった。 「見る」といったのは、私が議論に参加することは殆どなかったからだ。 というのも、コンサルティングには 「お客さんとは絶対に議論するな。お客さん同士で議論してもらえ」 という原則があり、私はそれを忠実に守ったのである。 そのため私は、第三者として、様々な会社で、多くの議論を見る機会に恵まれた。 そこで一つ気づいたことがある。 「議論のうまい人」と「議論がへたな人」は、非常にはっきりと分かれるのだ。 「議論」とは何か 当然、人によって議論に抱くイメージは異なるだろうから、まずハッキリとさせておかなければならないのが、「議論」の定義だ。 広辞苑にはこのように書かれている。 【議論】 互いに自分の説を述べ合い、論じ合うこと。意見を戦わせること。またその内容。 (広辞苑第六版) 私が見てきた議論の殆どは会議やディスカッションなど、 「

    コンサルタントだった頃学んだ「議論がうまい人」とそうでない人の5つの差異。
    morioka
    morioka 2017/12/17