https://twitter.com/kinaba のログ (twilog の方が便利です。)
おい superexponential の逆が正規言語を保つのって http://dx.doi.org/10.1016/j.tcs.2005.11.034 で触れられてるではないですか。やっぱり線形増加に限らないと面白くなりそうにないぞ。 | |
半年くらい、プログラムと証明をCoq(でもAgdaでもなんでもいいんだけどそういう言語)以外で書いたら死刑みたいな縛りで暮らさねばならぬような気が日に日に強まっている。 | |
[ナナカ] 共存の迷宮77Fタラバスコーピオンに倒された。ダンジョンの趣旨を無視して転移ソード無双してたら一瞬でおわた。これ、出会い頭タラバが対策不可能な気がするんだけど…地図の巻物を貯めに貯め込んでいくしかないかなあ。 | |
プレゼンスライドのテンプレは最近は「1. 日記のCSSと揃えた感じの」と「2. 黒っぽいのに丸ゴシック」と「3. 白地に教科書体とか明朝体とか」をなんとなく回している。作りにくい<1<<3<2<作りやすいという感じなので、そろそろ1のテンプレを改良したい | |
迷宮街クロニクルの4巻買ってきたので読む。 |