window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

今年始めて半袖で出勤、さわやかな日。午前中は急遽呼び出されてプレゼン案の検討ミーティング、午後は打ち合わせと各種処理。帰宅して夕食、森鴎外レシピの牛肉とキャベツのスープ煮(\cite: 暮らしの手帖）。 食後、レジュメ作りを27時まで。

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

午前中はR君勉強会＠スカイプ。午後は論文読みとレジュメ作成。夕食はスモークサーモンとホタテのトマトクリームパスタ。

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

曇り空、コートを着て出勤するも、やはり寒い。出勤して各種処理。夕方はCと待ち合わせ、西宮で夕食。 ラディーチェジャンル：イタリアン住所： 西宮市甲風園1-9-8このお店を含むブログを見る | (写真提供：ウサミミ)タリアッテレのラグーソースが、ちょうど…

中公文庫 2010年（改訂版）。戦争の社会的要素に注目した、コンパクトにまとまった本でした。ナポレオンの強さの理由がやっと分かったような気がする。さて、これは改訂版で、終章で第二次大戦終結から対テロ戦争までを扱っているけれど、叙述の粒度が他の章…

天気は晴れ、多少暖かくなる。実家で朝はゆっくりと過ごす。昼は「宝華」で宝ソバを食べる。古き良き中華ソバという感じの味。 宝華ジャンル：中華料理住所： 小金井市東町4-46-12このお店を含むブログを見る | (写真提供：selfish_gun)午後は東京へ、共同研…

寒い日。特に夜が寒い。 出勤して各種処理とミーティング。翌日の会議について打ち合わせる。夕方、新幹線で東京へ、実家に泊まる。

よく晴れる。昼は暖かいが、夜はとても寒い。出勤して各種処理。 午後は非常勤先に向かい、論理学の授業。先週の宿題に難しいものを出し過ぎたせいか、宿題の解説だけで授業時間の半分が終わってしまう。授業終了後は雑談をしてから帰宅。夕食は鰯のトマトソ…

夜からすごい雨、昼頃には小降りになり、夕方には止む。出勤して書類整理。昼から上司らと共に名古屋に日帰り出張、某打ち合わせ。お土産に「赤福」を買ってから帰宅。夕食はそぼろ丼。

11時半に起床、朝食はスコーン。 クロテッドクリームが売り切れだったので残念ながら生クリームで代用。夕食はトマトソースパスタ。

蒸し暑い日。出勤して各種処理とミーティング（SPINの反例生成についてもめる）。夕方三宮でCと待ち合わせ、本屋に行った後、Hangで夕食。

一日雨。突然上司に呼び出されたりしたが、基本的にはゆっくりな日。論文と資料を読んで過ごす。帰宅して夕食、乾燥エビとズッキーニのオイルパスタ。

暑い日。出勤して各種処理。先延ばしにしていた案件を片付けようとするが、胃が痛くなる。帰宅して夕食、乾燥エビとネギのトマトソースのパスタ。

Twitterにも書いたんですが、本日、ある学生から「A&B→CとA→B→Cが同値な訳がない」と抗議されました。A&Bはまとまっているので、AとBがバラバラな A→B→Cと意味が違うはず、とのことで…気持ちは分からなくもないのですが。

出席者3人、今回のレジュメはI先生に担当していただく。この論文でHorwichは、最小主義の立場からタルスキの真理理論（と世間で言われるもの*1）を批判する。 最小主義は、T-図式こそ真理について言えることの全てであると言う立場を取り、真理述語を原始的…

午前中はよく晴れる。夕方から湿度が上がり、風が強くなる。 午前中は出勤して打ち合わせ。今度はうまくいく。午後は非常勤先に行き授業と読書会。授業の方では、授業開始前にノートPCを起動しようとしたら「起動システムが見つかりません」と表示されたり（…

出勤して書類書きと打ち合わせ。ストレスフルな話が多い。夕方、一時間休暇を取って非常勤先へ、その後JR駅で本日関西に帰ってきたCと待ち合わせ、トンカツを食べる。

帰ってきました。不在中の記事は、そのうち追加いたします。

起床は11時、12時間寝る。昼は実家でグダグダ過ごし、夕方、実家全員とCとで西荻窪の鰻屋へ。その後新幹線で関西へ。

昼にCと目黒で待ち合わせ、「テオドーラ」で昼食。美味しゅうございました。 テオドーラジャンル：地中海料理住所： 品川区上大崎2-10-32 フラワープラザビル ３Ｆこのお店を含むブログを見る | (写真提供：結婚式出張アニバーサリービデオ)テオドーラをぐる…

慶応大学三田キャンパス東館4階セミナー室、18:30-20:00。30名の皆様にお越し頂き、活発な意見交換ができました。ありがとうございます。真理の度合理論は適切か？ 〜ファジイ論理と真理理論〜View more presentations from shunsukeyatabe.

東京出張：某会議に出席。

本日夕方から東京に出張します。次回更新は日曜日以降となる予定です。ご了承下さい。

最小命題論理（直観主義論理から矛盾律を除去した体系）で、¬¬¬ A⇒¬ AとA⇒¬¬ Aは証明できるが、¬¬A⇒ Aは証明できない、と言う話をしたんですよ*1。授業終了後、一人の学生がやってきて、「証明できない理由の説明が曖昧だったんですが、最小論理にはタブロー…

出席者3人、報告者は引き続きSさん。MaudlinはKleene三値論理を採用し、真理述語の導入・除去規則を維持したまま、⇒と¬の導入・除去規則を制限し、真理値が ungrounded の時には⇒と¬の導入規則が適用出来ないようにする。これで話が終わりかと思ったら、最後…

朝は雨、肌寒い。一日中降ったり止んだりを繰り返す。出勤して各種処理。その後非常勤先の大学へ。本日の授業の学生は24人、GW 後の雨の日にしては上出来の人数。授業終了後、パラドックス研に出てから帰宅。夕食はスモークサーモンのバゲットと牛すじトマト…

曇り空、夕方から雨。湿度が高く、体がきしむ。午前は上司に呼び出され、某申請の登録作業。午後は打ち合わせ。その後、NuSMV をダウンロードして使ってみる。並行プロセスの検査の例題を解いてみるが、結構面白い。 帰宅して夕食、牛スジ肉のトマトソースパ…