日本のタイムゾーン。標準時+9時間というアレです。 http://d.hatena.ne.jp/mohri/20050910#1126350862 http://fragments.g.hatena.ne.jp/laiso/20050911#1126404358 insやdelで書くとdatetime属性の値として、追記時間は入っているので利用してあげてくださ…

追記: 09/12 間違っているので信用しないように!!! A: A:だな。 まぁこれはいい。どう考えたって無限に飛んでいる。 問題はB:。 対角線論法から|(0,1)|>>>越えられない壁>>>|N|なんだけど、それだけじゃB>Aかどうかは分からない。数値としての大小が問題にな…

後回しにしていたところが重要である点を突っ込まれしどろもどろ。 確かに『Complexity of Lattice Problems』に載ってました。ぎゃぁ。

とりあえず記録。 はてなのアイドル*1ことid:youpy*2が自分でキーワードを編集して、謎のpdfを公開中。中身が何かは教えない。お願いだからブラクラとかにリンク変えないで下さい。 *1:キーワードのカテゴリがアイドル *2:読み方は「ぴよよぴぴよよぴ」

ずーっとそれでええんかと思っていたbackground周りや疑似クラス周りのキーワードを全部直しました。下ネタは全部抜いて四角四面に直してます（わらい

昨日の続き。検討し直すと証明が上手くいったので一安心。一言で片付けられている部分も詳細に見直してみた。で、流して読んだProp. 1が残っているので、もうちょっと。明日、これで話をしなきゃいけないんだ。

は全部正の整数。少なくとも1組は同じ数がある。 とkを定義する。 としたときにが互いに素ということを示したいのだけれども、うまくいかなくて困る。あっさり「互いに素」とか書いてあるんだよなぁ。 やった反例出来たよーヽ( ・∀・)ノ で互いに素でなくな…

+a and b +-a1 ++b1これが a and b a1 b1 こうなる。 htmlとしては <ol> <li>a and b</li> <ul> <li>a1</li> <li>b1</li> </ul> </ol>となる。 気分としては、 <ol> <li>a and b</li> <ul> <li>a1</li> </ul> <ol> <li>b1</li> </ol> </ol>になって欲しい。 正しくは <ol> <li>a and b <ul> <li>a1</li> </ul> <ol> <li>b1</li> </ol> </li> </ol>になるべき。 どっちにしろ…

最近は格子の変形についての勉強をしている。計算用紙に行列書いて掛け算したり余因子行列取ったり。院試の際に復習しておいて本当に良かった。対角化、HNF、SNF。 調べてみると、ISSAC(International Symposium on Symbolic and Algebraic Computation)周り…

自分でCSSに手を入れているかどうかは <link rel="stylesheet" type="text/css" href="/theme/default/default.css"> <link rel="stylesheet" type="text/css" href="/id/style?mode=user">とヘッダを見れば分かる。デザイン設定で「指定なし」にすると上の行が消える。 ヘッダに特徴があるのでカスタマイズしているかどうかは機械的に判断出来る*1。最大の問題はHBを使っている人のリストが無いという点。 </link></link>…

http://honkaku.com/ こういうリンク張り辛いサイトを作るんじゃねぇ! 絶対来年になったら内容変わってるだろ! という話は置いておいて、天城一著/日下三蔵編『天城一の密室犯罪学教程』が評論・研究部門で受賞。目出度い。>

急いでいるのでリンクしない。多分、あとでもリンクしない。 ゲーデル的問題ってのを考えるのもあんまり良くないことだと思います。ゲーデル問題と言うよりは、いいんですけど。素直に後期クイーン問題って言えば良いと思っていたり。 案外、クイーンの中の…

2005/09/05に書いてます。色々テスト a and b (-) a1 (--) b1 (-+) a and b (-) a1 (-+) b1 (--) a and b (+) a1 (+-) b1 (++) a and b (+) a1 (++) b1 (+-) a and b (-) a1 (+-) b1 (++)