2010-06-01から1ヶ月間の記事一覧

2010年06月30日のツイート

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…

2010年06月29日のツイート

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…

2010年06月28日のツイート

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…

2010年06月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…

本日より

某社での共同研究にかかわるワークショップ出席のため、東京に出張します。Twitterのつぶやきの自動採録をのぞき、次回更新は、水曜日以降となる可能性があります。ご了承ください。

2010年06月26日のツイート

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君ゼミ＠スカイプ、本日はの導入部分。昼食は納豆ソバ、それから雨の中洗濯をして風呂場に干す。食後、メールを書くはずが、爆睡してしまう。夕食は夏野菜カレー。

2010年06月25日のツイート

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年06月24日のツイート

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は、23時に寝て、27時からのワールドカップサッカー・デンマーク-日本戦を見たらしい（私は普通に寝ていました）。

2010年06月23日のツイート

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…

「思想と実在」（マイケル・ダメット）

本 哲学

思想と実在 (現代哲学への招待―Great Works)作者: マイケルダメット,Michael Dummett,金子洋之出版社/メーカー: 春秋社発売日: 2010/06/01メディア: 単行本 クリック: 25回この商品を含むブログ (6件) を見るお贈り戴きました。ありがとうございます。内容は…

■

昼は雨、夕方は曇り。某発注と某書類で一日終わる。夕方、岡本に寄るも写真店は閉まった後だった。夕食はクリームソースパスタと鱈のムニエル。

2010年06月22日のツイート

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…

■

暑い日。午前は某社と電話会議、午後は非常勤授業。本日は比較的早めに帰宅、夕食はアスパラの牛肉巻き。

2010年06月21日のツイート

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…

■

雨の一日。出勤して某書類。夕方、共同研究先の方が来られて某案件について会議。その結果を書類に反映させていたら20時近くに。 帰宅して夕食、鶏肉のトマトソースとアスパラ。

2010年06月20日のツイート

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…

2010年06月19日のツイート

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…

「現代数理論理学序説」（古森雄一・小野寛晰）

本 logic

現代数理論理学序説作者: 古森 雄一,小野 寛晰出版社/メーカー: 日本評論社発売日: 2010/06/16メディア: 単行本（ソフトカバー）購入: 12人 クリック: 260回この商品を含むブログ (11件) を見る本日、Amazonより到着。現代的な数理論理学について知りたけれ…

■

一日中曇り空。午前はスカイプ勉強会、午後は洗濯と書類書き。夕方美容院に行くが、カット中に爆睡してしまった。夕食は夏野菜トマトソースパスタ、Cとサッカー日本-オランダ戦を見ながら食べる。

2010年06月18日のツイート

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…

買ってきた本

本

今まで、単に買ってきただけの本はここでは紹介しなかったのですが、今回は特別。ハルムスの世界作者: ダニイルハルムス,増本浩子,ヴァレリーグレチュコ出版社/メーカー: ヴィレッジブックス発売日: 2010/06/20メディア: 単行本（ソフトカバー）購入: 2人 ク…

雨の日の会話

雨の日の某喫茶店、17時頃。 （客） あのー、すみません、本日の13時半頃、この店に傘を忘れたと思うんですが…。 （店員）（明白に警戒の表情を浮かべながら） えーと、どんな傘でしょうか？ (客) これぐらいの長さの男性用傘で、深緑色にチェックの模様が入…

某ビジネスショー（二日目）

朝から雨。本日も某ビジネスショーでプレゼン（今回は比較的うまくでき、某社の人から問い合わせを受けた）。ショーの終了間際に会場を回り、それから撤収作業をしてから帰宅。夕食はポークカレー、ソファーでCとサッカーのドイツ・セルビア戦を見ながら食べ…

2010年06月17日のツイート

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…

チェコ組は

本日帰国、無事到着したとのメールが来る。また9月に。

「完全性」の訳語

logic

昔からゲーデルの完全性定理と不完全性定理の「完全性(completeness)」は、意味が違うのでややこしいという話があります。すなわち、 「完全性定理」の完全性：理論Tが完全であるとは、任意の論理式Aについて、AがTで証明可能であることと、任意のTのモデル…