https://github.com/yteraoka/ansible-tutorial/wiki/Ansible-Note に移転しました。
Ansibleのroleを実際に使ってみてわかったことを共有します。さらに便利に活用するtips等ありましたら、ぜひコメントをお願いします。 Ansibleのroleは単にインクルードの単位 最初roleという名前を聞いたときは、webserverとかdbserverといった役割を設定するのだろうと予想しました。が、Rolesのドキュメントを読んで、playbookの一部をインクルードして再利用するための仕組みだということがわかりました。つまり、playbookを分割・構成するコンポーネントという意味合いです。 もともとroleはなくてincludeの仕組みだけありましたが、より便利にするためにroleという仕組みが追加されたという経緯のようです。 例えばnginx, mysqlといった単位でroleを定義するのが良いです。さらにmysql/clientのように階層的なrole名を用いるこ
April 17, 2013 Adv Tps Intrnet Prog: CSC I4330 3GG [2337] (CCNY )
例年同様、2013年に食った二郎をまとめてみた。 今年のTOTAL二郎は387杯となった。 ニンニクの健康効果なのか、 インフルエンザに罹ったり、体調を崩すことも無く 好きな二郎を毎日楽しむことが出来た。 本当に幸せな1年だったと思ってる。 ここで、いっぱい食ったお店順に振り返ってみる。 ○第1位○ 34杯 西台駅前店 今年もいろいろなお店を廻ってたので、訪問回数減ったかなと思ってたら、2012年と同じぐらい行くことができた。 ブタが、神域で安定しまくってた。 味噌ラー、塩ラー、つけ麺祭り(味噌・塩)それと季節定番の油そば、つけ麺と、限定が多く、楽しめた。 つけ麺祭りには、1日しか参加できなかったので、塩つけにありつけなかったのが悔い残る。 2014年1月は、期間限定の油そば(塩)が提供されるとのことで、楽しみだ。 ○第2位○ 20杯 ひばりケ丘駅前店 拠点から近いし、臨休もほぼ無いので、
数理論理学(すうりろんりがく、英 : mathematical logic)または現代論理学[1][2]、記号論理学[1][2]、数学基礎論[3]、超数学[4]は、数学の分野の一つであり[4]、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す[3][注 1]。数理論理学(数学基礎論)と密接に関連している分野としては計算機科学[4]や理論計算機科学などがある[注 2][注 3]。 数理論理学の主な目的は形式論理の数学への応用の探求や数学的な解析などであり、共通課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学(とくにACM Classification(英語版)に現れるもの)
教科書など 準備 数理論理学を習得するためには、その前に、数学の言葉を操り数学の考え方を駆使できるようになる必要があります。数理論理学は数学の一分野ですので、それについては数学の他の分野と変わることはありません。 幸い、数学の言葉と数学の考え方を学ぶことに特化して使える教科書が出版されています。目についたものを並べてみます。おそらく、他にもあるでしょう。 個人的に特に気にいっているもの 嘉田勝:論理と集合から始める数学の基礎,日本評論社, 2008. (版元による紹介) 鈴木登志雄:例題で学ぶ集合と論理, 森北出版, 2016. (版元による紹介) その他 渡辺治・北野晃朗・木村泰紀・谷口雅治:数学の言葉と論理, 朝倉書店, 2008. (版元による紹介) 中島匠一:集合・写像・論理—数学の基本を学ぶ—, 共立出版, 2012. (版元による紹介) 石川剛郎:論理・集合・数学語, 共立出版
東京・下北沢でカレーを扱う72店舗が参加する「下北沢カレーフェスティバル2013」が、10月11日(金)から10月20日(日)まで開催されます。無料で配布されるカレーマップを参考に、本格的なインドカレーやタイカレー、スープカレー、カレーパンなどさまざまなメニューを各店で食べ比べできます。場所は下北沢界隈です。 ▽ http://love-shimokitazawa.jp/html/curry_festival ▽ 下北沢カレーフェスティバル 2013 ~シモキタからカレーが消えた日~(リーフレット)(PDF) 下北沢カレーフェスティバルは、カレーマップを見ながらいろいろな店を巡り、自分が気に入ったカレーを見つけるイベントです。参加店の中には、期間限定の特別なメニューや、食べ比べをしたい人にもうれしいハーフサイズのカレーなどを用意する店舗も。インドカレーやタイカレーのほかには、スリランカカレ
Packer はJSONで記述した構成ファイルに従って $ packer build コマンド一発でVMイメージを作成でき、さらにVagrant BoxやAmazon EC2のイメージにエクスポートできる超クールなツールです。ちなみに開発者はVagrantの開発者で有名なMitchell Hashimoto氏です。 今回はPackerでVagrant Boxの作成の自動化をしようとした際にハマったポイントとその解決方法について報告します。 トラブルその1: SSHに接続できずタイムアウトする packer build の実行中に ==> virtualbox: Waiting for SSH to become available... と表示されたままタイムアウトしてビルド失敗になる場合や、vagrant up 実行中に [default] Booting VM... [default]
「どうしてブログを書きはじめたのですか?」という質問をたくさんいただいたので、今回は、ワザノバというサービスがどうなっていくのかをシェアさせてください。 ワザノバは、Web & スマホエンジニアのための、開発ノウハウ / 開発チームづくり / オープンソース /スタートアップのビジネスモデルを語るサイトになります。 きっかけは、エンジニアがまとめて情報をみれるサイトがないなと思ったことがきっかけです。英語圏であれば、エンジニアコミュニティのサポートをうけたクオリティの高い情報が集積している場所があります。日本のエンジニアも英語で文章を読むことができますが、読解スピード = 仕事効率を考えると母国語で最新の情報が集るサイトの価値は高いと思います。 そこで、クオリティの高い選ばれた情報とそれに関する議論が集積する場所をつくれたらなと考えました。Twitterのおかげでエンジニアの発信は増えまし
日本の金融機関はなぜ「常時SSL」を実装しないのか?:萩原栄幸の情報セキュリティ相談室(1/2 ページ) 通信内容を盗聴されないための暗号化通信の導入が世界中の多くのWebサイトで進んでいる。だが、日本ではまだ少なく、金融機関でも対応が鈍い。その理由はなぜか。 本連載で以前にノマドワーカーに関する記事を掲載した。記事の最後に「HTTPS通信などについては、機会があれば筆者の意見を含めて解説したい」を記載したところ、「この続きを読みたい」というご依頼のメールを何通かいただいたので、今回はその件について触れたい。 きっかけは、以前の記事にも登場したノマドワーカーでフリーライターのA君である。彼は筆者の忠告を素直に聞きながら、できるだけ安全な公衆Wi-Fiを利用するようになった(公衆Wi-Fiそのものを利用しないという選択肢はなかったようである)。その時の続きから始めよう。 なお、以降では日本の
概要 Ansible が Web ユーザーインターフェースで利用出来る Ansible AWX を使ってみる Chef Server や Hosted Chef 等に似ている気がするなー Ansible AWX って車の名前みたいでカッコイイ 解りやすいドキュメントでとっても簡単 ただし無償版は 10 ホストまでしか登録出来ず、それ以上のホストを取り扱う場合には有償ライセンスを購入しなければいかんぜよ インストール インストールした環境 CentOS 6.4 x86_64 古いバージョンの ansible ではダメ ドキュメントを斜め読みした後、何も考えずに yum install ansible を行った後で wget http://ansibleworks.com/releases/awx/setup/awx-setup-1.2.2.tar.gz tar zxvf awx-setup-
フロントエンドのパラダイムを参考にバックエンド開発を再考する / TypeScript による GraphQL バックエンド開発
Hello Therereveal.js enables you to create beautiful interactive slide decks using HTML. This presentation will show you examples of what it can do. Vertical SlidesSlides can be nested inside of each other. Use the Space key to navigate through all slides. Basement Level 1Nested slides are useful for adding additional detail underneath a high level horizontal slide. Basement Level 2That's it, time
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く