だいだい年代順だが、同じ年のなかでは順不同。
- 牛が牧草を食うのが共変継承なのか？ (2006)
- 牛が牧草を食うことを、総称の文脈で語ってみよう (2006)
- クラス、オブジェクト、型； なんだか変じゃない？ (2006)
- オブジェクト指向と得体の知れないモノたち (2006)
- クラス継承、リスコフの置換原則、部分集合の型 (2006)
- 下層ほど複雑でリッチ -- 型階層 (2006)
- リネームとサブタイプと置換原則 (2008)
- なんで多重継承はそんなに嫌われるのか？ ちょっくら分析してみるか (2008)
- 大量のモナド類似物を取り扱う方法：参考文献 (2011)
- インデックス付き圏のフビニ／グロタンディーク同値 (2011)
- コンストラクタやクローニングの表示的意味論：多オブジェクト系とフォック構成 (1) (2012)
- 連休に (2012)
- メイヤー流の契約となんでもケーキ屋さん (2013)
- クロージャなんて貧乏人のオブジェクトだろ (2015)
- 限量子と代入、ベック／シュバレー条件 (2021)
- 可換モナドとラックス・モノイド・モナド（動機も少し） (2022)
- 型クラス述語とイプシロン型 (2022)
- コンテキスト、判断、指標、シーケントなどのゴチャゴチャを整理 (2022)
- 述語論理： カリー／ハワード／ランベック対応と推論・型つけ規則 (2022)
- 矢印の混乱に対処する： デカルト閉圏のための記法 (2023)
- 最近の型理論： 型判断／シーケントの意味論に向けて (2023)
- 述語論理： シード付き二重圏 -- 訂正と再論 (2023)
- 2階インデックス付き圏と反ラックス余錐 (2024)
