kmc-advent-2017.md gpg のはなし この記事は KMC Advent Calendar 2017 の 10 日目の記事です。 昨日の記事は tron 君 (id:tron_kmc) の今年の活動を振り返る - tron-Factory 業務日誌でした。 はたち:tada:めでたい:congratulations: はじめに KMC 6 回生の hatsusato です。 修士 2 回生ともなると研究にかまけて KMC 活動がおろそかになっているので、この場を借りて申し訳程度に KMC 活動をしようと思います。 この記事は 10 日目の予定でしたが、 10 日には KMC の追い出しコンパがあり、僕も飲み会に出席しなければならなかったので、遅刻も致し方なしなのです(言い訳)。 この記事における記述は、自分の環境である Ubuntu 17.10 におけるものをもとにしていま

こんにちは．id:moznionです．普段は仕事をしています． というわけでタイトルの件です．ミネストローネを食べ続ける話です．ミネストローネは作り置きにうってつけの存在なのです． さてミネストローネを食べるには，まず作らねばなりません．従って作ります． 対戦カードです．珍しくセロリや芽キャベツなどといったブルジョワ野菜が見られます．もやしやエリンギがあるあたりに一抹の不安を感じることでしょう．そういった「効果」を狙っています． エリンギは正しい切り方がわかりませんから適当に切ります．本来ミネストローネとなるとマッシュルームあたりが正しい選択なのでしょうが，いかんせんマッシュルームは高いので不可能です．エリンギは煮込んでも歯ごたえが残るし香りもあるし，なにより安い．カレーなどに入れても良い仕事をします． 芽キャベツです．普段はこんな高い野菜は買いません．普通のキャベツを食います．この写真の

この記事はCAMPHOR- Advent Calendar 2017 11日目の記事です． アブストラクト 漸進的型付けは，ひとつの言語の中で静的型付けと動的型付けをスムーズに組み合わせるための技術です． よく知られた特徴は any 型を使った静的型付けで， TypeScript や Python といったプログラミング言語には既に実装されています． しかし，理論と実際のプログラミング言語の間には大きなギャップが存在します． 特に，漸進的型付けの理論で提案されているキャストを用いた動的型検査が実装されていないために， 静的型付けの恩恵を十分に得られていないという問題があります． この記事では，まず漸進的型付けの理論をコード例を用いて紹介し， 現状の漸進的型付き言語が抱える問題を解説します． そのあとで，漸進的型付き言語が目指すべき目標を理論的視点から論じます． それらの目標は，静的型付けを

デロイト トーマツ ベンチャーサポート主催のMorningMeetUpにVP of Engineeringの秋山が登壇しました。 このMorningMeetUpはベンチャー企業の圧倒的成長の場を作ることを目的に開催されているピッチイベントで、関西を代表する事業会社・金融機関・ベンチャーキャピタルが集まるオープンイノベーションコミュニティです。 大阪のグランフロントで開催され、これまでに登壇スタートアップ累計約200社以上、オーディエンス毎回約80名,累計3,000名以上が参加しています。 gyazo.com 今回、「クラウド時代の瞬間情報共有プラットフォーム」と題してGyazoとScrapboxの成長戦略と活用方法について発表し、関西や日本の新しいビジネスを牽引する企業様とご挨拶させていただきました。また、様々な業種の方が集まる中で、これからの情報管理のあり方についても議論が盛り上がりまし

Safari Technology Preview Release 45 is now available for download for macOS Sierra and macOS High Sierra. If you already have Safari Technology Preview installed, you can update from the Mac App Store’s Updates tab. This release covers WebKit revisions 224579-225266. If you recently updated from macOS Sierra to macOS High Sierra, you may need to install the High Sierra version of Safari Technolog

この記事は，はてなエンジニア Advent Calendar 2017の11日目の記事です． 前日はid:nanto_viさんによる通知機能って何を作ればいいの？でした． 概要 はてなにシステムプラットフォーム部のアルバイトとして入社して一ヶ月弱が経ちました． エンジニアとしてアルバイトをするのはこれで2社目になりますが，いい機会なのでこれまで経験した「学生がエンジニアとして仕事をして知識を増やすこと」についてまとめていきます． 働く前 大学に入学してからは色んな言語の機能に興味を持ち，特にScalaに対して調べるようになりました． その後関数型方面の勉強会などに参加しつつ言語機能を理解していき，大学が落ち着いたらScalaで仕事したいと考えていました． その頃は特に業種は何も考えていませんでした． 最初のアルバイト そうしているうちに大学が落ち着いたので，Scalaを使う会社を探しエント

スマートフォンアプリエンジニアは、はてなブックマークやはてなブログをはじめとする自社サービスに加え、他社と共同で進めている受託・協業サービスの開発でも日々活躍しています。彼らは普段、どのような環境で、どのようなことを考えながら開発に挑んでいるのでしょうか。id:cockscomb、id:Sixeight、id:funnelbit、id:takuji31、id:ikesyoの5人に聞きました。（2017年12月11日公開） cockscombid:cockscombです。2012年にはてなサマーインターンへ参加した後、大学院を中退してそのまま入社しました。これまでに携わったサービスは、はてなブログのアプリとサーバーサイド、Web小説サイト「カクヨム」（株式会社KADOKAWAと共同開発）、はてなブックマーク、ゲーム「スプラトゥーン2」と連動した「イカリング2」（任天堂株式会社と共同開発）で、

大ヒットメーカーから同人誌を中心に活動する知る人ぞ知る作家まで、充実の作家陣で年3回刊行される楽園 Le Paradis [ル パラディ]。作家の傾向のみならず、蒼樹うめが「ターゲットは人間」と言い表すほど幅広い読者層を射程に入れる、何事にも縛られないマンガ誌が、出版界を襲う荒波にも負けずに創刊8周年を迎えた。 これを記念し、コミックナタリーでは楽園と組んで4つの特集ページを展開。蒼樹うめ、シギサワカヤ、位置原光Z、幾花にいろと、楽園への参加時期がバラバラな作家陣による座談会、初の長編ガールズラブ「メジロバナの咲く」をスタートさせた中村明日美子のインタビュー、2009年発売の創刊号よりコツコツと連載したエッセイ集「ヒャッケンマワリ」を今夏上梓した竹田昼のインタビュー、そして創刊号から表紙を描き続けているシギサワカヤのコメント付き表紙クロニクルを、ぜひご堪能あれ。 取材・文（P2～5） /

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? なぜかミクシィ社でエンジニアだった人々がアドベントカレンダーを書くことになってしまったex-mixi Advent Calendar 2017、12月11日担当の @tnj です。 一般的に、会社を退職することになったら退職届というものを会社に提出することになります。その退職理由には「一身上の都合」と書くのが通例だと思いますが、私はちょっと変わった退職の経緯を持っているので、今回はそれについて共有してみたいと思います。思いのほか長くなってしまいましたが、社会人歴10年目のソフトウェアエンジニアのキャリアの変遷の一例としてお楽しみください

堀越耕平「僕のヒーローアカデミア」の劇場版制作が決定した。堀越が総監修・キャラクター原案を務めるオリジナルアニメーション「僕のヒーローアカデミア THE MOVIE」として、2018年夏に公開される。 劇場版の総監修とキャラクター原案を務める堀越は「映画やるかもと伺った時は正直全く信じてなかったのですが、本当にやるとわかってからは嬉しくて堪らないです！デクたちの活躍はもちろん、漫画でまだ描かれてないあのキャラの過去や、映画ならではの派手なアクション等盛りだくさんな内容になると思いますので、どうぞお楽しみに！」とコメント。また初の描き下ろしイラストも届けられた。 テレビシリーズと同じく、緑谷出久役は山下大輝、オールマイト役は三宅健太、爆豪勝己役は岡本信彦、麗日お茶子役は佐倉綾音、飯田天哉役は石川界人、轟焦凍役は梶裕貴が名を連ねた。監督は長崎健司、脚本は黒田洋介、キャラクターデザインは馬越嘉彦

2017年夏に公開された劇場版第20作「キミにきめた！」のエンディングで、さらなる冒険に向けて旅立ったサトシとピカチュウ。今回お目見えしたポスターは、彼らと新たな仲間との出会いを予感させるものとなっている。 今作では「キミにきめた！」で副監督だった矢嶋哲生が監督を担当。これまで20年間にわたり本シリーズの監督を務めてきた湯山邦彦は、アニメーションスーパーバイザーとして引き続き映画に参加する。キャラクターデザインは金子志津枝が手がけ、OLMとWIT STUDIOがタッグを組んでアニメーション制作を行う。

こんにちは！　みらくいたんです。 今回は、現在開催中の「2017 Lifesyle Product Award by Cookpd」 について、mirakui さんことクックパッド CTO の成田さんにお話をうかがいたいと思います！ 「Lifesyle Product Award」とは何なのか？　なぜ開催しようと思ったのか？　根掘り葉掘り聞きたいと思います。 では、さっそくいってみましょう！ みらくいたん：mirakui さん、こんにちは！　今日は「Lifestyle Product Award」について教えてください。 mirakui さん：あ、みらくいたん！　もちろんです〜。 より良い生活を目指す「Lifestyle Product Award」 みらくいたん：現在開催中の「Lifestyle Product Award」ですが、これはどういうアワードなんですか？ mirakui さん

Airbnb has some incredible listings in Cuba…and also a corner of the office inspired by Habana Vieja We have been hard at work migrating the airbnb.com core booking flow into a single-page server-rendered app using React Router and Hypernova. At the beginning of the year, we rolled this out for the landing page and search results with good success. Our next step is to expand the single-page app to