The Bodleian Library at the University of Oxford in Great Britain in June.

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

2016.12.11 いただいたローカルルールのほんの一部です。ローカルルールではなく、役所の問題も数件あります。 学会関係 東北大学 海外学会の参加登録費に一括して含まれている懇親会・ランチ・バンケット代を研究費から支出できない。 東京工業大学 国際学会などに昼食が含まれていれば、日当から千円が差し引かれるため、参加費に昼食代が含まれているかどうかを確認しなければならない。提供されていないときは、昼食代が含まれていないことを証明するものを提出させられる。学会のときは全て千円を一律に差し引くという対応をお願いしても、それはできないといわれる。 東京工業大学 確かに学会に参加したという証拠のために、学外2名の出席者か代表者にサインをもらう必要がある。最近では学会の名札でも許されるようになったが、証拠書類として学会の看板と写真を撮らねばならない。 物品購入 理研 研究に関するクレジットカードは

Dockerが分散ストレージのInfinitを買収。Dockerに欠けていた最後のピースであるストレージが埋まった Dockerは分散ストレージソフトウェアの新興企業である「Infinit」の買収を発表しました。 Infinitは同名の分散ストレージソフトウェアを開発している企業。そのソフトウェアはまだバージョン1.0に到達していません。また、現在オープンソースにとして公開すべく準備中です。 ストレージソフトウェアとしてのInfinitは、ハイパーコンバージドインフラストラクチャのストレージレイヤのように、複数のサーバのストレージをソフトウェアで束ねて、巨大な1つのストレージアレイのようにアプリケーションから見せることができる、という機能を提供します。 下記がInfinitのアーキテクチャを示した図です。 サーバのストレージだけでなく、NASのような既存のストレージも統合できます。スケーラ

この記事は CAMPHOR- Advent Calendar 2016 7日目の記事です。 WartRemover は Scala のASTレベルの静的解析ツールで、WartRemover に組み込まれているパターンに加えて、自分で定義したパターンをビルド時に検出することができます。 これを使えばscalacはエラーや警告を出さないけど検出してほしいコーディング規約などをビルド時に検出することができるようになって便利。 github.com もとから組み込まれてるパターンはGitHubのREADMEに詳しく書かれています。 使ってみる 詳しくは GitHub の README を参照。 project/plugins.sbt に以下を追記 addSbtPlugin("org.wartremover" % "sbt-wartremover" % wartremoverVersion) bui

3. Copyright (C) 2016 DeNA Co.,Ltd. All Rights Reserved. より速く n  ハンドシェイクの⾼速化: ⁃  TLS 1.2: フル=2 RTT, リザンプション=1 RTT ⁃  TLS 1.3: フル=1 RTT, リザンプション=0 RTT n  アプリケーションデータの暗号化フォーマットの最適化 TLS 1.3 と 0-RTT のこわ〜い話

DeNA Engineer Advent Calendar 2016 7日目の記事です。 こんにちは。奥一穂です。 DeNAのゲームサーバが元になっているオープンソースのHTTPサーバ「H2O」の開発や、IETFでプロトコル関連の標準化活動を行っています。 11月に韓国のソウルで開催されたIETF 97では、私たちが提案中のHTTP拡張（Cache Digests for HTTP/2、103 Early Hints）の議論の他、TLSの次期バージョンであるTLS 1.3のプロトコル実装に関する相互運用性の確認を行ってきました。 その結果を先月末に開催されたhttp2勉強会 #10で発表してきましたので、こちらにて資料を公開させていただきます。 昨年制定されたHTTP/2に続き、TLS 1.3は制定秒読み段階、さらにQUICの標準化作業が開始されるなど、ウェブを支えるプロトコルは変革の時を

まんがタイムきらら Advent Calendar 2016 - Adventar 5日目の記事にようこそ！ 今日は2016年のまんがタイムきらら作品を振り返ってみよう！ 2016年のアニメ放送されたまんがタイムきらら作品たち 今年は冬に0作というスタートを切り、少々不安がありましたが計4作が地上波で放映されました。 三者三葉 あんハピ♪ NEW GAME! ステラのまほう それぞれ思い入れの強い作品もあると思いますが、それぞれの作品のいい点悪い点を評価していきます。 評価といってもストーリーや作画などの主観が大きく影響するようなものではなく、 公開されている情報から客観的に図れる値を使う振り返り方をしてみます。 目次 Open 目次 まとめ まとめ かわいい女の子も中身は汚い心を持っているということがありますが、アニメのWebサイトにも同様ということがわかりました。 とにもかくにも、この

ちょっと最近腹に据えかねる記事がネットで散見されるので敢えてアレなタイトルで、よろしくおねがいします。 なおこの記事は、自分はソフトウェアエンジニアリングの専門家であるので、そのような領域を大雑把に想定して書かれております。が、たぶん他の専門領域においても似たような状況なのではないかと推察しております。 専門用語ばかり使って会話するような人は本当のプロではない という言説を最近ちょくちょく見ますね。曰く、普通の人に説明できないようではダメだ。曰く、普通の人でも重要性が理解できないように話せないということは、実際にはお前のやっていることは重要ではないのだ。曰く、専門用語ばかりで会話するようでは実際の能力はわからない、専門用語などわからなくても本当に能力がある人にはあるのだ。 んなわけねーだろ。 専門家というのは、非専門家には扱えない問題を扱う専門家だから専門家として働けていて、それなりの待遇

この記事は TeX & LaTeX Advent Calendar 2016 の2日目の記事です。 1日目はzr_tex8rさんでした。 3日目はhak7a3さんです。 本記事では，9月にリリースされた macOS Sierra (10.12) について，El Capitan (10.11) からの変更点，および Sierra の和文フォントを TeX Live で最大限活用する方法について解説します。 目次 Sierra の和文フォントたち，および El Capitan からの変更点 ヒラギノフォント クレー，筑紫A/B丸ゴシック 游ゴシック体 游明朝体 游教科書体 凸版文久フォント 和文フォント一覧表 Sierra (10.12) の和文フォント一覧表 参考：El Capitan (10.11) の和文フォント一覧表 TeX Live 2016 での対応状況 dvipdfmx で Si

Internet Week 2016「想いが伝わるBGP運用～経路制御とルーティングセキュリティ最前線～」で話しました．BGP Community を設計するときの AS 運営者むけノウハウをまとめます． https://internetweek.jp/program/t06/

前回，'a * 'b -> 'b * 'aといったMLの型は，「AかつBならばBかつA」といった命題に対応する，という話をした。命題が成り立つことは，そのような型を持つ式が存在することに対応するのだった（ただし例外などの副作用や無限ループ，組み込み関数やライブラリ関数などは使用しないとする。以下同様）。 前回の繰り返しになるが，'a * 'b -> 'b * 'aは，「任意の型'aと'bについて，'a型の値と'b型の値の組を受け取り，'b型の値と'a型の値の組を返す」という関数の型だ。そのような型を持つ式としては，例えば以下のような関数が存在した。

What is ZeroVM? ZeroVM is an open source virtualization technology that is based on the Chromium Native Client (NaCl) project. ZeroVM creates a secure and isolated execution environment which can run a single thread or application. ZeroVM is designed to be lightweight, portable, and can easily be embedded inside of existing storage systems. This functionality allows developers to push their applic

メディアスケープは、自転車創業が企画し、フォージビジョンが開発するPS4用のPS VR専用コミュニケーション謎解きアドベンチャー『星の欠片の物語、ひとかけら版』を、2017年早春に配信予定と発表しました。 ●物語 星の欠片に1人の少女が取り残されている。 砕けて力を失ってしまった星からは、脱出する事も他者から認識して貰う事もできない。 しかし、その世界の座標軸が重なる1点にだけ、別の世界から“干渉する”事ができる特異点が存在した。 その特異点に立っているプレイヤーは、手に入れた“他の世界を覗き見る事が出来る装置（VRシステム）”を被る事によって、平行世界に潜り込み、少女と互いを認識しあう事ができた。 2人は力を合わせて謎を解き、星を元に戻して力を取り戻す事によって、脱出を目指す事になる。 本作は『あの、素晴らしい　をもう一度』、『ノベルゲームの枠組みを変えるノベルゲーム。』など、PCにおい