さくらインターネット Advent Calendar最終日は、硬派にLinuxのメモリに関する基礎知識についてみてみたいと思います。 最近はサーバーを意識せずプログラミングできるようになり、メモリの空き容量について意識することも少なくなりましたが、いざ低レイヤーに触れなければいけないシチュエーションになった際に、OSを目の前に呆然とする人が多いようです。 基本的にLinux のパフォーマンスについて、メモリをたくさんつめばいいとか、スワップさせないほうが良い とか、このあたりは良く知られたことだと思います。 ただ、なんとなく ps コマンドや free コマンド などの結果を見るだけでなく、もう少しメモリのことについて掘り下げてみてみたいと思います。 メモリとキャッシュ Linux におけるメモリの状態を大きく分けると「使用中のメモリ」「キャッシュ」「空きメモリ」「スワップ」の 4 つに分

みなさんこんにちは。@ryuzeeです。 以前お客様先でスクラムのトレーニングを実施した際に、プロダクトバックログアイテムとタスクの見積りについて質問をいただきました。 見積りについてはもっとも質問をいただく項目の1つでもあるので、ここでスクラムにおける見積りについて書いておくことにします。 プロダクトバックログアイテムの見積りまずはプロダクトバックログアイテムの見積りについて考えてみましょう。 なぜプロダクトバックログアイテムを見積もるのか？なぜプロダクトバックログを見積もるかといえば以下の理由です。 そのプロダクトの全体を把握する。全体のサイズが分からないと現在の進捗が把握できません。もちろん全てのプロダクトバックログアイテムを絶対に作るかといえばそうではなく、途中でプロダクトバックログアイテムが追加されたり削除されたりしますが、それでも全体の概要を把握しようとすることには意味がありま

はじめに この記事は、オールアバウト Advent Calendar 2016の23日目のエントリーです。 私、@tajima_tasoからは【原理原則で理解するDocker】と題して書かせて頂きます。 Dockerってそもそも何？ってところから、内部実装部分についても触れています。 Dockerとは何か? まず、Dockerとは何なのか？について軽くおさらいしましょう。 今更聞けないという方も、なんとなくイメージが掴めたら嬉しいです。 何故、今Dockerなのか? Docker ソフトウェア開発を行う環境にいる方々の中で、この言葉を耳にする機会が増えてきているのではないでしょうか？ 実際の業務において導入まではしていないとしても、何となく盛り上がっている技術用語であることは肌感覚としてあると思います。 実は、Docker実現のベースとなっているLinuxコンテナという技術自体はずっと前か

TODO多めのまま公開します。別に書いてた下書きが消えたので。 定理証明のコンテストシステムを作って、今日の夕方に第1回のコンテストを開催していた。https://t.co/8vi0dWszRW— あしぃ (@asi1024) 2019年8月18日 これです。 定理証明コンテストとは, 定理証明支援系を用いて与えられた定理に対して証明を与えるコンテストです。 現在コンテストサイトに実装されている支援系はCoqです。 Coqで解く問題の見た目はこんなかんじです。 Definition task := forall n m, n * S m = n + n * m. Theorem solution: task. Proof. unfold task. (* FILL IN HERE *) Qed. これはn×(m+1)とn+(n×m)が任意の自然数n,mについて等しいことを示せというものです

Kubernetesでの性能解析 ～なんとなく遅いからの脱却～（Kubernetes Meetup Tokyo #33 発表資料）NTT DATA Technology & Innovation

最近、スタートアップ系や新規開発でRuby(Ruby on Rails)を採用するところも増えてきており、Rubyやってる人がちらほら増えてきた感があるのですが、たま〜にRubyやってて何故それ知らないんだという事もたまにあり、Rubyやってます(`・ω・´)ｷﾘｯ とそれでよく言えるなと呆れる事もありました。。。 そこで、少なくともこれは押さえておいて欲しいテクニックを紹介したいと思います。 クラスメソッド、インスタンスメソッド ★★★★★ これはテクニックではないですが、Rubyで最初に躓いたり、混乱する元の一つなので、Rubyをやっている以上、ちゃんと理解しておくべきことであると思ってます * 定義したClassから見た表 名称 説明

おうちをより便利に使うために、ガジェットやサービスを組み合わせたり、工夫や努力を注ぎ込んだおうちハックを紹介するAdvent Calendarです。自身のおうちハック事例の紹介の他、おうちハックに使えそうな技術の紹介や、どこかで見つけた良いおうちハックの紹介なども歓迎します。参加登録は誰でも歓迎です！ お願い 11月中は1人1枠でお願いします。12月に入ってもまだ空いていたら2枠以上書いてOKです。 登録日は自由ですが、日程にこだわりがなければできるだけ頭の方から埋めていただけると助かります。 参考 おうちハック Advent Calendar 2015 おうちハック Advent Calendar 2014 おうちハック同好会 Facebookグループ おうちハック同好会 Webサイト

※ キャンペーンは終了しました。たくさんのご応募ありがとうございました。当選発表はこちらから。 2016年もあと少し。はてなブックマークアプリでは日頃の感謝を込めて、Amazon ギフト券10,000円分が当たる特別なプレゼントキャンペーンを実施します！ 参加するには、 はてなブックマークiOS・Androidアプリでこの告知をブックマーク 2017年1月6日15時までに、お気に入り特集1つを含めたコメントを追記して保存するだけ キャンペーン終了後に5つの特集が選ばれ、その特集に投票した方からそれぞれ1名様、計5名様にAmazon ギフト券10,000円分をプレゼント！ さらに参加するだけで、グリーンスター5個をもれなく差し上げます！ 帰郷した時の暇つぶしや、仕事始めの息抜きに。テレビの特番も楽しみですが、アプリで特集も読んでみませんか？ ※ 特集は、アプリ内で表示されているものに限ります

忙しい人の食事づくりの強い味方といえば、冷凍食品。なかでも冷凍野菜は、必要な量だけ調理して残りを保存できるので、野菜が高いシーズンや生野菜を買うと割高になり…というひとり暮らしの方などには、財布にもやさしいアイテムです。とはいえ、冷凍野菜と聞くと、“水っぽくておいしくない”、“添加物がたくさん入っていそう”など、マイナスのイメージを持っている方が多いのも事実。そこで今回は、冷凍食品ジャーナリスト山本純子さんに、最近の冷凍野菜事情やおいしく食べるコツを教えてもらいました！ 冷凍野菜って本当に安全なの？ 気になる添加物 手軽に食べられて便利な冷凍野菜。その半面、冷凍野菜には添加物が使われていて体によくないというイメージを持っている方が少なくないようです。実際のところ保存料などの添加物は使われているのでしょうか？ 「表示を見ていただくとわかると思いますが、たとえばカット済みの冷凍ほうれん草なら、

Google, 自分が死んだ時（アカウントに一定期間ログインしなかったとき）に、特定の人に遺言メールを送信して指定した自分のデータをダウンロードできるようにしつつ、オプションで3ヶ月後にアカウントに紐付いているデータをすべて削除する機能がある。すごい。早速設定した。

この記事はLinux Advent Calendar 2016 9日目の記事です。 遅刻してしまい申し訳ございません。。。 とある事情があって1ヶ月半ほど独自NICのLinux向けのネットワークドライバを開発していた。 今回はARM用のデバイスドライバを開発した。NICはXilinx社のFPGAであるZYBOを用いて開発した。 まだ十分に実用段階というわけではないが、ひとまず独自NIC経由でのpingやiperfが通ったので、後学のために知見を残しておきたい（誰得だ、という感じだが）。 ソースコードはまだ公開されていないが、そう遠くないうちに公開する予定（たぶん）。 はじめに Linuxのデバイスには キャラクタデバイス - バイト単位のデータ通信 (e.g. シリアルポート) ブロックデバイス - ブロック単位のデータ通信 (e.g. ディスク) ネットワークデバイス の3種類がある。ネ

Http Headersのマルウェア疑惑を受けて、Firefoxのアドオンの自動更新を無効にしておいた - ちぎっては投げるブログの記事を書いていたときに偶然気がついたのだけど、Ctrl+Vでクリップボードからアップロードして挿入してくれる。 めっちゃ便利。 このブログの性質上、デスクトップキャプチャをアップロードすることが多いのだが、これまで毎回ファイルに保存していたが不要になった。 キャプチャー→貼り付けのたった2ステップ。 ちなみに、デスクトップキャプチャにはWindows標準機能のSnipingToolを使っている。PrintScreen+ペイントより楽なので、こちらも是非試してみてほしい。

こんにちは、dotstudioで代表兼エンジニアをやっているのびすけ（@n0bisuke）です。 モノとインターネットを繋げる「IoT」という言葉が度々話題に出るようになりました。しかし、実際にIoTの楽しさや便利さを感じられるのは自分の生活での不便さを解消したその瞬間だと僕は思っています。 そんな今回は、おそらく全ての人が家で最も使うであろう「照明」をインターネットに繋げて便利にしてみたいと思います。 Philips Hueとは 今回紹介するのは、Philipsが販売しているスマートIoT照明「Hue」です。現在は3種類のHueが発売されています。今回使う「シングルランプ 800lm」は一般的な電球と同じ大きさなので、家の電球と差し替えて利用できます。仕様は以下です。 サイズ：E26口金 消費電力：10W 明るさ：800lm 重さ：186g すべてのHueの基本仕様は以下になります。 正

私は普段は Windows マシンから自宅サーバの Linux に ssh で接続して作業しており、端末内で作業が完結している間はいいのだけど、Web ブラウザはローカル側なので、URL を開いたりクリップボードのやりとりなどが面倒。 そこで便利なのが lemonade! GitHub - lemonade-command/lemonade: Lemonade is a remote utility tool. (copy, paste and open browser) over TCP. ssh 越しから URL を飛ばしてローカルでブラウザを開いたり、リモート側からローカルのクリップボードの読み書きができる。便利。 lemonade を使う上であれこれやったのでメモ。 port forwarding lemonade 作者の pocke さんはローカルマシン内で動いている仮想環境との

地味に便利！Raspberry Piが起動したらIPアドレスを通知するチャットボットを作る という記事があって、かなり便利なんだけどNodeを使うのはめんどうなのとHipChatじゃないところへ送りたいのでちょっと改造してみました。 作るものはRaspberry Pi起動時に実行するシェルスクリプトとIPアドレス受け取るサーバー用のPHP 今回はPHPにしたけど、たぶんSlackとかのwebhookに適当に変えてもできるはず IP送信シェルスクリプト

Supershipの社内勉強会で使ったやつ

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

水槽の水温が30度超えたら、水槽に設置してある5Vファンを2つまわして、水温を下げる。 というようなものを作ろうと思います。 今は秋ですが夏になれば室温が35度を超えて水温も30度を超えるのでは？と思い今から準備しておきます。今回は、Raspberry Piと1-Wireステンレス防水温度センサ(DS18B20)を使って水温を測るだけをやってみます。 まず最初に、1-Wireステンレス防水温度センサ(DS18B20)をRaspberry PiのGPIO4と3.3VとGndにつなげます。 1-Wireステンレス防水温度センサ 白ケーブル → GPIO4 黒ケーブル → Gnd 赤ケーブル → 3.3V そしてGPIO4と3.3Vを10kオームのプルアップ抵抗でつなげます。 プルアップ抵抗は4.7kオームが定番ですが、手元になかったので10kオームにしました。 こうなります。 1-Wireステ

# -*- coding: utf-8 -*- import os import glob import time import subprocess os.system('modprobe w1-gpio') os.system('modprobe w1-therm') base_dir = '/sys/bus/w1/devices/' device_folder = glob.glob(base_dir + '28*')[0] device_file = device_folder + '/w1_slave' def read_temp_raw(): catdata = subprocess.Popen(['cat',device_file], stdout=subprocess.PIPE, stderr=subprocess.PIPE) out,err = catdata.commu

初めてDockerイメージを作ったのでエントリに書いておきます。タイトルはすこし言い過ぎな感じはありますが、CIにDocker使っている人は自分でDockerイメージ作った方がいいよねって話です。 私とCI CIという言葉もかなり広まり、会社で使うだけではなく個人の開発でもCIを導入している人は多いのではないでしょうか。私はVPN + JenkinsでCIを始めて、1年半前にWerckerに乗り換えました。Jenkinsにはとてつもない自由さやCIがコケた時に原因究明が楽な点がありますが、メンテナンスが大変でした。CIサービスはメンテナンスがあまり必要なくてとても気に入ってます。 Werckerのメリットについては他に書かれている方がたくさんいるので、適当にググって読んでみてください。 WerckerとDocker 私がWerckerに移行した当時はBoxと呼ばれる実行環境でビルドするよう