出張旅費の計算がどうしても理解できません。国外でも国内でも、旅費規程を見ながら、どう計算してもピッタリと合ったことがありません。むう。

ユナイテッド航空の米国内線のアップグレード券(Confirmed Regional)が余りまくっていて、有効期限の１月までに使えそうにないので、ほしい方はお知らせください（まったく見ず知らずの人には差し上げられませんが）。旅程の一部として国際線から乗り継ぐ国…

しばらくMinCamlばかりやっていたせいか、普通のλ計算の簡約とかπ計算の双模倣についていろいろと忘れていて、かなり勘違いしまくり。また勉強せねば。どうも失礼しました。＞勘違いされてしまった方

一部で議論が盛り上がっているようですが（本当か？）、http://www.seas.upenn.edu/~sweirich/types/archive/1999-2003/msg00270.htmlみたく専門家でも用語（というか見解）が統一されていないので、一般人(?)が混乱するのは当然かも…。型は静的なものであっ…