分散システムの形式化と証明について @情報システム特別講義D 2016年度筑波大学
![Formalization and Proof of Distributed Systems (ja)](https://cdn-ak-scissors.b.st-hatena.com/image/square/9c9887e843c95fe333801bad5f157227c7961493/height=288;version=1;width=512/https%3A%2F%2Ffiles.speakerdeck.com%2Fpresentations%2F4f7b242452564118a9473c71d2576147%2Fslide_0.jpg%3F7449996)
ホーム > システム担当者の苦闘の記録:なぜ彼らは飲酒していようが、寝ていようが、旅行していようが、深夜2時に叩き起こされることになるのか。 ネットをフラフラしていると、以下のような記事を見つけた。 会社の携帯を持たされている時の手当 : 専門家に相談するトピ : 発言小町 : 大手小町 : YOMIURI ONLINE(読売新聞) 元記事が消えてしまうといけないので、要約すると 24時間365日稼働するシステムを運用している それが止まると、自分の携帯電話が鳴って呼び出される 勤務時間外まで待機させられるのっておかしくない?手当ぐらいくれよ ということである。 これがWebサービスの話なのかどうかは知らないが、Webサービスの運用・保守ではよくある話だなあ、という感想を持ったので、皆さんが利用したり、あるいはクライアントとして運用を依頼しているWebサービスというものが実際にどのよう運用
鈴木です。 MODDにとって通常とは異なる対応をしなくてはならない案件があったので、久しぶりに記事を書いてみます。ELB(Elastic Load Balancer) を使えない場合に、AWS(Amazon Web Service) で可用性を担保する方法についてです。 Floating IPパターン 結論から言いますと、Floating IPパターンを利用するだけです。 CDP:Floating IPパターン - AWS-CloudDesignPattern リンク先だけ見れば、必要なことはほぼすべて書いてありますね…。 HTTPSに対応 ひとつのEC2インスタンスで複数のウェブサイト(HTTPS) をホスティングしたい場合には、ENI(Elastic Network Interface) を複数枚差しするか、接続元の環境を(ガラケー等)ある程度切り捨てられるならSNI(Server N
PHP 7.1 includes several new features and performance improvements. Some key new features are nullable types for typehints, void return types, support for iterable pseudo-types, class constant visibility modifiers, and the ability to catch multiple exception types in a single catch block. PHP 7.1 also provides over a 10% performance improvement compared to previous versions, due to enhancements li
サーバーエンジニアの若原です。 今回は開発でも使っているCircleCIのGitHub連携について紹介させていただきます。 CircleCIとは継続的インテグレーションのためのクラウドサービスです。 GitHubと連携することができ、git pushなどをトリガーにビルドを走らせることができます。 1コンテナまでは無料で使用することが可能ですが、複数のビルドを並列で行うためにはコンテナを増やす必要があり、2つ以上のコンテナを使用したい場合は有料となります。プロジェクトの規模を考えて適切な量のコンテナ数を追加する必要があります。 サインアップ CircleCIへはGitHubのアカウントでサインアップすることができます。 プロジェクトの追加 サインアップ直後にダッシュボードに遷移します。プロジェクトが存在しないため赤枠内の「Add Projects」からGitHubのプロジェクトを追加します
Amazon Web Services ブログ すぐに使用できるソリューション: AWS Marketplace のオープンソースソフトウェア AWS Marketplace では、すばらしいことがたくさん起きています。こちらで、マーケットプレイスのオープンソースソフトウェアについての詳細を、Matthew Freeman および Luis Daniel Soto が説明します。 – Ana 業界の調査によると、企業が使用するオープンソースソフトウェア (OSS) は増加しています。ますます多くの企業の開発者は、現在進行中の開発作業の一環として、利用可能な OSS ライブラリを使用するように求めています。これらの開発者は、自分のプロジェクト (夜間および週末など) で OSS を使用していることがあり、その場合自然に別の場所でもそのツールおよびテクニックを使用したいと考えます。そのため、す
はじめに 世界中の利用者の指先と視線を凝固させた突然の発表からまもなく 1年、Parse.com の全サービスが いよいよ 2017年1月28日(土)に終了します。拡張性が高く高機能でありながら使い勝手の良い優れたサービスだったので終息が惜しまれます。 https://parse.com/ 手元では 2年ほど前に IoT の実験として試作した以下のしくみ「Anpi」で Parse.com を採り入れました。 mbed と Parse で作る高齢者世帯安否確認システム - 当ブログ 一般に BaaS の主な目的はアプリケーションの対向サーバ側機能を代替・補完することにあり、サーバの管理運用やサーバ側コード開発に踏み込むコストを抑制しアプリ本体の開発に注力可能となることが利用者にとってのメリットですが、Parse にはサーバ上でユーザコードを実行することのできる「Cloud Code」というし
個人的によく使う or 人に教える正規表現チェックツールをまとめました お役に立てますと幸いです 目次 Debuggex: Online visual regex tester Regexper Regular Expression Test Drive 正規表現チェックツール - Kaizen Platform RegexPlanet - Online Regular Expression (Regex) Testing and Cookbook Regex Tester Online regex tester and debugger Rubular: a Ruby regular expression editor and tester 1.Debuggex: Online visual regex tester 対応言語 JavaScript, Python, PCRE 正規表現を
通常国会が20日に始まる。天皇退位、憲法、共謀罪――。重要テーマが目白押しで、「言論の府」の真価が問われる。衆参両院で自民党が過半数を握った先の臨時国会は、数の横暴も目立った。国会審議をラジオ番組で頻繁に取り上げている評論家の荻上チキさん(35)に、国会への期待と注文を聞いた。 ――今国会最大のテーマは、天皇陛下の退位に関する法整備です。 退位の問題について、安倍晋三首相をはじめ政府・与党側が「静かな環境で議論したい」と言っているが、要はシャンシャンで終わらせたいということだろう。あまりにも政府に都合のいい言い方だ。 天皇制をめぐる問題をタブー化することにもつながりかねない。特別扱いせず、他法と同様、公の場でワイワイと議論すべきだ。女性・女系天皇の是非も含めて、天皇制に対する幅広い議論を行う必要がある。 陛下の人権を制限して象徴天皇制が成り立っている現状は「あまりにも無慈悲ではないか」とい
大手広告会社・電通が労働基準法違反容疑で書類送検された事件で、厚生労働省がほぼ全社員にあたる約7000人分の勤務記録を押収し、捜査していることが関係者への取材でわかった。 期間は2015年11月~昨年10月の1年間で、労基法違反の捜査としては異例の規模。 同省は昨年11月、電通の4本支社を強制捜査。押収資料を精査した結果、1年分を超える勤務記録などが残されていた。同省は電通の長時間労働の実態解明に向け、約7000人の勤務状況を調べる。 電通を巡っては、15年12月、新入社員の高橋まつりさん(当時24歳)が過労自殺。同省は昨年12月、全体の捜査に先行し、高橋さんに対する労基法違反容疑で法人としての電通と、高橋さんの当時の上司を東京地検に書類送検した。
今日はまず do..end のブロックに begin なしで rescue,ensure,else が書けるようになった文法の変更と、Kernel#warn が Warning.warn によるカスタマイズが効くようにする変更、その他古くからあった不具合修正などがありました。 kazu: r57363 2017-01-18 21:35:10 +0900 標準添付ライブラリ profiler の magic comment frozen_string_literal を true に変更しています。 normal: r57364 2017-01-19 03:23:49 +0900 非 IO オブジェクトを入力とした時の IO.copy_stream のベンチマークスクリプトを追加しています。 [Bug #13085] で報告されている問題のために入れたみたいですね。 svn: r57365
2017年が始まった。iPhoneが発表されて1月9日で10年になる。この10年で生活をもっとも大きく変えたもの、それはスマートフォンだと思う。 初代「iPhone」は2007年1月のMacWorldで発表された スマートフォンはおそらく21世紀でもっとも人の生活を高速に、そしてダイナミックに変えた装置でありインフラだ。それ以前のタッチパネル型PDAが成し得なかったことを、「スマートフォンという象徴的ハードウェア」と、それを成り立たせる「ソフトウェア流通プラットフォーム」および「通信インフラ」の組み合わせは、軽々と超えていった。たった10年で劇的に世界のすべてを作り変えたのだ。 人はインターネット上に第二の言論・視聴覚空間を作り、住所を持ち、デジタル空間にもう一度生まれた。 IoTによる技術革新は我々の生活習慣と文化を不可逆なほどに変えてしまった。誰とでも連絡がつき、待ち合わせ場所と時間を
By Joe The Goat Farmer 遺伝子研究の世界では近年急激な進歩が見られ、遺伝子情報を保存しているDNAの構造を自由自在に組み替える技術が確立されています。もはや「神の領域」ともいわれるDNAの操作を自在にした人間ですが、それとはまた別の手法を用いて自分の体内に別のDNAを入れることで、体の老化を遅くすることを目指す研究を独自に行う科学者が存在しています。 One Man’s Quest to Hack His Own Genes https://www.technologyreview.com/s/603217/one-mans-quest-to-hack-his-own-genes/ 従業員が自分一人だけの企業「Butterfly Sciences」をカリフォルニア州デイビスで立ち上げた60歳の男性・ブランアン・ハンリー氏は、自らの体に別の遺伝子を注入して吸収させるとい
前回(量産サポート)、前々回(プロトタイピング環境)と深センのサプライチェーンを紹介したが、HWTrekのツアーはその後京都/大阪と続いた。日本にも海外から発注を受ける製造業者が、さまざまなスケールで存在する。HWTrekは京都/大阪について、「深センとは違うクオリティの製造業がある」と紹介した。世界のスタートアップが日本で見た製造業のクオリティを紹介する。 世界一のデバイスとスタートアップが出会う:村田製作所 スタートアップたちのテンションが上がったのは、村田製作所を訪れた際、展示されていたこの積層コンデンサを見たときだ。グラスに10万個の積層コンデンサが入っている。一番左のものは肉眼ではグラスの底にわずかに粉が溜まっているようにしか見えない。このグラスの中に数百万個を入れることも可能だろう。
今日は freee で開催された Tech Meetup に参加してきた.ダッシュボード厨としては最近導入した grafana-zabbix の紹介もしたいと思って「grafana-zabbix 活用術」というタイトルで LT もしてきた.懇親会でいろいろお話もできたし凄く楽しかった! plaidtech.connpass.com freee を支えるインフラ技術 @manabusakai Monyog - Monitor & optimize MySQL database performance は知らなかった! 「障害が起きることを前提に」は本当に重要 AWS Well-Architected Framework にも「コンポーネントの障害に対応するべし」と書かれてるし 理解はしてるけど SPOF になってしまうこともあるよなぁ…と思ったり 「トラッキングして見える化」も重要だなと思っ
ジュンク堂書店池袋本店で開催された「このコンピュータ書がすごい」に参加してきました。 gihyo.jp www.youtube.com Youtubeで当日の動画が公開されていますが、2時間半の長丁場です。 総合ランキング まずはジュンク堂書店池袋本店の2016年売上総合ランキングから。上位陣の殆どは、2015年と変わらず。その中で上位に食い込んで来ているのが、機械学習系とPython本。確かに勢いありましたよねぇ 総合順位 書名 書影リンク 1 人工知能は人間を超えるか 2 たった1日で即戦力になるExcelの教科書 3 スッキリわかるJava入門 第2版 4 ゼロから作るDeep Learning 5 リーダブルコード 6 イラストで学ぶ ディープラーニング 7 暗号技術入門 第3版 8 入門Python3 9 いちばんやさしいWordPressの教本 4x対応 第2版 10 マスタリ
NFC Ringを買った.これはNFCタグを伴った指輪で,プログラマはタグのユーザ領域を好きに使うことができる.めっちゃかっこいい. (画像は Horizon – NFC Ringより引用) nfcring.com 僕はこの活用法として,NFC Ringを鍵としたスマートなパスワード管理という構想を実現させようと思った. しかし自前でパスワードマネージャを書くのは練習になるとはいえリスキーだと思い,OSSで何か良いものはないかと探してみたら面白いツールを見つけた.pass というシンプルな名前のツール.検索しにくそうだ. www.passwordstore.org これは,UNIX哲学に則りgitとPGPでパスワードを管理するツールのようだ.gitもPGPも大好きだ.これを使わない手はない.NFC Ringと連動させれば,CUI特有の面倒も軽減できるだろう. アーキテクチャ アーキテクチャ
by Tim Evanson カリフォルニア大学サンディエゴ校医学部の研究チームが行った調査で、1日のうち座っている時間が長くあまり運動もしていないという人は、そうではない人に比べて生物学上の年齢が8歳ほど高いことがわかりました。調査対象は「高齢の女性」なので、男性や若い女性でも同じ傾向が出るかはまだわかりません。 Too Much Sitting, Too Little Exercise May Accelerate Biological Aging https://health.ucsd.edu/news/releases/Pages/2017-01-18-too-much-sitting-too-little-exercise-accelerates-aging.aspx この調査結果はAmerican Journal of Epidemiologyで公開されています。 Associ
要旨 理化学研究所(理研)環境資源科学研究センター酵素研究チームの土屋康佑上級研究員と沼田圭司チームリーダーの研究チームは、高強度を示すクモ糸タンパク質のアミノ酸配列に類似した一次構造[1]を持つポリペプチドを化学的に合成する手法を開発しました。また、合成したポリペプチドはクモ糸に類似した二次構造[1]を構築していることを明らかにしました。 クモの糸(牽引糸)は鉄に匹敵する高強度を示す素材であり、自動車用パーツなど構造材料としての応用が期待されます。しかし、一般的にクモは家蚕のように飼育することができないため、天然のクモ糸を大量生産することは困難です。また、一部の高コストな微生物合成法を除くと、人工的にクモ糸タンパク質を大量かつ簡便に合成する手法は確立されていません。 今回、研究チームはこれまでに研究を進めてきた化学酵素重合[2]を取り入れた2段階の化学合成的手法を用いて、アミノ酸エステル
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く