2021-01-01から1年間の記事一覧

「コンピュータシステムの理論と実装」を読んだ

「コンピュータシステムの理論と実装」を読んだ記録.コンピュータシステムの理論と実装 ―モダンなコンピュータの作り方作者:Noam Nisan,Shimon SchockenオライリージャパンAmazon 本の紹介 コンピュータシステムを下は電子回路から上はOSまで一つ一つ実装し…

集合位相 証明テク (1)

松坂和夫先生の「集合・位相入門」を読んだ.証明においてよく使われる議論の流れをまとめておく.随時更新 一般論 第1章 集合と写像 §1 集合の概念 §2 集合の間の演算 §3 写像と対応 §4 写像に関する諸概念 §5 添数づけられた族,一般の直積 §6 同値関係 第…

宮城原付散歩

こうやってカブに乗っていると,たとえ止まっていても,自分がどこにでも,どこまでも行けるっていう気分を感じられるのよ ― 礼子「スーパーカブ」 5/16 瑞鳳殿 5/19 千年希望の丘 5/23 塩竈 最後に 5/16 瑞鳳殿 まずは近場で.「仙台 名所」で検索すると上…

自作PCを組んだ

2年半付き添い続けた俺の相棒のラップトップ,そろそろ厳しくなってきた.バッテリーの持ちがかなり悪い(これは常に電源に刺してればよい話だけれど),全体的に処理が重くなっている気がする,何よりストレージがもうない.128GBしかないのですぐなくなる…

原付を買った話

原付を買いました.志摩リンになりたかったのです.主な理由は通学のためである.今俺は実家から大学に通っている.原付を買うまではJRと地下鉄を乗り継いで行っていたが,仙台は地下鉄が非常に高額なのである.加えて,キャンパス間の移動や,バイト先への…

秋保 旅行記

1泊2日で秋保温泉に行った.秋保温泉は仙台にある温泉である.宮城では一番有名では?中学の同級生と行った.俺も含め5人.春休みでみんな暇だしね. 1日目 前日に荷物の準備とか全然しなかったので起きてからした.まあ,荷物と言っても,1日分の着替えと暇…