メモ

数理論理学入門 - 講義資料

京都大学高崎先生の講義資料発見。全部HTMLなので軽い軽い。証明のところはhrとテーブルで強引に、か。

「ジャンケンの計算量」

数理解析研講究録のvol.1205の『計算理論とアルゴリズムの新展開』で山口大工学部の伊藤暁、井上克司、王躍。

「一般化ぷよぷよのNP完全性」

2004年度冬のLAシンポジウム、つぅか明日。ぷよぷよを一般化ってどういうことだ。