https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 早起きしてしまったので国勢でも調査してから出勤するか | |
| それはおかしい | |
| @zakkas783 おはようございます。私が７時台に起きるなど、間違いなく時差ボケ… | |
| 「収入を伴う仕事を少しもしていない方」って言い回しがなんとも | |
| @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さんがガンガン例外飛ばしてきて使い物にならない… |