ikegami__ 昏論的読書リスト - 昏論会ウィキ

すでに説明できるもの(今週探しているあいだに、こらえきれずに読んでしまった)

Functional Pearl

• "Power series, power serious", M. D. McIlroy, J. Func. Prog. 1998
• "A pointless derivation of radix sort", J. Gibbons, J. Func. Prog. 1998.

Gröbner 基底

• "計算機代数入門", 野呂正行, Tech. Notes. 2005.
• "グレブナー基底計算の高速化とその応用", 野呂正行, 代数学シンポジウム, 2010

Agda

• "Dependently Typed Programming in Agda", U. Norell, Advanced Functional Programming, 2008.

メタ研究

• 研究読本, 植松 友彦, 2001

会の場で読んだもの(09:00-)

整数計画とマトロイド、Gröbner基底

• "BDD による計算代数・計算幾何の不変量計算", 今井浩, 今井桂子, 数理解析研究所講究録, 1998.

符号理論

• "Maximum likelihood detection for DS-CDMA using Gröbner bases", 堀井俊佑 、須子統太 、松嶋敏泰 、平澤茂一 , SITA 2010,

• "Optimal Bipartite Ramanujan Graphs from Balanced Incomplete Block Designs: Their Characterizations and Applications to Expander/LDPC Codes", T. Høholdt and H. Janwel, AAECC-18, 2009

• "Gröbner Representations of Binary Matroids", M. Borges-Quintana et al. AAECC-18, 2009.

量子暗号?

• "量子暗号の基礎とその実用化に向けて", 鶴丸豊広, IBIS2010, スライド

Agda の停止性判定の基礎

• "foetus - Termination Checker for Simple Functional Programs", Andreas Abel, 1998.

みごとに積ん読：昏論会のあとに読みたい

kinaba さんの読書しないリスト
http://www45.atwiki.jp/konron/pages/16.html

Functional Peals
HaskellWiki の Functional_pearls 一覧

• "Every Bit Counts", D. Vytiniotis and A. Kennedy, 2010

メタプログラミング支援

• Kermeta 論文集

Agda

• 停止性判定 Abel Andreas の Foetus 参考文献一覧

Alloy

• alloy model checker の学術記事

組合せ数学

• "Analytic Combinatorics", P. Flajolet and R. Sedgewick, 2009

整数計画とトーリック(toric)多様体

• "Computational Algebra and Combinatorics of Toric Ideals", D. Maclagan and R. R. Thomas, Lecture Notes. 2006.

符号理論と池上-楫アルゴリズム

• "Algebraic structure of the minimal support codewords set of some linear codes", I. Márquez-corbella and E. Martìnez-Moro, to be submitted.
• "An Algebraic View to Gradient Descent Decoding", M. Borges Quintana, M.A. Borges Trenard, I. Marquez-Corbella, E. Martinez-Moro, IEEE ITW 2010.