HaskellのSTG言語 - 純粋関数型技術メモ
この記事では GHC 8.0.1 を用いています． STG言語 STG（Spinless Tagless G-machine）とは，遅延評価で高階関数をサポートする関数型言語のための抽象機械である． STG（Shared Term Graph*1）言語はSTG機械のための言語で，GHCでは Haskellソース → Core言語 → STG言語 → C-- → アセンブラ，LLVM というコンパイル過程で中間言語として現れる． STG言語は，ghcで --ddump-stg オプションをつけてコンパイルすると出力される． Core言語 Core言語は概ねHaskellのサブセットであり，脱糖したHaskellとみることができる．Haskellと異なる点は， 多相関数が引数に明示的に型パラメータをとる（@ a) パターンマッチはcase式でのみ可能で，ネストしたパターンは使えない． 変数はリ
ソリトン〜計算機から生まれた数理物理学〜 - Qiita
こんばんは。数学とコンピュータ II Advent Calendar 10100日目の記事を書かせていただきます。 この記事では、ソリトンと呼ばれる対象についてご紹介します。 やや数学・物理色が強め、ですが、あまり詳細に囚われず読んでいただければ幸いです。 ちなみにソリトンは歴史的に見ても計算機のおかげで発展したと言っても過言ではなく、一方で近年ではセルオートマトンといった対象とも関わりがありますので、テーマ的にはあっていると思います。 そして日本が元々強い分野でありながら、あまり周知されていない気がするので、もし興味ある方(特に計算機に強い方々)が増えて、この分野が活気づけばいいな、と思って今回投稿しました。 本論に入る前に １．まずちょっと言い訳(お詫び)です。 もともとlatexで書いていて、後でマークダウン用に変換したのですが、慣れていないためレイアウト等がかなり適当です。また数式
Let’s hand write DNS messages | James Routley
In this post, we’ll explore the Domain Name Service (DNS) binary message format, and we’ll write one by hand. This is deeper than you need to use DNS, but I think it’s fun and educational to see how these things work under the hood. We’ll learn how to: Write binary DNS query messages Send our message as the body of a UDP datagram using Python Read the response from the DNS server Writing binary so
playing to win
Playing to Win Those of us with the means to do as we pleased drove our vast resources into monumental construction. My grandest project was a Chinese city, tragically cut short by server reset. View from the north, inside the outer wall. The first game I ever outsmarted was Final Fantasy 6. I was eight or nine. The rafting level after the Returners' hideout. You're shunted along on a rail, forced
Stalking a Hylomorphism in the Wild
Stalking a Hylomorphism in the Wild Posted by Bartosz Milewski under Programming [22] Comments Trying to improve my Haskell coding skills, I decided to test myself at solving the 2017 Advent of Code problems. It’s been a lot of fun and a great learning experience. One problem in particular stood out for me because, for the first time, it let me apply, in anger, the ideas I learned from category th
テストで実際に見たウェブサーバの「遅い」状態とは - Qiita
さくらインターネットのアドベントカレンダー25日目が空いてしまったので、ウェブサーバのチューンナップについて書くことにしました。 私は今日からお休みですが、さくらインターネットは年末年始も休まずに働いていますので、ご安心ください。 年末年始のシフトに入ってくれた社員の皆さんに感謝です。 ということで、責任を持って空いたカレンダーの埋め合わせをさせて頂きますｗ サーバのレスポンスが遅いとは？ なんだかサーバのレスポンスが悪いなぁってことは皆さんも体験されたことあると思います。 原因としては大きく分けて2種類あり、ひとつはApacheやnginxなどのウェブサーバソフトウェアの設定において同時に処理できる上限に達しているケースと、サーバ自体の負荷が高まっているケースです。 前者はApacheでいうとMaxClientsを調整することで対応できますが、そもそもサーバの性能以上にMaxClient
Copy-on-write friendly Python garbage collection
At Instagram, we have the world’s largest deployment of the Django web framework, which is written entirely in Python. We began using Python early on because of its simplicity, but we’ve had to do many hacks over the years to keep it simple as we’ve scaled. Last year we tried dismissing the Python garbage collection (GC) mechanism (which reclaims memory by collecting and freeing unused data), and
TTY/PTYに関するクイズ - Qiita
はじめに LinuxでCtrl-C打ったらコマンドが中断されるとか。皆さんご存知ですよね。こういうことに関連したちょっとした四択クイズです。Linux使い各位、当然、全問正解できますよね? 問題 いずれもPuTTYなりTeraTermなりのターミナルソフトでLinuxマシンにSSHで接続した、ログインシェル上での対話操作の上でのお話です。ターミナルソフトなんかは特に設定をいじらないことにします。一応。それと、シェルは大体なんでも同じだと思うのですが、念のためbashと指定しておきます。 Q1: シグナル送ったのは誰? 「はじめに」でも書きましたが、Ctrl-Cを入力すると、実行中のコマンドを停止させることができますね。例えば次のように。 これはSIGINTというシグナルが送られるためです。このシグナルはkill -INT プロセスIDなんてコマンドなんかで手動で送ることもできますね。 では
Everything you want to know about x86 microcode, but might have been afraid to ask
Everything you want to know about x86 microcode, but might have been afraid to ask Playlists: '34c3' videos starting here / audio / related events 57 min 2017-12-28 12810 Fahrplan Microcode is an abstraction layer on top of the physical components of a CPU and present in most general-purpose CPUs today. While it is well-known that CPUs feature a microcode update mechanism, very little is known abo
確率空間なくして確率なし | taggaの日記 | スラド
仮にx円が入っていたとする。 このとき、もう片方が x/2 円か、2x 円で、 封筒が区別できないので、これらが等確率となり、 交換後の増減の期待値は (x/2 - x) * 1/2 + (2x - x) * 1/2 = 0.25x 円。 これが正なので、交換した方が得である。 条件つき確率の問題にするので、 その前にもとになる確率空間 (Ω, E, P) を作っておく。 標本空間として、合計金額と、金額が上の封筒 or 下の封筒かのフラグの対のものを考える。Ω = {(3x, s) | x は金額、s は上か下}。 事象の集合となる完全加法族は E = Pow(Ω)。 確率測度についての制約は P((3x, 上)) = P((3x, 下)) と合計 ΣP(ω)=1。 そうすると「x円が入っていたとする」ときの条件つき確率の標本空間は、 Ω'={(3x, 下), (3x/2, 上)} で、
Math Advent Calendar 2017 - Adventar
数学の Advent Calendar です. テーマとかは特にありません. 書きたいこと 勉強していること 最近まとめたいなと思っていた みんなに一度考えて欲しい問題など, 中学・高校レベルでも実用的な話題でもなんでもいいです. 埋まらなかった日は記事がありません. 今回作ったのはりす君ですが, りす君とかかわりがなくても書いてもらえるとうれしいです. 515hikaru さんの Math Advent Calendar 2015 を参考にしました.→https://adventar.org/calendars/852
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Introducing Twistlock Support for AWS Lambda Layers | Twistlock
今年読んだ一番好きな論文 Advent Calender 2017に便乗して - 【論文紹介】良い子の元にサンタはやって来るのか
[猫村いろは] one of these days![[猫村いろは] one of these days](https://cdn-ak-scissors.b.st-hatena.com/image/square/1bc55312977efa9053c5e1444076e97e5010ff03/height=288;version=1;width=512/http%3A%2F%2Ftn.smilevideo.jp%2Fsmile%3Fi%3D32500167)
重音テト／クワイエットルーム【オリジナル】
【名前のないこ】ゆるす【UTAUオリジナル曲】
Building a Distributed Log from Scratch, Part 2: Data Replication
NP-hard does not mean hard