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

良い 家（賃貸） 家賃高いけど会社から近くて良い。 ベッド 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