2015-01-11から1日間の記事一覧

今日の食べ物 朝食に塩鮭

朝食に塩鮭と豆腐とわかめの味噌汁でご飯。

もうお酒を飲まないようにしよう

昨日から断酒するつもりだったけどついビールを飲んでしまった。よくないなあ。もう飲まないようにしよう。何か飲みたくなったらコーヒーを飲もう。

『恋と禁忌の述語論理』に出てくる問題

最近出た井上真偽『恋と禁忌の述語論理(プレディケット)』という推理小説が論理学を題材にして興味深そうなので読んでみました。まだ読みはじめたばかりですが、最初の方に一つ問題が出てきたので考えてみました。9-10頁の次のような問題です。 【次の充足…

体重と体脂肪率

今朝の体重は59.3kg。昨日から0.1kg増。 体脂肪率は20.8%。1.0%減。