2019-10-14から1日間の記事一覧
終わったらまとめてメインブログの方にあげる予定。 論理学をつくる作者: 戸田山和久出版社/メーカー: 名古屋大学出版会発売日: 2000/10/10メディア: 単行本(ソフトカバー)購入: 27人 クリック: 330回この商品を含むブログ (108件) を見る 命題論理の公理…
11回目は休んだのですが、わからなかったので再度同じ箇所からやるとのことで(ラッキー) 今会はp40の4行目Suppose...から。次回はp40の下から二行目The construction~から(多分)) Theory of Database Concurrency Control作者: Christos Papadimitriou出版社…
心拍数140/脈程度で走れるペースが上がってきた。 1km 7分半はランニングというよりジョギングだけど、ほぼ歩きなしで走り切った。一週間くらい前はこの心拍数を保つには半分くらい歩く必要があったので成長かなと思う。 このペースは脂肪の燃焼に良いらしく…