Studia Logicaに掲載予定、著者のweb siteから取得可能。 推論主義の立場から「真理値とは何か」を説明しています。要約すると以下の通りです。 "Mutiple conclusion"論文に倣って、ある文の「否定を主張 (negate)」することと、それを「却下する (reject)」…

朝はよく晴れるが、夕方は曇り。 出勤して各種書類、とりあえず懸案をいくつか片付ける。それから原稿書きの続き。21時半に帰宅、夕食は牛すじトマトソースパスタの残り。

台風が近づき、午前は強い雨。午後は小降りになるも、湿度が高く薄暗い天候が続く。 出勤してプレゼン原稿作り、その後午後は共同研究先に赴き会議。19時に帰宅、夕食はもつ鍋。

曇り空、湿度は高いが肌寒さを感じる日。本当に8月なんだろうか。 目が覚めたら12時、原稿の続き。夕方はプールに行く。本日から明日までCは実家なので、夕食は作り置きの牛すじトマトソースパスタ。夕食後は論文読みと某書類。

昼は晴れ、しかし夜になると非常に強い雨が降る。 起床は11時、洗濯をする。その後部屋の片付けと文書作成の続き。夕方に近所のプールに行く。夕食はゴーヤチャンプルとマグロ豆腐。思ったより疲れていたせいか、23時に寝る。

暑い日。湿度も高い。 朝から夕方までミーティング、合計三件。Tkさんとの打ち合わせではコーディングの概要を説明、全体の方針について了承を頂く。残り時間はコーディングの説明文書作成。 21時半に帰宅、夕食はピーマンと牛すじ肉のトマトソースパスタ。

曇り空、気温は多少低め、しかし湿度が高い。 出勤してコード書き。他に、関西本部から呼び出しを受け、20分の面談のために2時間かけ往復。 帰宅は21時半、夕食はカボチャの冷製スープとサーモンソティー。

よく晴れるが、夜になって雨が降る。今日も暑い。 出勤してコード書き、昨晩思いついたコードはうまく動かないことが判明した。昼から大阪へ、某社で2時間半の会議、プレゼンをする。その後帰宅、夕食はチキンのトマトソ−スとペンネ。コード書きの続きをする…

よく晴れた暑い日。本日は研究所の一般公開、汗だくになりながら小学生にロボットの制御プログラムを解説した。休憩時間には所長にコードについて説明することに。 18時半に帰宅、夕食はホタテ貝のトマトクリームソースパスタ。

久々によく晴れる。やっと梅雨明け宣言も出たらしい。 出勤してコードレビューと打ち合わせ。ややこしい問題が引き続き降ってくる。21時に帰宅、夕食は鶏もも肉のトマトソースがけとジャガイモ、満願寺唐辛子つき。

暑い日、しかし夜には強い雨が降る。 洗濯と掃除と原稿書き2種類。18時にCと家を出て、JR駅前の中華料理店で夕食。Tustayaに寄って帰宅する。帰宅後は原稿の続き。

証明の間違い探しとよく似ている。どうしてもやらなければならないけれど、徹頭徹尾爽快感のない作業な点であることとか。ついでに、厳格な型付き言語でプログラムをしている場合、型チェックに合格すると仕事が終わった気になるが、だからといってプログラ…

湿度の高い日、夜には（花火大会の日だというのに）強い雨が降る。昼食は野菜と豚バラ肉のトマトスープ、夕食はそれにマカロニを入れる。 一日家にこもってコーディング、バグ取りで午後をまるまるつぶす。とりあえず、今のところ結果には満足、しかし解説文…