GHCの時間・メモリ割当プロファイリングは、Haskellプログラムがどこで時間を使っているか、またどこでメモリ割当をたくさんしているのかを、コスト集約点（cost center）をノードとする木構造で表示してくれる。 このプロファイラが生成するレポートは、プログラムの規模に応じて大きくなるため、大きなプロジェクトではボトルネックがどこにあるのか一瞥しただけでは分かりにくくなる。 この問題を解決するためにviewprofというテキストベースのビューアを作っている。まだ作りかけで表示があまりに素っ気なかったり、必要な機能が足りないのだけど、試すことはできる。 使い方maoe/viewprofをcloneしてstack installでviewprofコマンドがインストールされる。例えばghc-prof-flamegraphの紹介記事に出てくるこのhoogleのプロファイル結果をviewpro

サークル「趣味はデバッグ……」の2冊目の頒布をコミックマーケット91にて行います！ 『遠回りして学ぶ Yesod 入門』 前回、技術書典で頒布した『遠回りして学ぶ Yesod 入門（上）』の増補改訂版という形になります。 対象読者 対象読者は前回通り、下記ような方になります。 Haskell の入門書は読み終わったよ Yesod のサンプルコード見たら知らない文法とかあって読めないよ 内容 内容は、下記となります。 ビルドツール Stack 効率のよい文字列の扱い Haskell の言語拡張 コンパイル時計算 Template Haskell Web Application Interface とは 簡単な Yesod の解説 ロガー用 Middleware を作る Scotty の章以外は『上』はそのまま含まれています。Scotty はちょっと脇道にそれすぎたなぁと思って省きました。 詳

このエントリは Haskell Advent Calendar 2016 および Formal Method Advent Calendar 2016 の 23 日目の投稿です。のはずでしたがすでに日付が変わりました。謹んでお詫び申し上げます。 ちなみに 22 日目の担当者はそれぞれ Haskell Advent Calendar 2016 : heredocsの紹介 - Qiita Formal Method Advent Calendar 2016 : 農夫 山羊 キャベツ 狼 - Qiita です。偶然ですが同じ方が執筆担当ですね。 さて、本エントリでは Haskell の型の表現力をより豊かにする仕組み、 LiquidHaskell について概要を紹介します。使用するサンプルコードは Samples of Verification by LiquidHaskell · GitHub

阪大は自力で継続資金調達 世界最高水準の研究拠点づくりを目指し、文部科学省が２００７年度に始めた補助事業「世界トップレベル研究拠点プログラム」に選ばれた５研究所のうち、来春の補助期間終了後、京都大など三つの研究所が現体制のままでの研究続行が難しいことがわかった。それぞれの研究所に年間１３億～１４億円もの巨費を投じ、論文などの評価も高かったが、補助延長が認められた東京大と、自力で資金調達に成功した大阪大以外は、所員を削減し、研究規模を縮小せざるを得ず、１０年たって明暗が分かれた形となった。 ５研究所は、３大学のほか、東北大と物質・材料研究機構（物材機構、茨城県つくば市）に設置。年間１３億～１４億円の補助金は主に人件費として使うことが決められており、国内外から優秀な研究者を集めて最先端の研究を進めてきた。引用数が多い論文の割合では米国の２大学に次いで世界３位（５研究所の平均）で、いずれも研究拠

A new theory of gravity might explain the curious motions of stars in galaxies. Emergent gravity, as the new theory is called, predicts the exact same deviation of motions that is usually explained by invoking dark matter. Prof. Erik Verlinde, renowned expert in string theory at the University of Amsterdam and the Delta Institute for Theoretical Physics, published a new research paper today in whi

これはなに？ はじめに AGCあれこれ Temporary I HOPEHOPEHOPE ASTRONAUT NOW LOOK WHERE YOU ENDED UP ふと気になりました いい時代ですね 1201&1202エラー なにそれ？ カ、カルマンフィルターだー！！！ カルマンフィルターの開発経緯 その他面白コメントアウト集 TRASHY LITTLE SUBROUTINES（つまんないサブルーチン） NUMERO MYSTERIOSO（神秘の数字） OFF TO SEE THE WIZARD COME AGAIN SOON HONI SOIT QUI MAL Y PENSE（悪意を抱く者に災いあれ）、NOLI ME TANGERE（私に触れるな） PINBALL_GAME_BUTTONS_AND_LIGHTS.agc おわりに 反省 参考文献 これはなに？ この記事はeeic Adv

この記事は、日曜数学Advent Calender 2016の22日目の記事です。 21日目の記事はみずすまし（nosiika）さんの「正方形+正方形=正方形の話」です。 中学生のときに見つけたピタゴラス数(3,4,5)(5,12,13)(7,24,25)(9,40,41)…にあんな性質があったなんて…！ イントロダクション 今回、私が紹介するのは「掛谷（かけや）問題」についてです*1。 掛谷問題（1916）長さ1の線分を領域内で1回転させることのできる図形のうち、面積が最小の図形は何か？ この問題、知らない方はちょっと考えてみてください。 名前にあるとおり、日本の数学者、掛谷宗一（1886 - 1947）が1916年の11月にこの問題を考え（[2]より）、1917年に提出した問題です。そして、2016年12月にこの事実を知った私はこう思ったのです。 うおお！100周年だぁ！！ 書きたいな

この記事の目的 SELinux って邪魔者ですか？ 「トラブルシュートの時に邪魔だから」「トラブルの元だから」とか言う理由で /etc/selinux/config で SELINUX=disable したり setenforce 0 したりしていませんか？ SELinux は理解さえすればとても簡単です． 本番環境でファイアウォールと WAF の設定をして満足していないで SELinux を使いましょう． 対象 SELinux を初めて触る人向けです． 玄人の方は他へ．．． 本稿の範囲 本稿では SELinux を導入しておしまいです．あくまで「みんな，簡単だからね，使おうね！」と言いたいのです． 本当は SELinux の効果を示すために Exploit を仕込んだアプリケーションから root を取って不正にファイルに触るところまでやりたいのですが，これまた別の記事にします． 僕の願

From Lenses to Yoneda Embedding Posted by Bartosz Milewski under Category Theory, Functional Programming, Haskell, Lens, Programming [7] Comments Lenses are a fascinating subject. Edward Kmett’s lens library is an indispensable tool in every Haskell programmer’s toolbox. I set out to write this blog post with the goal of describing some new insights into their categorical interpretation, but then

（わざわざ手描きにしたのに結局著作権が危うい絵を描いている） どうもこんにちは、博士論文（仮）を提出したばかりのぴちぴちのD3、@calicolicaliです。学生最後ということで、院生しか登録できないAdvent calendarに登録させていただきました！ ʕ◔ϖ◔ʔ 「統計について」という事前コメントをしましたが、 私の専門はアルゴリズム寄りのComputational Biologyで、これまではRNA二次構造予測ソフトウェアParasoRの開発や、配列アラインメントソフトウェアLASTの開発に関わらせていただいたりしてきました。（ご興味あればぜひ！）しかしこの分野では「網羅的な遺伝子データや配列情報を扱うためには統計や機械学習が必要！」ということで、日々これらの分野の勉強をしております。 そんな私が紹介する、今年読んだ一番好きな論文はこちら(｀・ω・´)つ "Estimating

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? DeepLearning Advent Calendar 2016の17日目の記事です。 はじめに はじめまして。 Liaroという会社でエンジニアをしている@eve_ykと申します。 今年もあと僅かとなりました。 ここらで、今年のDeepLearningの主要な成果を振り返ってみましょう。 この記事は、2016年に発表されたDeepLearning関係の研究を広く浅くまとめたものです。今年のDeepLearningの研究の進歩を俯瞰するのに役立てば幸いです。 それぞれの内容について、その要点や感想なんかを簡単にまとめられたらと思います

ピクシブ株式会社 Advent Calendar 2016の時間です。今回はピクシブ株式会社でエンジニアをしている @catatsuy が担当します。今回は意外と書いてなかったのでGitLabを社内でどう運用しているかの話を書こうと思います。 GitLabとGitHub ピクシブ社内では以下の2つの方法でソースコードを管理しています。 自社でホストしているGitLab GitHub Organization それぞれ以下の特徴があります。 GitLabのメリット 自社でホストしているため、アメリカにサーバーがあるGitHubよりもgit cloneでリポジトリをダウンロードする場合などは速い オープンソースのプロジェクトのため、社内のサーバーにインストールするだけで使える ソースコードを読めば内部でやっていることが分かる ユーザー数やリポジトリ数などで料金がかからないため、気軽に使える G

イントロダクション 京都を舞台に描かれる、ちょっと風変わりなベストセラー青春恋愛小説が最高のキャスト＆スタッフでアニメーション映画化！ 第20回山本周五郎賞受賞、並びに2007年本屋大賞2位に選ばれ、累計売上１２0万部を超えるベストセラー、森見登美彦著作の『夜は短し歩けよ乙女』(角川文庫刊)のアニメーション映画化が決定！京都を舞台に描かれる、どこかファンタジックな青春恋愛物語である本作は、大学生が選ぶ本第1位に選ばれ続けるなど、森見登美彦作品の中でも最もファンの多い作品の一つで、満を持しての初映像化。２０１７年４月７日（金）に全国公開となる。 主人公“先輩”のボイスキャストには、社会現象となったTBS系火曜ドラマ『逃げるは恥だが役に立つ』など役者としての活動の他、シンガーソングライター、文筆家と様々な分野で活躍する、今最も注目の集まる星野源を起用。アニメ声優として単独初主演の星野は、“黒髪

Abstract このドキュメントはLinuxにおいて帯域制限のためにtcを用いる際のガイドラインです。 tcは様々な用途に活用できるものですが、プロダクションにおいて特定のserver daemonのトラフィックを制限するというシナリオで活用することを目的としています。 tcのより詳しい詳細については別にドキュメントを書きましたのでそちらを参照してください。 よくわかるLinux帯域制限 Root qdiscの選定 帯域制限を行いたい場合のqdiscは主に以下のようになるでしょう。 TBF PRIO + 内部qdiscとしてTBF HTB それぞれ用途に合わせて適切なものがあるのですが、機能としてはHTBが前者2つの上位互換となるので、迷った場合にはHTBを使えば問題ありません。ということで以後HTBの設定について解説します。 class構造,トラフィックのclassify, filte

Last week during a casual conversation I overheard a colleague saying: "The Linux network stack is slow! You can't expect it to do more than 50 thousand packets per second per core!" That got me thinking. While I agree that 50kpps per core is probably the limit for any practical application, what is the Linux networking stack capable of? Let's rephrase that to make it more fun: On Linux, how hard