tw.log

https://twitter.com/kinaba のログ (twilog の方が便利です。)

<<newer (latest) older>>

20101004 07:28 早起きしてしまったので国勢でも調査してから出勤するか
20101004 07:29 それはおかしい
20101004 07:30 @zakkas783 おはようございます。私が7時台に起きるなど、間違いなく時差ボケ…
20101004 07:50 「収入を伴う仕事を少しもしていない方」って言い回しがなんとも
20101004 07:59 @pi8027 おこづかいは収入に入りますか問題
20101004 10:35 出張報告書なるものにtwitterのログを貼り付けて終わりにしたい…
20101004 12:50 @kmizu 遅レスですが「理論的な"正規表現"なら最悪線形時間でマッチとれるぜ実用主義者ども敬え(言い過ぎな意訳)」て方向の話を何度か見て、どうしても「当たり前だろ!」と思っちゃうので、どうせなら当たり前じゃない部分を考えたいなーという気持ちが割とあります。
20101004 12:52 @kmizu もちろんフルの後方参照はNP完全なわけですけど、普通は誰も合成数判定やSATを正規表現では解かないわけで、なにか「実際に使われる」フラグメントを上手くとってきたら、もうちょいまともな最悪計算量にならないかなー、ということを考えてます。
20101004 13:05 決定不能の会の次回予測が出ている http://pira.jp/undecidable/
20101004 13:28 @kmizu どうですかねえ。/(e).+\1/的なシンプルなのが大部分、と勝手に思って「リスト区切り的パターン(e1e2)*e1を意味する専用構文e1%e2を入れた上で、同じ*のスコープの部分表現しか参照できない」くらいの制約で結構…と妄想しているんですが、調べてみないと。
20101004 15:55 @Cryolite チューリングマシンの停止性は一般に決定不能だが、「停止する事が判明済みのTMの計算終了時間」は決定可能である。本研究は是を応用し「開催する事が判明済みの決定不能の会の日程」の決定に成功した。今後の課題として、そもそも次の回の開催をさっさと決めたいですね、はい…
20101004 16:22 どうにか、第三の出張報告書が現れる前に第一、第二の出張報告書を倒すことに成功した。
20101004 17:04 @ranha intros. apply (H (m+1)). omega. というか nをm+1にspecializeというか。
20101004 18:53 #Coq 夕飯食べながら CPDT http://adam.chlipala.net/cpdt/ 読み始めた。Program Definition ... って知らなかった!これは正に欲しかった物だ!と思って使ってみたらCoqさんがガンガン例外飛ばしてきて使い物にならない…

<<newer (latest) older>>

presented by k.inaba (kiki .a.t. kmonos.net) under CC0