今週知ったこと
Vacuous truth
空集合の要素については何を言っても真であることについてvacuous truthという名前があることを知った。日本語だと「空ゆえに真」らしい。「うちのクラスの女子は全員かわいい」など、空集合に関して適当なことを言う冗談を身の回りでよく聞く。
CheckInstall
「tarballで配布されているソースコードパッケージからのインストール・アンインストールを容易にするパッケージ管理システム」とのこと。
今週読んだ本
ヘルシープログラマ ―プログラミングを楽しく続けるための健康Hack
- 作者: Joe Kutner,Sky株式会社玉川竜司
- 出版社/メーカー: オライリージャパン
- 発売日: 2015/07/23
- メディア: 単行本（ソフトカバー）
- この商品を含むブログ (9件) を見る
ちゃんと論文を引用しながらこうするといいと言う話を具体的に書いていて面白かった
— 川奈 清 (@kivantium) 2017年10月29日
ので、1時間ごとに5分の休憩をとり20分ごとに姿勢を変えることを推奨するという具合
— 川奈 清 (@kivantium) 2017年10月29日
Association between muscular strength and mortality in men: prospective cohort study. https://t.co/hSkPhC37UM
— 川奈 清 (@kivantium) 2017年10月29日
自然要因によるあらゆる死に対し、筋力が独立に反比例する
プログラマの腰痛のほとんどは背筋の衰えが原因である、筋力はクラウスウェーバーテストで判定できるからやってみましょう、と書いてあったので試してみたら柔軟性のテストで落ちたので柔軟運動をやるよう心がけることにした。
— 川奈 清 (@kivantium) 2017年10月29日
- きらりブックス迷走中! (2) (まんがタイムKRコミックス （なぜかリンクがうまく貼れない）
- 作者: あらた伊里
- 出版社/メーカー: 少年画報社
- 発売日: 2017/10/30
- メディア: Kindle版
- この商品を含むブログを見る