2010-01-01から1年間の記事一覧

Windows7

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

「NPを信じる」について

日本語で「NPを信じる」というのは、NPが神とか仏の時だけ特殊な意味になっていて、「アラーを信じる」というのは「太郎を信じる」というのとは明らかに異なる。前者は「NPを神とする宗教を信仰する」というのと同じか。だとすると「聖ペトロを信じている」…

ラムダ計算の本

twitterで「ラムダ計算が分かっているとはどういうことか、言語学者はほぼ分かっていない」という発言を(気軽に)したら、「もう一歩踏み込んで書いて欲しい」というご要望を頂きました。僕自身、型理論の専門家と議論をしていると勉強不足を感じることが多…

X JAPAN "ロラパルーザ"出演情報

http://abcnews.go.com/WNT/video/japan-rocks-11370738 http://www.sanspo.com/geino/news/100810/gnj1008100504001-n1.htm http://www.nikkansports.com/entertainment/news/p-et-tp0-20100810-664135.html http://mainichi.jp/enta/music/news/20100809mo…

「小耳に挟む」

日本言語学会での発表に対し、 @SKinsui 先生からtwitter上で頂いたコメントをまとめました。 window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.cre…

「考える」ということ

日常的には、「考える」ということが何を意味するのか、あまり考えずに「考える」という語を用いている。今、まさに用いた「考えずに」がその例である。 「〜について考える」という語が指し示す行為を内省すれば、少なくとも5つの過程に分けられるように思…

テスト

携帯から初(!)書き込み。

Firefoxの動作を軽くする

http://c-brains.jp/blog/wsg/09/07/30-201110.php

2010年の国外学会

"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

ledit for cygwin

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