2008-06-24から1日間の記事一覧

論文ファイルについて、

研究所のThinkPadで、何回texコンパイルをかけても、dviファイルが修正箇所を反映しない。家に持ち帰って、ファイルをマックでコンパイルしてみても修正箇所は反映されない。謎だ。 ・・・と思って、ファイルを良く見たら、 ..... \begin{document} (昨日作…

"Inventing logical necessity" (Crispin Wright) (5)

18時半から22時まで。参加者は4人。今回はp.198-199第二段落、他に科学基礎論学会での発表の話とか。(後で追加します)

今日もよく晴れる。起床は9時、出勤して論文の続き。大学経由で22時に帰宅。