ここ一ヶ月強ほど他の仕事を犠牲にして相当の労力を費やしていたテーマが、（前から難航していたのですが）ついさっき完全に行き詰まりました。とりあえずそのテーマは諦めるとしても、おかげでいろいろな締め切りが山積み。とほほ…追記：また別の解決法（の…

http://homepage3.nifty.com/mogami/diary/d0701.html#04t2まったくその通り、というか、大学教員だと教務・会議・作文等々の時間が（平均して）「半分」どころか80%〜99%ぐらいになっているケースも決して珍しくないように感じられます…。あと、30過ぎにも…

有限写像fに対し、「f'(x) = v」かつ「x≠yならばf'(y) = f(y)」なるf'を「f, x |-> v」のように書くことが（自分の周囲では）多いのですが、数学や圏論に慣れていると|->が気持ち悪い(?)らしい。が、たとえばf {(x, v)}だとや括弧の類が重すぎて邪魔。他に良…