読者です 読者をやめる 読者になる 読者になる

2016 良かったもの

☆は特によかったもの本☆ かえりの合図、まってた食卓、そこ、きっと、しおふる世界 境界性パーソナリティ障害アルバムGrouper - Dragging A Dead Deer Up A Hill Cicada - Ocean 100% - ✦✧ soccer mommy - for young hearts 朝生愛 - カモミールのプール曲Ho…

2016今年買った良い/悪い物

良い 家(賃貸) 家賃高いけど会社から近くて良い。 ベッド IKEAですごくシンプルなものを購入。マット・ふとんも含めて気に入っている。最初はすべてIKEAで家具揃えようとか田舎者みたいなことを思っていたが、わりと趣味ではなかったためシンプルなベッド…

引っ越し

捨てたもの ☆家具 ベッド 1200 マットレス 400 ふとん 机(120x55x115) 1200 椅子 400 本棚(42x29x87) 400 本棚(59x17x90) 400 服かけ 400 食器棚 800 鏡 400 じゅうたん 400☆家電 扇風機 400 掃除機 400 プリンタ400 電子レンジ 400自転車 800☆大型家電 冷蔵…

修論

修論の発表をしました。スライド https://speakerdeck.com/krtx/ci-yuan-xing-niji-dukurupubu-bian-tiao-jian-zi-dong-sheng-cheng-synthesizing-loop-invariants-via-dimension-types

2015 best 10

良かったやつ1. Headquarters / Anne Bacheley / 2008 2. 50,000,000 Elvis Fans Can't Be Wrong / caroline says / 2014 3. Islands / Ben Stepner / 2010 4. The Man Who Died In His Boar / Grouper / 2013 5. Bach: The 4 Lute Suites / John Williams /…

愛宕山

愛宕山に登りました清滝のバス停についたのが9時過ぎ、そこから登山口まで10分くらい? 登山スタイルの人が多くてビビってました。 (9:26) 道の途中にこういう立て札があって、今どれくらいの位置まで来たかを教えてくれる。主に防火を喚起する文言が書かれ…

比叡山

雲母坂ルートで京都側から比叡山に登った。出町柳から叡電で修学院まで。修学院駅直結のフレスコで飲み物とおやつを買って、音羽川沿いを東に進む。途中で運動会をやってた。https://frone.co/web/akimonoiryou/561098196167694e2a000002 12:21きららはしを…

ICPC 2015 WF オンサイトコーチメモ+傍観記

ICPC 2015 WF のオンサイトコーチをやることになったのでそのメモ。場所はモロッコのマラケシュ、期間は 2015/5/16 - 2015/5/21。 2015/01/21 コーチの人が就職してしまって WF に随行できなくなり、代わりに自分にオンサイトコーチの打診されたのでOK言う B…

ベスト10

今年聴いた(≠リリースされた)アルバムです。Chick Corea, Return To Forever, ECM, 1972 The Fabulous Three, The Best Of The Fabulous Three, Truth & Soul, 2011 V.A., I Am The Center: Private Issue New Age In America, 1950-1990, Light in the At…

LOPSTR 2014 参加記

9/8から9/11まで LOPSTR という会議に参加するためイギリスのカンタベリーに行っていました(同時開催の PPDP にも参加)。天気が良かったです。発表資料 http://www.slideshare.net/kinoshita22/slide-38970664喋るのはそんなにやばくなかったですが、質問…