関手, 自然変換とHaskell
$\require{AMScd}$ 最近, Mathjaxで遊んでいるので, それを使って, 関手と自然変換について調べたことのメモ. 関手とHaskellのFunctor 関手$F$は圏$X$から$Y$へ対応を表し, 圏$X$の各関数$f : A \rightarrow B$を $F(f) : F(A) \rightarrow F(B)$ として移すものです. 関手は元の圏の関数について合成則を保存し, $f : A \rightarrow B, g : B \rightarrow C$,を関手$F$によって移すと, $F(f) \circ F(g) = F(f \circ g)$という性質を持ちます. また, 元の圏の各対象Xについて, 移した先の関手$F(id_X)$の射もその先の対象の$id$射となります. Haskellにおける関手$F$は, 名前も性質もmap関数に似ています.
Swift Intermediate Language - A high level IR to complement LLVM
Swift Intermediate Language A high level IR to complement LLVM Joe Groff and Chris Lattner Why SIL? Clang Parse Sema CodeGen LLVM *.c AST AST' IR *.o Clang Parse Sema CodeGen LLVM *.c AST AST' IR *.o Clang Parse Sema CodeGen LLVM *.c AST AST' IR *.o Clang CodeGen CodeGen 🌲 🌲 🌲 🌲 🌲 🌲🌲 🌲 🌲 Parse Sema LLVM *.c AST AST' IR *.o Clang CodeGen CodeGen 🌲 🌲 🌲 🌲 🌲 🌲🌲 🌲 🌲 Parse Sema LLVM *.c
Operating Systems: From 0 to 1
Bootstrap yourself to write an OS from scratch. A book for self-learner. Operating Systems: From 0 to 1 This book helps you gain the foundational knowledge required to write an operating system from scratch. Hence the title, 0 to 1. After completing this book, at the very least you will learn: How to write an operating system from scratch by reading hardware datasheets. In the real world, it works
GoogleがBorgの詳細を公開
Googleが“Large-scale cluster management at Google with Borg“と題した論文を発表して，これまでほとんど語られなかった技術の詳細を明らかにした。 Borgはクラスタマネージャである。数万台のサーバから構成されるクラスタ群上で動作し，数千というアプリケーションから送信される数十万のジョブを，さまざまなサービスに代わって受け入れ，それらのスケジュール，開始，停止，再起動を行う。Borgの目的は，開発者に代わってリソース管理作業を実行することにより，彼ら自身の作業に集中できるようにすること，データセンタの枠を越えてリソース使用効率を最大化すること，この２つである。次の図は，Borgのメインアーキテクトを表している。 このアーキテクチャの構成要素は次のとおりである。 セル -ユニットとして扱われるマシンの集合。 セルには通常10,000台程のサ
Googleのインフラ技術から考える理想のDevOps
デブサミ2017で発表予定の資料です。 http://event.shoeisha.jp/devsumi/20170216 2017/02/14 ver1.0 公開Read less
【ホームズ】声優の部屋探しは何が大変？ 声優・洲崎綾さんが手にした“こたつと猫”の生活 | 住まいのお役立ち情報
声優として活躍する洲崎綾さんは、最近新しいマンションに住み替えられたばかり。1年をかけてゆっくりと理想の物件を探されたそうです。それほど時間をかけたのも、声優というお仕事柄、妥協できないこだわりがあったから、ということ。また、引越しを期に猫ちゃんとの同居生活もスタート。今ではすっかり“親バカ”になっているのだとか。今回は洲崎さんに声優ならではの住まいへのこだわりと猫ちゃんとの生活をうかがってきました。 物件を探す 【プロフィール】 洲崎 綾（すざきあや）／石川県出身、アイムエンタープライズ所属。声優の夢を実現させるため、OLをしながら技術を磨き今では人気声優に。華道（古流柏葉会師範）の資格に幼稚園・小学校・特別支援学校教諭免を持つほか、スキューバダイビングの趣味が高じてＰＡＤＩオープンウォーターダイバーのライセンスを持つなど多彩な才能を発揮する。 アイムエンタープライズ所属 洲崎綾さん －
サーバーレス・アーキテクチャで構築したシステムの運用はどうやるのか？ | iret.media
2016年12月20日からスタートしたMBS（毎日放送）の有料動画配信サービス『MBS動画イズム444』にて、サーバーレス・アーキテクチャ（AWS Lambda）が全面採用されたという事例は、世界を見渡しても類をみない、大変優れた設計であると話題になりました。 でもね、重要なことは「AWS Lambdaを使って構築した」ことではないんです！ 『MBS動画イズム444』は、次々と新しい動画コンテンツが増えていますし、有料会員も猛スピードで増えていると伺っています。そうなると、このサービスの安定運用こそが、もっとも重要なことなのです。 そこで、この記事では「AWS Lambda」で構成されるシステムの運用をcloudpackならこうやります！というのをご紹介いたします。 サーバーレス・アーキテクチャのシステム運用はどう考えるべきか？ 『MBS動画イズム444』のシステム構成は、実に複雑です。
『MBS動画イズム444』 サーバーレス・アーキテクチャを全面採用 | iret.media
MBS（毎日放送）は、大阪府大阪市に本社のある近畿エリアの地上放送事業者です。近畿エリアでのチャンネルは「4」。テレビ番組を、放送終了から1週間無料で視聴できる見逃し配信専用の『MBS動画イズム』というオンデマンド配信サービスを2015年に開設していました。そして2016年12月、過去に放送された多岐にわたる番組コンテンツをオンデマンドでPCやスマートフォンで視聴できる、定額制有料動画配信サービス『MBS動画イズム444』をスタートしました。 『MBS動画イズム444』のシステムは、cloudpackがWebシステムの設計・構築・開発、さらにWebサイトデザインをワンストップで行いました。サーバーレス・アーキテクチャを存分に活用し、アジャイルスタイルの開発で、短期間での立ち上げに寄与しています。 定額制有料動画配信サービス『MBS動画イズム444』 『MBS動画イズム444』とは、ドラマ、
Union Findアルゴリズムの様々な実装とパフォーマンス計測 - $shibayu36->blog;
CourseraにAlgorithms Part1という授業があり、これが非常に評判が良いので、会社で勉強会をしている。Week1にUnion Findというアルゴリズムが出てきて、その実装パターンがいくつかあった。それぞれ計算量が違うらしいのだけど、速度がどのように変化するか試したかったので、実装してパフォーマンス計測をしてみた。それぞれの実装の詳しい説明が知りたかったら、https://www.coursera.org/learn/algorithms-part1 を見ると良い。 Union Findとは何か 二つのノードを繋いでいき(Union)、あるノードとあるノードがつながっているか(Find or Connected)を判定するアルゴリズム。 例えば、union(1,6)、union(5,6)、union(2,7)、union(3,8)、union(4,9)、union(8,9
ネパールの発酵乾燥青菜「グンドゥルック」は見た目とは逆にうまい
ネパールの発酵食品で「グンドゥルック」という物があります。青菜を発酵させた後に乾燥させて作ります。 見た目はほぼ枯草。酸味や旨味があって美味しい、らしい。作り方を聞くと、塩などは使わずぬるま湯に青菜を漬けて放置しておくだけ、らしい。それで本当に出来るのか？出来たとして本当に美味しいのか？ 出来ました。美味しかったです。 1972年生まれ。元機械設計屋の工業製造業系ライター。普段は工業、製造業関係、テクノロジー全般の記事を多く書いています。元プロボクサーでウルトラマラソンを走ります。日本酒利き酒師の資格があり、ライター以外に日本酒と発酵食品をメインにした飲み屋も経営しているので、体力実践系、各種料理、日本酒関係の記事も多く書いています。（動画インタビュー） 前の記事：ウーパールーパー専門店でかわいさを再認識する ＞ 個人サイト 酒と醸し料理 BY 工業製造業系ライター 馬場吉成 websit
舞姫の主人公をボコボコにする最高の小説が明治41年に書かれていたので1万文字くらいかけて紹介する - 山下泰平の趣味の方法
舞姫の主人公をボコボコにする小説が明治41年に書かれていたので1万文字くらいかけて紹介したいと思います。 舞姫の主人公を殴れば解決するのでは? 冒険旅行ブーム 島村隼人、エリスに刺されそうになり豊太郎を殴ることを決心する 舞姫との差異 ハイカラを討伐しよう アフリカ人と帰国しよう 世界統一ブームがあった 豊太郎廃人となる 舞姫のために 追記 舞姫の主人公を殴れば解決するのでは? 森鴎外による舞姫っていう小説がある。舞姫の内容を知らない人のためにあらすじを書いておこう。 子供の頃からずっと勉強してた太田豊太郎は22歳になると国費でベルリンに留学、ところがヨーロッパの文化に触れ近代的自我に目覚めてすごい苦悩をする。色々あって豊太郎は踊り子のエリスと仲良くなるんだけど、ついでに無職になってしまう。親切な友達の紹介で職をゲットしたらエリスが妊娠、なんだかんだでロシアへ仕事に行くことになる。エリスは
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Multiple HTTPS Domains on the Same Server with Let's Encrypt and Nginx
「牛丼食べる男性動画見て、恋愛感情」 ストーカー容疑で２８歳女逮捕 - 産経WEST