形式手法による分散システムの検証 - builderscon tokyo 2019
Abstract 本セッションでは、形式手法 (formal methods) を用いた分散システムの設計および実装について解説します。形式手法は、数学的な表現を用いて対象となるシステムを定式化することにより、システムの挙動の「正しさ」を厳密に保証するための方法論です。受講対象は予備知識を持たない初心者を想定しており、具体例を通して形式手法の基本的なアイデアを知ることを目標とします。 分散システムのメリットとデメリット 近年、複数のコンポーネントが非同期的に連携して動作する分散システムは決して珍しいものではなくなりました。正しく設計された分散システムは、集中システムとは比較にならないフレキシビリティとスケーラビリティを発揮します。人気 OSS の中にも分散型の設計を取るものは多数見られ、一昔前のように一部の専門家だけに任せておくだけでなく、すべてのエンジニアにとって一種の基礎教養になってい
Ruby (off|with) the Rails - builderscon tokyo 2019
Abstract 先日のRails Developer Meetup 2019で yasaichi氏が発表された「Ruby on Railsの正体と向き合い方」は、Railsがその「高速につくる」という目的のために「疎結合であること」を諦めていることを示し、それゆえ出てくる中規模以上の開発での諸問題に焦点を当てる素晴らしい発表でした。 では、中規模以上の開発において、Railsを選択するのはノーメリットなのでしょうか。当然、そんなことはありません。ActiveRecordは強力なライブラリですし、HTTPレイヤーのさまざまな処理についても、Railsはたくさんの素晴らしいソリューションを提供してくれます。そうである以上、Railsを利用しながらも、中規模以上の開発では、レールに乗るとつらい部分ではあえてレールから降りて、しかしRailsを使い続けるのは、十分な合理性があるはずです。現に、「
君の手で作るモナドは怖くない - builderscon tokyo 2019
Abstract 本セッションの目的は、ずばり モナド (monad) に対する 初心者の心理的障壁を取り除くこと です。モナドはプログラミング言語 Haskell と関連して言及されることが多く、世間では何か得体のしれない難解な概念だというイメージが先行しています。しかし、実際にはどのプログラミング言語にもある「処理」の概念を一般化しただけで、プログラマにとっては顔見知りの相手に過ぎません。 本セッションでは、実際の使用場面から逆算してモナドを再発明することでその必然性を体感し、必要以上に強調された神秘性を引きはがすことを目標とします。受講後には、セッション内で扱わなかった Haskell の基本文法を少し補うことで、モナドを利用した単純なプログラムならすぐに書けるようになるでしょう。 そもそも、なぜモナドや、それを用いる Haskell にはこんなにも怖ろしげなイメージが先行しているの
Scala関西の運営から抜けました - nocono
この度、自身が立ち上げて主宰していた、Scala関西の運営から抜けました。 つい先日も勉強会でScalaの話をしたり、Scala関西Summit 2019も開催すると決めて、例年通り主宰として準備を進めていたので、この急な話はいろんな人を戸惑わせることは承知しています。 ですので、理由を公開しなければと思い、ブログを書いています。 最初に前置きしておくと、抜けると決めたのは本当に急な話です。 あと、病気だとか実はスタッフと仲が悪かったとか、ネガティブな理由ではないです。 先日までScala関西やる気満々だったのも嘘ではないです。 抜けようと決断した前後にはいろいろな葛藤もありましたが、前向きな理由によるものです。その辺りはご安心(?)ください。 抜けようと決断した理由 運営から抜けようと考えることになったきっかけは、下記資料です 2019/05 Scala導入を検討したい人に向けた情報をま
News Up 傘、どちらに向けて持ってます？ | NHKニュース
“傘の先端が顔に迫ってくる” ホラー映画にあったかもしれないそんな危険が日常の中に潜んでいます。傘を持ち歩くことが多くなってきた季節、雨が降りやんだあとが特に危険なようです。（ネットワーク報道部記者 後藤岳彦 木下隆児）
新しいフレームワークを学ぶならTodoMVCではなくRealWorldを参考にしよう - Runner in the High
よく新しいフレームワークを学ぶにはTodoアプリを作ってみるのがよい、と言われる。実際、Todoアプリを様々なフレームワークで作ってみたサンプルをまとめたサイトもあったりする。 ところが、実際に業務で作るようなアプリケーションはTodoアプリの範疇を超えている。とくにSPAにもなると、画面遷移やWebAPI連携、大規模な状態管理などなどの条件が増えるので、Todoアプリを作っているときには考慮できていなかった大変さが出てくる。 そこで参考になるのが RealWorld example apps と呼ばれるプロジェクト 端的に言うと、TodoMVCの大規模版。 規定のスペックに沿って、様々なウェブフレームワークで作られたアプリケーションのリポジトリがリストアップされている。 スペックについて "Conduit" is a social blogging site (i.e. a Medium
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
大学生に「1000円分の切手を買ってきて」とお願いしたら1000円切手を1枚渡された