2012-01-13 ■ 言語学 メモ あとで読む http://plato.stanford.edu/entries/epsilon-calculus/ wikipedia:en:Wh-movement#Extraction_islands wikipedia:en:Logarithm wikipedia:en:Tensor_product
2012-01-13 超準解析 数学 メモ あとで読む wikipedia:en:infinity wikipedia:en:Non-standard_analysis wikipedia:en:Ordinal_number
2012-01-13 証明論 数学 メモ あとで読む wikipedia:en:Proof_system wikipedia:en:Sequent_calculus wikipedia:en:Axiomatic_system http://plato.stanford.edu/entries/proof-theory-development/