関数の仕様を正しく実装していることをどう保証するのか - $shibayu36->blog;
静的型チェックがあったらテストはあまり書かなくて良いのか - $shibayu36->blog; で静的型チェックがあったとしても、テストをあまり書かなくて良いわけではないという話を書いた。するとブコメでいろいろ意見をもらえた。これらの意見から、関数の仕様を正しく実装していることをどう保証するのかについてもう少し深く考えてみようと思い、その考えがまとまってきたので、ブログに書いておく。 一応前提として、今回の話は自分の経験とこれまでの本を読んだ知識を元に自分で考えたものであり、何かの理論に則って話しているわけではない。この部分が違うなどあれば突っ込みを受けたい。 今回考える仕様 このようなことを考える時、非常にシンプルに考えたほうが理解がしやすいので、以下の様な仕様を持つ関数addNaturalIntを考える。 関数addNaturalIntは正の整数を二つ受け取り、足しあわせて正の整数を
新卒向け社内研修でテーブル設計と正規化の基本の話をしました - woshidan's blog
speakerdeck.com 新卒向け社内研修でテーブル設計と正規化の基本の話をしました。 理論から学ぶデータベース実践入門 ~リレーショナルモデルによる効率的なSQL (WEB+DB PRESS plus) 作者: 奥野幹也出版社/メーカー: 技術評論社発売日: 2015/03/10メディア: 単行本（ソフトカバー）この商品を含むブログ (17件) を見る いま新卒の方々はRails tutorialを進めながら「理論から学ぶデータベース実践入門 ~リレーショナルモデルによる効率的なSQL」を読んでいるところなのですが、中には入社以前にはWeb系のプログラミング経験のない方もいらっしゃいます。 その状態で上記の本を読み進めるのは少しつかみにくいところもあるだろうな、ということで、この資料に関してはかなり基本に絞り、演習で設計から第1から第3正規化の一連のプロセスについて手を動かしてみて
新卒エンジニア研修でWeb決済についてお話をした - mo-fu note
新卒エンジニア研修でWeb決済入門というタイトルで座学をしてきました。 多くのWebサービスで使われているクレジットカード決済について、実際に手を動かしながら学んでいくといった内容でした。 クレジットカードの番号の検証に使われているLuhnアルゴリズムを実装してみたり、 研修で作っているWebアプリケーション上にCheckoutHelperを使って課金機能をつけてみたりしました。 speakerdeck.com 決済代行サービスとしてWebPayのテスト環境を使いました。 ドキュメントやライブラリがしっかり用意されていてとても良かった。CheckoutHelper便利だなあ...。 webpay.jp
GMOペパボの新卒エンジニア研修の様子 & テキストを公開します - Pepabo Tech Portal
こんにちは。2016年新卒エンジニア研修の担当者（社内ではスーパーバイザーと呼ばれています）を務めている Joe_noh です。 今年は Joe_noh、alotofwe、hfm の3人で研修を実施しました。ここではどのような研修が行われたかを紹介したいと思います。 2016年の新卒エンジニア研修 今年のエンジニア研修は、5人の新卒エンジニアを対象に、6月13日から始まり、年内の最終営業日まで行われます。内容としては2015年と大枠は同じで、前半は基礎研修、後半はサイクルOJTという構成です。基礎研修はさらにWeb開発研修、Webオペレーション研修、モバイルアプリ研修の3つで構成されます。サイクルOJTではペパボ内の5つの部署を2週間ずつ回ります。昨年のスーパーバイザーによるブログ記事はこちらです。 ペパボ新卒エンジニア研修2015が始まっています ペパボ新卒エンジニア研修2015・Web
ACM-ICPC 2016 アジア地区予選つくば大会 参加記 - 衛生のゴミ箱(二勝目)
2016/10/15~16 にかけて ACM-ICPC アジア地区予選つくば大会に参加しました。 行き 車で行きました。 何故新幹線ではなく車かというと、こちらの画像をご覧になればよくわかります。 １日目 オフ会。 今年はホテルが東横インで本当に最高だった。（昨年比） 東横イン最高！ 一番好きなホテルです pic.twitter.com/Bu3aSE9FmE — さて (@public_sate) 2016年10月15日 運転して疲れたので結構早く眠れた。（ホテル行く前に迷ってARCに間に合わなかったというのもある） 二日目（コンテスト本番） 実は前日まで風邪気味だったのだが、朝起きたらコンディションはわりと良さげ。ジャージで朝食を食べていたらDQN呼ばわりされた。 だいたいのことは怒髪さんがやったので自分は自分のしたことを書きます。(問題のネタバレを含む） B 問題を読む。長い。 読解に
ISUCON6 予選問題 参照実装ならびにベンチマーカー等の公開 : ISUCON公式Blog
ISUCON6の予選問題作成メイン担当のSongmuです。皆さん予選はいかがでしたか？至らぬ点もあり申し訳ない部分もありましたが、楽しんでいただけたようであれば嬉しいです。 さて、遅くなりましたがISUCON6予選に使用した参照実装、ベンチマーカー、その他諸々を含むリポジトリを、このエントリと共に公開します。 https://github.com/isucon/isucon6-qualify 謝辞問題作成にあたり、多くの人に協力いただきました。以下に役割分担を書き出してみると非常に豪華な面々です。これらの方々の協力なしには予選は開催できなかったでしょう(本当に!)。ありがとうございました。 問題アイデア出し: Songmu/motemen/wtatsuruコンセプト実装: motemen初期実装: Songmu参加者用ポータル作成: motemenベンチマーカー及びワーカー: Songmu
「NoOps」の時代がこない理由
印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます こんにちは。真壁徹と申します。とあるイベントでインフラ技術者への愛を語ったことがきっかけで、この連載のお話をいただきました。 インフラ技術者はいま、向かい風を受けています。ハードウェアのコモディティ化が進み、設備投資は縮小傾向です。設備が減れば、担当する組織全体の予算も減りがちです。また、パブリッククラウドの浸透が「NoOps」につながる、と主張する人もいます。下を向いてしまいがちな状況です。 ですが、能力や意欲のあるインフラ技術者にとっては、むしろ活躍の場が広がっていると考えています。それをお伝えしたく、この連載オファーを受けました。 わたしは日系システムインテグレーターでのアプリ開発でキャリアをスタートしました。その後、外資系でイン
Slack’s new desktop beta app is lightning fast and available now
Celebrate King's Day with TNW 🎟 Use code GEZELLIG40 on your Business, Investor and Startup passes today! This offer ends on April 29 → If you’re like anyone at TNW, you’re probably using Slack every day, all day long. I don’t mind; it’s a well designed app. But their newly released beta is bringing it to another level. Their current macOS app is built using MacGap, which is a wrapper for web apps
GitHub - caddyserver/caddy: Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
Easy configuration with the Caddyfile Powerful configuration with its native JSON config Dynamic configuration with the JSON API Config adapters if you don't like JSON Automatic HTTPS by default ZeroSSL and Let's Encrypt for public names Fully-managed local CA for internal names & IPs Can coordinate with other Caddy instances in a cluster Multi-issuer fallback Stays up when other servers go down d
モダン日本語フォント指定
CSSのfont-familyで游ゴシックを指定すると、Windowsで細くなってしまう問題の原因と解決方法を中心として、最近の日本語フォント事情をまとめました。 CSS Nite LP47 Coder's High 2016にてお話した内容です。 昔からマークアップエンジニアを悩ませてきたfont-familyによる日本語フォント指定。OSのバージョンアップとともに、新しいバンドルフォントが増え、@font-face規則も主要なブラウザでサポートされました。それに合わせてフォント指定の方法もバージョンアップしてみましょう。 Web上できれいに見える日本語フォントを使う方法としてWebフォントがありますが、実際に使うにはさまざまな障壁があります。かといってバンドルフォントはOSによってまちまち……という状況だったところに、WindowsとMac OSの両方に「游ゴシック」という日本語フォン
インターネットプログラマ用語としての「ポエム」 - blog.8-p.info
最近、プログラマの人が文章を「ポエム」と称することが増えている。Qiita で created をつかって検索してみると 2012年10月1日から翌年9月末まで: 4 2013年10月1日から翌年9月末まで: 10 (前年比 2.5倍) 2014年10月1日から翌年9月末まで: 113 (前年比 11.3倍) 2015年10月1日から翌年9月末まで: 224 (前年比 1.98倍) 2014年後半に大きく増えて、その後もそれなりの成長率を示している。morrita さんから指摘があった、Qiita 自体の成長率については、末尾に Perl, Ruby, Python のヒット数をつけたので、それを参照してほしい。 「ポエム (詩) は特定の芸術形式の名前なので、卑下やエクスキューズとして『ポエム』という語を使うのはいかがなものだろうか」派閥としては、自分で使うことはないとは思う。一方で、な
「琵琶湖の水止めたろか！」を実際にやったらどうなるかシミュレーションしてみた結果
風霊守 @fffw2 瀬田川洗堰を全閉して「琵琶湖の水止めたろか！」をシミュレーションしてみた結果、沿岸部と水田地帯がことごとく水没して、甚だしい経済損失が発生した… pic.twitter.com/YJ3lTswzsz 2016-10-17 22:40:51
i☆Ris『バースデーソロライブ決定！ゆう』
i☆Risオフィシャルブログ Powered by Ameba i☆Risオフィシャルブログ Powered by Ameba
i☆Ris芹澤優が12月18日ZeppDiverCityでソロライブ開催
声優の芹澤優が2016年12月18日、Zepp DiverCityにて自身初のソロライブ「Yu Serizawa Birthday Live ～Present Box～」を開催する。 芹澤は、声優とアイドルのハイブリッドユニット・i☆Risのメンバーとして、2012年にデビュー。『プリティーリズム・レインボーライブ』福原あん役、『プリパラ』南みれぃ役、『双星の陰陽師』音海繭良役、『ラブライブ！サンシャイン!!』むつ役など声優業で活躍するかたわら、i☆Risとしても11月25日に日本武道館公演を控えている。 「Yu Serizawa Birthday Live ～Present Box～」は、12月に22歳を迎える(12月3日生まれ)芹澤のバースデーを祝したライブとなる。「ずっと描いていた夢の一つ」として、メインパーソナリティを務めるラジオ「芹澤優のせりざわーるど with you」にてソロ
i☆Risの芹澤優さん、22歳のバースデーを迎える12月に初のソロライブを開催！ 「4年間願い続けた夢が1つ叶います！」 | gamebiz
声優とアイドルのハイブリッドユニットi☆Risのブル―担当の芹澤 優さんが自身初のソロライブを12月18日にZeppDiverCityにて開催することが決定した。 芹澤優さんは、2012年にエイベックス・グループと81プロデュースのダブルマネジメントによる、声優とアイドルの活動を両立するハイブリッドユニット“i☆Ris”としてデビュー。2013年からは声優としても活動の場を増やし、i☆Risのメンバー全員が主要キャストの声優を務めるテレビアニメ『プリパラ』の南みれぃ役をはじめとして、「双星の陰陽師」音海繭良役、「ラブライブ!サンシャイン!!」むつ役など、声優とアイドルを活躍している。 自身初となるソロライブ開催は、芹澤自身が描いていた夢のひとつで、レギュラーラジオ「芹澤優のせりざわーるど with you」（ラジオ日本 月曜日25:00～25:30放送）にて本人の口から発表となった。嬉しさ
i☆Ris芹澤、“全部に芹澤優を詰め込んだ”初ワンマン開催
芹澤優（i☆Ris）の初めてのワンマンライブ「Yu Serizawa Birthday Live ～Present Box～」が12月18日に東京・Zepp DiverCity TOKYOで昼夜2回にわたって開催される。 これは本日10月17日25:00～25:30にラジオ日本で放送された、芹澤のレギュラー番組「芹澤優のせりざわーるど with you」内で発表されたもの。彼女は声優アイドルグループ・i☆Risとしてデビューしてから4年の間、念願だったワンマンライブの開催を涙ながらにアナウンスした。また「タイトルもセトリも全部に芹澤優を詰め込んだ、私のライブ！ ほんとうにありがとうございます！！！」とコメントし、開催日が12月3日の自身の誕生日と近いことから「私のお誕生日をみんなでお祝いできる……最高の1日にします!!」と宣言している。i☆Risのファンクラブ・虹会では10月23日23:5
404 NOT FOUND - MANTANWEB（まんたんウェブ）
404 NOT FOUND 指定されたページかファイルが見つかりません。 指定されたページかファイルは削除されたか、アドレスが変更された可能性があります。 MANTANWEBトップページへ戻る
芹澤優、22歳のバースデーを迎える12月に初のソロライブ開催。「4年間願い続けた夢が1つ叶います！」 | Anime Recorder
i☆Risのメンバーとしても活躍する芹澤優さんが、自身初のソロライブを12月18日にZeppDiverCityにて開催する。 ソロライブ開催は、芹澤さん自身が描いていた夢のひとつで、レギュラーラジオ「芹澤優のせりざわーるど with you」にて本人の口から発表されたものだ。 嬉しさのあまり涙をながしながらファンに向けて発表した芹澤さんは、「私の夢。4年間願い続けた夢が1つ叶います！バースデーソロライブ！！！タイトルもセトリも全部に芹澤優を詰め込んだ、私のライブ！ほんとうにありがとうございます！！！私のお誕生日をみんなでお祝いできる…最高の1日にします！！ぜひお越しください！！」と喜びのコメントを寄せている。 12月に22歳を迎える(12月3日生まれ)芹澤のバースデーを祝した本ライブは、芹澤さんの魅力を詰め込んだバースデーライブならではの特別な公演を予感させる。 Yu Serizawa B
声優の森
声優｜小林ゆうの出演アニメとおすすめキャラランキングまとめ 『銀魂』の猿飛あやめ、『進撃の巨人』のサシャ・ブラウスなどを演じてきた声優、小林ゆうさん。 この記事では、小林ゆうさんのプロフィールや出演したアニメ一覧とキャラクターのおすすめをランキング形式でまとめました。 小林ゆうさんが出演したアニメを見たい場合はぜひ参考にしてみてください。 小林ゆうのプロフィール 名前 小林ゆう（こばやし ゆう） 生年月日 1982年2月5日 出身地 東京都 […] 声優｜佐藤聡美の出演アニメとおすすめキャラランキングまとめ 『けいおん!』の田井中律、『氷菓』の千反田えるなどを演じてきた声優、佐藤聡美さん。 この記事では、佐藤聡美さんのプロフィールや出演したアニメ一覧とキャラクターのおすすめをランキング形式でまとめました。 佐藤聡美さんが出演したアニメを見たい場合はぜひ参考にしてみてください。 佐藤
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
LGTMについて
GitHub - naptha/tesseract.js: Pure Javascript OCR for more than 100 Languages 📖🎉🖥
mysqlのsocketの位置を確認する - Qiita
GitHub - flynn/flynn: [UNMAINTAINED] A next generation open source platform as a service (PaaS)![GitHub - flynn/flynn: [UNMAINTAINED] A next generation open source platform as a service (PaaS)](https://cdn-ak-scissors.b.st-hatena.com/image/square/0c4d09584494818cb6d1406b4366b80a73b3a8fe/height=288;version=1;width=512/https%3A%2F%2Fopengraph.githubassets.com%2Ff5a8c11c970422f32ca69265c99eab74c8a2cf43df85b4785243cec702738b4f%2Fflynn%2Fflynn)
Caddy - The HTTP/2 Web Server Made for Humans
Reddit - Dive into anything
GitHub - julienschmidt/httprouter: A high performance HTTP request router that scales well
GitHub - bfirsh/serverless-docker: Build serverless apps with Docker
i☆Ris芹澤、“全部に芹澤優を詰め込んだ”初ワンマン開催 （音楽ナタリー） - Yahoo!ニュース
★芹澤 優★2017年12月18日（日）Zepp DiverCityにて初のバースデーソロライブ決定！
さくらのレンタルサーバ