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