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
これは ML Advent Calendar 2017 の 18日目の記事です (ずいぶん遅れました). 前回の記事 では Oasis について紹介しましたが,Jbuilder (Dune という名前に変わります) のほうがもっと楽だったので反省しつつ紹介します. 名前にセンスがないとか S式やだとか思ってしまいますが実際これは圧倒的に良いツールです. 今後は基本的には Jbuilder を使っていけばよい気がします(名前が変わるみたいですが…). 基本的には公式のマニュアルを見れば使えるのですが,public_name や <package>.opam についてはやや記述が散逸している感じなので適宜補足します.また,名前空間の衝突を避けるために Jbuilder が行う -pack ライクな動作についても少し書きます. よい点 自動的な依存解析,簡潔な設定ファイル.OASIS と違って、
自分は学部研究で min-caml というミニマムなコンパイラをハックしている。 min-caml については丁寧に説明された web サイトや論文があるのでそちらに説明を譲るとして、最大の特徴は わずか2000 足らずの行数で ML ライクなコンパイラが記述されているということである。本来は東大の情報科学科のプログラミング演習で学生が作成するコンパイラの参照実装として作成されたものである。 自分は min-caml コンパイラを拡張する形で、min-caml インタプリタを実装しているところである。 その折、OCaml の開発環境を整えたくなったのだが、その環境構築が特殊だったので備忘録も兼ねてブログに記す。 OPAMOPAM とは O(Caml)PA(ckage)M(anager) すなわち OCaml のパッケージマネージャである。 コンパイラに付属していないサードパーティ製ライブラ
「ゼロから始める OCaml」の続きです。元々は「やっぱり環境構築は無視できない道かなあ」と思っていたんですが、 Wandbox が Ocaml 、おっと OCaml だった OCaml に対応した (しかも Jane Street Core まで!) こともあり、環境構築は他のサイトなり記事なりを参考にしてもらうとして、 Ocaml 、おっと OCaml だった OCaml を始めたときに気になるであろうポイントをつつきたいと思います。 無料で読めるオススメのサイトはありますか? なんだかもう恐ろしい経歴の方々が実用視点で執筆された Real World OCaml があります (紙の書籍も出てます) 。よくも悪くも Core に大きく依存する内容で Wandbox と相性がよいです。 英語がきつい? Google 翻訳にかけると恐ろしいクオリティで日本語でおk。人力の和訳が必要なくなる
複数のグーグル社員らが社の方針に対する抗議の意思を表明し、会社を去ったと伝えられている。グーグルに関しては今年4月、同社がドローンの画像認識技術を用いた軍事テクノロジーの開発を行っていることに対し、数千名の社員らが反発の声をあげたことを「ニューヨーク・タイムズ(NYT)」が伝えていた。 ニュースサイト「ギズモード」によると5月14日、十名程度のグーグル社員が辞職したという。元従業員らはグーグルが透明性や信頼性に問題を抱えていることに関しても、問題視しているという。 グーグルが「Project Maven」と呼ばれるプロジェクトで、軍事用ドローン向けのソフトウェア開発を行っていることは以前から報じられていた。また、グーグルCEOのサンダー・ピチャイ宛ての公開書簡に署名したグーグル社員の数は、数千名に及んでいていた。 書簡で従業員らは次のように述べていた。「我々はProject Mavenの中
前置き この記事、本来は Flux には Model がないのではないかと思った覚書 - ナカザンドットネット と Flux の Store が ViewModel かって話からの MVW とかどうでもいいって話 - 猫型の蓄音機は 1 分間に 45 回にゃあと鳴く のアンサーとして書き始めた記事だが、前置きだけで別テーマとなったので、前後編に分割する。 僕は元々がゲームクライアント屋だったときの発想を引きずってるのと、既存の Web の開発の文脈に対して距離を置いていることを明言しておく。あとこういうテーマでとある原稿書いていたので、頭の整理も兼ねて。 ActiveRecord の功罪を振り返る このテーマを語るにあたって、まず Rails の MVC について述べなければならない。なぜなら、フロントエンドのアーキテクチャとは、サーバーサイドの MVC の模倣に始まり、破綻し、結果として
この記事は Speeeアドベントカレンダー2017の1日目です!よければ購読してやってください。 qiita.com Speee DEVELOPER BLOGもよろしくね! TL; DR AWS Batchを本番導入したよ 結構クセはあるが、それを補って余りあるメリット(特にスケーラビリティ) 現状はAWS Batchの活かし方の知見を貯めている段階だが、今後適切な用途があれば積極的に使いたい AWS Batchとは 一言で言うと、「ECSクラスタの薄いラッパー + ちょっと賢いJOB Queue + 賢いAutoScaling(オプション)」て感じ。 ベースにあるのはECSクラスタなので、DockerImageを用意して、ジョブをDockerContainerの実行として定義して、ジョブを発行するという流れはECSと同じ。 ECSはクラスタの各インスタンスが持っている計算リソースと、事前
国は、原則として個人のお金の使い方に口を挟まないことになっています。たとえそれが、ブランド品を買い漁る、毎日パチンコ屋に入り浸る、AKB48のCDを一人で何百枚も買う、といったあまり賢明とは言えない支出でも。その結果、毎日カップ麺しか食べられなくても、電気を止められることになっても。です。 それは、自己責任などと言ったケチな概念ではなくもっと根源的な人権=「自由」です。何がその人にとって幸福かはその人次第。だからパチンコでもAKB48でも自分の金を何に使おうとその人の自由です。 憲法13条 すべて国民は、個人として尊重される。生命、自由及び幸福追求に対する国民の権利については、公共の福祉に反しない限り、立法その他の国政の上で、最大の尊重を必要とする。 にもかかわらず、自分の金の使い方に国が介入してくるのが年金の強制加入です。税はあくまで国の運営費用の請求です。それに対し年金は、本人に還って
Any は全ての型のスーパータイプ、Nothing は全ての型のサブタイプです。 A with B は A と B の交差型を作ります。 A <:< B は A が B のサブタイプであることを表します。 forSome は存在型を構成します。 否定型 この対応から論理における否定は次のようになります。
横綱 アジ 大関 イワシ 十両 カツオ 今日からいろんな魚でなめろうを作って食べます 基本メニューは、魚、味噌、大葉、ショウガです 番付の基準はおいしさと日本酒度です 幕内以上の魚は刺し身よりなめろうで食べたいと思わせる美味しさと日本酒を飲みたいと思わせる度が高いです 日本酒は小樽で買った小さくてキレイなコップで飲みます 今日は昨日作ったカツオのなめろうを食べました 大葉との相性があまり良くないような気がします 味噌と大葉の量を少なくし、カツオ本来の味を際立たせたほうが美味しくいただけそうです カツオの生まれ持っての日本酒度の高さが幸いして十両で踏みとどまりました 日本酒は小さくてキレイなコップ5杯飲みました しかし魚はうまいね
StoreがViewModel相当かどうかってことそれ自体はたぶんあんま本質じゃないんだけど。 blog.nkzn.info これについてです。 わかる。StoreがViewModelってのはちょっとだけ違和感あって、ぼくは ViewModelが読むためのクエリ用モデルくらいに思ってるけど、どちらにせよクリーンアーキテクチャ的な考えで言う「外側」のものだよねという点ではたぶん認識一致してると思う https://t.co/IMQADHGwUb— 猫型🐱蓄音機 (@shinpei0213) 2018年5月15日 べつにStoreが ViewModel相当なのかクエリモデル相当なのかってのはじつはどうでもよくて、あのクリーンアーキテクチャの同心円の外側に位置するものだってことがたぶんこの記事の本質。で、クリーンアーキテクチャは同心円の層の数を定義してなくて、— 猫型🐱蓄音機 (@shinp
私達は、自らの体験について語る事に極めて抑制的である。私達というのは、ゲーマーであり、かつテキストを書いている人間のことである。そのような態度に陥らざるを得ない最大の理由は、老人の昔語りは美化された自らの人生と歴史に対する言及に他ならず、即ちそれは自虐であろうとなんであろうと自慢である事を避けられず、私達によるゲームに対する言及は、年配者の自分語りによる自慢へと陥る事を避けられない。本人は雑談をしているつもりが説教になるだとか、本人は親身になってアドバイスをしているつもりがうざいだけの自慢になるといった、我が国に存在している当たり前の事は、当然のようにして私達の身に降りかかる。 こと、ビデオゲームはさらに大変である。 ビデオゲームは全てが接続されている。突然変異的にいきなり生まれたビデオゲームなどは存在しない。何かがあって何かがある。2018年に流行っているゲームのどれか1つを遡って辿れば
The Glorious Glasgow Haskell Compiler.
EFAIL describes vulnerabilities in the end-to-end encryption technologies OpenPGP and S/MIME that leak the plaintext of encrypted emails. Email is a plaintext communication medium whose communication paths are partly protected by TLS (TLS). For people in hostile environments (journalists, political activists, whistleblowers, ...) who depend on the confidentiality of digital communication, this may
The new “Function” platforms are to microservices what microservices are to the monolithic application architectures. They offer an even more fine-grained approach to modularizing applications. With automated scaling, it is promised our deployment headaches are a thing of the past. It’s an exciting idea, that developers simply write their code, and the platform takes…
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く