Skip to content

Instantly share code, notes, and snippets.

@mizzy
Last active December 29, 2020 23:24
Show Gist options
  • Save mizzy/5fb2be79058d585b5135bfc6784a9346 to your computer and use it in GitHub Desktop.
Save mizzy/5fb2be79058d585b5135bfc6784a9346 to your computer and use it in GitHub Desktop.
宮下 剛輔の研究・開発業績

宮下 剛輔の研究・開発業績

論文・発表・受賞歴

受賞

  1. 宮下 剛輔, 第10回 日本OSS奨励賞, 昨今要求が高まっているシステム配備の自動化の実現に欠かすことができないサーバの状態を自動的にテストするツールServerspecを開発し、インフラ分野における業務の効率化に貢献, 2015年10月
  2. 宮下 剛輔, Black Duck Open Source Rookies of the Year 2013, 2013年に始まったオープンソースプロジェクトの中で優れたもの10種の中にServerspecが選出, 2014年1月

論文誌論文(ジャーナル)

  1. 宮下 剛輔, 栗林 健太郎, 松本 亮介, Serverspec: 宣言的記述でサーバの設定状態をテスト可能な汎用性の高いテストフレームワーク, 情報処理学会論文誌, Vol.61, No.3, pp.677-686, 2020年3月.

国内発表(査読無し論文)

  1. 松本 亮介, 坪内 佑樹, 宮下 剛輔, 分散型データセンターOSを目指したリアクティブ性を持つコンテナ実行基盤技術, 情報処理学会研究報告インターネットと運用技術(IOT), No.2019-IOT-44, Vol.27, pp.1-8, 2018年3月.
  2. 宮下 剛輔, 栗林 健太郎, 松本 亮介,serverspec: 宣言的記述でサーバの状態をテスト可能な汎用性の高いテストフレームワーク, 情報処理学会研究報告インターネットと運用技術(IOT), 2014-IOT-24(15), 1-6, 2014年2月.

商業誌等解説

  1. 松本 亮介, 坪内 佑樹 ,宮下 剛輔, 青山 真也, 「超個体型データセンター」コンセプトで目指す未来像、チームで研究に取り組む理由【後編】研究員たちが考える、さくらインターネット研究所「これから」の10年, ASCII.jp TECH 連載, 2019年10月.
  2. 宮下 剛輔, オープンさは私のキャリアの原動力 ─ SIer、Web系、フリーランスという変遷で実感した「オープンにすること」の大切さ, IT・Webエンジニア特化型転職・求人サイト【GeekOut (ギークアウト) 】, 2018年3月
  3. Kief Morris 著、宮下 剛輔 監訳、長尾 高弘 訳, Infrastructure as Code, O'Reilly Japan, Inc., 2017年3月
  4. 宮下 剛輔, 「一つのことをうまくやる」に忠実たれ。Serverspec開発者mizzyが語る成功するOSSの設計, エンジニアHub|若手Webエンジニアのキャリアを考える!, 2018年1月
  5. 宮下 剛輔, Serverspec, O'Reilly Japan, Inc., 2015年1月
  6. 宮下 剛輔, テスト駆動インフラ/インフラCIの潮流、Serverspecが果たす役割, Think IT(シンクイット) | オープンソース技術の実践活用メディア, 2014年6月
  7. 宮下 剛輔, 特集2 実践テスト駆動インフラ&CI Infrastructure as Codeがもたらすワークフローの変革, WEB+DB PRESS Vol.80, 技術評論社, 2014年4月
  8. 宮下 剛輔, 第4回 宮下剛輔(mizzy)~はたらきながら大学に通う:シューカツ女子ともよの会社訪問記―知りたい!あの人のはたらきかた, gihyo.jp … 技術評論社, 2013年4月
  9. 宮下 剛輔, 【第2回】サーバスペックの向上を実現するために〜paperboy&co. 宮下 剛輔〜:企画特集, CNET Japan, 2009年7月
  10. 宮下 剛輔, 和田 修一, 越川 康則, 長野 雅広, 第2特集 ~サーバエンジニアがプログラムを知る意味~ システム運用/管理に役立つ「開発力」~楽天,mixi,paperboy&co.の事例紹介!~, Software Design 2009年4月号, 技術評論社, 2009年3月
  11. 宮下 剛輔, 第39回 宮下剛輔 氏 :: Webエンジニア武勇伝.net, Webエンジニア武勇伝.net, 2008年10月
  12. 宮下 剛輔, 宮下剛輔――「自分を知ってもらう努力をしよう」 - @IT自分戦略研究所, ITエキスパートのための問題解決メディア - @IT, 2008年7月
  13. 宮下 剛輔, 特集 管理コスト/作業ミスを大幅削減 Puppetでシステム管理を自動化しよう, Software Design 2007年12月号, 技術評論社, 2007年11月
  14. 宮下 剛輔, オープンソースなシステム自動管理ツール Puppet:連載|gihyo.jp … 技術評論社, 2007年6月

国内口頭発表

  1. 宮下 剛輔, Infrastructure as Codeのこれまでとこれから, 第5回さくらインターネット研究会, 2020年11月.
  2. 宮下 剛輔, Configuration Managementツールのポリシー定義用中間言語に関する考察, 第7回WebSystemArchitecture研究会, 2020年11月. [予稿]
  3. 宮下 剛輔, Infrastructure as Codeのこれまでとこれから, Infra Study Meetup #1「Infrastructure as Code」 - connpass, 2020年04月
  4. 宮下 剛輔, OCIランタイム比較のためにやっていることあれこれ, Hosting Casual Talks #5, 2019年3月
  5. 宮下 剛輔, 運用管理OSS Serverspecの公開とその影響, 2018年電子情報通信学会ソサイエティ大会 企画講演セッション BI-7 「システム運用管理OSSの開発と公開」, 2018年9月
  6. 宮下 剛輔, Rustで書いたライブラリをRuby/mrubyから呼び出す実践的な方法, 福岡Ruby会議02 by Fukuoka.rb & Engineer Lab. Fukuoka, 2017年11月
  7. 宮下 剛輔, libspecinfraの概要と現状と今後, MasterCloud #7 × ヒカ☆ラボ - connpass, 2017年11月
  8. 宮下 剛輔, Infrastructure as Codeとは何かそして何であるべきか, Codenize Meetup - connpass, 2016年12月
  9. 宮下 剛輔, Infrastructure as Code のこれまでとこれから, 第三回リクルートテクノロジーズオープンラボ, 2016年7月
  10. 宮下 剛輔, Walter ファミリーの紹介, Shibuya.go#1 - connpass, 2016年2月
  11. 宮下 剛輔, Serverspec, Testing Framework Meeting|IT勉強会ならTECH PLAY[テックプレイ], 2015年9月
  12. 宮下 剛輔, Serverspecに見る技術トレンドを生み出すヒント, JTF2014, 2014年6月
  13. 宮下 剛輔, Immutable Infrastructure時代の構成管理ツールSpecInfra, Track2: Immutable Infrastructure | JAWS DAYS 2014, 2014年3月
  14. 宮下 剛輔, Immutable InfrastructureとProvisioning Testing, Immutable Infrastructure Conference #1, 2014年3月
  15. 宮下 剛輔, サーバプロビジョニングのこれまでとこれから, Developers Summit 2014:開発者のためのITカンファレンス, 2014年2月
  16. 宮下 剛輔, サーバプロビジョニングのこれまでとこれから, 週末ランサーズ 第5回「クラウド環境構築最速選手権」, 2013年11月
  17. 宮下 剛輔, Sqaleでcgroupsにfork bomb対策を入れた話, 第2回 コンテナ型仮想化の情報交換会 - connpass, 2013年10月
  18. 宮下 剛輔, Serverspec, JTF 2013, 2013年7月
  19. 宮下 剛輔, Serverspec, hbstudy#45 - connpass, 2013年6月
  20. 宮下 剛輔, NoSQLに関するまとめ, paperboy&co.社内勉強会, 2013年6月
  21. 宮下 剛輔, イベント駆動プログラミングとI/O多重化, paperboy&co.社内勉強会, 2013年4月
  22. 宮下 剛輔, Maglica - A Simple Internal Cloud Tool, #techkayac, 2013年2月
  23. 宮下 剛輔, How Perl Changed My Life, YAPC::Asia Tokyo 2012, 2012年9月
  24. 宮下 剛輔, Inside Sqale's Backend, YAPC::Asia Tokyo 2012, 2012年9月
  25. 宮下 剛輔, Inside Sqale's Backend, Sapporo RubyKaigi 2012 (札幌Ruby会議2012), 2012年9月
  26. 宮下 剛輔, Assurer - a pluggable server testing/monitoring framework, YAPC::Asia Tokyo 2011, 2011年8月
  27. 宮下 剛輔, Open Source System Administration Framework - Func, 第4回 KLab勉強会, 2011年8月
  28. 宮下 剛輔, 10分でわかるDevOps, 第1回 DevOpsカンファレンス, 2011年6月
  29. 宮下 剛輔, DevOpsって何?, NTTレゾナント社内勉強会, 2010年5月
  30. 宮下 剛輔, Puppetのススメ, hbstudy#8, 2010年2月
  31. 宮下 剛輔, Puppet Best Practices?, Cookpad社内勉強会, 2009年12月
  32. 宮下 剛輔, How Danga::Socket handles asynchronous processing and how to write as…, YAPC::Asia 2009 - Sep 10-11 in Tokyo, JAPAN, 2009年9月
  33. 宮下 剛輔, Danga::Socketの非同期処理の仕組みとPerlbalで非同期処理するプラグインを書く方法, YAPC::Asia 2009 - Sep 10-11 in Tokyo, JAPAN, 2009年9月
  34. 伊藤 洋也, 宮下 剛輔, ペパボでのPerlの使い方, YAPC::Asia 2009 - Sep 10-11 in Tokyo, JAPAN, 2009年9月
  35. 宮下 剛輔, Operating Xen domains through LL(Perl/Python) with libvirt, Xen Summit Asia 2008, 2008年11月
  36. 宮下 剛輔, 30days Albumの裏側, KOF2008:関西オープンソース2008, 2008年11月
  37. 宮下 剛輔, How To Build A Scalable Storage System with OSS, Tokyo Linux Users Group, 2008年9月
  38. 宮下 剛輔, Easy system administration programming with a framework, YAPC::Asia 2008 - May 15-16th in Tokyo, JAPAN, 2008年5月

国外口頭発表

  1. 宮下 剛輔, Serverspec: The Simplest Server Testing Tool Ever, ChefConf 2014, 2014年4月
  2. 宮下 剛輔, Inside Sqale's Backend, RubyConf Taiwan 2012, 2012年12月
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment