技術フェチ日記 (2016年 7月)

• 先月, 来月 へ
• 一覧へ
• 首藤のページへ

2016/7/31 (日)

• 今月のまとめ。
  • 宴会の類 8回: 2(土), 4(月), 8(金), 17(日), 20(水), 21(木), 22(金), 29(金)
    • 先月 (17回!) の半分未満だけど、決して少なくはない。
  • 外食のラーメン 8食: 2(土) (2食), 3(日), 4(月), 10(日), 16(土), 21(木), 30(土)
    • おでかけの機会をとらえて食べていたらこんなに多く。
  • インスタントラーメン 6食: 9(土), 14(木), 15(金), 26(火), 27(水), 28(木)
  • オムレツ 8食: 5(火), 6(水), 7(木), 9(土), 12(火), 13(水), 19(火), 26(火)
  • 講義 14コマ: 5(火), 7(木), 8(金), 11(月), 12(火), 14(木), 15(金), 18(月・祝), 19(火), 22(金), 25(月), 26(火), 28(木), 29(金)
    • 日本語 8コマ, 英語 6コマ。
• バゲット (日記7/24分), ポルトワイン (日記5/6分)。
  
  • Porto / ポルト出張 (日記2014年8/24〜9/1) でもらってきた、ポルトワインの小瓶。 50 cl。 ようやく開けた。
• インスタント ラーメン, キャベツ (日記7/28分),
• チーズ オムレツ (日記7/26分) 奥入瀬ビール (日記7/29分)。
  
  • 卵 2個, キャベツ 1/6個。
  • 日清ラ王 つけ麺 濃厚魚介醤油 (日記7/28分)。 340 kcal。
  • 前回の料理: 7/26
• 眺め (日記7/29分)。
  • 15時半前。
    

    横浜	武蔵小杉	武蔵中原	奥沢	二子玉川	自由が丘	用賀	緑が丘

  • 16時半過ぎ。
    
  • 19時前。
    
  • 19:10 頃。
    
• キャンパス (日記7/29分)。
  
  • 雨はあがったけど、まだ少しぱらぱらと。
• 一瞬、大雨。
• 納豆サンド (日記7/20分)。
  
  • キムチを入れないのは 41日ぶり (日記6/20分)。
    納豆 + 香辛料だけは 5ヶ月弱ぶり (日記3/6分)。

2016/7/30 (土)

• スマホアプリでマイナンバーを送信。
  
  • これまで一度郵送した。
  • 投函の必要もないし、楽。
  • いまどき銀行等の口座もスマホから作れるし、スマホを媒体に手続きの電子化がどんどん進んでる。
• 川崎 (日記7/21分) へ。
  • 最近、川崎づいてる: …, 5/21(土), 6/9(木), 7/21(木)
  • JR 川崎駅。
    
  • ラゾーナ川崎プラザ (日記7/21分)。
    • 広場から 5階へ。
      
    • 109シネマズ川崎 (日記1/9分)。
      
    • 4階へ降りて反対側へ。
      
      • 草地の人たちはきっとポケモン GO。
      • Eggs'n Things は行列。
    • 雑貨。

      山と夕焼け	ティーカップ

    • 川崎 LOFT。

      LOFT の前	いけめん付箋	ヨーグルトかけ醤油	シン・ゴジラ	(立体)サマーカード		傘デコシール

      • LOFT の前には 4店舗。 スワロフスキーしか記憶にない。
      • ヨーグルトに醤油…
    • ビックカメラ ラゾーナ川崎店。

      ギガカップヌードル	レゴ				ロボホン	ファミコン他互換機		イヤホン	お酒

      • ロボホン、初めて見た。
      • 忍者じゃじゃ丸くんをプレイ。 液晶ディスプレイに HDMI 接続で、画面がものすごく鮮明。
        ファミコンは、ブラウン管テレビにアンテナ端子接続か、よくて RCA ピンジャック接続で、少しにじんでるのが、らしい。
    • BAKE cheese tart ラゾーナ川崎店 (google)。
      
    • pie face ラゾーナ川崎店 (google)。
      
      • 日本 1店目。 2015年 10月 27日(火) オープンとのこと。
    • 京鼎樓小館 ラゾーナ川崎プラザ店 (google)。
      
      • 濃厚担々麺、小籠包セット。 980円。
      • 京鼎樓 (Jin Din Row) 恵比寿本店 (日記2013年9/18分) には一度。 小出さんの米国行き壮行会だった。
    • 丸善 ラゾーナ川崎店。
      
      • 去年の芥川賞作家も。
• ヨーグルト (日記7/29分)。
  

2016/7/29 (金)

• 奥入瀬ビール (google) (日記7/28分)。
  
  • ピルスナー, ヴァイツェン。
• 新宿 (日記5/15分) へ。
  • 自由が丘駅ホームから。
    
  • 新宿三丁目駅 (日記5/15分) から。
  • 新宿三丁目 交差点。

    伊勢丹 新宿店	新宿マルイ 本店	交差点の東側

  • 中国茶房8 (Chinese Cafe Eight) 新宿店 (google)。
    
    • 3人で。
    • メニュー。
      
    • 料理。

      中国青島特製 ピータン	冷製えびすり身 ゆば巻揚げ	水餃子	北京ダック

    • 注文したくても、何人もいる店員は全然気づいてくれない。 あるある。
• ミーティング (日記7/25分)。
  • プロジェクト紹介。 1時間 20分くらい。
    
    • ついでに、公的研究 (教育) 機関の種類とか資金の流れとか。
  • 事務連絡。
  • 進捗報告。 合わせて 10分くらい。
• サーバ (日記3/30分)。
  
• 眺め (日記7/28分)。
  • 15時前。
    

    横浜	武蔵小杉	武蔵中原	奥沢	二子玉川	自由が丘	用賀	緑が丘

    • すっきり青空で、風も通って、気持ちいい。 室内にいる限りは。
  • 19時前。

    			富士山

• 2学期制からクォータ制に移行して初めての講義科目を終えた。
  • いい点
    • 前回の内容が頭に残っているうちに次の講義をできる。
      • 月 & 木、または、火 & 金というように講義が詰まっているため。
  • 困った点
    • 宿題に取り組んでもらえる期間が短い。
      • 1学期あたり、2学期制では 4ヶ月弱だったところ、クォータ制では 2ヶ月弱。 その間に同量の宿題を課すことになる。
        講義 オペレーティングシステムでは 8つくらい課題を出す。 平均すると、2学期制では 2週間に 1つ。 クォータ制では 1週間に 1つ。
      • 1学期に履修する講義の数は半分になっているはずなので、単位時間あたりの負荷は変わっていないはず。
        しかし実際は、いろいろな余裕が減って、負荷が高まったのではないか。
      • 受講生としては、いつ宿題に取り組むかを調整する余地が減った。
        講師としては、受講生があまりに苦労していたり何か不足があった場合でも、補足説明をして提出期限を延ばす、といったことをしにくくなった。
• 2Q (第2クォータ) の講義が完了。
  • 自己最大の週4コマ、2科目のうち1つは英語での講義、というチャレンジングな期間だった。
  • あとは採点と成績付け。
• 講義 (日記7/26分)。
  
  • 日本語。 最終回。
  • メモリ管理。 特に仮想記憶。
  • 仮想化。
• キャンパス (日記7/28分)。
  
• ヨーグルト (日記7/28分)。
  

2016/7/28 (木)

• 関東甲信、梅雨明け (日記2015年7/19分)。
  • 気象庁、2015年の梅雨明けを 7/19(日) に発表したのに、ウェブ上のデータは 7/10(金) としている。
    後から、実は 7/10(金) に梅雨明けしていた、ということになった?
• インスタント ラーメン, キャベツ, 豆腐 (日記7/27分), 奥入瀬ビール, メンチカツ (日記7/26分), 牛肉コロッケ。
  
  • 日清ラ王 つけ麺 濃厚魚介醤油 (日記7/26分)。 340 kcal。
  • 豆腐 100 g 2個, キャベツ 1/6個。
• はに丸 ジャーナル (google)。
  
• デスクワーク。 5時間弱。
  • 雇用関係の証明書発行を依頼, 偉い人印の押印を依頼, NDA の文面を確認, 会食のお店を予約, お弁当の買い方や支出元を問い合わせ, 物品を調査・注文, 予算の残額を確認, 支出元予算を検討, 研究費関係の書類 (日記7/16分) を更新, …
  • ここのところなかったくらい大量の事務的なメールをさばいた。
  • 昨日 〜 今日は完全に事務デイズ。
• 虫が飛び込んでくる季節になった。
  
• 眺め (日記7/27分)。
  • 17:45 頃。
    
  • 18:15 頃。
    
  • 19時頃。
    

    横浜	武蔵小杉	武蔵中原	奥沢	二子玉川	自由が丘	用賀	緑が丘

• 来客 & 打ち合わせ。
  
• 講義 (日記7/25分)。
  
  • 英語。 最終回。
  • replica。 特に consistency models。
  • ちょうどいいので、自分達の研究成果も紹介: NoSQL 上で causal consistency を達成する手法 (スライドページ)
    先月 Atlanta で発表してきたやつ (日記6/13分)。
• キャンパス (日記7/27分)。
  
  • 学位記授与式か何かがあったらしい (写真2枚目)。
    手前に歩いてきた方 (白いガウン) に、手島精一像と一緒の写真撮影を頼まれて、何枚か撮影。
• ヨーグルト (日記7/27分)。
  
  • フワッとしてお菓子のようなヨーグルト。

2016/7/27 (水)

• 労働環境でのエアコン設定温度 28℃ への異論: オフィスの温度　「28度設定」の根拠は50年前の研究 (AERA)
  • 職場のエアコンは次の通り自動制御されてる。

    	夏季	冬季
    	6/1〜9/30	12/1〜3/31
    11:00	28 ℃	20℃
    12:00	28 ℃	20℃
    12:15	停止	停止
    13:00	28 ℃	20℃
    14:00	28 ℃	20℃
    15:00	28 ℃	20℃
    16:00	28 ℃	20℃
    17:00	28 ℃	20℃
    17:15	停止	停止
    20:00	停止	停止
    24:00	停止	停止

    • 冬季、20時や 24時を回って少しすると凍え始めて強制停止に気づく。
    • 切り忘れには有効だろう。
• インスタント ラーメン, キャベツ, 豆腐 (日記7/26分), ゆで卵 (日記6/23分)。
  
  • マルちゃん正麺 冷し中華 (日記7/9分)。 366 kcal。
  • 卵 2個, キャベツ 1/6個, 豆腐 100 g 2個。
• デスクワーク。 5時間半くらい。
  • 講義課題を出題, 訪問日程の調整・連絡, 座席の予約, ミーティング (合宿) の計画, 会議の出欠フォームを作成・連絡, 資料のダウンロード・整理, 共同研究関係の相談, …
• Evernote (日記7/6分) からデータを退避。
  
  • ほとんどのデータは退避済み (日記2/8分) だったのだけど、暗号化機能だけは重宝してた。
  • 「Evernote ベーシックでノートを同期できる端末の台数が、2 台までに変更されます」
    この刻限が 8/2(火) に迫ってきた。
    「使い続ける端末2台を選択」 (日記7/6分) というウィンドウが出た際、設定しそこねたままウィンドウを閉じてしまい、後から設定する方法も見つけられず…
    いよいよ完全退避を決めた。
• オペレーティングシステムの教科書・参考書。

  Silberschatz ら, 2012 (9th Ed. は)	河野健二, 2007	清水謙多郎, 1991	このシリーズについて	ページング	奥付

  • 3冊目は、自分が学部生のときに教科書 (or 参考書) 指定されて買ったもの。
    1991年 第1刷, 1994年 第5刷。
    … 当時読んだ覚えがない。
  • 例えば、昨日講義で扱ったページングについての記述は写真5枚目。
• 眺め (日記7/24分)。
  • 16時前。
    
  • 16時半頃。
    
  • 18時過ぎ。
    

    横浜	武蔵小杉	武蔵中原	奥沢	二子玉川, 自由が丘	用賀	緑が丘

• キャンパス (日記7/26分)。
  
  • 休暇 (代休) を頂くつもりだったところ、とりやめた。
• ヨーグルト (日記7/26分)。
  

2016/7/26 (火)

• インスタント ラーメン (日記7/15分)。
  
  • 日清ラ王 つけ麺 濃厚魚介醤油 (日記7/15分)。 340 kcal。
• チーズ オムレツ (日記7/19分), キャベツ, 豆腐 (日記7/21分), メンチカツ (日記7/25分)。
  
  • オムレツ、見た目よし、ふわとろ。
    これ以上上達するには冒険する必要がある。
  • 卵 2個, キャベツ 1/4個くらい, 豆腐 100 g 2個。
  • 前回の料理: 7/24
• 奥入瀬ビール (google) (日記6/28分)。
  
  • アンバーラガー, ヴァイツェン, ダークラガー, ピルスナー。
• バナナミルク (日記7/24分), ヨーグルト (日記7/23分)。
  
• 散髪 (日記5/24分)。
  
  • 63日ぶり。 1,944円 (税込)。
• 大岡山 北口商店街 (日記3/23分)。
  
  • 日高屋, 不動産屋, 麺屋 影丸があったならびが解体工事中。
• 講義 (日記7/22分)。

  ページテーブルの構成	32 bit の場合	64 bit の場合

  • 日本語。
  • メモリ管理。 特にページング。
  • 次回は仮想記憶。
• キャンパス (日記7/25分)。
  

2016/7/25 (月)

• デスクワーク。
  • 講義課題の英語化 & 出題 (日記7/7分)。 1時間 10分くらい。
  • 論文の更新 (日記7/24分)。 40分くらい。
• 豚キムチ, ご飯 (日記7/24分), メンチカツ (日記7/15分)。
  
• キャンパス (日記7/24分)。
  
  • ポケモントレーナーも消えた深夜。
• ミーティング (日記7/18分)。
  • 研究発表 (論文紹介)。 1時間 5分。
    
  • 事務連絡。 7分。
  • 進捗報告。 30分ちょっと。
• 講義 (日記7/18分)。
  
  • 英語。
  • replica。
  • スライド (写真1枚目) と板書 (写真2枚目) は quorum-based protocols の説明。

2016/7/24 (日)

• 油揚げ (日記1/30分), バゲット (日記7/19分), Messina でもらってきた お菓子 (日記6/27分)。
  
  • お菓子、ただのモサモサクッキーかと思いきや、しっとり & 後から柑橘系の風味で、よかった。
• 豚キムチ, ご飯 (日記7/21分)。
  
  • 豚肉 & キムチに加えてキャベツと玉ねぎ。
  • 味付けは、変わらず、味覇 (ウェイバー)。
  • 前回の料理: 7/19
• デスクワーク。
  • 論文の更新 (日記7/23分)。 2時間半くらい。
• 眺め (日記7/19分)。
  • 15時半頃。
    

    横浜	武蔵小杉	武蔵中原	奥沢	二子玉川, 自由が丘	用賀	緑が丘

    • グラウンドではサッカーの (練習?) 試合。
  • 17時半前。
    
    • 神々しい。 何か降りてきそう。
  • 19時過ぎ。
    
• キャンパス (日記7/23分)。
  
  • 東工大 大岡山キャンパス、正門から部屋までの数分の間に、モンスターボール 3 + 4 + 3 + 3 = 13個 (写真4枚目)、モンスター 4匹捕獲。
    都会だ。
  • ポケモントレーナー勢、昨日より減ったかと思いきや、夜の本館前が盛況 (写真5枚目)。
  • 帰宅の徒歩で、モンスターボール 3 + 3 + 3 + 3 + 4 + 3 + 4 + 4 + 3 + 8 = 38個、モンスター 5匹捕獲。
• バナナミルク (日記7/13分), カフェラテ。
  

2016/7/23 (土)

• デスクワーク。
  • 論文 (日記4/14分) の更新。 3時間半。
• キャンパス (日記7/22分)。
  
  • 夜までポケモントレーナーだらけ。
  • グラウンドではラグビーの試合。 4チーム?
• バナナミルク, ヨーグルト (日記7/16分)。
  
• 睡眠 13時間半。
  • 7回目覚めながら。
  • 最後あたりは、起きようかな? → 寝落ち、の繰り返し。

2016/7/22 (金)

• あっぷあっぷの 1週間がひと段落。
  • 今週の出来事:
    • 18(月): 講義 (英語), ミーティング
    • 19(火): 講義 (日本語), 打ち合わせ, 講義資料の英語化 (4時間)
    • 20(水): 会議 & 懇親会
    • 21(木): 研修会, 会議の類 & 懇親会
    • 22(金): 論文の camera ready 作成 (5時間半), 講義 (日本語), 打ち合わせ & 飲み会
  • デスクワーク (太字) の時間をとるのにひと苦労。
  • 今週の場合、懇親会も大事なお仕事。
  • 22(金) の打ち合わせ & 飲み会はたびたび延期してもらっていて (13 → 20 → 22)、これ以上の延期はかなり忍びなかった。
• Pokemon GO。
  
  • 英語での発音は 「ポキモン」 だと聞いてたのだけど、TV のニュース番組でニューヨークの人達は 「ポケモン」 と叫んでた。
  • 帰宅の電車内 (写真2,3枚目)。
• スーパーには ゴーヤ。
  
• 本郷 (日記2014年3/17分) へ。
  • 2年 4ヶ月ぶり。
  • 東大 本郷キャンパスへ。

    東京メトロ 南北線 東大前駅	東大 本郷キャンパス 正門	アイスカフェラテ	安田講堂	工学部2号館	11階	上から見た安田講堂 (日記2012年8/27分)

    • 安田講堂の工事は終わってた。
  • 坂井・入江研。
    
    • 修士課程の頃 (1996 〜 7年度)、田中・坂井研に一度伺った。 今とは違う場所。
      そこで、生クリームパーティに参加させてもらったのはいい思い出。
    • 入江さんが研究紹介をして下さった。
      プロセッサアーキテクチャとヒューマンコンピュータインタラクション (HCI)。
      どちらの分野のどのプロジェクトでも、成果を見て感じられるような動画を残してる。 すごい。
  • ラーメン屋。

    IZASA (google)	家家家 (google)	安庵 (google)

  • 加賀屋 本郷店 (2013年6/12分)。
    
    • このお店に来ると、SWoPP (合同研究会) 出張して地方都市の居酒屋に入った気分になる。
    • メニュー。
      
    • 料理。
      
  • 東京メトロ 丸ノ内線 本郷三丁目駅。
    
• 駐輪場。
  
  • ひときわ目立つ大西さんのトライク。
• 講義 (日記7/19分)。
  
  • 日本語。
  • 同期。
    ソフトウェア実装 (満たすべき条件, 形式仕様記述), ハードウェアサポート (TAS・CAS・LL/SC 命令, CAS の偽陽性問題), デッドロック (ロック粒度のトレードオフ, 人類には早かったマルチスレッド), 食事する哲学者問題 (箸で), …
• キャンパス (日記7/21分)。
  
  • そこかしこに Pokemon GO やってるようにしか見えない皆さんが。
• 睡眠。 50分くらい。
  • それからシャワーを浴びて出勤。
• デスクワーク。
  • 論文 (日記6/22分) の camera ready 作成。 完了。 5時間半くらい。
  • 参加登録。 30分くらい。
• 睡眠。 3時間くらい。
  • 仮眠 (日記7/15分) のつもりだったのが、ただの超早起きになったっぽい。

2016/7/21 (木)

• Google が AI 制御でデータセンタの冷却に使う電力を 40% 削減 (日経ITpro)。
• ご飯, 豚キムチ (日記7/19分), キャベツ, 卵豆腐 (日記7/15分)。
  
  • さっきの寿司に加えて。
  • おととい作った豚キムチ。
• 川崎駅へ。
  
• 懇親会。 1時間半ちょっと。
  
  • お寿司を、好きなネタばかり 12貫ほど頂いた。
  • 飲んだのはウーロン茶とジンジャエール。
    残っている仕事に備えて。
  • 会費 1,000円は元をとったと思われ。
  • 御挨拶 and/or お話ができてよかった。 三宅先生 (東工大), 森川先生 (東大), 松本先生 (横浜国大), 林先生 (東北学院大学), …
• 会議の類。 4時間弱。
• ミューザ川崎。

  16階	23階

  • エレベータが止まった階:
    5, 6, 7, 10, 12, 13, 14, 16階
    17, 19, 23階
• アイスコーヒー。
  
  • セブンイレブンのアイスカフェラテは、カップの底に甘めのミルクのようなものがこびり付けてあって、それが溶けるという仕組み。
    それがいまひとつだった覚えがあって、敬遠してる。
• ラゾーナ川崎プラザ (日記6/9分)。
  
  • ダイニング・セレクション (フードコート)。

    銀座 篝 (日記2015年4/12分)	えびそば一幻 (日記2015年4/5分)		麺や庄の (日記6/9分)

  • えびそば一幻 (日記2015年4/5分)。
    
    • えびしょうゆ (スープ: そのまま) 780円。
    • ちょっとゆで時間不足な感じ。
    • 麺どうしがくっついてるし (写真2枚目)。
  • BAKE CHEESE TART。
    
  • 川崎 LOFT。

    花火大会スケジュール	ドリー, ニモ	マグカップ

• 川崎 (日記6/9分) へ。
  
• デスクワーク。
  • ホテルの調査・予約。 来月の国内分。
• 研究不正防止のための研修会 (日記2015年6/30分)。 2時間弱。
  
  • 2014年度から始まって、3回目の受講。
    東大では 1回の受講がずっと有効らしい。
  • 写真は参加証。 シリアル番号入り。
• キャンパス (日記7/20分)。
  
  • 雨。

2016/7/20 (水)

• 月光食堂 (google)。
  
  • 洗面所 (写真3枚目)。 壁にワインの木箱から取った木材を貼ってる。
  • 飲み放題だったはず。 なのに、ラストオーダーでの注文は 1人 1杯までとのこと。 よくわからないカウントを理由にかたくなに断られた。
  • 食べ物。
    
• 会議。 2時間強。
  
  • 初の現地参加。
• 神保町駅からてくてく。

  神保町 交差点				麺処 美空 (日記4/26分)

  錦華公園		錦華坂	明治大学 10号館	山の上ホテル	駿台予備校	アイス カフェラテ	化学会館 (日記4/26分)

• 神保町 (日記4/26分) へ。
• キャンパス (日記7/19分)。
  
• QUO カード。
  
• キムチ納豆サンド (日記7/5分)。
  

2016/7/19 (火)

• デスクワーク。
  • 講義資料の英語化 (日記7/15分)。 4時間。
    完了。 6/21(火) から合計 22時間くらい。
• チーズ オムレツ, 豆腐 (日記7/13分), バゲット (日記7/18分), ご飯 (日記6/3分), 豚キムチ。
  
  • 卵 2個, 豆腐 100 g 2個。 サトウのごはん。
  • 豚小間肉をどっさり買ったので、第1弾、豚キムチ。
    サラダ油で炒めて、軽く蒸して、味覇 (ウェイバー) を入れて、キムチを入れた。
  • 前回の料理: 7/13
• 眺め (日記7/18分)。
  • 15時頃。
    
  • 18時半頃。
    
    • 二子玉川 〜 自由が丘 (写真4枚目)。
  • 19時半前。
    
• 打ち合わせ (日記6/7分)。 1時間半くらい。
• 講義 (日記7/15分)。
  
  • 日本語。
  • スケジューリング。
  • 同期。 in the same year じゃなくて synchronization。
  • 7/14(木) にも描いた doubly linked list の図 (写真2枚目)。
• キャンパス (日記7/18分)。
  
• 大田区長 松原忠義氏 (google) が、車に乗って、都知事に立候補した増田寛也氏 (google) の応援をして回っていた。

2016/7/18 (月・祝)

• バゲット (日記7/15分)。
  
• ミーティング (日記7/8分)。
  • 研究発表。 2時間強。
    
  • 事務連絡。 13分。
  • 進捗報告。 26分。
  • おみやげ。神戸。
    
• 眺め (日記7/14分)。
  
• 講義 (日記7/14分)。
  
  • 英語。
  • clock and synchronization。
  • 講義をしている窓の外では草刈り → 騒音 (写真2枚目)。
    研究・教育の邪魔にならない祝日に草刈りをスケジュールしたら、ところがどっこい、講義があった、とか?
• キャンパス (日記7/15分)。
  
  • 講義がある日なので、学生がたくさん。
  • キャンパス内で耳に入った会話:
    「任意のビット列が実行可能なプログラムになる純粋関数型言語。 あれはヤバい。 ガチでヤバい。」
    東工大っぽいな〜、となごむ。
• 大岡山へ。
• 武蔵小山 (日記7/17分) へ。
  • お休みじゃない祝日のせめてもの楽しみとして。
  • てくてく。

    駅前			商店街	もち豚とんかつ たいよう (日記2015年6/20分)

    • たいようは定休日…
  • La TRIPLETTA / ラトリプレッタ (google) (日記4/24分)。
    
    • ピッツァランチ 1,000円。 カプリチョーザ。
      ビールは自粛。
    • Messina 出張 (6/25 〜 7/2) の機内でもらったウェットティシュー (写真7枚目)。
  • 16(土) Due Italian、17(日) シノリ、18(月・祝) La TRIPLETTA と、おいしすぎる 3日間だった。

2016/7/17 (日)

• 武蔵小山 (日記4/24分) へ。
  • 駅前。
    
  • 再開発。
    
  • 商店街をぶらぶら。

    武蔵小山商店街 PALM	ニモとドリー	ギガどーん兵衛	KFC に行列	呑める KFC	コカ・コーラ オレンジ	焼き鳥屋	路地

  • シノリ (google)。
    
    • 4人で。
    • メニュー。
      
    • 串, ワイン。
      
      • つくねが超ふわふわ。
      • ワインへのこだわりがすごい。 説明が、かなり聞かせる。 飲んでみたくなる。
• チョコレート。
  
  • 中村藤吉 (google)。
  • 残ってた。

2016/7/16 (土)

• 映画 ファインディング・ニモ / Finding Nemo を鑑賞。
  • 昨晩録画。
  • かなり笑い通し。
  • 子供は (○○するなと) 厳しくしつけるのではなくて、 意志を尊重してやりたいことをやらせろ、 っていうアメリカの価値観を世界に広める映画。
• 歩いて 市ヶ谷駅へ。
  
• Due Italian (google) 。
  
  • 冷製白いらぁ麺。 1,200円。
    すごくいい。 とろっとした生ハム。
• 靖国神社 (日記2015年4/4分)。
  
  • みたままつり (google) の最終日。
  • 去年から出店がなくなったとのこと。
• 九段下 (日記2015年4/4分) へ。
• アイスカフェラテ。
  
• 牛乳, バナナミルク (日記7/15分), ヨーグルト (日記7/9分)。
  
  • まちがって、牛乳に氷。
• デスクワーク。
  • 研究費関係の書類 (日記7/6分) を更新。 1時間ちょっと。

2016/7/15 (金)

• 記事: So Many Research Scientists, So Few Openings as Professors (New York Times)
  • 米国での、終身の研究職を得る大変さ。
  • 数字が参考になる：
    • 博士号の取得に 4〜6年かそれ以上。
    • 人口の増減を考える際の基本再生産数 R0 を研究分野に適用して、1人の教授が産む博士を数えると、 最も高い環境工学分野で 19.0、生物学・医学分野で 6.3。
    • 生物学分野の博士の数は 1993年から 2013年の間に 83% 増えて、105,000人から 192,000人になった。
    • 生物学分野のなりたてポスドクの平均年俸は $44,000。 物価上昇を考慮すると、1998年から変わっていない。
    • NIH (国立衛生研究所) が出す研究費の採択率、2000年は 32% だった。 それが現在では 18%。
      採択者の平均年齢は 1980年の 35歳から現在は 42歳に上がった。
    • NIH が設けた、キャリア初期の科学者向け研究費は、採択率約 20% に過ぎない。
    • MIT (マサチューセッツ工科大学) の終身教員は約 1,000人。 30年以上、この数。
• 記事: 超高速Flash Storage Systemへの挑戦～DSSD D5の設計について，Andy Bechtolsheimへのインタビュー～ (前編, 後編)
  • ざっくりまとめ。
    • 端から端まで PCI-Express (PCIe)。
    • とにかく RDMA で読み書き。
    • 専用のフラッシュモジュール。2ポート。消費電力 ～50W。これが 36モジュールで 1.8 kW。
    • RDMA でマルチキャストをして、複数のフラッシュモジュールへの冗長書き込みをする。
    • FTL はフラッシュモジュール側にはなく、コントローラのメモリ上にある。
• IPA NEWS (ウェブページ), Vol.23, pp.4〜5 に、未踏の紹介記事。
  
  • 2015年度 石丸プロジェクトを軸に。
• 講義に捧げる日々。
  • 今週で言うと…
    講義 4コマ: 月(英語), 火(日本語), 木(英語), 金(日本語) + スライドの英語化 10時間 + 講義と課題へのコメント確認＆回答作成 1時間40分 + 課題の出題連絡 + 資料の掲載 + …
  • これでも、世間一般のイメージ --- 講義をしてお給料をもらっている --- からすると、少なく見えそう。
• デスクワーク。
  • 講義資料の英語化 (日記7/14分)。 2時間半ちょっと。
• 仮眠 (日記7/13分)。 2時間 45分くらい。
  • それから家事。 ごみをまとめたり、6日分の洗濯 & 物干ししたり。
• TV 番組: モーガン・フリーマン 時空を超えて 「宇宙人との遭遇 そのとき人類は」
  
  • 面白かったのだけど…
  • 科学的な内容をそこまでデフォルメするか！ と。
    • 「情報理論によると、言語であるなら信号のヒストグラムが 45度になる」 … その角度はグラフの描き方次第で何度にでもなる。
      0度近くではなくてある程度の傾きがある、ならわかる。 はたまた、直線になる、とか。
    • 塩基配列それ自体を「遺伝暗号」(genetic code) と呼んでしまう。
• インスタント ラーメン, アボカド, メンチカツ, 卵豆腐 (日記7/14分), キャベツ (日記7/13分), バゲット (日記7/12分)。
  
  • キャベツ 1/6個, アボカド 1/2個。
  • 日清ラ王 つけ麺 濃厚魚介醤油 (日記6/6分)。
  • バゲットはカビ始めてた。 菌糸を警戒して広めにえぐった。
• 皮がむけ始めた。
  
• 伊勢さん、御来訪。 2時間弱。
  
  • なんでもいいので、研究室メンバ向けにお話を、という無茶ぶりに快く応えて下さった。
• 講義 (日記7/12分)。
  
  • 日本語。
  • システムコール: ソフトウェア割り込み, OS ごとの設計思想, POSIX, …
  • 並行処理: 並列処理との違い, コンテキストスイッチ, …
• キャンパス (日記7/14分)。
  
  • 雨。
• バナナミルク (日記7/14分)。
  

2016/7/14 (木)

• NES Classic Edition → Nintendo Classic Mini (日本語: GIGAZINE, Engadget日本版, ねとらぼ, ASCII.jp, 4Gamer.net, CNET Japan, ファミ通, MYCOM, GAME Watch, TechCrunch Japan, 英語: The Verge, Polygon, Engadget, NDTV, iDigitalTimes, Shacknews)。
  • ファミコン。 30のゲーム内蔵。 ＄59.99。 11月発売予定。
  • 買ってしまいそう。
• デスクワーク。
  • 講義資料の英語化 (日記7/13分)。 3時間半くらい。
• インスタント ラーメン (日記7/9分), アボカド (日記7/7分), メンチカツ (日記7/13分), 卵豆腐 (日記6/9分)。
  
  • マルちゃん正麺 冷し中華 (日記7/14分)。 366 kcal。
  • アボカド 1/2個。
  • 安売りで 98円 (税別) のアボカド。
• 記事: 猪瀬直樹が語る「東京のガン」 (NewsPicks)
• 眺め (日記7/13分)。
  

  横浜	武蔵小杉	武蔵中原	奥沢	二子玉川	自由が丘	用賀	緑が丘

• カフェオレ。
  
  • 70円。
• 講義 (日記7/11分)。
  
  • 英語。
  • scale out。
  • 見せているウェブページは Wikipedia: Giant lock。
• キャンパス (日記7/12分)。
  
• バナナミルク (日記7/12分)。
  

2016/7/13 (水)

• おいしかった 柿の種 (日記7/9分) を購入。
  
• デスクワーク。 6時間半くらい。
  • 研究費 (特に人件費) 関係の連絡・相談や事務作業。 1時間半くらい。
  • 講義資料の英語化 (日記7/6分)。 4時間。
  • 活動紹介スライド (日記7/3分) の英語化 & ウェブ掲載。 1時間。
• 仮眠 (日記7/6分)。 1時間半くらい。
• チーズ オムレツ, 豆腐, キャベツ, メンチカツ (日記7/12分)。
  
  • 昨日とまったく同じ。
  • 卵 2個, 豆腐 100 g 2個, キャベツ 1/6個。
  • 前回の料理: 7/12
• 会議 (日記6/8分)。 1時間 40分。
• 眺め (日記7/12分)。
  
  • 小雨。
• 打ち合わせの類 (日記7/12分)。 5分くらい。

2016/7/12 (火)

• チーズ オムレツ (日記7/9分), 豆腐, メンチカツ, キャベツ (日記7/11分)。
  
  • これまでで最高に近いふわとろヌル感。
  • 卵 2個, 豆腐 100 g 2個, キャベツ 1/6個。
  • 前回の料理: 7/9
• 帰宅後、エアコンをつけた。 涼しくならない … 暖房してた。
• 眺め (日記7/11分)。
  • 17時頃。
    
  • 19時頃。
    
    • 明るい。
• 打ち合わせの類 (日記7/11分)。 合計 1時間 10分くらい。
  • 付随する作業が 1時間半と少し。
• 講義 (日記7/8分)。
  
  • 日本語。
  • 課題の解説 2問分。
  • システムコール。
• キャンパス (日記7/9分)。
  
• バゲット (日記7/11分), バナナミルク (日記6/8分)。
  

2016/7/11 (月)

• メンチカツ, 豆腐 (日記7/9分), バゲット (日記7/5分), キャベツ (日記6/23分)。
  
  • 豆腐 100 g 2個, キャベツ 1/6個くらい。
• todo が多すぎて首が回ってない。
  • 12(火) 夕方の約束と 13(水) 夕方の約束に対して延期のお願い。
  • 代休のない休日出勤も常態化してるというのに。
• デスクワーク。 5時間半くらい。
  • 研究費 (特に人件費) 関係の事務作業。
  • 研究室体験的な科目の準備。
  • 講義準備 (受講生コメントをチェック & 回答)。 1時間 40分くらい。
  • コメント反映 & 更新 (日記7/6分)。 1時間 10分くらい。
• 打ち合わせの類 (日記7/6分)。 3時間強。
• 眺め (日記7/9分)。
  
  • 光が美しい。
• 講義 (日記7/7分)。
  
  • 英語。
  • 分散システムの類型。

2016/7/10 (日)

• 日吉 (日記6/18分) へ。
  • 駅。
    
  • 麺場ハマトラ (日記6/18分)。
    
    • 夏麺第三弾 淡麗 鶏チリ冷麺。 890円。 無料の大盛。
      7月 2日(土) 〜 7月 31日(日) (横浜店) / 8月 1日(月) (日吉店)
    • すっきりだけどコクのあるスープ。
    • 鶏チャーシュー (写真4枚目)。
  • 七夕の飾り?
    
  • 日吉東急 (日記5/29分)。

    モロゾフ	モナリオ (熊本)		天一書房	錯視工作の本

    • モナリオの豆乳フルーツプリンを試食。 メロン。 濃い！
      持っていく先があれば買いたかったくらい。
    • 錯視工作の本は、計算幾何学や錯視で著名な杉原先生 (google) 著。
  • ラーメン屋。

    柴田商店 (google)		あびすけ

    • あびすけ、なんとメンサ (google) 割。
  • 慶應義塾大学 日吉キャンパス (日記3/12分)。
    
    • 協生館 (写真4枚目) (日記3/12分) のローソンでアイスカフェラテ。
      
• 睡眠 12時間半。
  • 9回目覚めながら。

2016/7/9 (土)

• インスタント ラーメン, (日記6/19分) チーズ オムレツ, 豆腐, メンチカツ, レタス (日記7/7分)。
  
  • おとといとだいたい同じメニュー。
  • マルちゃん正麺 冷し中華。 366 kcal。
  • 卵 2個, 豆腐 100 g 2個。
  • 前回の料理: 7/7
• 折り畳み傘 2本。
  
  • 7/2日(土) に買ったやつと、6/24(金) にお店に忘れて取ってきたやつ。
• 亀田の 柿の種。
  
  • ノーマル, わさび, 梅しそ。
• キャンパス (日記7/7分)。
  
  • 眺め (日記7/7分)。
    • 16時半頃。
      
    • 19時頃。
      
• 開店と閉店。

  Enne / エンネ (日記6/21分)		麺でる 大岡山店

• ヨーグルト (日記7/7分)。
  

2016/7/8 (金)

• ボードゲーム (日記6/5分)。
  
  • 先週もらってきたトレイ (日記6/27分)。
    
    • ダイストレイ (google) だとしか思えない。
  • カタン。

    1回目	2回目

    • 赤。
    • 1回目、全方位囲まれてどこにも出て行けず。港なし。
    • 2回目、麦帝国を築くも、1,2歩及ばず。最長交易路を阻止しようとしていたら、街道のコマ (13個) が尽きて、阻止できず。
• 研究室 新メンバの 演習成果発表会 (Facebook Events) (日記2015年7/3分)。
  • 4月からの新メンバの発表。

    deep learning		graph analysis		overlay network

  • 来て下さった方々の自己紹介。

    今村さん	岡本さん	森本さん	島筒さん	島田さん	太田さん	佐藤さん	西川さん	田中さん	入江さん

    • 部屋の様子。
      
  • 小沢健史さん (NTT & Apache Hadoop PMC / committer)。
    
    • 「ロゴが特徴的」(写真3枚目)
  • 懇親会。
    
    • 去年に続いてお寿司。 すし仙 (google) たぶん自由が丘正面口店。
      あと、四川屋台。
    • 思い返してみると、寿司は 3貫しか食べてない。
• ミーティング (日記7/5分)。
  • 事務連絡。 5分弱。
  • 進捗報告。 10分強。
• 講義 (日記7/5分)。

  スタック, スタックフレーム		OS の起動, ビットマップ

  • 日本語。
  • 課題の解説 2問分。
  • 課題への感想に「難しい！」と書いてくる受講生があまりに多いので、確認したら…
  • これまで、講義「計算機システム」は 3年次前期、講義「オペレーティングシステム」は3年次後期だった。
    今年度のクォータ制導入で、やむを得ず、「計算機システム」が (2年次) 4Q に移った。 そのため、今年度の 3年次学生は「計算機システム」を受講する機会なく「オペレーティングシステム」を受講するはめに。
  • そのため、かつてないくらい丁寧にこのあたりを説明。

2016/7/7 (木)

• チーズ オムレツ, 豆腐, メンチカツ, アボカド, レタス (日記7/6分)。
  
  • 昨日とまったく同じメニュー。
  • 卵 2個, 豆腐 100 g 2個。
  • 前回の料理: 7/6
• デスクワーク。 他の作業もはさみながら 5時間。
  • 講義課題の英語化 & 出題。 1時間 40分くらい。
  • 受講生からのコメント (課題3つ分) をチェック & 回答作成。 2時間弱。
  • 講義課題への回答、採点準備 & 依頼。 25分くらい。
• 講義 (日記6/23分)。
  
  • 英語。
  • Internet の基礎。 ルーティングとかプロトコルとか。
• キャンパス (日記7/6分)。
  
  • 眺め (日記7/6分)。 18時半頃。
    
  • 窓から顔を出すと、この季節のにおい。 草の、伸びてるぜ！っていう青臭いにおい。
• ヨーグルト (日記6/24分)。
  
• 5時間くらい寝て、シャワーを浴びて、出勤。

2016/7/6 (水)

• デスクワーク。 徹夜。
  • コメント反映 & 更新。 1時間 15分くらい。
  • 研究費関係の書類作成。 3時間15分くらい。
  • 講義資料の英語化 (日記6/22分)。 2時間弱。
• 仮眠。 2時間半くらい。
• クリスタルベルグ (google)。

  クリスタルベルグ	ホワイトベルグ	両方	説明

  • 6月 15日発売。
  • ホワイトベルグ (日記2014年8/10分)、ゴールドベルグ (日記2015年6/23分) に続いて。
• チーズ オムレツ, 豆腐 (日記7/5分), メンチカツ (日記6/9分), アボカド (日記8/4分), レタス (日記2015年4/17分)。
  
  • 卵 2個, 豆腐 100 g 2個。
  • 前回の料理: 7/5
• 東京はどうなってしまったのか。
  
• おみやげ。
  
  • けっこう前の韓国みやげ。
• 会議。 1時間 20分くらい。
• 打ち合わせの類 (日記7/5分)。 1時間くらい。
• 眺め (日記6/24分)。
  • 13時過ぎ。
    
  • 18時前。
    

    横浜	武蔵小杉		武蔵中原	奥沢	二子玉川	用賀	緑が丘

• キャンパス (日記7/5分)。
  
  • いい天気。
• Evernote (日記2/8分)。
  
  • サーバ側と同期をかけた。 時間かかるな、と思っていたら… サービス縮小の知らせ & 商品紹介。
    救いようが…
• 5時間くらい寝て、シャワーを浴びて、出勤。

2016/7/5 (火)

• チーズ オムレツ, 豆腐 (日記6/23分), バゲット (日記7/4分)。
  
  • 卵 2個, 豆腐 100 g 2個。
  • 前回の料理: 6/23
• ひさびさの出勤 & そのツケのハードワーク。
  • 6/24(金) (日記) 以来。
  • 15時間くらいぶっ通しで働いた。
• デスクワーク。
  • インターンシップ関係のメール, 出張の後始末 (本当に行ったことを示す書類の作成, 搭乗券の提出, 精算の依頼), …
  • 研究費関係: 予定の連絡, 部屋の予約依頼, 書類の作成とお手伝い依頼, …
    7時間くらい。
• ミーティング (日記6/24分)。
  • 研究発表。 1時間 35分。
    
  • 事務連絡。 7分。
  • 進捗報告。 50分弱。
  • おみやげ。 イタリア。
    
• 講義 (日記6/24分)。
  
  • 日本語。
  • ファイルシステム。
  • プログラムの読み込みと実行。 「,」「!」両方アリアリの Hello World。 gcc -S とか gcc -c とか。
• 打ち合わせの類 (日記6/22分)。 15分くらい。
• キャンパス (日記6/23分)。
  
• キムチ納豆サンド (日記6/25分)。
  

2016/7/4 (月)

• Trattoria La Croce / トラットリア ラ・クローチェ (google) (日記2012年8/8分)。
  
  • 4年弱ぶり。
  • お料理。
    
• ビッグデータ基盤研究会 (google) (日記12/18分)。
  • 筑波大学 東京キャンパス文京校舎。

    朝	昼食後	15時頃

    • ロビー。
      
  • 部屋。
    
  • 国際会議 報告 × 3, ソフト紹介。

    山田さん	川島さん	新井さん	田中さん

  • 昼食。 生粋 花のれん (google)。
    
    • ラーメンばかり: 7/2(土) 2食, 7/3(日) 1食, そして 7/4(月) 1食。
    • 大山鶏と夏野菜のアジアン冷やし麺 (google)。 980円。
      生醤油ダレか胡麻味噌ダレかを選べる。
    • また来たい。
    • 目の前はお茶大。
      
  • 学生ライトニングトーク的な。

    粟本さん (未踏)	藤森さん (鬼塚研)	伊藤さん (鬼塚研)	神谷さん (川島さん指導)

  • 活動・ソフト紹介。

    滝澤さん (理研)	高田さん (国立天文台)	寺田さん (NTTドコモ)	小嵜さん (リクルート)	海野さん (PFN)	栄藤さん (NTTドコモ)	加藤さん (東大)

    • 滝澤さん, 加藤さん、何年ぶりだかわからない。
    • 最後あたり、えらい疲れた。
  • 1 minutes madness / 1分自己紹介。

    熊崎さん (NTT)

    油井さん

    永安さん

    西山さん (NTT)

    小口さん (お茶大)

    鬼塚さん (阪大)

    小沢さん (NTT)

    佐藤さん

    篠原さん

    須藤さん (さくら)

    高橋さん (NTT)

    Thien さん (筑波大)

    丸さん (お茶大)

• アイスカフェラテ。
  
  • 朝, 昼食後, 15時頃。
• 茗荷谷 (日記2012年10/15分) へ。
  
  • 3年 9ヶ月ぶり。
• バゲット + オリーブオイル。
  
  • Messina で買ってきたオリーブオイルと、唐津で入手した塩 (日記3/3分)。

2016/7/3 (日)

• 溝の口 (日記2015年7/12分) へ。
  
  • 麺屋こころ 溝の口店 (日記2015年7/12分)。
    
    • 台湾まぜそば。 780円。 刻みにんにく入り。
    • 去年 7月も、成田空港 → 未踏ブースト会議 → 麺屋こころ 溝の口店、という流れだった。
• IPA 未踏のブースト会議 (2015年7/11〜12, 2014年7/6, 2013年10/19〜20, 2012年7/21〜22, 2012年2/4〜5, 2011年1/15〜16, 2010年1/30〜31, 2009年8/22〜23)。
  • PM 講演。

    藤井さん	首藤	五十嵐さん	竹迫さん	後藤さん

    • スライド。
      
      • たった 10分ということで、この 1枚をきっかけ / ネタに話すことにした。
      • 7/2(土)、夕食の後 1時間半くらいで作成。
        1ヶ月ぶりのスライド作成 (日記6/4分)。
      • 右半分の技術のことを話そうかと考えてたのだけど… 結局話したのは
        • 転職時に経験した「後悔最小化」
        • 「自分を発見」 = 「connecting the dots」
  • ungame。
    

2016/7/2 (土)

• 中華そば とんび (google) (日記2015年10/11分)。
  
  • つい。
  • つけそば。 700円。
• IPA 未踏のブースト会議。
  • 会場。
    
  • 新語 「低レイヤーマン」 (google)
  • 記念撮影。
    
  • 夕食。
    
  • 宿泊する部屋。
    
  • 交流会。
    
• 折り畳み傘。
  
  • 博多で買った折り畳み傘 (日記1/23分) を 6/24(金) にお店に置いてきてしまい。
    帰宅までの間に雨が降ったら困るので、購入。
• アイスカフェラテ。

  15時頃	18時半頃

• 府中 (日記10/11〜12分) へ。
  
  • 帰国したその足で。
• 東京ラーメンストリート (日記6/16分) の東京駅 斑鳩 (google) (日記2015年4/4分)。
  
  • 豚骨魚介 煮玉子塩らー麺。 890円。
  • 羽田空港は、搭乗前に六厘舎 (日記3/6分) に寄れる。 帰国後は品川の品達 (google) (日記3/25分) に寄りやすい。
    成田空港も、東京駅経由で帰ることで東京ラーメンストリートに寄れる。
• 帰国 (続き)。
  • バスで東京駅 (日記6/16分) へ。

    	ディズニー		東京駅 八重洲口

  • 暑い暑い。

2016/7/1 (金)

• 帰国。
  • バスで空港へ。 1時間半。

    	高速道路	エトナ山	空港

  • Catania Fontanarossa Airport (CTA) / カターニャ空港。
    • 出発ロビー。
      
    • いれずみが一般的。
      
    • Sicilia's。
      
      • パニーニとコーヒー (アメリカン)。
    • お店。

      トランプ	銃型マグカップ	レモンのお酒

  • ローマへ。
    
  • Fiumicino Airport (FCO)。 ローマ。
    • お店。

      立体置物	イタリア全土	Pringoooals	定規	白のペン	色鉛筆	寿司

      • 寿司が超高い。
  • 成田へ。
    
    • 食べ物。
      
• Alfa Romeo / アルファロメオ。
  • そういえば、イタリアの自動車製造会社。 というわけで (?) 見つけたら撮ることに。
  • 6/27(月)
    
  • 6/28(火)
    
  • 6/29(水)
    
  • 6/30(木)
    
  • 7/1(金)