発表内容はこちら。 ベナセレフのディレンマ*1を解決するため、数学的知識は経験によって得られることにしたい。そのため、自然数を属性と考えよう。つまり、「xはn個ある」は、「xは赤い」と同じような経験的な属性である、と考える。 Maddyらは、集合を属…

曇り空、湿度の高い日。出所してから非常勤先の某大学へ。R君セミナーと授業、それから数学の哲学の講演会に出席。懇親会では、メリーランドの院生さんも出席*1されていたりして、楽しい時間を過ごすことが出来ました。二次会に出て、24時に帰宅。 *1:あまり…

蒸し暑い日。午前中は健康診断、午後は某書類およびコード書き。21時半に帰宅、夕食はサーモンとタマネギのカナッペとミートソースパスタ。

本棚晒しの第三弾。

以前（5月16日（土））開催いたしました数学の哲学に関する研究集会（詳細はこちら参照）ですが、このほどwebsiteを開催いたしましたのでお知らせいたします。 Web siteはこちらです。 また、こちらには発表者の方が使われた発表スライドの一部をアップして…

湿度の高い日、ちょっとしんどい。事務処理と来週の発表の案を考える*1。夕方、Cの実家の皆さん来訪。三宮に出かけ、「良友酒家」で夕食。 *1:誰も知らないだろうが重要な話題だと言う理由で選んだ演題は、実は現在ヨーロッパで注目の話題だったことが判明。…

本棚さらしの第二弾。 机周り、書類はファイルボックスとキャビネットの中。

以前、一度MacBookAirのAgdaをインストールしたのだが、間違えてインストールした際のユーザアカウントを消してしまい、新しいユーザアカウントで再インストールをしなければいけなくなった。この一週間というもの悪戦苦闘していたのだが、本日昼間にやっと…

晴れていて湿度も高め。梅雨も近い。朝からAgdaのインストールの続き、昼には完了する。また洗濯と食器洗い、他にケーブルテレビのインターネットモデムの交換。非常勤授業の準備をしてから夕食、ミートソースパスタ。

国際会議の発表準備のために、MacBookAirにBeamerをインストールしようとして、この二週間というもの悪戦苦闘していたのだが、本日夕方にやっと完了したので、苦労した点を備忘のためメモしておく。 インストール方法は こちら参照。 sourceforgeからlatex-b…

蒸し暑い日。午前に健康診断に行くつもりだったが、朝ご飯を食べてしまったことに気がつき、来週に延期。おとなしく出勤してコード書きと各種打ち合わせ。 夕方は某用件、その後夜はCと梅田の「司」で夕食、帰宅は22時。

ところで話題になっていた「本棚晒し」に挑戦。

俗に上流段階とも呼ばれる、要求定義段階の仕様書は、普通自然言語で書いてありますが、そのため曖昧性・多義性に満ちており、同一の語が別の意味で使われるなんてざらだと言われています。そのため、曖昧な表現を皆が自分勝手なやり方で解釈するのですが、…

曇り空、湿度の高い日。朝は淀屋橋経由*1で中ふ頭へ。某見本市で、共同研究についてプレゼンをする。いつもと雰囲気が違うので少し緊張した。その後、研究所ブースで展示の解説員をしてから淀屋橋経由で研究所へ。その後守口へ行き、某用件、20時半に帰宅。 …

曇り空、湿度の高い日。出勤して打ち合わせと翌日のプレゼンの準備。22時半に帰宅、夕食は黒オリーブとツナのトマトソースパスタ。

天気は快晴、気温が上がる。出勤してコード修正。その後非常勤先で授業。今回は多少恥ずかしい失敗をした。R君セミナーと圏論セミナーに出て帰宅。 夕食は22時半、麻婆豆腐と中華スープ（トマトと豚肉と豆腐とレタス）。夜はメールを書いて遅くなる。

湿度は高いがよく晴れる。午前は共同研究先と会議、木曜日のプレゼンの件について。午後に研究所に行き、班会議とコード書きの続き、変数の評価のタイミングのせいで正しい内容が型エラーを起こし、慌てる。結局コードのデザインを変更する必要がありそう。2…