Zélus: a hybrid synchronous language with ODEs
CompilerZélus is a synchronous language extended with Ordinary Differential Equations (ODEs) to program hybrid systems that mix discrete-time and continuous-time models. An example is a (discrete-time) model of a control software paired with a (continuous-time) model of the plant. The language shares the basic principles of the synchronous languages Lustre with modularity features from Lucid Synch
ビル・ゲイツ財団がこれまで資金提供してきた研究者の論文を誰でも即時アクセス可能に
By the Italian voice 健康に関する研究の世界的な資金提供者であるビル・ゲイツ氏とその妻メリンダ氏によって設立された慈善基金団体ビル＆メリンダ・ゲイツ財団が、これまでに資金提供してきた研究者に対し、論文内容を誰でも無料で即時アクセスできるよう要請していることが明らかになりました。 Bill & Melinda Gates Foundation Open Access Policy - Bill & Melinda Gates Foundation http://www.gatesfoundation.org/How-We-Work/General-Information/Open-Access-Policy Gates Foundation to require immediate free access for journal articles | Science/AA
Head First Ruby
Read it now on the O’Reilly learning platform with a 10-day free trial. O’Reilly members get unlimited access to books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers. What will you learn from this book? What’s all the buzz about this Ruby language? Is it right for you? Well, ask yourself: are you tired of all those extra declarations, keywords, and
日本のAO入試はなぜ上手くいかないのか : 人類応援ブログ
「日本の大学入試は学力偏重すぎる」「もっと学生の個性や適性を見る入試に切り替えるべきだ」という各界の批判を受け発足したAO入試。 しかし、一般入試出身者との学力格差が中教審から指摘されたり、中退率の高さに大学側が頭を抱えたり、はたまたSTAP細胞の小保方晴子氏や小学4年生なりすましの青木大和氏など、文理を問わず「やらかし」がち人材を多く輩出してしまうなど、日本での運用はお世辞にも上手く言っているとは言えません。 しかし一方で、アイビー・リーグを始めとするアメリカのトップ大学は、そのほとんどがAO入試により学生を選抜し十分な結果を残しています。 なぜ、日本のAO入試は上手くいかないのでしょうか。どんなところがアメリカと違うのでしょう。 本稿では「なぜ日本ではAO入試が上手くいかないのか」を日米の教育環境の違いから論じます。 続きを読む
広がるApple Pay。Squareとのタッグで個人店舗でも使用できる可能性
広がるApple Pay。Squareとのタッグで個人店舗でも使用できる可能性2014.11.25 12:00 そうこ 話題が尽きないApple Pay。 リリース後、なかなか好調な動きを見せるApple Payですが、その対応店舗は所謂大企業の持つチェーン店舗ばかりです。でも、中小企業や個人商店などにクレジットカード対応サーヴィスを展開するSquareとタッグを組むことで、ますます幅が広がる可能性が見えてきました。 Squareは、平たく言うとクレジットカード読みとりのモバイル端末。これがあればスマートフォンを使ってカード決済を受け付けることができ、クレジットカードの導入が難しかった中小企業店舗や個人店主などから大変重宝されています。Apple Payとライヴァル関係になるとの見解も多くありましたが、どうやらパートナーとして手を取り合うようです。 Squareの創設者Jack Dorse
OCamlEditor
OCamlEditor OCamlEditor is a source code editor and build tool for the OCaml programming language. It provides many features to facilitate editing code, accessing API reference directly from the editor and compiling projects. It is entirely written in OCaml and uses LablGtk for the graphical user interface; it is light-weight, free and open source and runs on Linux and Windows. Features Standard E
IE Web Development Support Moving to Stack Overflow
The Internet Explorer team is excited to announce that web-development support is moving to Stack Overflow. With over 40-thousand questions tagged "Internet Explorer", and dozens more asked every day, it has proven to be a great place to find reliable help. If you're not already familiar with Stack Overflow, you can get started today by taking a tour, and asking your first question. If you would l
イスラエルは「ユダヤ人の祖国」、閣議で基本法案を承認
エルサレム（Jerusalem）で行われたイスラエル政府の週1回の閣議で議長を務めるベンヤミン・ネタニヤフ（Benjamin Netanyahu）首相（2014年11月23日撮影）。(c)AFP/JIM HOLLANDER 【11月24日 AFP】イスラエル政府は23日の閣議で、同国を「ユダヤ人の祖国（ナショナルホームランド）」と定義し直す基本法案を承認した。基本法は独立宣言と並んでイスラエルの憲法として機能しているもので、民主主義を弱体化させると非難する声が上がっている。 ベンヤミン・ネタニヤフ（Benjamin Netanyahu）首相率いる右派政党リクード（Likud）は、同党の国会議員の一人が起草者に名を連ねた同法案について、「内閣は本日、『ユダヤ人国家イスラエル』の基本法案を承認した」との声明を発表した。 閣議は荒れ、14閣僚は賛成したが、ツィピ・リブニ（Tzipi Livni）
政府・企業狙う高度なスパイウエア発見、英米政府が関与か
仏パリ（Paris）近郊で開かれたハッキング大会に参加する学生（2013年3月16日撮影、資料写真）。(c)AFP/THOMAS SAMSON 【11月25日 AFP】米セキュリティーソフト大手シマンテック（Symantec）は24日、2008年以降に世界各国の政府機関や民間企業から情報を盗み出していた高度なスパイウエアを発見したと発表した。あるメディアは、このスパイウエアが米国と英国の情報機関と関連したものである可能性を指摘している。 シマンテックによると、「レジン（Regin）」と呼ばれるこのマルウエア（悪意のあるソフトウエア）は、世界中の政府機関や企業、研究機関、個人などを狙った組織的なスパイ活動に使用されており、米国とイスラエルの政府がイランの核開発を妨害するために開発したとされるマルウエア「スタックスネット（Stuxnet）」と共通の特徴があるという。 ニュースサイト「ジ・インタ
孫楊のドーピング違反発覚で中国国内は騒然
第15回世界水泳選手権（15th FINA World Championships）、1500メートル自由形で優勝した孫楊（Yang Sun、2013年8月4日撮影）。(c)AFP/FABRICE COFFRINI 【11月25日 AFP】中国・競泳男子の孫楊（Yang Sun、ソン・ヨウ）がドーピング違反で3か月の出場停止処分を科されていたことが明るみに出た問題は、同国最大の禁止薬物事件として波紋を呼んでいる。 2012年のロンドン五輪で2冠を達成し、1500メートル自由形でも世界記録を持つスーパースターの孫は、問題行動の多さでも知られているが、出場停止処分明けに出場した第17回アジア競技大会（17th Asian Games、Asiad）では3個の金メダルを獲得している。 中国の反ドーピング機関（CHINADA）は、問題の隠ぺいを否定し、さらに処分が例外的に短期間であったことについては
AO入試とは | AO義塾
AO入試･推薦入試での大学入試を考えている皆様へ AO入試も推薦入試も一般入試も、「大学が入学してほしい生徒を選ぶ、”選抜制度”である」ということをまず思い出してください。AO入試や推薦入試は「ペーパーテストだけに依らない選抜制度」ですので、試験の点数を上げることではなく、まずは大学や教授の意図・好みを理解する必要があります。 志望校をまだ決めきれていないという方は、AO義塾の無料受験相談にお申し込みください。 AO入試について、みなさんはどんなイメージを持っていますか？ AO入試は、受験生の「学びたい」と、大学教授の「教えたい」をマッチングする入試です。「一芸入試」や 「やりたいことをアピールする入試」だと誤解されることも多いですが、AOが意味する「アドミッション・オフィス」は大学が作る入試事務局のこと。日本がAO入試を導入する際に参考にした、海外のAdmission Officeは、大
例外発生時にリトライする - xin9le.net
アプリケーションの要件によっては「ココは失敗してもらっちゃ困る！」という処理が出てきます。こんな場合に例外が発生したりすると、もう目も当てられない状態になります。失敗しないように制御することは大事ですが、失敗しないことを過度に期待するのは良くないです。 失敗したところでやめてしまうから失敗になる。 成功するところまで続ければ、それは成功になる。 松下幸之助 とりあえず、再試行 ということで、失敗したらリトライしましょう。ここでは簡単のために "失敗 = 例外発生" として扱います。簡単に再試行をしようと思ったら、例えば以下のようになるでしょう。 void DoSomething() { while(true) try { //--- 失敗したら困る処理 return; } catch {} } しかし、要件によってはどこかで見限らなければならないケースもあります。このような場合は再試行する
完璧すぎて夢かと…。地球に存在する｢本物の景色｣集
シャッター切る瞬間の気持ちを想像しただけで全身が震えそうです。 これが本物の写真と言われてもにわかに信じられませんよね。テクニック、構図、テーマ… まるでパーフェクト・ドリームじゃないですか。でも、これはノルウェーのスボルベルに広がる世界を、写真家Max Riveさんが切り取った現実の世界なんです。彼の作品群はこの一枚のみながらず、信じられないほど完全無欠な美しさを放っています。 彼は冒頭の写真について、こんなふうに語っています。 ｢右側の光はスボルベルの街の灯り。このオーロラは三方から重なりあっているので、その部分で僕は少しだけクリエイティヴになれたようだね｣ こういう瞬間に出会えること、切り取れること。それは単なる才能や幸運だけでは手に入れることができません。もちろん努力だけでも。 Maxさんは、自らの定義どおり｢カメラを手にした冒険家｣。彼の紹介ページでは、その人生の芸術とアイデアが
Elm FRP in Clojure core.async
Nicolas Hery Lots of great content in the latest newsletter! Really glad I subscribed. Thanks, Eric, for your work. Summary: Elm is an exciting FRP language. I implemented the FRP part in Clojure using core.async. I like to read research papers. I have ever since I was in high school. I've always wanted it to be pretty easy to just translate the pseudocode for an algorithm for a paper and then hav
Twitterユーザーがツイートした写真をNHKが勝手に利用するのは問題では？ - 最終防衛ライン3
NHK、Twitter上の自室写真を公開者に無断で使用 - Togetterまとめ 22日の地震による自室の惨状をツイートしたら、NHKが勝手にニュースで使った問題。 ツイートの著作権を論じるのはやっかいな問題なのですが、今回は写真なので、著作権自体はツイートした人にあると考えて問題ないでしょう。 Twitterのガイドライン Twitterの規約上問題ないのでは？との意見もありますが、それではTwitterの規約ではどのようなより決めになっているのでしょうか。 Twitter Help Center | Guidelines for using Tweets in broadcast 上記は、Twitterの”Broadcast”に関する取り決めです。ここでの、”Broadcast”とはテレビ、ラジオ、インターネット配信などを含みます。肝心な部分は”Use of content”にあるの
おおつねまさふみ氏とアンビバレント女々さんは結婚すれば全部解決しそう。 - 大学院卒ニート、しやわせになりたい。
一度は、白旗を上げたエントリー。 私はビッチ。＠オチューンと… 一人暮らし・フリーターでも30歳までに1000万貯蓄出来たアンビバレント女々がはてなユーザーの力を借りて高学歴になるブログ。 アンビバレント女々さんには勝てねえ…と思ったのですが、心の中のモヤモヤが残ったので、おもしろ全部で記事にしてみます。今日は、誕生日なのでブクマ下さい。 冒頭の記事は、はてな的には、id:mememememitiとid:otsuneの揉め事です。意外だったのは、id:otsuneと言えば、私の中で「なんかよく分からんけどすごい人」、「どうやら、ウォッチャーというらしい」、「道路で事故ったらすごいバズった人」というイメージだったのですが、ネット上においては、例えば、ハゲックスさんや、はてな村の村長のカノセさんみたいに「ネットで絶対に負けない人」というイメージがありました。 しかし、女々さんのエントリで、id
F# Advent Calendar in English 2014
Sergey Tihon's Blog Father. Husband. Developer. Microsoft MVP. Likes #fsharp 🦔, #rust 🦀 and OSS. Update: Event extended until December 31. Our friends from Japan have a beautiful event called “F# Advent Calendar“. Every day from December 1 to December 31, one awesome volunteer publish a new post about F#. What an amazing way to celebrate Christmas, isn’t it? Lets support this initiative and do a
一撃確殺SS日記
固定表示スペース お知らせなどをブログのトップページに表示できます。 以下、サンプルの文章です。当テンプレート使用時に削除可能です。 きれいなコーディング、シンプルな見た目 内部SEO対策済 画像未使用、外部JSファイル未使用で表示が速い W3Cで Valid HTML-lintで100点 ちょこっと試してみよう！ 当テンプレートでは、HTMLをほんの少し編集するだけで、下のボタンで切り替えられるようなことはすぐにできます。その説明や方法をテンプレート内や作者サイトに記載しています。 角丸 記事左 記事右 ブログタイトルよ、画像にな～れっ！ 赤 ピンク 橙 カーキ 黄 緑 青 紫 デフォルト色 その他の特長も表示可能です。 このテンプレートは、HTMLとCSSをこれから覚えていきたい方にも使っていただけると思います。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
コード読んでて、思わず調べたRubyの記法いくつか - Qiita
ソニーが'15年投入するTVの大半でAndroidを採用。“ヒットモデル作戦”も
https://jp.techcrunch.com/2014/11/25/20141124chrome-will-start-blocking-all-remaining-npapi-plugins-in-january/
List of CommonMark Implementations
GitHub - tjmehta/101: A modern JS utility library
P・へメス、家を差し押さえられた８５歳女性を救う | Goal.com