メモ
wikipedia:en:Proof_system wikipedia:en:Sequent_calculus wikipedia:en:Axiomatic_system http://plato.stanford.edu/entries/proof-theory-development/
wikipedia:en:infinity wikipedia:en:Non-standard_analysis wikipedia:en:Ordinal_number
http://plato.stanford.edu/entries/epsilon-calculus/ wikipedia:en:Wh-movement#Extraction_islands wikipedia:en:Logarithm wikipedia:en:Tensor_product
http://mlg.eng.cam.ac.uk/porbanz/talks/npb-tutorial.html
http://www.cis.upenn.edu/~giorgi/cl.html
http://www.zuk.jp/debian4/postfix.html http://www.aconus.com/~oyaji/suse9.2/smtp-mysql-suse.htm
http://www.biwako.shiga-u.ac.jp/sensei/kumazawa/tex/mathrsfs.html
http://muso.to/f-gire-muredeze-ru.htm http://informative.seesaa.net/article/117749216.html LIRMM http://www.lirmm.fr/xml/en/0003-27.html http://www.lirmm.fr/xml/pictures/image/0003/ville.gif http://www.lirmm.fr/xml/pictures/image/0003/pl5.…
5/20に掲示板で以下の方法を見つけ(635さん有り難うございます)一旦解決。 635: 名無しさん@お腹いっぱい。 2011/05/20(金) 02:11:09.58 621だが.G-KSから.G-BTへの変更で行ける。 要.G-KSの削除。 これが残しておくとダメ。 また奴ら元に戻すかもしれな…
wikipedia:jp:半減期 wikipedia:en:Half-life wikipedia:jp:微分方程式
wikipedia:jp:二階述語論理 wikipedia:jp:記述計算量 wikipedia:jp:計算複雑性理論 wikipedia:jp:同値関係 群について http://d.hatena.ne.jp/Cuz-orz/searchdiary?word=%2A%5B%B7%B2%CF%C0%5D 環について http://d.hatena.ne.jp/Cuz-orz/20090614/p1 http:/…
http://itlifehack.jp/archives/2863594.html
http://www.google.co.jp/search?q=category%20of%20measurable%20spaces http://www.google.co.jp/search?q=T-coalgebra http://ja.wikipedia.org/wiki/%E5%B1%A4_%28%E6%95%B0%E5%AD%A6%29 http://en.wikipedia.org/wiki/Forcing_%28set_theory%29 http://…
ここから勉強する。 Togetterまとめ: http://togetter.com/li/43517 http://en.wikipedia.org/wiki/Reversible_computing http://en.wikipedia.org/wiki/CLOCK http://en.wikipedia.org/wiki/Closed_timelike_curve
wikipedia:jp:余弦定理 wikipedia:en:Law_of_cosines http://doc.pisan-dub.jp/2010/20100728001/3_3.html#3.3.3.2
wikipedia:jp:決定論 wikipedia:en:Determinism http://plato.stanford.edu/entries/determinism-causal/ http://philsci-archive.pitt.edu/view/subjects/determinism-indeterminism.html
http://c-brains.jp/blog/wsg/09/07/30-201110.php
"Peculiar Binding Configurations", Stuttgart, Germany, http://linguistlist.org/issues/21/21-1185.html (deadline 4/30) "15th Sinn und Bedeutung Conference", Saarbrücken, Germany, http://linguistlist.org/issues/21/21-1215.html, (deadline 4/1…
wikipedia:en:Lebesgue_integration wikipedia:en:Lebesgue_measure wikipedia:en:Sigma_algebra wikipedia:en:Borel_measure wikipedia:en:Product_measure wikipedia:en:Disintegration_theorem
http://wiki.cocan.org/tips_for_using_the_ocaml_toplevel http://studentventure.blog102.fc2.com/blog-entry-33.html http://blog.isocchi.com/2007/10/ocaml-0.html
関連論文と文献情報: http://crd.ndl.go.jp/GENERAL/servlet/detail.reference?id=1000049843
wikipedia:en:Triangulated category wikipedia:en:Derived category
wikipedia:en:Tannaka-Krein duality wikipedia:en:Representation theory wikipedia:en:Representation theorem wikipedia:en:Stone's representation theorem for Boolean algebras wikipedia:en:Stone functor wikipedia:en:Boolean prime ideal theorem
http://www.nikon-image.com/jpn/products/camera/slr/digital/
ページが移転していてなかなか見つけられなかった東レEフィルターのページ。http://netshop.toray-intl.co.jp/ticshop/main/actionNameTxt/ctgry/cmdtyFlagTxt/sr/ctc/tft-note#
http://marsh.at.webry.info/200504/article_2.html
これがなかなかネット上にありそうでない。以下はようやく見つけたページ。 http://oku.edu.mie-u.ac.jp/~okumura/texfaq/qa/24210.html http://mytexpert.sourceforge.jp/index.php?%A5%E1%A5%E2%C4%A2%2FTeX%A5%DE%A5%AF%A5%ED4 ※mendexの文字コードオプシ…
「pen」の今月号に載っていた、セカンドワインの数々。 ラ・フォルジュ・ド・タール(クロ・ド・タールのセカンド)オエノングループ合同酒精 メイデン(ハーラン・エステートのセカンド)中川ワイン販売 ウッドカッターズ・シラーズ(ラン・リグのセカンド…
「別冊・プロレス昭和異人伝」より: http://igindenwrestle.seesaa.net/article/129886182.html http://igindenwrestle.seesaa.net/article/129887693.html
http://www.math.kobe-u.ac.jp/~kodama/tips-latex-math-margin.html