http://www.cse.iitk.ac.in/users/manindra/primality_v6.pdf 素数判定が多項式時間。 via Favorite Theorems Recap

#! /usr/bin/perl だと、/usr/local/bin/perl のシステムでは使えない。 #! /usr/bin/env perl だと、PATH を適用したときの perl が呼び出される。 #! /usr/bin/env perl -w はどうもダメっぽいので、 #! /usr/bin/env perl use warnings;

A \neq B を仮定するとき、 A = B はどう処理するのかを書いてない。式が横に長すぎる箇所がある。 また、大量の場合分けは、最初のいくつかについて文章で述べ、導出手順を示し、 残りは結果を表にまとめ、導出は付録とする。ベースラインである形態素解析…

http://ja.poderosa.org/ Poderosa(ポデローサ) は、タブ式 GUI・SSH2 をサポートしているオープンソースの Windows 用高機能ターミナルエミュレータです SSH と Cygwinがタブで並べられる。

http://www.tom.sfc.keio.ac.jp/~sakai/hiki/ 型理論とか勉強中の人。

http://www.mmk.ei.tum.de/~waf/publ/00/icslp00ml_compounds.pdf ドイツ語における単語の分解と連結ドイツ語における問題は、空白区切りでは単語が長すぎるということ。

http://research.microsoft.com/~joshuago/talip01.pdf 中国語におけるプレーンテキストからの言語モデルの構築

http://staff.aist.go.jp/t-nakai/language/index.html 産総研 医用ビジョンラボ 言語処理する人間の脳をfMRIで観測。 松尾香弥子氏の、漢字の空書に関する研究とか。