403 Error 現在、このページへのアクセスは禁止されています。 詳しくは以下のページをご確認ください。 403ERRORというエラーが発生します
今年の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
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
2014_05_17 @suharahiromichi 2014_05_18 @suharahiromichi 「証明」の部分を見直した 継続モナドの続きとして、前回(文献1.)にも定義してあったcall/ccを使ってみる。例題は今回も文献2.からいただいています。 本資料のソースコードは以下にあります。 https://github.com/suharahiromichi/coq/blob/master/ssr/ssr_monad_callcc.v Definition MCont R A := (A -> R) -> R. Definition bind {R A : Type} (c : MCont R A) (f : A -> MCont R A) : MCont R A := fun (k : A -> R) => c (fun (a : A) => f a k). Defini
Dockerを使い始めた人がよくする質問といえば、「どうすればコンテナに入れますか?」です。その質問に対して、「コンテナ内でSSHサーバを起動すればいいよ」と答える人たちがいますが、これは非常にマズいやり方です。なぜその方法が間違いなのか、そして代わりにどうすればよいのかをこれから紹介します。 注:本記事へのコメントやシェアは、 Dockerブログ にアップされた標準版から行ってください。よろしくお願いします。 コンテナでSSHサーバを起動すべきではない …もちろん、コンテナ自体がSSHサーバである場合は除きます。 SSHサーバを起動したくなる気持ちは分かります。それはコンテナの”中に入る”簡単な方法だからです。この業界の人ならほぼ全員がSSHを一度は使ったことがあります。多くの人がSSHを日常的に使用し、公開鍵や秘密鍵、パスワード入力の省略、認証エージェント、そして時にはポート転送やその
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/ssr_monad_c
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は最強の表現力を持つ仕様記述言語を使う 仕様記述言語は検証したいこと を記述するための言語 表現力は検証器によって全然違う 表現できる範囲が、検証器の限界 Coqのそれは高階述語論理 ← 最強 最強のプログラム検証器 Coqを使うためにはPhDが必要? 高校生でも練習すればできる (c.f. プログラミングCoq) 最強のプログラム検証器 証明を人間が与えるのが大変? タクティックによる自動化はOCamlでいくらでも可能 型チェッカはタクティックと独立なので安全 既にomegaなどの自動証明アルゴリズムを実装したタクティックあり 最強の関数型言語 Coqは(型の表現力が)最強の関数型言語 型の表現力が最強 型推論は完全ではない 停止性は保証しなければならない 注意: ここでの関数型言語とは (ラムダ計算を基礎とし
Bedrock, a Coq library for verified low-level programming Bedrock is a library that turns Coq into a tool much like classical verification systems (e.g., ESC, Boogie), but niftier. In particular, Bedrock is: Low-level: You can verify programs that, for performance reasons or otherwise, can't tolerate any abstraction beyond that associated with assembly language. Foundational: The output of a Bedro
『MarkeZine』が主催するマーケティング・イベント『MarkeZine Day』『MarkeZine Academy』『MarkeZine プレミアムセミナー』の 最新情報をはじめ、様々なイベント情報をまとめてご紹介します。 MarkeZine Day
1920年、早稲田大学などと共に、日本初の私立大学として発足した慶応義塾大学。 その起源は、1858年(安政5年)に福沢諭吉が中津藩中屋敷内に開いた蘭学塾にあり、 1868年(慶應4年)に新校舎が完成した際に、時の年号をとり慶應義塾と定められました (「義塾」は"public school"⦅共立学校⦆の訳語)。 慶応大学は日本でトップクラスの知名度を誇る私大の1つですが、 国際化にも力を入れており、現在1303名の留学生が在籍しています。 映像は、慶応大学がさらなる留学生の獲得の為に制作したもので、 「日本への関心を引き出」すことを念頭に作られているそうです。 美しい瞬間が詰まった映像に、外国人から様々な反応が寄せられていました。 リクエストありがとうございました。コメントはこちらの同じ内容の動画からも Keio Global | Shaping History, Shaping Tom
act of a flowing; a continuous moving on or passing by, as of a flowing stream; a continuous succession of changes A 3D game engine for livecoding worlds into existence. Fluxus is a rapid prototyping, playing and learning environment for 3D graphics, sound and games. Extends the Racket language with graphical commands and can be used within it’s own livecoding environment or from within the DrRack
id: 1313 所有者: msakamoto-sf 作成日: 2014-09-06 14:51:42 カテゴリ: Java 日記/2014/04/26/業務系文書の自動生成についての予備調査(OIpenXML, OpenDocument, OpenOffice.org, LibreOffice) 関連。 docx4j http://www.docx4java.org/trac/docx4j 前回の調査では見落としていたが、2013-2014にかけてもキチンとメンテナンスが続いてる。 以下、いくつかJavaでWordを書いたり読んだりする記事で、Apache POIと並んで、docx4jが言及されてるので、それなりに有名なのかも。 Create Complex Word (.docx) Documents Programatically With docx4j | Javalobby ht
『エターナル・サンシャイン』『ムード・インディゴ うたかたの日々』のミシェル・ゴンドリーによる展覧会「ミシェル・ゴンドリーの世界一周」展の開催が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
In this course you will learn about audio signal processing methodologies that are specific for music and of use in real applications. We focus on the spectral processing techniques of relevance for the description and transformation of sounds, developing the basic theoretical and practical knowledge with which to analyze, synthesize, transform and describe audio signals in the context of music ap
その独特なサウンドで、いまだファンの多い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が手がけるということは「そういう方面に相応の繋がりができたので、ラブホテル予約サービスのような際どい方面にも進出できるようになったのかねえ」とか感心していたんですよ。 何と言っても、ラブホテルと限定して名指しで事業スタートしたわけですしね。まさか何の手当てもせずにおっぱじ
Motivation So, what are copatterns, and why do we want them? Essentially, copatterns allow us to make projections on the left-hand side of function definitions. Left-hand side projections make sense for definitions from which we primarily want to extract data, contrary to injecting data into data constructors. Examples include record types and coinductive types. Observation vs. Construction Copatt
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
What is Cleaver? Cleaver turns the following: title: My Slideshow output: slideshow.html -- # Hello, world! ## This is my slideshow -- ### How many widgets can we sell? Based on our factors, we can sell **20 million** widgets. What is Cleaver? Into a slideshow like this. Cleaver uses a simple Markdown format. Simply write your slides in Markdown ... and separate them with -- Cleaver comes with a s
この記事では自分なりの勉強会でのメモの取り方についてメモしたものです。 今までに参加してきたイベントでは、 大体メモを取っていて”〜アウトラインメモ”とかいうタイトルで公開してあります。 書くツール メモを取るにはエディタとかツールが結構大事で、書くのに集中し過ぎると話をちゃんと聞けないし、 話に集中してるとメモを書かなくなったりします。 なので、画面を見なくても入力できるような手に馴染む感じのツールを見つけて使うのがいいと思います。 以下が使ってきたツールの変遷ですが、出力は常に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
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
Time Machineはどのようにしてバックアップを取得しているの?MacのTime Machineの疑問徹底解説 Time Machine は、macOS が誇る史上最大の機能です。外付けのディスクを Mac に接続して、Time Machine をオンにするだけで、自動的に毎日欠かさず、あなたに代わってバックアップを取得してくれます。 photo credit: adamwilson via photopin cc 外付けのディスクは、Mac に直接接続されている必要はありません。たとえば、AirMac Time Capsule の場合、無線 LAN ルーターに 2TB または 3TB のディスクを内蔵されており、ネットワーク経由で Mac のバックアップ取得します。 以降、Time Machine に接続されているディスクのことを、バックアップディスクと呼びます。 さて、Time
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
I did another October drawing challenge this year! This time it was Botober, a set of AI-generated prompts. Actually, four sets. I selected one of the four lists’ entries each day to do. Last year I designated a specific set of art supplies to use: pencil, pens, limited palette of markers, waterbrush. This year I did almost the opposite – I decided to use watercolor for all of them, but with any &
先日、知り合いの数学者(大学の数学の先生)から「学生に経済数学を勉強してもらうのに、一緒に教科書を読もうと思うのだが、お勧めの本はないか」という質問を受けた。もちろん、ぼくが書いていれば、一も二もなくそれを勧めるのだけれど、笑、残念ながらまだ経済数学の本は書いていない。それどころか、ぼくが書いたいくつかの経済学の本は、意識的に(確信犯的に)数式をほとんど使わないで書いている。というわけで、何をお勧めするか思案した。それで思いついたのが、尾山大輔・安田洋祐・編『経済学に出る数学』日本評論社であった。刊行された頃に一度ざっと目を通して、「こりゃいいな」と思ったんだけど、そのまま放置していた。今回は人に勧めることもあって、少しまじめに読んでみた。 改訂版 経済学で出る数学: 高校数学からきちんと攻める 作者: 尾山大輔,安田洋祐出版社/メーカー: 日本評論社発売日: 2013/03/19メディア
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く