型システム 〜プログラムの安全性を支える数学〜 - Laborify
京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です．大学では，プログラミング言語理論，その中でも特に型システムの研究をしています． この記事では，私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します．プログラムや型システムといった基本的な概念から解説していくので，プログラミング経験のない人も安心して読み始めてもらえたらと思います． はじめに プログラムとはコンピュータへの命令を記述したものです．2018年現在，私たちの生活は数多くのプログラムに支えられています． あなたがこの記事を Windows が入ったパソコンで見ているなら，まずその Windows がプログラムです．お家にテレビや冷蔵庫があれば，それらの中にもプログラムが内蔵されているでしょう．空いた時間にスマートフォンでゲームをするなら，遊んでいるゲームも全てプログラムです．
「ラブライブ！サンシャイン!!」Aqours東京ドームライブで見た“航海の通過点” - CNET Japan
CNET Japanの編集記者が気になる話題のトピックなどを、独自の視点で紹介していく連載「編集記者のアンテナ」。主にエンターテインメント領域を取材している佐藤が担当。今回は11月17日と18日の2日間、東京ドームにて行われた「ラブライブ！サンシャイン!! Aqours 4th Love Live! ～Sailing to the Sunshine～」における、2日目の18日開催分の模様をお届けする。 「ラブライブ！サンシャイン!! Aqours 4th Love Live! ～Sailing to the Sunshine～」キービジュアル 「ラブライブ！」は「みんなで叶える物語」をキーワードに、楽曲、アニメ、ライブイベントなどオールメディアで展開するスクールアイドルプロジェクト。「ラブライブ！サンシャイン!!」は、2015年2月からプロジェクトを始動。静岡県沼津市を舞台に、浦の星女学院
FOLIOで学んだマネジメントやリーン開発の知識を本の執筆に活かす - よこなのへたのよこずき
これは、FOLIO Advent Calendar 2018 5日目の記事です。 FOLIOでは2年目のアドベントカレンダー！クリエイターも増えて、去年とはまた違うメンバーで埋まっていて毎日楽しみです。 突然ですが、今月生まれて初めての著書が出ます(@syobochimと共著)。 book.impress.co.jp 出版社の方とコンタクトを取り始めたのは1月だったので、おおよそ1年近いプロジェクトを終えたことになります。実際に書いていた期間はもっと短い(後述)ですが、いわゆるスタートアップであり日々全力疾走するFOLIOで社員をやりながら、業務時間中には一切執筆作業をすることなく*1なんとかやり遂げることができました。 ここまで来られたのは、JavaコミュニティそしてFOLIO、この2つのおかげだと思っています。この記事では後者にフォーカスし、書く際のプロセスや心構えについて考えていきま
Udemyで400コース学んだ黒澤さんがおススメするデータサイエンスコース10選＋α - Qiita Zine
人工知能のビジネス活用が急速に進む昨今、機械学習エンジニアやデータサイエンティストと呼ばれる新しい職種が注目されています。経済産業省が2016年に発表した資料（※）によると、2020年にはAI、IoT、ビッグデータなどに携わる先端IT人材は約4.8万人不足するといわれており、データサイエンスに関する知識・技能を有する人材の価値は今後益々高まっていくと考えられます。そのような背景からエンジニアを含む多くの方のキャリアアップにもデータサイエンスを学ぶということは重要なテーマとなっていくことでしょう。 そこで、今回は、前回8月にQiitaZineで公開した記事でも多くの方から反響があったUdemyのヘビーユーザーで、自身もデータサイエンスを活用しながらエンジニアとして働く黒澤さんにデータサイエンスに関するおススメの学び方やUdemyコースを教えてもらいました。 ※「 IT人材の需給に関する推計結
コンテナ未経験新人が学ぶコンテナ技術入門
最近勉強を始めたコンテナ技術に関する基礎的な知識をまとめました。 [訂正と注釈] p.27-30: 「Deployment」内の「Version: 1」 => 「Version: 2」 p.37: 「終了コードをから」 => 「終了コードから」 p.39: 「HTTPSが利用できない」=> AWS上では、SSL終端するLBがサポートされています。https://kubernetes.io/docs/concepts/services-networking/service/#ssl-support-on-aws p.40: 「ユーザがingress controllerをmaster上にセットアップする必要」 => master上にセットアップしなければならないという制約はありません。例えばGCEのingress controller(GLBC)はPodとして動作します。https://gi
低レイヤを知りたい人のための Cコンパイラ作成入門
はじめに このオンラインブックは執筆中です。完成版ではありません。フィードバックフォーム この本には一冊の本に盛り込むにはやや欲張りな内容を詰め込みました。本書では、C言語で書かれたソースコードをアセンブリ言語に変換するプログラム、つまりCコンパイラを作成します。コンパイラそのものもCを使って開発します。当面の目標はセルフホスト、すなわち自作コンパイラでそれ自身のソースコードをコンパイルできるようにすることです。 この本では、コンパイラの説明の難易度が急に上がりすぎないように、様々なトピックを本書全体を通じて次第に掘り下げていくという形で説明することにしました。その理由は次のとおりです。 コンパイラは、構文解析、中間パス、コード生成といった複数のステージに概念的に分割することができます。よくある教科書的アプローチでは、それぞれのトピックについて章を立てて解説を行うことになりますが、そのよう
実践的低レベルプログラミング
はじめに 学校で習わないが(習う学校もある)、現実に必要になるプログラミング技術に、低レイヤプログラミングなどと呼ばれるものがある 厳密な定義は聞いたことがないし、おそらく存在しないとは思うが、大体のみんなの共通認識として、 「高級プログラミング言語を使わないプログラムを書き、OSで抽象化されないデバイスの機能を使う」といったような認識があると思う。 筆者の経験から言わせてもらうならば、低レイヤプログラミングに関する知識は、プログラミングにおいてあらゆる場面で、常に、少しずつ役立てられる知識だと言えると思う。 普段はRubyやPHPなどを書いてる人であったとしても、メモリが足りなくなった場合や、デバッガを使っている場合、性能が足りなくなった場合など、 厳しい環境におかれた時に低レイヤプログラミングに関する知識が必ず役に立つ場面が来ると信じている。 また、役に立つかどうかは置いておいても、「
タコの刺身が好きすぎるので最高に合うしょうゆを100本の中から探してみた - ぐるなび みんなのごはん
突然ですが皆さまはタコの刺身、好きでしょうか。僕は好きです。 生でもボイルでも分け隔てなく好きなのですが、あの絶妙の味加減と弾力のある歯ごたえ。虜になるなと言うのが土台無理な話で、とにかく刺身といえばタコというところまで追いつめられているのです。タコの刺身、好きすぎる。 この思いを多くの人が共有してくれると思うのですが、ある日、とんでもないことに気が付いてしまったのです。 いつものように行きつけの居酒屋にてタコの刺身を味わっていた時のことでした。当たり前のように美味い刺身なのですが、なにかいつもと違う。こうなんというか、いつもと違う深いコクが立体構造のようになって口の中に広がったのです。これはどういうことだとマジマジと刺身を眺めたのですが、まあ、普段と変わらないタコです。むしろいつもより鮮度が悪いとすら感じました。それなのになぜここまで深い味わいが出るのだろうか。 しばらく考えたのですが、
面白い学術読み物教えて
サイモン・シンとか好き。ジャレド・ダイアモンドも。 今『眼の誕生』読んでるけどちょーたのしい。 こういう、非専門家にもわかりやすく解説していて、 古今東西の知識を集結しつつドラマ読み物としても楽しい本、 あったら教えてください。 個人的には戦史とか全然苦手なので、苦手意識を克服してみたいとも 思うけど全然違う分野でもいいです。 追記 『現代知識チートマニュアル』 アマゾンレビューとか見ると、ガッツリ読むというよりも暇つぶしに雑学本としてぱらぱらめくるのによさそうだね 『ゲーデル・エッシャー・バッハ』『ひとの目、驚異の進化』 これは欲しいものリストにはいったまんまだったけど、ぽちります。うーん、値が張るので来月。 『サピエンス全史』は上巻途中までKindleで読めるようなので手を付けてみます。 ありがとう。ほかにもどんどん教えて。 追記2 いつもブコメトラバひとつふたつくらいなのでこんなに伸
【ルカクが語る壮絶な過去】「ずっと言いたかったことがある」
ワールドカップで日本とも対戦したベルギー代表の躍進を支え、 プレミアリーグファンのみならず世界中のサッカーファンに名を轟かせた マンチェスター･ユナイテッドFWロメル･ルカク。 強さと速さを兼ね備える圧倒的なフィジカルと両足でも頭でも決められる得点能力から、 現在では世界最高のストライカーの1人にも挙げられる彼本人が 6月に公開されたThe Players’ Tribuneで綴っていたのは想像を絶する過去だった。 当時6歳だった僕は、学校の昼休みに昼食をとるために家へ帰っていた。母さんは毎日同じメニュー、パンと牛乳を用意していた。子供の頃はそんなこと考えないだろうけど、僕はそうやってやりくりしていたことを知っていたんだ。 その日家に帰って台所へ向かった僕が目撃したのは、冷蔵庫の前で牛乳パックを持っている母さんだった。 いつものようだった。 でも、このとき母さんは何かをそこに混ぜていて、それ
大学生のうちに読んどくと差がつくおすすめの本４４冊！【1000冊読んだ京大生が選んだ】【読書】 - 我、京大生ぞ
こんにちは、京大生ブロガーのゲーテ(@goethe_kyodai)です。 「凡庸な本をいくら読んでも無駄だ」 「良書を読まなきゃ自分の中に積み上がっていかない。」 「とりあえず１０００冊読め！」 ってよく聞きますが、実際何を読んだらいいかわからないですよね？ そんな人のために、１０００冊本を読んだ読書通の僕が、その中から大学生のうちの読んどくと差がつくおすすめの本４４冊 をまとめました。 なるべく色んなジャンルから、そして簡単で分かりやすく、学びがある本を選びました！ 「難しい＝良書」っていうわけじゃないですしあえて難しい本は除きました！入り口的な本が中心です。大学生だけでなく高校生や２０代の社会人にもオススメできる本を選んだので是非みてください！ CHECK! 京大生が本を1000冊読んでわかったこと - 我、京大生ぞ ↓ 数が多いので目次を是非利用してください 目次 本を読むメリット
「スキマ時間のながら」体幹トレーニングでたるんだ体を引締める方法
体幹トレーニングのすすめ 運動不足を痛感している方。筋肉の衰えを感じる中高年の方。 ジョギングしたり、ジムへ行くのが億劫な方から、パフォーマンスを上げたいアスリートの方にも。体幹トレーニングをおすすめします。 体幹トレーニングの効果的なやり方、基礎的な知識を紹介します。心も体もシャキッとすればいいですね。 体幹トレーニングで得られる2大効果 一見、ポーズをとっているだけに見えるので、地味な印象が強い体幹トレーニング。それでも根強いブームの秘密は、手軽にトレーニングできて、大きなメリットがあるためです。 体（特にお腹周り）が引き締まる 体幹トレーニングはインナーマッスルを刺激するので、体の中から引き締まったように感じます。実際、ポッコリお腹に効果的です。 心もスッキリ引き締まる 1日10分とわずかなトレーニングですが、ポジティブな行動を継続することで、自己肯定感が高まり、スッキリした気分にな
ドメインモデルをコードへ落とす 〜あなたのクラスは、どこから？〜 - Qiita
annotation: 現在コメントいただいている通り、一部誤りを含んでいる様です。 追って確認・修正いたしますが、現行ではコメントも合わせてお読み頂ければと思います。 こんにちは、風邪はだいたい喉から来るぷーたんです。 「DDDの構成要素はこれだー」というのはたくさんあったのですが、 「このドメインオブジェクトはどの要素だー」と逆引きするものがなかったので調べてフローチャートにしてみました。 例えばドメインモデル図とコードがうまく合致しない時の見直しなどに使えるのではと考えています。 ではご覧ください♪ 検討フローチャート 図1.フローチャート 1) 複数のドメインオブジェクトを扱い、整合性を担保するか まず複数のドメインオブジェクトを扱うかを考えます。 ドメインモデル図では集約線が引かれていたり、複数の関係線が引かれていたりします。 図2.ドメインモデル図の例 上記のような場合であれば
計算量オーダーについて - Qiita
プログラムの計算量を表すO記法について、使用例を調査しました。 計算量（オーダー）とは？ あるアルゴリズムを使った演算の性能を表す指標。 計算量は大きく二つに分けられる。 時間計算量（処理時間の計算量） 空間計算量（メモリ使用量の計算量） 単に計算量（オーダー）と言った場合、時間計算量のことを指す。 O記法（オーダー記法） 特定のアルゴリズムでの計算が、どれくらい掛かるかを表した記号。 処理対象のデータが非常に大きくなった時の処理時間を大雑把に評価する。 処理時間が短い順（性能が良い順）に代表的なオーダーをまとめる。 O記法 概要 使用例
サンフランシスコで創業したスタートアップを解散した話｜さっそ
どうも、さっそ (@satorusasozaki) です。 ぼくは「シリコンバレーで世界を変えるプロダクト作る！」という目標を掲げ、3年前に渡米しました。最初の2年間はエンジニアとして活動し、3年目に現地で出会った4人の仲間とスタートアップを始めました。1年少し続けたのですが解散することになったので、今日は以下の3点を中心に、振り返りを書いてみたいと思います。 ・シリコンバレーで現地の人とスタートアップを創業するまで ・スタートアップな生活 ・スタートアップが解散する理由 シリコンバレーで現地の人とスタートアップをするのはどんな感じなのか、できるだけ具体的に想像していただけるように、私生活など、仕事以外のことも織り交ぜながら書いていきたいと思います。これからサンフランシスコ・シリコンバレーに来て何かやってみたいという人のお役に立てれば嬉しいです。 ・・・ スタートアップを始めるまで最初に、
マイクロサービスで DDD と CQRS パターンを使ってビジネスの複雑さに取り組む
ビジネス ドメインの理解を反映するマイクロソフトサービスまたはコンテキスト境界ごとのドメイン モデルを設計する このセクションでは、複雑なサブシステムへの取り組みが必要な場合に実装する高度なマイクロサービスについて、またドメイン専門家の知識と絶えず変化するビジネス ルールに由来するマイクロサービスについて説明します。 このセクションで使用するアーキテクチャ パターンは、図 7-1 に示すように、ドメイン駆動設計 (DDD) とコマンドクエリ責務分離 (CQRS) の手法に基づいています。 図 7-1。 外部マイクロサービス アーキテクチャとマイクロサービスごとの内部アーキテクチャ パターンとの対比 ただし、ASP.NET Core Web API サービスの実装方法や、Swashbuckle または NSwag を使った Swagger メタデータの公開方法など、データ駆動型マイクロサービ
Webアプリケーションフレームワーク導入時に考慮すべき22の観点 - Qiita
本記事では、 チームによる持続的に変更可能なWebアプリケーションの開発を目標に、フレームワーク導入時に考慮すべき22の観点を紹介する。 フレームワークによって特徴は異なるが、本番導入にあたって、考慮すべきポイントはあまり変わらないので、極力フレームワーク1に依存しすぎないよう配慮する。また、話をシンプルにするため、REST APIを提供するアプリケーションを題材とする。 前提 ソフトウェアのエントロピー ソフトウェアがエントロピー増大の法則を避けられないことを、体感している開発者は多いだろう2。普通にアプリケーション開発を続けると、開発スピードは鈍化し、品質は低下してバグが増え、開発者からは技術的負債への怨嗟の声が聞かれるようになる。エントロピー増大というフォースは極めて強力で、意思を持って立ち向かわなければ、容易にダークサイドに堕ちてしまう。 関心事の分離 大規模Webアプリケーション
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「実践ドメイン駆動設計」 から理解するDDD (2018年11月)
https://trc.taboola.com/yahoojp-p4-ci-es/log/3/click?pi=20180621-00010004-sportiva&ri=ae4ac0091b3b9bcf803e201f21fd03d5&sd=v2_83298305279341d908558425a51da72c_bfe3b513-f7c8-4630-9601-4d245f5f1623-tuct82ba52_1529588594_1529588733_CNawjgYQn8A-GOKk35TCLCAFKAM
よく死ぬものリスト