今年の6月にiOS/MacOS X向けの開発言語としてアップルから登場した新言語「Swift」。アップルのSwiftチームは9月9日付けのブログでSwiftがバージョン1.0に到達し、正式版になったことを発表しました。 これにより、Swiftで開発されたアプリケーションがApp Storeへ提出可能になりました。Swiftチームのブログでは次のように書いています。 You can now submit your apps that use Swift to the App Store. Whether your app uses Swift for a small feature or a complete application, now is the time to share your app with the world. It’s your turn to excite ever

客がダンスや音楽、飲食を楽しむいわゆる「クラブ」について、警察庁は10日、風俗営業法の規制を見直す方針を決めた。店内の明るさなど一定の基準を満たせば「風俗営業」の対象から外れ、午前0時以降の営業が可能になる。秋の臨時国会に風営法の改正案を提出する方針だ。警察庁の有識者会議が同日、規制の見直しを盛り込んだ報告書をまとめた。営業時間や立地場所、設備などに厳しい制限がある「風俗営業」から外れることで

リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込み ご希望の条件を当サイトよりご入力ください。 2 お店からのメール ご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店 予約が確定した場合、そのままお店へお越しください。

by ライブドアニュース編集部 ざっくり言うと が3日、特許法の規定を改められるという記事が報じられた 翌日、日経新聞が朝日とは一見して異なる内容を報じている 朝日の記事を書いた記者がTwitterで釈明したが、厳しい批判に遭っている この記事を見るためには この記事はlivedoorNEWSアプリ限定です。 (アプリが無いと開けません) 各ストアにスマートフォンでアクセスし、 手順に従ってアプリをインストールしてください。 関連の最新ニュース 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 記事時間 ランキング 総合 国内 政治 海外 経済 IT スポーツ 芸能 女子

株式会社フリークアウトが提供するDSP「FreakOut」は新たにAOLプラットフォームスの一部門であり、世界最大級の動画広告販売購入者のテクノロジーパートナー「Adap.tv」とRTBで接続致しました。 株式会社フリークアウト（本社：東京都港区、代表取締役：本田 謙、以下フリークアウト）が提供するDSP「FreakOut」は新たにAOLプラットフォームスの一部門であり、世界最大級の動画広告販売購入者のテクノロジーパートナー「Adap.tv」(アダプティービー)とRTBで接続致しました。 これまで「FreakOut」は Google が提供するアドエクスチェンジサービスを通してYouTube を中心にプレロール型動画広告を RTB で買付け・配信しておりました。今回新たに「FreakOut」が「Adap.tv」とRTB接続をしたことによって「FreakOut」を利用する広告主は、YouTu

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Dockerを使い始めた人がよくする質問といえば、「どうすればコンテナに入れますか？」です。その質問に対して、「コンテナ内でSSHサーバを起動すればいいよ」と答える人たちがいますが、これは非常にマズいやり方です。なぜその方法が間違いなのか、そして代わりにどうすればよいのかをこれから紹介します。 注：本記事へのコメントやシェアは、 Dockerブログ にアップされた標準版から行ってください。よろしくお願いします。 コンテナでSSHサーバを起動すべきではない …もちろん、コンテナ自体がSSHサーバである場合は除きます。 SSHサーバを起動したくなる気持ちは分かります。それはコンテナの”中に入る”簡単な方法だからです。この業界の人ならほぼ全員がSSHを一度は使ったことがあります。多くの人がSSHを日常的に使用し、公開鍵や秘密鍵、パスワード入力の省略、認証エージェント、そして時にはポート転送やその

Coqで継続モナド 2014_05_15 @suharahiromichi 2014_06_01 @suharahiromichi Classを使用して定義しなおした。 モナドと継続の話を一度で片付けてしまおうと思う。継続モナドについて解説したページは多いけれど、大部分がHaskellであるから、Coq SSReflect で書いてみた。もっとも、本資料の内容もHaskellについて解説した文献2.を多く参考にさせていただいた。 また、フィボナッチ関数の証明は文献3.のCoqによる証明をSSReflectに修正したものである。 Coqのモナドのパッケージは文献1.にあるが、これは使用していない。ただし「>>=」演算子の優先順位はあわせた。 本資料のソースコードは以下にあります。 https://github.com/suharahiromichi/coq/blob/master/ssr/s

LFE comes with a powerful REPL, supporting interactive development (including writing macros!) as well as running scripts or even evaluating arbitrary LFE code via the command line. lfe> (== 42 #b101010) true lfe> (integer_to_list 42 2) "101010" lfe> #\a 97 lfe> "regular string" "regular string" lfe> #"binary string" #"binary string" Note that in LFE and Erlang a string is really just a list of in

Require Import String. Open Scope string_scope. (* 型クラスShowの定義 *) Class Show (A: Set) := { show : A -> string }. (* フィールドshowの型 *) Check @show. (* show : forall A : Set, Show A -> A -> string ((A:Set)と(s:Show A)の部分は暗黙引数となり、省略可能) *) (* string型をShowクラスのインスタンスとする *) Instance ShowString : Show string := { show s := s }. (* bool型をShowクラスのインスタンスとする *) Instance ShowBool : Show bool := { show b := match b

%なぜCoqが重要か %@yoshihiro503 %平成26年4月29日 なぜCoqが重要か 結論 最強のプログラム検証器 最強の関数型言語 最強のプログラム検証器 Coqは最強の表現力を持つ仕様記述言語を使う 仕様記述言語は検証したいこと を記述するための言語 表現力は検証器によって全然違う 表現できる範囲が、検証器の限界 Coqのそれは高階述語論理 ← 最強 最強のプログラム検証器 Coqを使うためにはPhDが必要? 高校生でも練習すればできる (c.f. プログラミングCoq) 最強のプログラム検証器 証明を人間が与えるのが大変？ タクティックによる自動化はOCamlでいくらでも可能 型チェッカはタクティックと独立なので安全 既にomegaなどの自動証明アルゴリズムを実装したタクティックあり 最強の関数型言語 Coqは(型の表現力が)最強の関数型言語 型の表現力が最強 型推論は完全

ごりゅご.com

『MarkeZine』が主催するマーケティング・イベント『MarkeZine Day』『MarkeZine Academy』『MarkeZine プレミアムセミナー』の 最新情報をはじめ、様々なイベント情報をまとめてご紹介します。 MarkeZine Day

1920年、早稲田大学などと共に、日本初の私立大学として発足した慶応義塾大学。 その起源は、1858年（安政5年）に福沢諭吉が中津藩中屋敷内に開いた蘭学塾にあり、 1868年（慶應4年）に新校舎が完成した際に、時の年号をとり慶應義塾と定められました （「義塾」は"public school"⦅共立学校⦆の訳語）。 慶応大学は日本でトップクラスの知名度を誇る私大の1つですが、 国際化にも力を入れており、現在1303名の留学生が在籍しています。 映像は、慶応大学がさらなる留学生の獲得の為に制作したもので、 「日本への関心を引き出」すことを念頭に作られているそうです。 美しい瞬間が詰まった映像に、外国人から様々な反応が寄せられていました。 リクエストありがとうございました。コメントはこちらの同じ内容の動画からも Keio Global | Shaping History, Shaping Tom

Parrots in captivity seem to enjoy video-chatting with their friends on Messenger

My iPhone 11 is perfectly fine, but the new buttons on the iPhone 16 are compelling

『エターナル・サンシャイン』『ムード・インディゴ うたかたの日々』のミシェル・ゴンドリーによる展覧会「ミシェル・ゴンドリーの世界一周」展の開催が2014年9月27日より東京都現代美術館にて決定。展覧会は二部構成となり、「ホームムービー・ファクトリー」では、来場者が実際に映画作りに参加できる体験型展示。「Around the World in 19 Videos」では、ミシェル・ゴンドリーのミュージック・ビデオをインスタレーション形式で紹介する。 ◆「ミシェル・ゴンドリーの世界一周」展 会期：2014年9月27日(土)～2015年1月4日(日) 会場：東京都現代美術館 （東京都江東区三好4-1-1） 観覧料：一般 1,000円/大学生・65歳以上 800円/ 中高生 600円/ 小学生以下 無料 http://www.mot-art-museum.jp/exhibition/michelgo

We asked all learners to give feedback on our instructors based on the quality of their teaching style.

リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込み ご希望の条件を当サイトよりご入力ください。 2 お店からのメール ご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店 予約が確定した場合、そのままお店へお越しください。

その独特なサウンドで、いまだファンの多いAKAI製ヴィンテージ・サンプラー。S950やS1000といったヴィンテージ・サンプラーのタイム・ストレッチ／ピッチ・シフト・アルゴリズムを再現した、「Akaizer」というDSPソフトウェアが無償で配布されているのはご存じでしょうか。 Ben Burchett氏が開発した「Akaizer」は、S950／S1000／S2000／S3000といったAKAIのヴィンテージ・サンプラーで採用されていた“Cyclic”アルゴリズムによって、タイム・ストレッチ／ピッチ・シフト処理を実行するDSPソフトウェアです。最近のDAWソフトウェアに搭載されているタイム・ストレッチ／ピッチ・シフト機能はとても高品位で、数％程度の変化であれば極めて自然な結果が得られますが、AKAI製に限らず昔のサンプラーは、サンプルを細かく切り刻んでそれを繰り返す／間引くという単純な“Cy

GREEは勇者だなと思っていたら、そうではなかったという話、夏の終わりの甘酸っぱい想い出として私の胸を去来しました。 グリーのラブホテル予約サービス、1カ月足らずで終了　理由は「コメントできない」 http://nlab.itmedia.co.jp/nl/articles/1409/04/news067.html 言うまでもなくその方面の産業は一部がいまなお暴力団筋の資金源となっており、無断で荒らすといろんなものが飛んでくる世界であることはビジネスをする者として一般的な常識のひとつだろうと思うわけなんですが、それをGREEが手がけるということは「そういう方面に相応の繋がりができたので、ラブホテル予約サービスのような際どい方面にも進出できるようになったのかねえ」とか感心していたんですよ。 何と言っても、ラブホテルと限定して名指しで事業スタートしたわけですしね。まさか何の手当てもせずにおっぱじ

リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込み ご希望の条件を当サイトよりご入力ください。 2 お店からのメール ご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店 予約が確定した場合、そのままお店へお越しください。

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

AWS アカウントを複数人で使ってシステムを作っていく時に、 セキュリティの面からやるべきことについて。 主に Web アプリケーションを想定した内容ですが、特に書いてあることは特殊ではないと思います。 各所の Blog にも記事書かれてますが思っていることをつらつらと書いてみます。 なんか変なこと言ってたらご指摘ください。 参考: AWSのセキュリティが気になるなら読んでおくべきAWSセキュリティのベストプラクティス - yoshidashingo はじめに (AWS アカウントと IAM ユーザ) 前提というか用語の話。 AWS アカウント アカウント作成時のメールアドレス、パスワードでログインして使うユーザ IAM ユーザ AWS アカウントから発行できる、ユーザ名とパスワードでログインして使うユーザ AWS アカウント周り AWS アカウント (ルートユーザ) で作業できないように

なんだか、最近ceylonっていう新しいJVM上の言語がでたらしく、自分のTL上では話題になってました・・・ が、自分は興味わかないというか、Scalaがこれだけtwitterをはじめものすごく実用でつかわれてるのに、今更新しい言語つくって普及させるとかどうなの？という立場です。まぁ言語仕様もちゃんと見てないであれなんですが(・ω・`) だれかceylonの魅力を延々と語ってください。 たしかに、Scalaは複雑すぎる的な印象は仕方ない部分もあるかもしれないですが・・・とか考えてるときに、そういえばScalaを作成する以前にodersky先生がつくっていた言語あったよなーとか思い出して、前から書こうかと思っていたのでpizzaについて紹介してみます!というよくわからない流れヽ(｀▽´)/ pizzaというのは、Scalaの作者であるodersky先生がScalaを作る前につくっていたJVM

この記事では自分なりの勉強会でのメモの取り方についてメモしたものです。 今までに参加してきたイベントでは、 大体メモを取っていて”〜アウトラインメモ”とかいうタイトルで公開してあります。 書くツール メモを取るにはエディタとかツールが結構大事で、書くのに集中し過ぎると話をちゃんと聞けないし、 話に集中してるとメモを書かなくなったりします。 なので、画面を見なくても入力できるような手に馴染む感じのツールを見つけて使うのがいいと思います。 以下が使ってきたツールの変遷ですが、出力は常にMarkdownにしていたので、 基本的にはMarkdownエディタが中心となってます。 Qute for PC/Mac Mou なんだかんだ一番使ってた Markdown Life Haroo Pad Texts OmniOutliner アウトライン的に使う場合、MarkdownエディタだとMouが安定して使

What is MacDown? MacDown is an open source Markdown editor for macOS, released under the MIT License. It is heavily influenced by Chen Luo’s Mou. This is how it looks: Why Another Markdown Editor? I like Mou. I write Markdown all the time, and since I use macOS on a daily basis, Mou is my go-to editor whenever I wish to generate something with markup. But I had always wanted something more. It cam

これです。 ちゃんと社労士チェックを入れて、2014年時点の法運用Validな感じにしてあるので、下手な中小企業はおろか、ろくにメンテされていない大企業の就業規則よりマトモな内容になっているはずです。 なんで就業規則を公開したのか マトモな規則が作ってあれば公開しても特にデメリットはない むしろマトモな会社アピールができてよい 個人的には「無限RedBullです！！！！」みたいな事をアピールする会社よりマトモな広報・求人活動の一環だと思っている 自分で就業規則を作ろうにも、良いサンプルがなかった（後述あり） いわゆるOSS的な話。就業規則にも再利用性が合っても良いはず これを書いてて、就業規則にライセンスを明示するのを忘れていたことに気が付いた GitHubだと、就業規則の改定にプルリクを飛ばせて楽しいし、改定履歴も一目瞭然 零細企業に就業規則って要らないんじゃないの？ 従業員が10人未満

By Erwin Bolwidt 街なかで見かけることが多くなったロードバイク乗り(ローディ)の多くに共通している特徴と言えば、「ピチピチのレーシングジャージ」に「ツルツルに剃りあげられた足」を思い浮かべる人も多いはず。ローディにとっては「カッコいい」と思っているスタイルなのに興味のない人には奇妙にうつることもあるものですが、実はスネ毛を剃ることでパフォーマンスに大きな影響を与える効果が生まれていたことが明らかになってきています。 The curious case of the cyclist’s unshaven legs - The Globe and Mail http://www.theglobeandmail.com/life/health-and-fitness/health/the-curious-case-of-the-cyclists-unshaved-legs/arti

Nothing is perfect from the beginning. We want to support the growth of documents from hatching to completion. 最初から完璧なものなんてない。 esaは情報の一生を見守りたい。

Update: If you'd like to learn more, come to Clover's Apple Pay developer event in Mountain View on Wed, Oct 8: http://www.eventbrite.com/e/apple-pay-deep-dive-how-it-works-and-what-it-means-tickets-13394038931?aff=blog Background: Clover and First Data (our parent company) have been working with Apple to prepare for the launch of Apple Pay to support developers, merchant acquirers, and issuing ba

YAPC::Asia 2014 - 半端なPHPDisでPHPerに陰で笑われないためのPerl Monger向け最新PHP事情

Fact Magazine Now reading: Take a look at Aphex Twin’s extensive Syro gear list If there’s one thing that Aphex Twin‘s legion of followers love to do, it’s speculate exactly what gear he’s been using all these years. Throwaway lines in interviews and rare photos notwithstanding, the full extent of Richard D. James’ labyrinth of studios (he has multiple setups in his current home, if we’re to belie

先日、知り合いの数学者(大学の数学の先生)から「学生に経済数学を勉強してもらうのに、一緒に教科書を読もうと思うのだが、お勧めの本はないか」という質問を受けた。もちろん、ぼくが書いていれば、一も二もなくそれを勧めるのだけれど、笑、残念ながらまだ経済数学の本は書いていない。それどころか、ぼくが書いたいくつかの経済学の本は、意識的に(確信犯的に)数式をほとんど使わないで書いている。というわけで、何をお勧めするか思案した。それで思いついたのが、尾山大輔・安田洋祐・編『経済学に出る数学』日本評論社であった。刊行された頃に一度ざっと目を通して、「こりゃいいな」と思ったんだけど、そのまま放置していた。今回は人に勧めることもあって、少しまじめに読んでみた。 改訂版 経済学で出る数学: 高校数学からきちんと攻める 作者: 尾山大輔,安田洋祐出版社/メーカー: 日本評論社発売日: 2013/03/19メディア