Former Autonomy chief executive Dr Mike Lynch issued a statement Thursday following his acquittal of criminal charges, ending a 13-year legal battle with Hewlett-Packard which became one of Silicon Valley’s…
The first public preview version of OCaml◎Scope is now available at http://ocamloscope.herokuapp.com. It supports: Fast: on memory DB. Friendly with OCamlFind packages: names are prefixed with the OCamlFind package name it belongs to. Friendly with OPAM: each OCamlFind package knows which OPAM package installed it. Auto extraction of OCamlDoc comments. Edit distance based path and type search. Cur
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
I’ve been interested in GADTs1 for quite some time now but I’ve had a hard time finding proper use-cases for them in my day-to-day programming tasks; this is not because GADTs aren’t useful, they are, but rather that my understanding of them has been limited. I often experience this when I’m learning more advanced features of programming languages and I’ve found that I personally find it easier to
When GADTs (Generalized Algebraic Data Types) landed in OCaml, I wasn’t particularly happy about it. I assumed that it was the kind of nonsense you get when you let compiler writers design your programming language. Which is to say that the standard GADT examples all seem to be about the kinds of things that compiler writers do, like embed domain-specific languages or build typed abstract-syntax t
今回はOCamlの現在のlatest versionである3.12.1には実装されていない、GADTについて試してみました。 とりあえず、現状でOCamlのGADTを試すにはOCamlのsvnリポジトリからgadtsをとってきてビルドとインストールを行う必要があります。 ただし、これを行うと、今まで入れていた標準でないライブラリのうち、cmiファイルが関係するライブラリはほぼ全滅します(多分)。つまり自力で入れ直しです。それにバージョン名が変更されたりする関係でoasisパッケージでOCamlのバージョン指定がある場合、そのままでは対応していないバージョンとして扱われるなどの問題があります。現状、そのまま普段の開発で使うにはかなり自力での解決が必要になりそうです。 それでは以上のことに注意しながら、GADT対応バージョンを入れてみます。 $ svn co http://caml.inria
こんにちは! ヨス(プロフィールはこちら)です。 それはHHKB(ハッピーハッキングキーボード)のコードレス・タイプです。そうです。iPadでも使える最強のキーボードが降臨しました!! ということで、文字入力マニアのわたしが「HHKB・Bluetooth版」のレビューを全力でいたします!! Bluetooth版HHKBを購入した理由 わたしはキーボードが大好きで文字入力のオタクです。 今回は念願のiPad Pro用として最強のキーボードについてですが、まずは買うまでにいたった経緯について説明します。 iPad用キーボードで満足のいくものがなかった わたしは、今までいろんなPad向けのキーボードを触ってきましたが「大満足!!」なものがありませんでした。 特に最近、イラストを描くためだけにiPad Proを購入したんですが…… iPad Proはとにかくでかい! こいつをPCとしても利用したい
Think IT 本書解説記事のご案内 本書の解説記事を以下のURLにて公開しています。本書に必要な前提知識、本書の構成と読み方のプラン等について説明。本書を通して、より効果的に機械学習を学ぶための解説となっています。 ◎ ブック・インサイド―『Python機械学習プログラミング』学び方ガイド 第3回(2016/09/16 更新)「単純な例でADALINEのイメージをつかむ」 https://thinkit.co.jp/article/10666 第2回(2016/08/08 更新)「パーセプトロンを読み解く」 https://thinkit.co.jp/article/10342 第1回(2016/06/30 更新)「学び方ガイド」 https://thinkit.co.jp/article/9926 著者プロフィール ◎ Sebastian Raschka(セバスチャン・ラシュカ) ミ
President Obama spoke after a wreath-laying ceremony with Prime Minister Shinzo Abe of Japan at the Hiroshima Peace Memorial on Friday.Credit...Doug Mills/The New York Times The following is a transcript of President Obama’s speech in Hiroshima, Japan, as recorded by The New York Times. Seventy-one years ago, on a bright cloudless morning, death fell from the sky and the world was changed. A flash
The persistent challenge in extracting value from Big Data sources comes down to the fact that much of it is in forms that are difficult to analyze. Numbers and categories can be analyzed using statistical analysis methods that have been widely used for 60 years or more, but when the information you need is embedded within text, audio, images or video, analysis isn’t so simple. These complex forma
はじめに 画像の分類やオブジェクト認識などの問題でDNNが注目されていまして,たくさんのサンプルコードが公開されています.これらは分類(classification)の問題ですが,回帰(regression)の問題をDNNで解きたい場面もあると思います.本稿ではtensorFlowとscikit-learnのデータセットを用いて回帰の問題を解いてみようと思います. データセット scikit-learnの"diabetes"のデータセットを用います.これは糖尿病患者の生理学的な特徴量(10次元, real)と1年後の病状を表すターゲット(1次元, int)をセットにしたデータです.特徴量は$\pm0.2$に正規化されており,ターゲットの値域は$25<y<346$となっています.各特徴量がそれぞれの値が何を意味しているか理解していませんが,とりあえず回してみます.サンプル数は442です. ネ
はじめに Java API を巡って Oracle と Google の訴訟が続いています。世間の論調を見ていると、「Oracle 対 Google」の構図を「プロプライエタリ対オープンソース」と位置付け、あたかも Google が正義の味方であるかのように扱っていますが、この件に関しては、私は逆の立場です。むしろ、「Google けしからん」と思っています。私がそう思う理由をここに書きます。 Java の互換性 Android が登場するずっと前から、業界の皆は、JCP (Java Community Process) に則り、協議の上 Java API の仕様を決めてきました。仕様を策定する際には、RI (Reference Implementation) (リファレンス実装) と TCK (Technology Compatibility Kit) (テスト群) も同時に用意します。
1945年8月6日に広島に落とされた原子爆弾によって亡くなった犠牲者の中には、12人の米兵捕虜も含まれていた。アマチュア歴史家の森重昭さんは、40年以上を費やし、被爆米兵の遺族を探し当てた。アメリカのバリー・フレシェット監督が、その記録を『灯篭流し(Paper Lanterns)』にまとめた。 森 重昭 MORI Shigeaki 1937年生まれ。アマチュア歴史家。広島原子爆弾を経験。2008年「原爆で死んだ米兵秘史」(光人社)を出版。広島で妻・佳代子と暮らし、2人の子供がいる。 バリー・フレシェット Barry FRECHETTE 1970年生まれ。1992年米ストーンヒル大学卒業。25年間、ボストンで広報の短編ビデオを初めとする制作の仕事に携わる。現在Connelly Partnersでククリエイティブ・サービスのディレクターを務める。「灯篭流し(Paper Lanterns)は、映
そもそも、波ダッシュと、全角チルダって? 波ダッシュ 〜 0x8160(Shift_JIS) 0x301C(UTF-8) WAVE DASH(ユニコードポイント : U+301C) 日本語の文字 範囲を表す : 大阪 〜 東京 など 省略記号 : 〜 からの 全角チルダ ~ Shift_JIS には無い 0xFF5E(UTF-8) FULLWIDTH TILDE(ユニコードポイント : U+FF5E) いろんな意味がある文字 アルファベットの上につけて、鼻音を表す : ñ 数学記号 (ほぼ等しいの意味) ホームディレクトリを表す記号 : ~/download Unicode 側での波ダッシュ割り当てミス Shift_JISの波ダッシュ を Unicode に割り当てるときに、 波ダッシュの形を間違えて、"下がって上がる" ように表記してしまった ※ unicode 8.0 で修正されました
interviewer: Welcome, can I get you coffee or anything? Do you need a break? me: No, I've probably had too much coffee already! interviewer: Great, great. And are you OK with writing code on the whiteboard? me: It's the only way I code! interviewer: ... me: That was a joke. interviewer: OK, so are you familiar with "fizz buzz"? me: ... interviewer: Is that a yes or a no? me: It's more of a "I can'
In recent years developers have become rapidly attracted to tools that are not only functional but are designed to fit into their workflow seamlessly and are a joy to use. This shift represents a higher standard of design and user experience that Jenkins needs to rise to meet. We are excited to share and invite the community to join us on a project we’ve been thinking about over the last few month
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く