Strong consistency models
Update, 2018-08-24: For a more complete, formal discussion of consistency models, see jepsen.io. Network partitions are going to happen. Switches, NICs, host hardware, operating systems, disks, virtualization layers, and language runtimes, not to mention program semantics themselves, all conspire to delay, drop, duplicate, or reorder our messages. In an uncertain world, we want our software to mai
最適化超入門
本スライドは、弊社の梅本により弊社内の技術勉強会で使用されたものです。 近年注目を集めるアーキテクチャーである「Transformer」の解説スライドとなっております。 "Arithmer Seminar" is weekly held, where professionals from within and outside our company give lectures on their respective expertise. The slides are made by the lecturer from outside our company, and shared here with his/her permission. Arithmer株式会社は東京大学大学院数理科学研究科発の数学の会社です。私達は現代数学を応用して、様々な分野のソリューションに、新しい高度AIシステム
Javaを始めた頃によくある疑問。Java SEって何？JDKとJREえ？ - Qiita
Java開発するために Javaは、JVM(カップ、器)を置き、その上でプログラムファイル(麺)を用意します。 プログラムを書くときには、System.out.printなどのAPI(付属調味料)を使います。 Apache Commonsなどの外部ライブラリ(その他の具材)を追加するとコーディングが楽になります。 準備ができたらコンパイルして(お湯を注いで)はじめて実行可能な成果物(食べれるカップ麺)ができあがります。 ※ あくまでわかりやすい例えとして提示しており、厳密な対応にはなりえないため、イメージとして掴む目的でご覧ください。 さて。 Java SEとかって何なの？ これすなわちAPIのこと。 Javaプラットフォームには主にJava SE, Java EE, Java MEの3つのAPIがある。 まあAPIって書いてるわけですが、個人的にはライブラリといってくれたほうがしっくりき
大学の理工系の講義ノートPDFまとめ （数学・物理・情報・工学） - 主に言語とシステム開発に関して
大学と大学院の，理工系の講義ノートPDFのまとめ。 PDF形式の教科書に加え，試験問題と解答，および授業の動画も集めた。 学生・社会人を問わず，ぜひ独学の勉強に役立ててほしい。 内容は随時，追加・更新される。 （※現在，６０科目以上） カテゴリ別の目次： （１） 数学の講義ノート （２） 物理学の講義ノート （３） 情報科学の講義ノート （４） 工学の講義ノート ※院試の問題と解答のまとめはこちら。 （１）数学の講義ノート 解析学： 解析学の基礎 （大学１年で学ぶ，１変数と多変数の微分・積分） 複素解析・複素関数論 （函数論） ルベーグ積分 （測度論と確率論の入門） 関数解析 （Functional Analysis） 代数： 線形代数 （行列論と抽象線形代数） 群論入門・代数学 （群・環・体） 有限群論 （群の表現論） 微分方程式： 常微分方程式 （解析的および記号的な求解） 偏微分方程
なるほどUnixプロセス読んだ - デーモン化のためのdouble fork - はこべにっき ♨
なるほどUnixプロセス ― Rubyで学ぶUnixの基礎を読みました。UNIXプロセスの話、特に実用的なforkの利用方法についての話がコンパクトにまとまっていてわかりやすかったです。あまり詳細に踏みこんでいるという感じではないけど、とっかかりにこの本にあるような知識があるのは良いと思いました。(シェルスクリプトから"foreman start"したときにCtrl-Cで終了できない現象の解説 - はこべブログ ♨ではまる前に読んでおいたら、もっとはやく問題解決できたと思います。) 第18章 デーモンプロセスに関係して二回目のforkについていろいろ調べたので、せっかくなのでメモを残しておきます。*1 第18章 デーモンプロセス では、プロセスをデーモン化するために必要な手順が丁寧に説明されています。その中で、プロセスを制御端末から切り離す手順として以下のようなコードが紹介されていました。
Scyphus Draft — デーモンの作り方
プログラマであれば一度は自分で作ってみたいデーモンプロセス． 本稿では，デーモンの作り方と関連するTipsを連載にて解説していきます． なお，本稿ではC言語を用いて説明します． デーモンプロセスの特徴 デーモンは通常のバックグラウンドプロセスとは異なり次の特徴を持っている． （通常は）親プロセスのプロセスID (PID) が 1 (init) 制御端末 (tty) を持たない デーモン化ユーティリティ・関数 簡単にプロセスをデーモン化する方法として，FreeBSDには daemon(8) というコマンドが用意されている． また，BSD系のOSには daemon(3) 関数が用意されており，簡単にプロセスのデーモン化を実現できる． しかし，これらのコマンドや関数の実装は非常にシンプルであり，またプロセス毎の用途・要望に対する拡張性や移植性を考えると各自で実装した方が便利であるため，本稿ではこ
Linuxでプロセスのデーモン化 - Qiita
プロセスと周辺の概念 TTY (仮想端末) |-セッション |-プロセスグループ |-プロセス 「TTY = セッション 1>N プロセスグループ 1>N プロセス」 プロセスの中の一つがセッションリーダーで、その中の複数がプロセスグループリーダー。 セッション TTYと結びついたログインセッションのこと。一つ以上のプロセスグループの集まりであり、セッションリーダーとなるプロセスが制御端末とやりとりをして端末切断時に子プロセスを全て終了させる役割を持つ。自身が属するセッション内でしかプロセスグループは生成できない。 プロセスグループ プロセスの集まりで、シグナルを他のプロセスへ送信することができる。メンバーはプロセスグループリーダーのプロセスIDをグループIDとして持つ。プロセスグループのリーダーになるにはsetpgid()かsetsid()を呼び出す。 fork() この関数を呼ぶとプロ
phiary
phi I'm a Game Programmer and Frontend Engineer passionate about programming education. Math / C / C++ / C# / JavaScript / HTML5 / CSS3 / Python gulp には標準で watch というメソッドがありこれを使えば 簡単にファイルを監視して, 変更時に特定の処理を行うといったことができます. Usage 使い方は gulp.watch(["監視したいファイル"], ["行いたいタスク"]) です. Example 実際に gulp.watch を使った例です. gulpfile.js に下記のコードを書いて var gulp = require("gulp"); gulp.task("change", function() { console.log
[EPUB][Ruby][Nginx]『nginx実践入門』をシンタックスハイライトする | アペフチ
『nginx実践入門』を買った。 nginx実践入門 (WEB+DB PRESS plus)著者 : 久保達彦技術評論社発売日 : 2016-01-16ブクログでレビューを見る» 早速設定ファイルの所などをシンタックスハイライトした。 以下の手順で再現可能。本のEPUBファイルがpath/to/nginx実践入門.epubにあるものとする。 $ gem install epub-parser -v '>= 0.2.4' $ gem install epub-maker -v 0.0.3 $ gem install rouge rouge-lexers-docker $ git clone https://gist.github.com/0779a34fd74bae96468f.git rougify-gdp-book $ cd rougify-gdp-book $ ruby rougify
![[EPUB][Ruby][Nginx]『nginx実践入門』をシンタックスハイライトする | アペフチ](https://cdn-ak-scissors.b.st-hatena.com/image/square/640a03f5121bf4016a87946345e753bf9f90f7b4/height=288;version=1;width=512/https%3A%2F%2Fdiary.kitaitimakoto.net%2Fimages%2Ficon.png)
株式会社ALBERT（レコメンドエンジン）
データ分析から導き出されたインサイト無しにAI（人工知能）の活用は始まりません。私たちは、各業界知識とデータ・アナリティクス技術を駆使しデータドリブン経営を強力に支援します。 データ、アナリティクス、AIは企業にとって競合他社との差別化を図るかつてないほど大きな要因になっています。今日の経営幹部が効率を向上しながら新たな収益源を開拓し、新しいビジネスモデルをタイムリーに構築する方法を模索する中、価値を生み出し成長を続ける企業には「データ活用」という共通項があります。私たちは、無数のデータから企業にとって本当に必要なデータを活用するための方法を知っています。 将来を見据えたオペレーション体制を備えている企業の半数以上（52％）は、すでにデータとアナリティクスを大規模に活用しています。データとAIに関する取り組みをビジネス戦略に沿って実施することで投資利益率を迅速に最大化し、最終的にはAIをビ
基本的なRecurrent Neural Networkモデルを実装してみた - Qiita
Recurrent Neural Network（再帰型ニューラルネット）に関心はあるが，なかなかコード作成に手がつかない，このようなケースが多くないだろうか？理由はいくつかあるが，私の場合は次のようなものが思い当たる． 単純にネットワークの構成が複雑．MLP(Multi-layer Perceptron)から入門してCNN(Convolutional-NN)に進むまでは，特殊なLayerがあるにせよ，信号の流れは順方向のみであった．（誤差の計算は除く．） MLPやCNNにおいては分かりやすい例題，（Deep Learningの’Hello World'と称される）"MNIST" があったが，そのような標準的な(スタンダードな）例題がRNNにはない． 因みにTheanoのDeep LearningやTensorFlowのTutorialは，言語モデルを扱ったものである．言語モデルに精通され
Real's How-to
In JAVA, a byte always considered as signed when converted to another type. We must mask the sign bit to JAVA, cast to an integer and process the masked bit if needed. The following method implements this idea : public class UnsignedByte { public static void main (String args[]) { byte b1 = 127; byte b2 = -128; byte b3 = -1; System.out.println(b1); System.out.println(b2); System.out.println(b3); S
Javaからの外部プロセス起動に、ZT Process Executorを使う - CLOVER🍀
Javaから外部プロセス起動するする時は、自分でProcessまわりのクラス使ったり、Commons Exec使ったりするものですが、他に何かないのかな？と思い（Commons Execより、もうちょっと簡単に書けるものが欲しかった）調べたら、こういうのが見つかりました。 GitHub - zeroturnaround/zt-exec: ZeroTurnaround Process Executor 最終リリースは2015年5月なのかぁって思ってたら、Commons Execは2014年だった…。 ※Commons Execはコードは最近更新されている模様 せっかくなので、試してみます。 準備 Maven依存関係としては、最低限以下が必要です。 <dependency> <groupId>org.zeroturnaround</groupId> <artifactId>zt-exec</a
Strutsと比較して理解するJSFとCDI、アクションベースとコンポーネントベースの違い
<?xml version='1.0' encoding='UTF-8' ?> <!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" xmlns:h="http://xmlns.jcp.org/jsf/html"> <!-- 割愛 --> <h1>ログイン</h1> <h:form class="form" id="form"> <div> <h:messages id="message"/> </div> <h:inputText id="id" value="#{loginAction.id}" p:placeholder="user1を入力" /> <h:inputSecret id="password" value="#{loginAction.password}" /> <h:commandButton action
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://k2.sci.u-toyama.ac.jp/pmath/int2math.pdf
EMANの物理数学
No Compromises: Distributed Transactions with Consistency, Availability, and Performance | the morning paper
Bursty and Hierarchical Structure in Streams - Jon Kleinberg (PDF)