でした＠日曜日の田町。
と
が同じかについて（10日の日記参照）は、多分分配律が成り立てば同じになるんじゃないか、という話。昼飯に行くときの立ち話でしかしてないので、自分もちゃんとわかってませんが。
そうそう、結局、論文"Linear Logic complements Classical Logic"は、ひたすら比喩を用いた解説で、途中で読む気が失せました。（冒頭の、線分さん(?)から上司への手紙は笑わせてもらいましたが）ここでの話題のフォローには酒井さんが紹介してくれた方のが確かによさげ。
それから、ラーメン二郎は日曜定休だという事が判明。次回は土曜なので再チャレンジ可能か（チャレンジするの？？）
